 - 1700 = -1941*x. Does 19 divide x?
False
Let v = -152 - -452. Is 5 a factor of v?
True
Let i(p) = p**2 + 10*p + 69. Does 30 divide i(11)?
True
Let j be 2/1*(-2 + 9). Suppose -3*s - 5*v = 58, 3*s + 6*v = 5*v - 38. Let r = s + j. Does 3 divide r?
True
Suppose -81*r + 78*r + 264 = 0. Is 12 a factor of r?
False
Let h(c) = -1 - 36*c**3 - 48*c**3 + 10*c**3 + 14*c**3 - c. Let a be h(-1). Suppose 18*q - 15*q = a. Is q a multiple of 7?
False
Suppose 3*k + 4*g - 173 = 0, -k + 51 = -3*g + g. Let h = k + -2. Is h a multiple of 12?
False
Let v be 2*3/6 - 29. Let w = -6 - v. Let g = 37 - w. Is 3 a factor of g?
True
Let k(t) = 7*t**3 + 6*t**2 - 6*t + 9. Let s(f) = -6*f**3 - 6*f**2 + 6*f - 8. Let l(h) = -5*k(h) - 6*s(h). Let m be l(-7). Does 11 divide (-64)/(2 + m) + 2?
False
Let g be -14*(-1)/2 + -4. Let w be -3 - (1 + -55)/g. Suppose -w = -4*d + 9. Is 3 a factor of d?
True
Let q(t) = -6*t - 3. Let f be (3/6)/(1/(-14)). Is q(f) a multiple of 13?
True
Suppose 3*o - h = 1408, 35*o + h = 30*o + 2360. Is 27 a factor of o?
False
Suppose 5*p - 4*k - 210 = 0, 5*p = -4*k + k + 210. Let j = -874 - -848. Let y = p + j. Is 8 a factor of y?
True
Suppose y - 1 = -5*t + 1, -4 = -2*y - t. Suppose -3*a - 67 = -y*a. Does 22 divide (-3)/(-3) - (a - 1)?
False
Let i(p) = -14*p + 4. Let s(j) be the third derivative of -7*j**4/12 + j**3/2 - 5*j**2. Let b(v) = 5*i(v) - 6*s(v). Does 11 divide b(3)?
True
Suppose -3*o - 36 = -30. Is (-5)/(45/(-1326)) + o/6 a multiple of 21?
True
Suppose -10*g + 71 = -29. Suppose 5*k + 2*a + g - 114 = 0, 0 = -4*k - 4*a + 88. Is 10 a factor of k?
True
Let s be (-66)/(-24) - (-2)/8. Does 10 divide -4 + 2 + (9/s - -69)?
True
Let u = 78 - -138. Is 54 a factor of u?
True
Let n(a) = 98*a + 6. Let x be n(5). Let l = x - 350. Is l a multiple of 27?
False
Suppose f = -4*c - f + 124, 4*f - 155 = -5*c. Let k = -479 + 492. Let a = c - k. Does 9 divide a?
True
Let a(t) = t**2 + 10*t - 3. Let x(j) = -2*j + 6. Let y be x(6). Let r be a(y). Let n = -7 - r. Is 20 a factor of n?
True
Suppose s + 2*s = 0. Suppose 0 = -s*c - 2*c - 3*i - 5, -2*c + i = -7. Suppose g + 4*d = c*g - 2, -4*d = 4*g - 108. Is 6 a factor of g?
False
Let a be (-56)/(152/52 - 3). Suppose 0 = -3*g + 5*z + a, g - 4*g = 3*z - 696. Is 24 a factor of g?
False
Let b(z) = 97*z**3 + 20*z**2 - 20*z + 17. Let o(m) = -32*m**3 - 7*m**2 + 7*m - 6. Let g(c) = 6*b(c) + 17*o(c). Is 19 a factor of g(1)?
True
Suppose 4*w - 3*w = 5. Suppose -4*t + 16 = -w*t. Let o = t + 29. Does 5 divide o?
False
Suppose -3*x + 0*u - 2*u = 21, 2*x + u + 14 = 0. Is -13*x/(28/8) a multiple of 13?
True
Let j(x) = -15*x. Let f be j(1). Let q = -6 - f. Suppose -3*o - q = -51. Is 7 a factor of o?
True
Suppose -2 - 6 = 4*i. Does 3 divide (i + 0)/(6/(-9))?
True
Let t be (-2 + 108/(-8))*-2. Suppose 5*z - t = 29. Is 12 a factor of z?
True
Suppose -2*p + 75 = 3*p. Is 60/16*320/p a multiple of 21?
False
Suppose 23*p = 27*p - 3*l - 4317, 2*l + 3238 = 3*p. Is p a multiple of 45?
True
Let s(p) = 5*p**2 + p - 9. Suppose 15 - 3 = 3*r. Is 4 a factor of s(r)?
False
Suppose -q + 4287 = 3*h, h + 12871 = 3*q - 0*h. Is q a multiple of 22?
True
Let u(t) = t**2 + 7*t + 3. Let k be u(-7). Suppose 0*m = s + 5*m - 25, 5*s - 37 = -k*m. Suppose -2*g = s*d - 385, 4*g = -5*d - 0*g + 395. Is 15 a factor of d?
True
Let h(i) = 6*i - i**2 - 15*i + 9*i - 29*i**3. Let w be h(-1). Suppose 4*b - 2*b = w. Is b a multiple of 7?
True
Suppose -4*h + 376 + 178 = 2*z, -4*h + 551 = 5*z. Is 4 a factor of h?
False
Suppose -3*j + 26 = 10*j. Suppose -4*z + 7*k = j*k - 830, 1029 = 5*z - 2*k. Does 37 divide z?
False
Suppose 333 = 11*z - 426. Suppose -102 = -4*s + c - 3*c, -3*s = 4*c - z. Is 22 a factor of s?
False
Let n = -224 - -340. Is n a multiple of 4?
True
Let s = 367 - 323. Is 7 a factor of s?
False
Let l(s) = -2*s + 313. Let x be l(0). Suppose -5*w + x = -132. Is 21 a factor of w?
False
Let k(b) = -b + 2. Suppose u - 2 = 2. Let m be k(u). Is 3 a factor of (-2)/(m/7) + 1?
False
Suppose 14*q = -0*q - 2030. Let s = q - -178. Does 33 divide s?
True
Let q = 595 + -315. Is 20 a factor of q?
True
Let x be (-13)/(-2) - 3/(-6). Let g = 12 - 11. Suppose -z + x = -g. Is 5 a factor of z?
False
Is 21 a factor of 8877/9 + (-16)/(-24)?
True
Let y(x) = x**2 - 21*x + 26. Does 23 divide y(28)?
False
Let d(o) = 2*o**2 + 10*o + 12. Let w be d(-5). Let l = w - -158. Does 34 divide l?
True
Is 6 a factor of ((-195)/(-78))/(15/3288)?
False
Suppose -f - 2*p + 789 = -5*p, -4*f - 5*p = -3190. Does 57 divide f?
False
Let w be 2*(4 + (-180)/8 - -2). Let c = w + 52. Does 7 divide c?
False
Let h be 2 - 22/8 - 3069/(-44). Let i = 73 - h. Does 2 divide i?
True
Let m(d) = 2553*d - 1. Let u be m(1). Is (-1)/7 - u/(-77) a multiple of 20?
False
Let p = -43 - -46. Is 9 a factor of 44 - ((-8)/(-4) - p)?
True
Is 18 a factor of ((-246)/615)/((-1)/540)?
True
Let g = -514 - -796. Is 41 a factor of g?
False
Suppose -n = -4*n + 12. Let t(f) = f + 1. Let y be t(5). Suppose -y*x - 3*m = -3*x - 297, n*x = -2*m + 394. Is 19 a factor of x?
False
Suppose -2*s + 4*l + 6382 = 8*l, 2*s - 6382 = -l. Is s a multiple of 58?
False
Suppose -6 = 5*j - 3*j. Let g be 6/(-1 - j) + 5. Let b(l) = l**2 - 4*l - 2. Does 6 divide b(g)?
True
Suppose 5*a - 215 = -5*x, -3*a + 209 = 8*x - 3*x. Suppose -x*q + 37*q + 819 = 0. Does 40 divide q?
False
Let a be ((-32)/12)/(192/(-63) + 3). Suppose -v + 5*f = -a, v = -0*f - f + 56. Is 14 a factor of v?
True
Let q = -133 - -141. Suppose -f - 843 = -5*j, 0 = -j - 6*f + q*f + 165. Does 13 divide j?
True
Let y = 21 - 30. Let a = 15 + y. Let b(d) = 3*d. Is b(a) a multiple of 14?
False
Let t = -45 + 62. Let p = 36 - t. Is p a multiple of 8?
False
Let f be (-2 - (1 - 4))*(4 - 0). Let o = 17 - f. Is 9 a factor of o?
False
Suppose -87 = -5*l + 43. Let m = l + -19. Suppose m*p - 1050 = -182. Does 31 divide p?
True
Let a(s) = -s**3 - 14*s**2 - 11*s + 32. Let v be a(-13). Let q(p) be the third derivative of p**5/60 - p**4/24 - 4*p**3/3 + p**2. Is 9 a factor of q(v)?
False
Let f = 27 - -22. Is 2 a factor of f?
False
Let a(g) = -g**2 + 5*g + 5. Let v be a(5). Suppose 0 = -4*r - 2*p + 6, 4*r + p - 5*p = 12. Suppose 3*d + v*h = -3 - 10, -3*d + r = 2*h. Is d a multiple of 4?
True
Suppose v = 4*h, v = -3*h - 0*h. Does 18 divide -4 - (-21 - (v - -1))?
True
Suppose -2*m - 3 = -2*d + 13, -2*d + 19 = -3*m. Suppose 100 = 5*v - 5*x, d*x + 52 = -v + 3*v. Is v a multiple of 3?
False
Let p(h) = h**3 - 2*h**2 + 6*h - 2. Suppose 5*q = -107 - 13. Let g = q - -28. Does 13 divide p(g)?
False
Suppose 8*g + g = 837. Does 31 divide g?
True
Let l(j) = -14*j**2 - j - 1. Let q be l(-1). Suppose -d - a = -3*d - 1, 0 = 2*d + 3*a - 3. Does 7 divide q/(2/(d + -2))?
True
Let k(s) = 400*s**3 + s**2 - 3*s + 2. Let o be k(1). Let d = -224 + o. Does 14 divide d?
False
Suppose 27*y + 797 - 2606 = 0. Is y a multiple of 2?
False
Let q = 23 + -23. Suppose q = -5*z - 164 - 171. Let r = 104 + z. Is 9 a factor of r?
False
Suppose j - 2270 = -j + 4*s, 2*j - 2255 = s. Is 9 a factor of j?
True
Suppose 0 = -3*z + 3*m + 72, -4*z - 2*m = -39 - 81. Let n be 92/32 + 2/16. Suppose n*g - z = 26. Does 18 divide g?
True
Let l(p) = p**2 - 81*p - 630. Is 75 a factor of l(-25)?
False
Does 22 divide (-110)/3*63/(-105)?
True
Suppose 6 = 3*u - 3. Suppose 2*n - 5 = -u*n. Suppose -x - n = -17. Does 5 divide x?
False
Is 21 a factor of (-2)/(-15) + (237458/30)/13?
True
Let j be (5 - 6)*20*10. Let b = 209 - j. Suppose b + 146 = 5*f. Is 34 a factor of f?
False
Let f be 124/(-10) - 20/(-50). Is 12 a factor of (-178)/(-12) - 2/f?
False
Let s be 9/2*(32/12 - 2). Does 3 divide (-2)/(-3)*54/s?
True
Let k(w) = -4*w - 7. Let x be k(0). Let m(h) = -4 + 1 - 2*h - 6*h - 1. Is m(x) a multiple of 6?
False
Let c = 1246 - 1098. Is 3 a factor of c?
False
Suppose 82 = p - 21. Let u = p - 52. Is u a multiple of 14?
False
Suppose w - 468 = -z, 964 = 2*w + z - 6*z. Does 50 divide w?
False
Let b(w) = 3*w - 1. Suppose -5*q - 5*c + 10 = -45, -5*c = -5. Does 12 divide b(q)?
False
Suppose 3*r + 4059 = 14*r. Is 9 a factor of r?
True
Suppose -g + 2*m + 38 = 0, -2*m + 0*m = 4*g - 202. Let p = g - 23. Is p a multiple of 5?
True
Let w be (-6)/((-3)/(1 + -4)). Let o be (-11 - -1)/((-3)/w). Let m = -17 - o. Is m a multiple of 2?
False
Suppose 5*y - 3*y - 2 = 0. Let x(i) = 2*i**2 + 2*i - 1. Let u be x(y). Su