a, -2 = -2*f. Suppose 5*p - 41 - 4 = a. Is p a multiple of 3?
True
Suppose -35 = -2*q - 21. Suppose -q*n + 326 + 199 = 0. Is n a multiple of 10?
False
Let i(r) = -64*r**3 + 17*r**2 + 36*r + 12. Does 24 divide i(-6)?
True
Suppose 2*u = -5*h + 127, h + 2*u - 38 = -11. Suppose -h*r + 26*r - 10 = 0. Does 9 divide r?
False
Let n be -7 - (-553)/42 - 2/12. Suppose -1331 - 979 = -n*g. Does 11 divide g?
True
Suppose 0 = -5*w - 4*x + 300 - 69, 0 = x + 1. Suppose 5*h + 6*i + 84 = 10*i, -4*h = 3*i + 61. Let b = w + h. Is b a multiple of 3?
False
Suppose -3*d - 15 - 5 = -5*y, d + 3*y = 12. Suppose 2*j = -3*j - 4*h - 75, -5*j - 80 = 3*h. Is (-1 + -2 + d)*(j + -2) a multiple of 21?
True
Is 908 + -1 + 2*(-70)/20 a multiple of 12?
True
Let c = 56573 - 37582. Does 12 divide c?
False
Suppose 267 = -2*a + 5*z, 633 = -5*a - 0*a + z. Let t(n) = -5*n**3 + 3*n**2 - n - 2. Let j be t(-2). Is 52 a factor of (a/7)/((-6)/j)?
True
Is 19 a factor of (-2 + -29)*(2/(-1))/((-6)/(-912))?
True
Suppose -3*s - 2*s = -1535. Suppose 0 = -p - 2*p - 5*h + s, -4*p + 5*h = -421. Let c = p - 68. Does 12 divide c?
True
Let p(q) = 230*q - 2913. Does 30 divide p(24)?
False
Let d = -92 + 86. Does 7 divide (85 - (d - 25/(-5))) + 5?
True
Suppose 3*u = 6*u + 2*t + 55, -2*t = 4. Let n = u + 175. Does 30 divide n?
False
Let z = -21 + 24. Let h be ((-4)/(-12))/(z/36). Suppose -432 + 168 = -h*y - 4*q, -y + q + 66 = 0. Is 6 a factor of y?
True
Let s(f) = f**3 - 12*f**2 + 12*f - 6. Let t = 109 + -98. Let c be s(t). Suppose -124 - 96 = -c*z. Is 4 a factor of z?
True
Suppose -35*a = 25094 - 136394. Is a a multiple of 20?
True
Suppose -2*y + 726 = -3*z, 0*y - 4*z + 1072 = 3*y. Let j = -215 + y. Suppose 2*q - 7*q + j = 0. Is q a multiple of 13?
False
Let m(l) = 11*l**2 + 8*l - 8 - 14 + 19*l + 37 + 50*l. Is 3 a factor of m(-7)?
True
Let k = -3864 - -9716. Is 130 a factor of k?
False
Suppose 5357 = 4*c + 1065. Suppose -a = -0*a + 4*m - 197, 5*a = 2*m + c. Does 8 divide (-4)/(-6)*(-21 + a)?
True
Suppose 42*w = -9*w + 531216. Does 24 divide w?
True
Is 2665938/264 + 10/(-8) a multiple of 23?
True
Suppose -1087*o + 1090*o - 5*h = 74783, 2*h = 5*o - 124689. Is 49 a factor of o?
True
Let q = 3694 + -1870. Does 38 divide q?
True
Let p be (-8316)/(-77) - (2 - (-2)/2). Is (1205/(-15) - -1)/((-10)/p) a multiple of 17?
True
Let j(r) = r + 3. Let m be j(-1). Suppose 0*v = m*z - 5*v - 65, 3*z + 3*v = 129. Suppose 12*t = 17*t - z. Is 2 a factor of t?
True
Suppose -10*s + 13*s = 4*p + 6973, 6998 = 3*s + p. Does 9 divide s?
True
Suppose -3*i = 5*k - 171, -2*k - k = -i + 71. Is i/6*1458/27 a multiple of 9?
True
Let n(b) = -7*b - 58. Let q be n(-8). Let t(f) = -19*f + 3. Let o(g) = 58*g - 10. Let j(c) = 2*o(c) + 7*t(c). Is j(q) a multiple of 12?
False
Let i(p) = 6*p**2 - 26*p - 207. Is 6 a factor of i(23)?
False
Suppose -4*c + 5*p - 69 = 0, 5*c + 2*p = 11 - 56. Let s be (-1982)/c + 10/(-55). Suppose 0 = -11*y + 6*y + s. Does 9 divide y?
True
Is 8 a factor of -175*(3 - 171/7)?
False
Suppose -m - 5 = 0, 0 = -4*t + 5*m + 55 + 130. Let o = -38 + t. Suppose -j - 7*q + 42 = -3*q, 5*q - 87 = -o*j. Is 23 a factor of j?
True
Suppose 0 = 3*k - 2*l + 1, 2*k = -l + 6*l - 19. Suppose -3*y = 12, 4*f + y + k*y = -40. Is 33 a factor of (f/(-2))/(11/242)?
True
Suppose -180*m + 233712 = -36*m. Is 5 a factor of m?
False
Let p = -35 + 35. Suppose -36 = -a - 5*a. Suppose p = -4*z + a*z - 6. Does 2 divide z?
False
Let g be (8/(-5) - -1)*(2 - -13). Let m be (g/(-27))/(-1*2/(-18)). Let j(s) = 10*s + 34. Is 32 a factor of j(m)?
True
Suppose 229 + 349 = -2*f + 4*v, -16 = 4*v. Is (2 + -1 - 7) + (-2 - f) a multiple of 6?
False
Let z(k) = 2*k**2 - 2*k - 6. Let u be z(5). Suppose 4*q = 4*s - 72, -5*s + u = 2*q - 84. Is s a multiple of 22?
True
Suppose -3 = 3*p + 180. Let s = p + 67. Suppose -s*b = -3*b - 75. Is b a multiple of 3?
False
Suppose -13590 = -4*n + s + 5054, 0 = 5*s - 20. Is n a multiple of 42?
True
Let m = 4901 + 5070. Is 83 a factor of m?
False
Let h be 20/9 + (-16)/72. Suppose -5*i + p = -166, -3*p = -5*p - h. Suppose -a + 4 = -1, q + 2*a - i = 0. Is 22 a factor of q?
False
Suppose 20 = -4*w + y, -3*w + 4*w + 5 = 3*y. Let k(p) = p**2 + 6*p. Let i be k(w). Let l(g) = -3*g**3 - 5*g**2 + 11*g + 5. Is 25 a factor of l(i)?
True
Let r = -80 - -144. Let a = r + -64. Suppose a = 6*v + v - 308. Does 31 divide v?
False
Let v(r) be the third derivative of -r**5/60 + 7*r**4/8 - 35*r**3/6 + 14*r**2. Let o be v(19). Suppose -o*l + 12 = -0*l. Does 3 divide l?
False
Suppose 4*b + 45 = -3*n - 2*n, 4*n + 36 = b. Let w(m) be the first derivative of -19*m**2/2 + 35*m - 3. Is w(n) a multiple of 29?
False
Suppose -2*p - 112 + 90 = 0. Let t(o) = -o - 3. Let q be t(p). Is 20 a factor of (10/q)/((-2)/(-40))?
False
Let l = -2431 - -25651. Is 258 a factor of l?
True
Suppose -6*p + p + 2*h = -481, 0 = -p + 2*h + 93. Suppose 2*v = v - p. Let m = v - -125. Does 3 divide m?
False
Let v = -254 - -528. Let t = v + 356. Is t a multiple of 21?
True
Let x be ((-345)/10 + 1)/((-1)/(-16)). Let d = 802 + x. Is 38 a factor of d?
True
Let y be 0/(0 - 1) - -263. Let s = y - 64. Is 17 a factor of s?
False
Suppose r - 5*y = 17070, -r + 10*y + 17076 = 8*y. Is r a multiple of 20?
True
Suppose 0 = 93*o - 89*o - 500. Let r = 314 - o. Does 27 divide r?
True
Suppose k + d = -6 + 14, 5*d + 14 = 4*k. Let h(x) = 7*x**2 + 3*x + 18. Does 36 divide h(k)?
True
Suppose 289*l - 412766 = 1117489. Is 15 a factor of l?
True
Let d = 19 + 68. Let q = d + -48. Suppose 3*w = -q + 177. Is 23 a factor of w?
True
Let l(i) = 2*i**2 - 51*i + 430. Is l(10) a multiple of 2?
True
Let l = 47 - 46. Suppose 3*g + l = -5*s - 2, 0 = g + 1. Suppose -3*h + 142 = -s*h - 5*p, -2*p - 92 = -2*h. Is h a multiple of 6?
False
Suppose -4*m + 14*m - 1360 = 0. Suppose 0 = 4*k - m. Is 17 a factor of k?
True
Let b = -76 + 82. Suppose b*c = -42 + 222. Is ((-182)/(-35))/((-58)/c + 2) a multiple of 13?
True
Let w = 9775 - 6061. Does 8 divide w?
False
Let s(c) = c**3 + c**2 - 9*c + 6. Let u be s(3). Let w = u + -11. Suppose -3*r + 2*i = -26, w*r - 53 = -i - 0*i. Is r a multiple of 7?
False
Suppose -u + 15 = -5. Suppose 14*g - u = 10*g. Suppose 33 = g*z - 42. Is z a multiple of 5?
True
Suppose 2*p + 24 = 6*p. Suppose 969 + 135 = p*i. Let a = -105 + i. Does 15 divide a?
False
Let q = -2521 - -9542. Is q a multiple of 119?
True
Let t(y) = -y**3 + 4*y**2 + 6*y - 24. Let d be t(3). Suppose 2*f - 7*f = -800. Suppose d*a - 80 = f. Does 22 divide a?
False
Let d be (-20)/8*((-72)/(-20) - 2). Is 9 a factor of d/30 + (-57933)/(-135)?
False
Suppose 5*q - 28950 = -2*d, 3*q + 86 = 62. Is d a multiple of 26?
False
Suppose 7*y - 12*y = 0. Suppose y = 125*d - 130*d + 25. Is 12 a factor of (1*(d - -12))/(2/14)?
False
Suppose 6*l - v = l + 14626, 0 = -4*l + 2*v + 11696. Let q = -1321 + l. Is q a multiple of 117?
False
Let t be -1 + 1 - (2 + -4). Let a(l) = -5*l - l**t - 23*l + 8*l - l - 42. Is 13 a factor of a(-7)?
False
Suppose -1122 = 8*p + 3*p. Let a = p + 190. Let w = -41 + a. Does 7 divide w?
False
Suppose 780 = -8*q + 3*q + 5*b, -4*q + 2*b - 630 = 0. Let v = 299 + q. Is v a multiple of 20?
True
Suppose 5*u = 2*u + 858. Suppose -2*p + 3*o - 5*o = 0, 0 = 2*p - 5*o. Suppose p = 4*z - 130 - u. Is z a multiple of 13?
True
Let m be -1 + 1 - (-1248)/(-5 - -1). Let s = -232 - m. Is 23 a factor of s?
False
Suppose 3*x - c - 2816 = 0, 4*x - c - 2760 - 994 = 0. Is x a multiple of 14?
True
Let b = -644 - -1193. Let j = b - 276. Is j a multiple of 13?
True
Suppose -425*g + 420*g = c - 92048, 0 = -4*g - 5*c + 73609. Is g a multiple of 241?
False
Suppose -17*q + 708 = -13*q. Suppose q*k - 173*k = 112. Is k a multiple of 4?
True
Let r(v) be the third derivative of v**6/120 - v**5/4 - 7*v**4/12 - 2*v**3/3 + v**2. Suppose 3*o + 2*g - 6*g - 52 = 0, o + 4*g = 12. Does 7 divide r(o)?
True
Suppose 12*i = 269 - 65. Let p(a) = -a**2 + 16*a + 9. Let o be p(i). Does 6 divide (4/6)/(o/(-1236))?
False
Suppose -3*r = -3*m - 4*r + 833, -m = r - 281. Suppose 2*w + 2*w - 1159 = 5*z, 0 = -w + 4*z + m. Is 37 a factor of w?
True
Suppose 0 = 2*y - 2, 44074 = -269*x + 272*x - 2*y. Does 6 divide x?
False
Let p(i) = 3*i + 49. Let q be p(-19). Is 18 a factor of -222*((-2)/q)/((-6)/12)?
False
Suppose a - 1464 = -3*a. Let o = 317 + -315. Suppose 5*l + o*w - 354 = 0, -5*l = -0*w - 2*