 2 divide r?
True
Let t(a) = a**3 + 7*a**2 + 2*a - 3. Let j be 45/10*2/3. Suppose x - 12 = j*x. Does 7 divide t(x)?
True
Suppose -i = 5*r - 2, -r - 3 - 1 = -2*i. Suppose s - y = 0, -15 = i*s + 3*y - 40. Suppose -3*u - 88 - 12 = -s*v, v - u - 20 = 0. Does 10 divide v?
True
Let x = 30 - 14. Is 7 a factor of x?
False
Suppose -u + 5*i = -455, -2*i = -5*u + 4*u + 443. Is 21 a factor of u?
False
Is -1 + 110 - (-12)/(-18)*-3 a multiple of 37?
True
Suppose 4*o - 108 = 4*v, -4*v + 3*o = -0*o + 103. Let x = -10 - v. Is 12 a factor of x?
True
Suppose -v + 14 = -10. Is 8 a factor of v?
True
Suppose -24 = 4*y - 6*y. Does 10 divide y?
False
Suppose 5*w - 24 + 4 = 0. Does 4 divide w?
True
Let n(w) = -w**3 - 5*w**2 - 4*w - 3. Let g be n(-4). Let v(b) = -4*b + 8. Let j(d) = -7*d + 17. Let u(s) = -4*j(s) + 9*v(s). Is 14 a factor of u(g)?
True
Let m(h) = -h + 1. Let p be m(-2). Is (-2)/p*93/(-2) a multiple of 21?
False
Is 10 a factor of 470/20*(4 + (-4 - -2))?
False
Let i = 3 - -1. Suppose 2 = -i*o + 30. Does 3 divide o?
False
Suppose -4*z + 22 = -90. Is 28 a factor of z?
True
Suppose -7*g = -4*v - 3*g + 228, 5*g + 45 = v. Is v a multiple of 20?
True
Let l be (-53)/5 - (-4)/(-10). Suppose -5*h = 2*w - 1, 2*h = 3*w - 4*w - 1. Let g = w - l. Does 2 divide g?
True
Let z = 245 - 19. Is z a multiple of 17?
False
Suppose 3*q = i + 110, 72 = 2*q - 5*i - 23. Let r = q + 10. Is 20 a factor of r?
False
Let t(p) be the first derivative of -p**4/12 - 4*p**3/3 + 3*p**2 + 3*p + 3. Let u(n) be the first derivative of t(n). Is 3 a factor of u(-8)?
True
Suppose 0 = 3*u - 28 - 5. Is u a multiple of 5?
False
Let x be (2 - 10/6)*3. Let o = 13 - x. Is 9 a factor of o?
False
Suppose -36 = -j - 2*c, 41 - 118 = -2*j - 5*c. Suppose -l = r - j, 2*r + 106 = 5*l - r. Let g = -14 + l. Is 6 a factor of g?
False
Let a = 5 - 1. Let l(d) = -d**3 + 7*d**2 - d - 2. Is l(a) a multiple of 14?
True
Suppose 2*y = y. Suppose y = 3*s - 86 - 76. Is s a multiple of 20?
False
Let u = 30 - -14. Does 8 divide u?
False
Does 9 divide (-2)/(-8) - 1386/(-56)?
False
Let x(a) = -a**3 - 3*a**2 - 2*a - 3. Is 21 a factor of x(-4)?
True
Let r(p) = p**3 - 4*p**2 + 3. Let g be r(3). Let n(l) = -l**3 - 4*l**2 + 6*l. Does 12 divide n(g)?
True
Suppose -q - 13 = 3*i - 0*i, -q + 22 = -4*i. Suppose 3 = -q*k + 9. Suppose -2*n = -k*p + 28, 3*p - 45 = 4*n - 13. Is p a multiple of 8?
True
Let z = -1 - -4. Suppose z*d + 10 = 37. Suppose 27 = 3*s + d. Does 3 divide s?
True
Let m(s) = -102*s - 5. Does 18 divide m(-1)?
False
Let a be 12 + (1 - 2/(-2)). Suppose -z = -3*c + 3, 4*z + 5*c - a = 8. Suppose -2*o + 22 = 5*x, -x - 4*x + 17 = -z*o. Does 4 divide x?
True
Let o(i) = -11*i + 8. Let m(a) = -16*a + 12. Let w(h) = -5*m(h) + 8*o(h). Is w(-4) a multiple of 9?
True
Let u = -151 + 253. Is u a multiple of 22?
False
Suppose 3*x - 22 = -2*c, -3*c + c - 18 = -x. Does 9 divide x?
False
Suppose -r + 2*r - 2*u + 11 = 0, -4*r + 4*u - 24 = 0. Let s be 57 + (-2 - r*3). Suppose l + 4*f - 1 = 0, -4*l - 2*f = 12 - s. Does 13 divide l?
True
Let g(f) = 2*f + 2. Suppose 3*j = 2*j + 2. Let o be g(j). Suppose -z + o*z + 4 = 2*h, z = -2*h + 28. Is 12 a factor of h?
True
Let r(z) = -5*z + 4. Does 27 divide r(-10)?
True
Let c = -5 - -6. Let g be 2/(0 + c) - 2. Suppose -2*p - 4*z + g*z = -64, -3*z = -p + 42. Is p a multiple of 18?
True
Let u(i) = 17*i - 2. Does 8 divide u(2)?
True
Suppose 9*h - 4*h = 220. Suppose 2*v + 7*u = 3*u + 32, 3*v - u = 83. Let c = h - v. Is 13 a factor of c?
False
Suppose -17*j = -14*j - 480. Is 8 a factor of j?
True
Suppose 0 = 2*k + 83 + 161. Let a be (-4)/(-10)*(-2 - k). Suppose -5*s + a = -3*s. Is s a multiple of 12?
True
Let h be (7 + -9)/(2/(-24)). Suppose -h = -2*r + 6. Is 8 a factor of r?
False
Let u be (-434)/21 - (-4)/6. Let l = 45 + u. Does 16 divide l?
False
Suppose 9*b - 70 = 8*b. Does 10 divide b?
True
Let s(k) = -9 - 3*k + 0*k - k. Is s(-12) a multiple of 21?
False
Let t be 4*2/1 - 2. Suppose 3*r - 3 = -t. Let u(n) = 12*n**2 - n - 1. Is 12 a factor of u(r)?
True
Let s be (-1)/(5/(-4) - -1). Is 6 a factor of 5 + 3/s*4?
False
Let o(b) = b**3 - b**2 + 104. Let r be o(0). Let z = -67 - -217. Let c = z - r. Does 23 divide c?
True
Suppose -4*z = 50 + 42. Let r be (-103)/(-2) + (-1)/2. Let j = z + r. Is j a multiple of 14?
True
Let h = 0 - 4. Let m be 2*(-3)/h*2. Suppose 4*v - 5 = m. Is v even?
True
Let h = -7 - -22. Is 14 a factor of (70/h)/((-2)/(-9))?
False
Let w(c) = 9*c**2 - 1. Is w(-2) a multiple of 10?
False
Suppose 4*a = 3*a + 5. Suppose 6 = a*j - 14. Does 7 divide ((-14)/4)/((-1)/j)?
True
Let i(h) = h**3 - 6*h**2 - 4*h. Let d be i(8). Let n = -37 + d. Is 25 a factor of n?
False
Let z = -335 - -471. Let u = 204 - z. Does 29 divide u?
False
Let o = -34 + 118. Suppose -4*t + o = -t. Is 14 a factor of t?
True
Let l be (-4)/10 - 7/(-5). Is 4 a factor of 5 - ((3 - l) + -1)?
True
Suppose 4*u - 1 - 3 = 0. Let i = u - -9. Is i a multiple of 2?
True
Let r be ((-3)/6)/(2/148). Let v = r - -73. Let h = v + -20. Is 9 a factor of h?
False
Suppose 2*g = g + 4. Let y be (-40)/(-6)*1*3. Suppose -4*z + 59 = h, z - h - y = g*h. Does 15 divide z?
True
Let m = 6 - 15. Let i = m - -2. Let o(x) = -4*x + 4. Is 16 a factor of o(i)?
True
Let s(d) = -2*d - 9. Let z be s(-8). Let k(t) = 3*t - 9. Let a(r) = 8*r - 28. Let v(h) = z*k(h) - 2*a(h). Does 18 divide v(7)?
False
Let o be 5*(-2)/(-20)*4. Suppose o*c = 4*c + 2. Does 12 divide ((-76)/(-4))/(2 + c)?
False
Is 9 a factor of (-21)/9*45/(-5)?
False
Suppose 0 = w + 3*t - 15, -2*w - t = 2*w - 5. Suppose -4*s + 2*s + 2*l + 56 = 0, -s - 4*l + 23 = w. Let g = s - 13. Is g a multiple of 14?
True
Let n = 67 - 43. Is 12 a factor of n*(3/(-2) - -2)?
True
Let a(y) = 8*y + 4*y + 4 - 3 - y. Is a(3) a multiple of 20?
False
Let a(i) = 2*i - 1. Let b(f) = f. Let m(n) = a(n) + 2*b(n). Let r be m(1). Suppose 2*g + 4 - 6 = -2*j, 2*j + r*g = 1. Is j a multiple of 2?
True
Let q = 4 - 0. Does 18 divide q/2*-1 - -47?
False
Let m(v) = -2*v**3 - 3*v**2 + 2*v + 2. Is m(-3) a multiple of 11?
False
Let z(u) = -u**3 + 13*u**2 - 15*u + 3. Let x be z(11). Let l = x - 112. Let h = l + 69. Is h a multiple of 12?
False
Suppose -3*h + 4*n = -33, -2*h + 7*n = 8*n - 11. Is 3 a factor of h?
False
Suppose -2*i + 468 = 3*d - 5*i, -4*d - 4*i = -624. Is 17 a factor of d?
False
Let w(i) = -i**2 + i. Let n(m) = -12*m + 6. Let d(g) = n(g) + w(g). Let y be d(-8). Let r = y + -15. Is r a multiple of 5?
True
Let x(v) be the second derivative of -v**3 - 2*v**2 + v. Let f be x(-6). Suppose 5*z - 132 = -f. Is z a multiple of 7?
False
Is 38/3 - (-2)/(-3) a multiple of 6?
True
Let k = 2 + 2. Suppose 0 = -u - 4 + 5, -k*b = -2*u + 38. Is 3/b - 48/(-9) a multiple of 2?
False
Let y be 2/(8/(-22))*2. Let u = y + 16. Suppose 0 = u*p - 43 - 7. Is p a multiple of 10?
True
Suppose -4 = -2*b, -6*i + 4*b = -2*i. Let p(x) = -x**3 + x**2 + x + 64. Let n be p(0). Does 5 divide (n/(-12))/(i/(-6))?
False
Let i(t) = -t**3 + t + 2. Let w be i(-2). Suppose -w - 2 = -a. Is a a multiple of 8?
False
Let b(f) = -138*f. Is 40 a factor of b(-1)?
False
Let i be 93/7 + (-6)/21. Suppose -2*b + i = 3. Does 3 divide b?
False
Suppose -4*q + 5 = -3. Suppose -q = 4*i - 5*i. Suppose -5*c + 160 = -i*w, -4*c + 5*w + 74 = -54. Does 11 divide c?
False
Let m be (-6)/((-2)/1) + 1. Is 11 a factor of (1/2)/(m/160)?
False
Is 3 - 1 - (-75 - -2) a multiple of 19?
False
Let t be 0 - (-3)/2*2. Is 94/t - (-2)/3 a multiple of 14?
False
Suppose 2*i - 6*i + 16 = 0. Is 2/(606/(-153) + i) a multiple of 16?
False
Suppose -4*k - k - 41 = -2*b, 0 = 4*k + 4*b + 16. Let l(h) = h**2 + 7*h + 2. Let a be l(k). Suppose 3*x + a*x = 65. Is 12 a factor of x?
False
Let a = -22 - -33. Is a a multiple of 11?
True
Suppose 2*u + 15 = 7*u. Let w(o) = -o**2 + 2*o + 3. Let g be w(-1). Suppose g = -u*f + 5*d + 54 + 19, -5*f + 133 = 3*d. Is f a multiple of 13?
True
Let a(t) = t - 3*t - 3 - 5*t + 0*t. Does 5 divide a(-2)?
False
Suppose 0 = -3*r - 3*p - 9 - 0, -p - 7 = 5*r. Let y be -3*r/3 - -14. Suppose -4*t + 0*t - 43 = -3*u, 3*t - y = -3*u. Is u a multiple of 9?
True
Let d = 17 + -14. Is 3 a factor of d?
True
Suppose -3*u = -0*u - 240. Let t = u - 56. Does 7 divide t?
False
Suppose 3*a - 2 = -3*d - 5, -1 = 4*d + 3*a. Suppose 0*z + d*z = 2*f - 82, 0 = 4*f + 2*z - 134. Is f a multiple of 12?
True
Let k(u) be the