*i**2 + 2*i. Let y be v(2). Let f = 178 - y. Is 12 a factor of f?
False
Let g = 3280 - 1768. Is g a multiple of 36?
True
Let m(p) = -p**2 + 6. Let w be m(6). Let l = 219 + w. Suppose l = 5*i - u, 0*u + 2*u = 2*i - 74. Is i a multiple of 12?
False
Is 2 a factor of ((-4)/(-6) - 0)*3294/36?
False
Suppose 3*c + 643 = 5*t, 4*t - 2*t + 5*c = 251. Suppose -6*n + 2*n + 3*m = -260, -2*n = -2*m - t. Is n a multiple of 10?
False
Suppose 676 = 2*t + 4*n, -12*n - 1021 = -3*t - 11*n. Is 17 a factor of t?
True
Let r be 6/27 - (-178)/9. Let i = 12 + r. Does 10 divide i?
False
Suppose 34*g - 39*g = -2330. Does 11 divide g?
False
Suppose -3*j - 270 = -0*j. Is j/(4 - 6) - 1 a multiple of 22?
True
Let n be (1 + -3 + -3)/1. Let u be (-6)/n*15/6. Is ((-14)/3)/((-2)/u) a multiple of 4?
False
Suppose r - 3 + 7 = 0, 3*r = 5*x - 37. Suppose 6*d - 2*d - 100 = -x*s, 5*s - 4*d - 140 = 0. Is 4 a factor of s?
True
Suppose -w + 0 = -2. Let n be w/(12/(-21))*-2. Let f(c) = 9*c - 7. Is f(n) a multiple of 14?
True
Let b = 61 - 47. Let j be 1/(3 - 39/12). Does 6 divide (-7)/b + (-98)/j?
True
Let c be (-1778)/(-18) + (-3)/81*-6. Does 13 divide ((-429)/c)/((-2)/36*1)?
True
Is (-9 - (13 - 11)) + 124 a multiple of 2?
False
Suppose l = -z + 453, 2*l - 886 = -13*z + 15*z. Is 64 a factor of l?
True
Let o(g) = -g**2 + 1. Let j(l) = -6*l**2 - 9*l + 1. Let i(x) = j(x) - 5*o(x). Let b be i(-5). Let v = -6 + b. Does 10 divide v?
True
Let k(w) = 71*w**2 + 5*w - 5. Let m(h) = -107*h**2 - 8*h + 7. Let r(s) = 8*k(s) + 5*m(s). Is 8 a factor of r(-2)?
False
Let m(q) = q**3 - 8*q**2 + 3*q + 8. Let j be m(8). Let b be j/14 - 8/28. Suppose 0 = u + k + 3 - 17, -5*k + 25 = b*u. Is u a multiple of 4?
False
Is (191 - -7)*(-8 + 9) a multiple of 22?
True
Suppose 24 = 2*r - 0*r. Suppose c - 3*c = 0. Does 5 divide 5 + (-4)/r*c?
True
Does 2 divide (-9 - -5) + (1 + 161 - 1)?
False
Is 20 a factor of -14 + (14 - 7) - -874?
False
Let l be 2/(-2) - (-5 - -6). Does 8 divide (-4)/3*(-10 + l)?
True
Is 74 a factor of (-2 - -66)/((-78)/(-1443))?
True
Let b be 0 + -1 + -3 + 5. Suppose -w - b = -2. Is (w + -34)/((-6)/4) a multiple of 11?
True
Let k(x) = -2*x**2 - 3*x + 17. Let g(f) = -9*f**2 - 15*f + 84. Let j(s) = 5*g(s) - 24*k(s). Let z be j(8). Let w = 256 - z. Is w a multiple of 21?
False
Let s(u) = -3*u + 3. Let b be s(-2). Suppose d - 4*d = -b. Suppose -w - 2*y + 13 = -0*w, -d*w + 60 = -y. Does 6 divide w?
False
Let j be (28/(-5))/((-6)/60). Let o = j + -11. Does 11 divide 2/(-6) + 915/o?
False
Does 8 divide (1 - -187) + -8*(-10)/(-40)?
False
Let x be (232/24 - 8)*-3. Let c(p) = -5 + 3*p**2 + p + 2*p**2 + p**2 + p**3. Is c(x) a multiple of 7?
False
Let q be (-2 - 1/(-2))*-2. Let l(t) = -4*t + 47. Let y be l(-10). Suppose -7*w + q*d = -2*w - 66, 5*w + 4*d - y = 0. Is 4 a factor of w?
False
Suppose 4*z - 203 = 493. Suppose 12*a = 10*a + z. Does 20 divide a?
False
Suppose -2*d + 4*p = -4738, 83*d - 78*d + 4*p = 11817. Is 8 a factor of d?
False
Let k be (-10)/4*(-16)/20. Is (0 + 78)*k/3 a multiple of 13?
True
Let m(k) = -k**3 + 3*k**2 + 5*k - 3. Let c be m(4). Does 12 divide (-120)/50*(c + -16)?
True
Suppose t = -3*f - 54, 3*f = t - 0*f + 24. Suppose 83 + 247 = -5*x. Let r = t - x. Is 16 a factor of r?
False
Is 51 a factor of 1485 + (-18)/21*7?
True
Let w(q) = q**2 - q + 2. Let k = -7 - -7. Let f be w(k). Suppose 0 = -b + 5*t + 55, -f*t = -2*b - t + 83. Is b a multiple of 25?
False
Let m(o) = -8*o**3 - 2*o**2 - 2*o - 1. Let h be m(-1). Suppose 2*c = h*c - 10. Suppose 4*s = -c*b + 64, -4*s = 4*b - 162 + 42. Does 4 divide b?
True
Let h be 296/259*(7 + 0). Is h*(4/(-18) - 697/(-18)) a multiple of 44?
True
Let u(y) = 5*y**2 - 16*y + 48. Is u(13) a multiple of 23?
False
Let x be (4/(-4))/(2 + 243/(-123)). Let l = x + 68. Is l a multiple of 13?
False
Let y(h) be the third derivative of -7/60*h**5 + 0*h - 1/120*h**6 - 3*h**2 + 0 - 1/24*h**4 + 1/2*h**3. Does 5 divide y(-7)?
True
Let i(p) = -2*p + 2. Suppose 2*u - 15 = -u. Let g be i(u). Does 8 divide (-6)/g + 33/4?
False
Suppose 161 + 194 = 5*g. Suppose 4*b = -18 + 30. Does 18 divide g + b/(12/(-8))?
False
Let x be (-3870)/(-25) + 1/5. Let v = -30 + x. Is v a multiple of 25?
True
Does 24 divide (-10)/6 - (-306170)/102?
True
Let y(v) be the third derivative of 7*v**4/3 + v**3/3 + 50*v**2. Does 6 divide y(1)?
False
Suppose 0 = -4*f - 343 + 2983. Does 8 divide f?
False
Let c be 348/48 - (-1)/(-4). Suppose 0 = -u + c*u - 600. Is 7 a factor of u?
False
Suppose -4*v = k + 53, 0 = 2*v + 3*k + 2*k + 49. Let p = 17 + v. Suppose -49 = -p*w + 111. Does 8 divide w?
True
Suppose 608 = 91*n - 89*n. Is 44 a factor of (1/2 - 0)*n?
False
Suppose -144*u + 45 = -139*u. Is 8 a factor of u?
False
Let i(h) = h**2 + 5*h - 4. Let n be i(6). Suppose 3*l - 4*m - 143 = 0, 2*l + 3*m - n = -m. Does 13 divide 6/(3 + -6) + l?
True
Is (0 + -2)*27135/(-10) a multiple of 24?
False
Let g = -12 + 17. Suppose 0 = g*d + i - 729, 0*d = -5*d + 3*i + 713. Suppose -5*u + 3*a + d = 0, 3*u = u - 5*a + 89. Is u a multiple of 19?
False
Let k be (-16 + 3)*(1 + 42). Let c = -322 - k. Is c a multiple of 34?
False
Let d = 706 - 329. Suppose -b = 2*j - 201, -4*j + 24 = b - d. Is j a multiple of 25?
True
Let a(r) = -r**3 + 10*r**2 + 25*r - 15. Let k be a(11). Suppose 2*j - k - 179 = 0. Is 32 a factor of j?
False
Let o(d) = 465*d**3 + d**2 + 2*d + 2. Does 94 divide o(2)?
False
Suppose 120 - 39 = 9*u. Suppose u = -o + 66. Does 7 divide o?
False
Let q = 11 - 18. Is 24/(-56) + (-192)/q a multiple of 9?
True
Suppose -2*v + 4*v = -6. Let r be 1*(-1 + 2) + v. Is 5 a factor of (-85)/(-15) - r/(-3)?
True
Is 6 a factor of (-5)/((-10)/12)*12788/139?
True
Let t(v) = -v**3 + 7*v**2 - 4*v - 10. Let f be t(6). Let x(z) = 2*z + 3*z - z**3 - 12 - 2*z - 6*z**2 - 2*z**f. Does 14 divide x(-9)?
True
Suppose 0 = i - 5*b - 13, 19 = 5*i - 2*b - 0. Is 12 a factor of (-145)/(-3) - i/9?
True
Let h(i) = i**2 + 3*i + 5. Let u be h(-2). Suppose 6*l = u*l + 126. Does 7 divide l?
True
Let t(n) = 4*n**2 + 62*n + 57. Does 45 divide t(-17)?
False
Suppose 5 = 2*n - 3. Let o(s) = -4*s + 5*s**2 + 2*s**3 - 3*s**3 + 4 + 3*s. Is o(n) a multiple of 15?
False
Suppose -2*z = 4*p - 316, -5*p + 312 = 4*z - 2*z. Let r = 292 - z. Is r a multiple of 20?
False
Is 10 a factor of (1 + -5 + -2)/(6/(-1366))?
False
Suppose 2*m + 0*m - 4*d - 30 = 0, 3*m = -4*d + 45. Let k(t) = -7*t - 3 - m*t - 14*t + 2. Is 15 a factor of k(-1)?
False
Does 3 divide (13/(195/(-528)))/((-5)/25)?
False
Suppose 4*m + 28 = 4*u, -4*m - 5 - 17 = -u. Suppose 3*b - 353 = b - 5*h, 0 = 2*b - u*h - 332. Is b a multiple of 8?
False
Let h(q) = q**3 + 11 - 15 - 2*q**3 - 5*q**2 + 4*q. Let v be h(4). Let s = -66 - v. Is s a multiple of 22?
True
Suppose 2*o = 3*o - 4. Suppose 4*h - 5*q = 614, o*h - 2*q - 628 = -4*q. Suppose 5*i - 21 = 2*p + h, p = -3*i + 104. Is i a multiple of 7?
True
Let z(k) be the third derivative of 0 + 1/8*k**4 + 0*k + 5*k**3 + 2*k**2. Is z(16) a multiple of 15?
False
Suppose -497 = -34*p + 27*p. Is 4 a factor of p?
False
Suppose 2*p + 4*t = -4, -5*p = -p - 4*t - 4. Suppose p = 5*r - 263 - 277. Is 27 a factor of r?
True
Let d(j) = 4*j**2 - 2*j - 102. Let o(y) = -5*y**2 + 3*y + 101. Suppose -9 = -3*t + 6*t. Let k(w) = t*o(w) - 4*d(w). Does 22 divide k(0)?
False
Suppose -5*q + 7*q = 70. Suppose -5*t + q + 15 = 0. Does 9 divide (24/t)/((-16)/(-200))?
False
Let j(h) = 274*h + 75. Does 9 divide j(7)?
False
Suppose 0*n + 7 = -n - 4*c, -4*n = -3*c - 29. Suppose -5*v = -2*o + n + 28, -3*o + 52 = -5*v. Is -2 - o/(-1 + 0) a multiple of 6?
False
Let a be 6*-4*1/(-8). Let x(t) = t. Let d be x(a). Suppose 0 = d*j + 5*n - 88, 3*j - 120 = -2*j - 3*n. Does 7 divide j?
True
Let f(k) = 27*k - 6. Let n be f(5). Let q = n - 75. Does 7 divide 1 + (q - (4 - 7))?
False
Let r = 1068 + -570. Is 73 a factor of r?
False
Suppose -36 - 108 = -8*z. Is (1 - 2)*z/(-3) even?
True
Suppose 5*v = 3*q - 892, 1180 = 4*q - 22*v + 20*v. Does 6 divide q?
True
Suppose -2*f + 369 = 5. Suppose -6*p + f = -778. Is p a multiple of 28?
False
Let s = 3021 + -1527. Is 83 a factor of s?
True
Suppose 2*y - 23 = -2*y - b, 5*b + 5 = 0. Suppose y*s + 0*s = 186. Is s a multiple of 5?
False
Suppose -1693 = -3*x - 295. Is 50 a factor of x?
False
Let u = 287 + 197. Does 22 divide u?
True
Suppose -s + 802 = -4*a, -3*s - 3*a + 5*a + 2426 = 0. Does 