f + 2*f = 2*x + 790, -3*x = -3. Is 12 a factor of f?
True
Let n(o) = -4*o**2 - 3*o - 7. Let g(t) = 5*t**2 + 2*t + 8. Let q(z) = -5*g(z) - 6*n(z). Suppose -5*s + 4*s = -7. Does 3 divide q(s)?
True
Suppose 2*l - 5 = -l + x, 2*x + 2 = -2*l. Let r be l + (-5 - (-2 - -2)). Is 10/5*(-18)/r a multiple of 9?
True
Suppose -2*k - 2*k + 16 = 0. Let w(q) = -15*q**2 + 3*q - 4. Let p(h) = -h**2 + h - 1. Let y(x) = k*p(x) - w(x). Is 12 a factor of y(1)?
True
Let y(c) = -2*c**3 + 2*c**2 - c + 1. Let g be y(-2). Suppose g = 2*j - 33. Is 4 a factor of j?
False
Let u be (-1)/2*4 - -5. Suppose 15 + 12 = u*i. Is i a multiple of 5?
False
Let q(i) = -64*i. Suppose -4*n + 0 - 4 = 0. Does 14 divide q(n)?
False
Suppose 1965 + 387 = 14*d. Suppose 3*x - d = -x. Does 14 divide x?
True
Let o = 6 - 10. Is 21 a factor of 1052/5 + o/10?
True
Let w(i) be the first derivative of i**4/4 - 4*i**3/3 + 5*i**2/2 - i - 1. Let s(r) = 8*r + 76. Let u be s(-9). Is w(u) a multiple of 5?
False
Let o(s) be the second derivative of -s**4/12 + 3*s**3/2 - 17*s**2/2 + 11*s. Let i be o(6). Suppose -j + 4 = i. Is j even?
False
Let o(c) = -c**3 + 33*c**2 + 41*c - 112. Is 7 a factor of o(34)?
True
Suppose 2*s - 134 + 23 = -5*d, 0 = -3*d + 3*s + 75. Let u = d - 20. Let c(h) = 2*h**3 - 3*h**2 + 3*h + 3. Does 27 divide c(u)?
False
Let q = 297 + -287. Does 5 divide q?
True
Let p = 8 - 7. Let i be 36*p/(-2 + 1). Let d = -8 - i. Does 7 divide d?
True
Let z = -285 - -85. Let r = z - -368. Does 14 divide r?
True
Suppose 0 = -3*q + q + 20. Suppose -11*s + 96 = -q*s. Is s a multiple of 20?
False
Let u(v) = -3*v**2 + 13*v - 9. Let z(o) = 2*o**2 - 7*o + 4. Let r(c) = c**2 - 10*c + 12. Let l be r(9). Let g(a) = l*u(a) + 5*z(a). Is g(-7) a multiple of 7?
True
Let n(b) = 35*b - 23. Let z be n(15). Let q = 874 - z. Is q a multiple of 31?
True
Let k = -8 + 6. Let z be (-102)/12 + k/(-4). Does 12 divide 422/8 - (-6)/z?
False
Let t(h) = 14*h**2 + 5*h - 12. Does 5 divide t(2)?
False
Let m = 599 + -473. Is m a multiple of 36?
False
Let l be 5/(-15)*(6 + 0). Let b be (15 - (-4 - l))*1. Suppose b = 2*u - 21. Is u a multiple of 8?
False
Suppose 2*b = -2*r + 270, -5*r = -2*r + 9. Suppose 0 = 2*j - 4*j + b. Does 41 divide j?
False
Let t = -38 - -118. Let c = t - 16. Is 8 a factor of c?
True
Suppose 0 = -2*x + 4 + 12. Suppose 4 = -5*h + o, h - o = o - x. Suppose 5*m - 3*l - 289 = h, 2*m - 181 = -m - 2*l. Is 11 a factor of m?
False
Suppose c - 14 = -2*r, 3*r - c - 4*c = 21. Let i = 11 + r. Does 2 divide i?
True
Let r = -57 - -50. Is (-365)/r - 4/28 a multiple of 14?
False
Let u be (-54)/(-72) - 1/(-4). Let q be (1 + -2)*u/(-1). Is 13 a factor of 72 - ((0 - 2) + q)?
False
Suppose 0 = 176*q - 133*q - 35432. Is 8 a factor of q?
True
Suppose 0 = 4*k + n - 187, -k + 2*n - 23 + 72 = 0. Let s = k - 14. Does 12 divide s?
False
Let q = 35 + -31. Suppose -120 = -q*s + 372. Does 41 divide s?
True
Suppose 5*j - 320 = 5*g, 199 = -5*g - 3*j - 89. Is g/(-4 - 20/(-6)) a multiple of 18?
True
Is (-5244)/(-10) + (-66)/(-110) a multiple of 21?
True
Let a = -54 - -80. Suppose -d - 5*h + 0*h = a, -4*h + 44 = -d. Let z = d - -55. Does 12 divide z?
False
Let g be 633/4 - 4/16. Suppose 3*c - g = 2*x, -4*c + 0*x + 207 = x. Does 26 divide c?
True
Suppose 5*i - 3*j + 0 = 8, 0 = 4*i + 5*j + 1. Let b(w) = 6*w - 49. Let v be b(16). Let n = v + i. Is 16 a factor of n?
True
Let x = -10610 - -17285. Does 16 divide x?
False
Suppose -6 = -4*u - 5*o + 1, 5*u - 3*o - 18 = 0. Let b be (83/1)/((-1)/(-2)). Suppose 0 = -u*c + b + 104. Does 30 divide c?
True
Let g(i) = -2*i + 3. Let p(x) = -4*x + 16. Let z be p(7). Is 8 a factor of g(z)?
False
Let k(r) = -5*r**3 + r**2 + 3*r + 9. Is k(-4) a multiple of 37?
True
Suppose -c = -2*b, 2*b + 5*c = -0*b. Suppose -7*p + 6*p + 20 = b. Let s = 42 - p. Is s a multiple of 11?
True
Suppose -15*q + 2219 = -5221. Does 31 divide q?
True
Suppose 4*b + 0*i + 37 = -5*i, -b + 4*i = -17. Is 1 - (2 - (24 - b)) a multiple of 13?
True
Suppose -72757 = -41*s + 20108. Is s a multiple of 8?
False
Suppose 0 = u + 10 + 4. Suppose -2*w = -313 + 2329. Does 8 divide ((-4)/(-6))/(u/w)?
True
Let r = -26 - -126. Is r a multiple of 3?
False
Let c be 8/(-3)*(-2 + 5). Let f be (412/(-2))/(6 + c). Suppose -5*n = 4*l - 215, 5*l - 187 - f = -2*n. Is 15 a factor of l?
True
Suppose 0*z = 2*z. Suppose 3*l = -z*l - 9, 3*l + 77 = u. Suppose 0 = 4*r - u + 20. Is 4 a factor of r?
True
Suppose 5*w + 4*p - 95 = 0, -w = -4*w - p + 50. Let q = -11 + w. Suppose -3*b + 66 = -u, 0*b - q*u - 34 = -2*b. Is b a multiple of 6?
False
Let b(w) = -w**3 + 10*w**2 - 24 + 8 - 3*w + 12. Is 21 a factor of b(7)?
False
Let j = 2488 - 1292. Is j a multiple of 46?
True
Suppose -3 = -3*v, 3*t - 4*v + 1 = -9*v. Let z be -240 + 6/t - -4. Does 20 divide 13/52 - z/4?
True
Let n(z) = 3*z**3 + 32*z**2 + 11*z - 21. Let u be n(-10). Let m = 189 - u. Does 20 divide m?
True
Let q(v) = -778*v**3 - 5*v**2 + 10*v + 16. Is 10 a factor of q(-1)?
False
Suppose 50*g - 25960 = 23190. Is 77 a factor of g?
False
Let y(o) = -o**2 - 19*o + 122. Is 3 a factor of y(0)?
False
Suppose j - 6*j - 135 = 0. Let c = j - -25. Is (c*37 - 0)/(-1) a multiple of 21?
False
Let a = 2621 + -1641. Is 14 a factor of a?
True
Let h(m) = m**3 + 6*m**2 + 6*m + 5. Let k be h(-5). Let l(v) = 4*v**2 - v + 5. Let d be l(0). Suppose k = -d*z + 98 + 2. Is 10 a factor of z?
True
Let k = -1651 - -3604. Is 18 a factor of k?
False
Let h = 472 + -291. Is h a multiple of 5?
False
Let x = -5 + 7. Suppose -2*l - o + 3 = -3, -x*l + 14 = -o. Suppose -l*b + 24 + 336 = 0. Does 19 divide b?
False
Suppose -789*l + 3030 = -783*l. Is 10 a factor of l?
False
Suppose -229 = -2*k - 5*h, 0 = 6*k - 5*k + 4*h - 113. Is k a multiple of 13?
True
Let m be 4*(-4 - -2)*(-85)/10. Let v = m + -40. Is v a multiple of 8?
False
Suppose 4*d - 3 = 5. Let z be d - (5 - (5 + -2)). Let w(m) = m**2 + m + 20. Is w(z) a multiple of 10?
True
Let m(b) = b**2 - 2*b - 24. Does 24 divide m(8)?
True
Suppose -3 = -3*l, 4*k - 2*l = 2*l. Let u be (k + 307)/2 - 0. Let c = 218 - u. Is c a multiple of 32?
True
Suppose 30*c + 20577 = 49*c. Does 57 divide c?
True
Let m(g) = -g - 2. Let c be m(-3). Let l = c - -3. Does 3 divide 10/l*(-42)/(-15)?
False
Let q(y) = -y**3 - 7*y**2 + y + 6. Let t be q(-7). Is 35 a factor of (1/t - 0)*-211?
False
Suppose 274 = 3*g - 5*a, -3*g = -3*a - 386 + 122. Let f be g + 1*(-3 + 4). Suppose 0*s = 6*s - f. Is s a multiple of 3?
False
Suppose -2*y = -3*s - 7197, 14*s - 12*s + 3601 = y. Is 63 a factor of y?
True
Let j = -449 + 929. Is j a multiple of 16?
True
Suppose 4*z - 19 = 13. Suppose z*l = 7*l. Suppose -q + 30 = 3*w - 24, l = 4*q + 5*w - 188. Is 18 a factor of q?
False
Is 109 a factor of ((-21)/((-420)/(-50)))/((-2)/484)?
False
Let d(o) = -38*o**3 + 2*o**2 + 15*o + 14. Is 13 a factor of d(-1)?
True
Let j be 29 - (0 + -4) - 1. Let o = -18 + j. Does 7 divide o?
True
Suppose -4*c - 5*k + k + 804 = 0, 5*c + 3*k = 1003. Does 20 divide c?
True
Let b(x) = 182*x - 423. Does 9 divide b(9)?
True
Suppose 329 = -3*k - 4*z, 2*k - 5*z - 114 + 318 = 0. Let w = -20 - k. Does 11 divide w?
False
Is 28 a factor of 742/159*((-2)/(-2) - -155)?
True
Let s(x) = 6*x**2 - 2*x + 2. Let p be s(1). Suppose 0 = 2*c - p, -q = 3*q + c - 59. Does 4 divide q?
False
Let r = -1839 - -2609. Suppose 2*o - r = -5*o. Is 20 a factor of o?
False
Let y(i) = i**3 - 14*i**2 + 3*i - 35. Let c be y(14). Suppose c*m - 124 = 37. Is m a multiple of 20?
False
Let o = 70 + 26. Does 3 divide o?
True
Suppose 0 = 4*t - 2*t - 10. Let w(j) = 22*j - 6. Let x be w(t). Let q = x - 58. Is q a multiple of 23?
True
Let t(h) = 15*h**2 + 9*h + 3. Let w(s) = s**2 + 14*s + 9. Let d be w(-13). Is t(d) a multiple of 57?
False
Suppose 6 = -2*p, 4*q - 131 = 5*p + 1252. Is 18 a factor of q?
True
Suppose -32 = 4*a - 4*w, 0*a - 3*a - 3 = 4*w. Let i be a/(-10)*(-1 + 1). Suppose j + 15 - 37 = i. Does 15 divide j?
False
Suppose -5*f + 7724 = -g, -6*f + f + 2*g + 7728 = 0. Suppose 7*u - f = 17. Does 23 divide u?
False
Suppose -2*b = 2*x - 5172, 3*b = -6*x + 7*x + 7746. Does 9 divide b?
True
Let m = 30 - 17. Let z = 9 - m. Is (z - 2)*(-130)/30 a multiple of 7?
False
Let l(o) = 15*o**2 - 12*o + 4. Let f be l(3). Suppose -8*t - f = -303. Is t a multiple of 4?
False
Suppose -13*f = -16*f + 30. Suppose -f*h = -0*h - 1320. Does 33 di