 20 divide q(-12)?
False
Let o(f) = f**3 + 4*f**2 + 4. Let q be o(-4). Suppose 14 = 2*j - 6*m + q*m, -4*j - 5*m + 37 = 0. Is j a multiple of 8?
True
Suppose -5988 - 1932 = -24*k. Is 29 a factor of k?
False
Suppose 0 = 2*v - 4*v - 70. Let r = v + 167. Suppose -4*i + 10*i = r. Does 11 divide i?
True
Let i = -199 + 409. Suppose -3*o - 171 = -4*f, 5*f - o - i + 10 = 0. Does 16 divide f?
False
Suppose -14133 - 5667 = -22*m. Is 75 a factor of m?
True
Suppose -a - a = -5*j - 574, 4*a - 5*j - 1158 = 0. Let c = 490 - a. Is c a multiple of 18?
True
Let i = 24 - 18. Suppose 264 - 1728 = -i*h. Is 48 a factor of h?
False
Let d(q) = q**3 - 13*q**2 - 15*q - 1. Let u be d(14). Does 36 divide 12/((-65)/u + -4)?
True
Let p(c) = -c**2 - 16*c + 20. Let v be p(-12). Let j = 72 - v. Is 2 a factor of j?
True
Let u(r) = 2*r**2 + 33*r + 45. Is 5 a factor of u(-17)?
False
Suppose 2*o + 2*f = -o - 383, 5*o - 2*f + 633 = 0. Let w = o - -169. Is w a multiple of 42?
True
Does 58 divide 350 - (-5 + 7 - 0)?
True
Let g(w) = -2*w**2 + 24*w + 4. Let a be g(11). Let y = a + 15. Is 14 a factor of y?
False
Let r be 0 - (2 - 0) - -21. Let d = r - 21. Is -1*d*6/4 a multiple of 3?
True
Suppose 3*k - 299 = 235. Suppose -2*b + 4*f + 64 = 0, 4*b + 4*f + 26 = k. Suppose -3*d + 147 = -b. Is 17 a factor of d?
False
Suppose 9*l - 15 = 14*l. Is 2 a factor of (-17)/l - (0 + 6/9)?
False
Let z(j) = 6*j**3 - j**2 + 7*j - 2. Let k be z(3). Suppose 6*u - 958 + k = 0. Is 12 a factor of u?
False
Let s be 5/1 - -3 - 4. Suppose 0 = -2*k + s*k + 6. Let u(v) = -10*v + 9. Does 13 divide u(k)?
True
Let g = 3396 + -464. Is g a multiple of 15?
False
Suppose -3*q - 3*o + 40 = 2*q, 0 = -q + 3*o - 10. Suppose 0 = -q*l - 2*x + 46, -x + 0*x + 38 = 4*l. Is l a multiple of 3?
False
Let h be 2*5/10*(-1 - 0). Is h + (-577)/(-4) + 25/(-100) a multiple of 20?
False
Suppose -6032 = 690*b - 694*b. Is b a multiple of 12?
False
Let m(g) = 19*g**2 + 43*g + 7. Is m(-11) a multiple of 47?
True
Let z(b) = -b**3 - 9*b**2 - 7*b. Does 33 divide z(-9)?
False
Let h be 0 - (10/35 - (-78)/21). Is -1 + -1 - (h + -38) a multiple of 10?
True
Let f be -2 + 14/8 - 14/8. Let s = 35 - f. Does 4 divide s?
False
Suppose 30*m = -9*m + 22230. Is 19 a factor of m?
True
Suppose -h = -9 + 93. Let l = h - -234. Is l a multiple of 34?
False
Let h(j) = -j**2 - 10*j - 4. Let r be h(-12). Let q = r - -50. Suppose 134 = 4*l + q. Is l a multiple of 14?
True
Is 22 a factor of ((-23)/(-23) - (-12)/(-3)) + 1213?
True
Suppose -h + 828 = -4*i, 2*h - 35*i + 38*i = 1667. Does 13 divide h?
True
Let q = 222 + 66. Is 9 a factor of q?
True
Let d(r) = -26*r**2 - 5*r - 1. Let h(p) = 27*p**2 + 4*p + 1. Let b(s) = 4*d(s) + 5*h(s). Let t be b(-1). Suppose 0 = -4*w + 3*w + t. Does 20 divide w?
False
Let w(l) = l**2 + 4*l. Let k be w(-5). Suppose -k*z - 158 = -4*f + 113, -8 = -2*f. Let q = z + 81. Is q a multiple of 30?
True
Let u(p) = -p**2 - 9*p - 2. Suppose 34 = -5*l - 6. Let i be u(l). Is 9 - 3/(-6)*i a multiple of 5?
False
Let m be ((-27)/4)/(7/(-84)). Suppose -u - 2*u = 0. Does 27 divide m + (u - 0 - 0)?
True
Suppose -4*j = 3*q - 39, -5*q - 3*j + 80 - 15 = 0. Suppose k + 3*z - q = 0, -k + z + 3*z = -34. Does 11 divide k?
True
Let u be 5/15 + 124/6. Let x be u*(-1 + 2 - 0). Suppose -2*y + q + 22 = -q, 0 = 2*y - 3*q - x. Is y a multiple of 10?
False
Suppose -2009 = -19*p + 936. Is 78 a factor of p?
False
Let f = 96 + -177. Let b = 129 + f. Is 12 a factor of b?
True
Suppose 0 = -2*l + 3*a - 60, 5*l + 119 - 15 = -4*a. Let i = 80 + l. Suppose 12*n = 8*n + i. Does 7 divide n?
True
Suppose f + 0 = 4*y - 4, -2*f = -y + 15. Let a be -1 - 3 - (f + 4). Suppose a = 3*q - 5*q + 5*v, 4*v = 8. Does 5 divide q?
True
Suppose -2*k - 4*k = 0. Suppose k = 5*i - 12 - 13. Suppose 0 = -i*o + 166 + 44. Is 14 a factor of o?
True
Let d(y) = -7*y - 6. Suppose -14*z - 12 = -17*z. Suppose -3*i - 5*x + 3 = 32, -z*x - 7 = -3*i. Is 3 a factor of d(i)?
True
Suppose -7*i + 2*d = -11*i + 1096, 4*i - 1096 = 2*d. Is 20 a factor of i?
False
Suppose -b = 147 + 258. Does 5 divide b/(-18) + 2/4?
False
Suppose 0*s = 3*s - 63. Suppose 4*v - 3*l - 14 = 0, 0*l = -5*v + 2*l + s. Let z = 13 - v. Is z a multiple of 8?
True
Let i be ((-1 - -2)/1)/((-2)/(-30)). Suppose 124 = 19*m - i*m. Does 4 divide m?
False
Suppose 12*l - 14*l = -264. Is 6 a factor of l?
True
Is (172 - 3) + (-1 - 3) a multiple of 15?
True
Let l(q) = 5*q**2 - 19*q + 18. Is l(-7) a multiple of 22?
True
Suppose -2*j + 3*j = -2, 5*w - 95 = 5*j. Let r be 6293/186 - 4/(-24). Is (r/w)/(1/5) a multiple of 10?
True
Let k be (-23)/(-3) - 2/(-6). Let m(l) = -l**3 + 9*l**2 - 8*l + 5. Let f be m(k). Suppose 4*n + 312 + 28 = 4*u, -425 = -f*u - n. Is u a multiple of 15?
False
Let t be -4*(-2 + -7)/1. Let g be (-30 + 27)/(2/(-6))*1. Suppose -6*b = -g*b + t. Is 8 a factor of b?
False
Suppose 3*o - p = 267, 12*p + 258 = 3*o + 8*p. Suppose g - o = 165. Does 46 divide g?
False
Suppose -2 + 2 = d. Is d - 5/20 - 285/(-4) a multiple of 9?
False
Suppose -2*f = f - 75. Let m = f - -23. Is m a multiple of 16?
True
Is 6 a factor of -8 + 8 + 0 + 61 + 0?
False
Is 13 a factor of (-157150)/(-77) + 12/132?
True
Let h = -451 + 542. Let s be (-2)/7 - (-401)/7. Let u = h - s. Does 17 divide u?
True
Let u(g) = 101*g - 90. Is u(40) a multiple of 10?
True
Suppose u = 2 + 4. Does 5 divide 342/3*(16/u)/4?
False
Suppose -3*t + 55 - 166 = -u, 5*u = 4*t + 500. Suppose u = 2*b - b. Is 32 a factor of b?
True
Does 23 divide 69/6*52/(-2 - -4)?
True
Let o(v) = v**2 + 8*v. Is 24 a factor of o(12)?
True
Suppose 0*i - 2*i + 4*r = -24, 0 = -3*r - 12. Suppose 4*h - 24 = i*u, 0*h + u - 6 = -3*h. Suppose -4*n + 44 = h*j + j, -3*n = 2*j - 38. Is n a multiple of 16?
True
Suppose 3*i - 2 = 4, -2*u = -5*i - 1790. Is u a multiple of 15?
True
Let d(g) = -41*g + 8. Let p(v) = -v - 1. Let x(h) = -d(h) + p(h). Does 33 divide x(5)?
False
Let u(y) = 11*y - 3. Let t(v) = -v. Let q(w) = 4*t(w) + u(w). Let k be q(3). Suppose 4*i + i - 36 = -4*o, 2*i + k = 2*o. Is 8 a factor of o?
False
Let c(b) = b**3 + 17*b**2 - b - 15. Let q be -17*-2*3/(-6). Let d be c(q). Suppose -5*m = o - 182, -d*o + 154 = 4*m + 3*o. Is m a multiple of 9?
True
Suppose 39*o = 35*o + 1416. Is 63 a factor of o?
False
Suppose -b = 14*i - 19*i - 187, 5*i = -4*b + 848. Does 8 divide b?
False
Let s(r) = 6*r**2 - 6*r - 6. Let x be s(-5). Suppose 32*d = 31*d + x. Does 21 divide d?
False
Suppose -2*v = 0, -3*b + 2*v + v = -36. Let k = b - -10. Does 9 divide k?
False
Let v be (-6)/(-21) + 290/14. Suppose 5*d + 85 = 175. Let k = d + v. Does 9 divide k?
False
Let l(r) = -r + 4. Let b be l(8). Suppose 0 = -0*p + p - 59. Let i = p - b. Is i a multiple of 21?
True
Let x = -61 - -65. Suppose -125 = -2*m + 3*w + 50, 0 = 2*m + x*w - 140. Is 11 a factor of m?
False
Let b = 23 - 11. Let l = b + -12. Suppose 261 = 3*n - n + m, l = 5*n + 5*m - 650. Does 30 divide n?
False
Let l(w) = -w + 5. Let i be (-9)/(-2) - (-30)/(-20). Suppose p = 6*p + i*f + 18, 5*p + 50 = 5*f. Does 7 divide l(p)?
False
Let b(r) = 14*r**3 + r - 2. Let k be b(1). Suppose 0 = 2*u + u - 2*m - k, 2*m - 2 = 0. Suppose -4*w - h + 62 = -2*w, -20 = -u*h. Does 22 divide w?
False
Suppose -m = 0, -m = 6*g - 10*g + 1620. Does 81 divide g?
True
Let q = -17 + 19. Suppose q*c = -2*c. Suppose 2*l + 111 = i + l, c = -2*i - l + 213. Is 24 a factor of i?
False
Let s(a) be the second derivative of 13/6*a**3 + 0 - 3/2*a**2 - 3*a - 7/12*a**4 - 1/20*a**5. Does 21 divide s(-9)?
True
Is (-9350)/75*6/(-4) a multiple of 16?
False
Let r(t) = t**2 - 9*t + 20. Let j(v) = -v**2 + 4*v + 14. Let f be j(5). Does 10 divide r(f)?
True
Suppose 0 = -5*z - 5*s - 45, 2 = -3*z + 2*s - 0*s. Let o = -13 - z. Is 9 a factor of (-159)/o + 1/3?
True
Let z = -11 + 14. Let b be -1 + 4 + z/1. Is 2/b - 56/(-21) a multiple of 3?
True
Let i = -5 - -5. Suppose 2*g - 52 = -i*g. Is 18 a factor of g?
False
Suppose 348 - 124 = 4*u. Does 7 divide u?
True
Suppose 0 = -5*p - 4 - 6. Let v be 8/(48/(-315))*p. Suppose -5*m + v = -2*m. Is 8 a factor of m?
False
Let d = 14 + -11. Suppose -w + 82 = 2*b - 16, -5*b + d*w = -256. Does 10 divide b?
True
Let b be ((-2)/5)/(3/(-30)). Let f(a) = 6*a**2 - 3*a**3 + 7*a**2 - 14*a**2 + 84 + b*a**3. Is 25 a factor of f(0)?
False
Suppose 10*z = 9*z - 2*a + 63, -a + 199 = 3*z. Is 2 a factor of z?
False
Suppose -136