
True
Suppose 0 = c - 572 - 718. Does 15 divide c?
True
Is 3 a factor of 5 + -134*6/(-12)?
True
Is (-4 - (0 - 0)) + 269 + 49 a multiple of 11?
False
Let i be 1/(((-5)/(-3))/(-5)) - -2. Is (-3)/(5/135*i) a multiple of 27?
True
Does 2 divide -8*(-18)/30*5?
True
Let j be ((-13)/(-4))/(2/40). Suppose 2*i - 3*i = 0. Suppose -u + j = -i*u. Is u a multiple of 14?
False
Let p be (-4)/(-3) + 33/9. Suppose -p*w = -2*u - u + 2, -w + 6 = u. Suppose u*g - 136 = 4*a, -8*g + 3*g + 4*a = -167. Is g a multiple of 8?
False
Let r = 48 + -70. Is r/(-33) - ((-67)/3 + -2) even?
False
Suppose -51*u + 39821 - 12332 = 0. Is 49 a factor of u?
True
Let w(u) = u**3 - 4*u**2 - 3*u - 3. Let l be w(5). Let d be 68/(-14)*((-28)/8)/1. Suppose b - l - d = 0. Is 6 a factor of b?
True
Suppose -7*i + 186 = -2558. Does 49 divide i?
True
Let b(y) = 2*y**2 - 7*y + 2. Let o be b(4). Is 19 a factor of (-1)/2*-57*8/o?
True
Let m be (5/(-3))/(4/(-12)). Suppose m*z - 41 = 39. Does 10 divide z?
False
Let d be ((-7)/4)/((-2)/32). Let g = d - 13. Is 15 a factor of g?
True
Let u = 30 + -64. Let y = 85 + u. Is y a multiple of 17?
True
Let v(d) = -5*d - 1. Suppose k - 4 = 5*k. Let g be v(k). Suppose -g*a + 74 = -0*m + 2*m, 3*a - 51 = -3*m. Is 5 a factor of a?
True
Suppose -2*q = -7*q + 15. Suppose -297 = -q*l - 51. Is l a multiple of 27?
False
Let p(q) = 34*q**2 + 11*q - 44. Is 32 a factor of p(4)?
True
Suppose -24*h - 172983 = -93*h. Is h a multiple of 61?
False
Suppose -5*v - 2*o + 356 = o, -5*o + 80 = v. Let c = 166 - v. Does 31 divide c?
False
Let r(h) = 3 + 0*h**3 - 8*h + 12*h**2 - h**3 + 9. Suppose -f + 50 = 5*i, 4*f + 35 = 5*i + 8*f. Does 15 divide r(i)?
True
Suppose 0 = -5*d - 3*a + 611, a = -d - 3*d + 493. Does 31 divide d?
True
Suppose 5*o - 1146 = 3*a, 4*o + a - 286 = 641. Is o a multiple of 21?
True
Suppose 0 = 4*v + 20*k - 15*k - 224, -4 = -k. Is 2 a factor of v?
False
Suppose -1 - 5 = -3*c. Suppose 2*s = -2*o - 11 + 37, c*s + 4*o = 34. Is 5 a factor of (-2)/(-6) - (-159)/s?
False
Suppose -165*q + 163*q + 6622 = 0. Does 77 divide q?
True
Suppose 4*b + 4*o - 1388 = 0, 5*b + 2*o - 4*o - 1735 = 0. Suppose -3*z + 98 = i, i + 3*i + 3*z = b. Is i a multiple of 7?
False
Let v be -1 + (-180)/(-2) - (-60)/15. Let u = v + -73. Is u a multiple of 4?
True
Let n = 56 - 53. Let g(f) = -41*f + 12. Let i(s) = 10*s - 3. Let z(l) = 4*g(l) + 18*i(l). Does 21 divide z(n)?
True
Let w be 3/(0 + (-12)/(-8)). Suppose s - 12 = -w*s. Suppose 26 + 2 = 2*m + 4*d, 36 = 3*m + s*d. Is m a multiple of 8?
True
Let b(r) = r**3 + 4*r**2 + 2*r. Let f be b(-3). Suppose -3*k = f, 0 = -0*x - 2*x - 4*k. Suppose -3*t + x*t + 12 = 0. Is t a multiple of 4?
True
Suppose 22*p - 1180 = 17*p. Does 13 divide p?
False
Let s = 11 - 11. Suppose 0*t - 3*t - 63 = s. Let r = 76 + t. Is 13 a factor of r?
False
Let s(r) = r**3 - 8*r**2 + r + 11. Let c be s(8). Suppose u + 5*p = 39, u - 5*p - c = 10. Is 6 a factor of u*(-2)/(4/(-2))?
False
Let t(s) = -2*s**2 - 7*s - 1. Let x be t(-3). Suppose 4*r = -c + 553, 2*r - x*c - 275 = -c. Is r a multiple of 25?
False
Let c(z) = 0 + 9*z + 0*z**2 + 2 + 2*z**2. Let d(b) = 2*b**2 + 8*b + 3. Let k(v) = -2*c(v) + 3*d(v). Is 26 a factor of k(-6)?
False
Suppose -4*d - 53 = 3*a, -4*a + 2*d = -0*d + 56. Let t be -10*((-504)/a)/4. Is 11 a factor of (3/9)/((-2)/t)?
False
Let a(t) = -t**2 + 8*t - 2. Let p be a(7). Suppose q - p = -y, 2*q - 7 = 4*y - 3*q. Does 30 divide 15*y + -1 - -3?
False
Let a(z) = z**3 - 17*z**2 - z + 5. Let v be a(17). Is (9/v)/(4/(-80)) a multiple of 15?
True
Let g = -775 + 1146. Let n = g + -197. Suppose r = -2*r + n. Is r a multiple of 19?
False
Let x be 2 + (-4)/((-16)/12). Suppose y + i = -28, x*y = -0*y + i - 128. Let r = y + 43. Does 12 divide r?
False
Suppose 17*z + 3 = 18*z. Is 22 a factor of (47 - 0) + 30/(-5) + z?
True
Let a(k) = 5*k - 1. Let z be ((-21)/6 + 3)*0. Suppose p + p - 6 = z. Does 5 divide a(p)?
False
Let m be (-2)/((-1)/(-5 - -2)). Is (-194)/m - (-20)/12 a multiple of 3?
False
Let j = -166 - -306. Let m = -78 + j. Is 31 a factor of m?
True
Suppose -4*p - 228 = 2*c, -2*c + c = -2*p - 114. Let j = -184 - p. Let w = 191 + j. Does 14 divide w?
False
Let w(x) be the second derivative of 2*x**4/3 - x**3/6 + x**2 - x. Is 18 a factor of w(-2)?
True
Let m(y) = 3*y**2 + 4*y - 3. Let d be m(2). Suppose 0 = q - 13 - d. Is 11 a factor of q?
False
Let d be 1/(-3) - 1228/(-12). Suppose 9*u + d = 12*u. Is 10 a factor of u?
False
Let a be (-36)/27*6/(-4). Suppose -a*o - 24 = -5*o. Does 24 divide 348/o + 2/(-4)?
False
Suppose 5*c - 4*f - 158 = 152, -2*f - 122 = -2*c. Does 6 divide c?
True
Let a(d) = d + 3. Let l be a(7). Let b = 76 - l. Is 33 a factor of b?
True
Let p = 360 - 200. Suppose -p = -y - 4*y + 4*m, -4*m - 76 = -2*y. Is y a multiple of 21?
False
Let b = 22 - 5. Is b a multiple of 7?
False
Suppose -1122 = -2*y + 238. Is y a multiple of 68?
True
Suppose -2*m - 2*m = -16. Suppose 36 = m*z - 5*q, 5*q = -0*z - 3*z - 8. Suppose -3*c = -z*c + 40. Does 15 divide c?
False
Let c be (-517)/(-5) + -2 - (-9)/15. Is c + 2*4/(-4) a multiple of 20?
True
Let t(q) = -15*q - 13. Let a(l) = -5*l - 4. Let v(h) = 8*a(h) - 3*t(h). Is 20 a factor of v(25)?
False
Let p = 697 - 297. Is p a multiple of 40?
True
Let b = -81 + 95. Is b a multiple of 2?
True
Suppose -2*p + 4*p - 2*h = 8, 5*h = -4*p + 7. Suppose p*n + 4*m = 4, 3 + 7 = -5*m. Is (56 - 4)/n + 0 a multiple of 2?
False
Let q(n) = n**3 + 8*n**2 + 3*n - 1. Let b = -10 + 3. Does 9 divide q(b)?
True
Let t(m) = m**2 - 2*m**3 - 7*m**2 - 3*m**2 + 3*m**3 - 34 - 2*m. Is t(10) a multiple of 2?
True
Let d = -12 + 16. Let w(i) = i**3 - 3*i**2 - 3*i + 1. Let c be w(d). Suppose 175 = 5*t - c*q, 38 = -t + 2*t + 2*q. Is 12 a factor of t?
True
Suppose -2*h = -6*h + 1284. Suppose 3*t + 4*c - h = 5*c, -4*t - 5*c = -447. Does 36 divide t?
True
Suppose 39*f = 36*f - 6. Let z(c) = 4*c**2 - 2*c - 4. Does 16 divide z(f)?
True
Let a(f) = -f**2 + 12*f + 4. Let v be a(13). Is -3 + -6*((-96)/v)/(-2) a multiple of 18?
False
Let k(z) = -7*z - 18. Suppose -5*a + 2*v = 46, 0 = -3*v + 2*v + 3. Is 19 a factor of k(a)?
True
Let g = -13 - -13. Suppose -m + 1 + 0 = g. Suppose 0 = 3*v - 82 + m. Is 6 a factor of v?
False
Let o(w) = -2*w + 9. Let i be o(3). Let r(d) = d**2 + 4*d - 3. Is 9 a factor of r(i)?
True
Let c(s) = -s**2 - 6*s + 357. Is 21 a factor of c(0)?
True
Let p = 15 - 10. Suppose 2*h + 19 = 5*w, 4*h = -w - 0 - p. Does 2 divide w?
False
Suppose 5*i - 5*q + 210 = 0, 2*q + 60 = -2*i - 40. Let w(y) = y**3 + y**2 - y - 3. Let t be w(0). Is (t - i) + (-2 - 0) a multiple of 16?
False
Let y = -1 + 7. Is (-40)/(3/y*-1) a multiple of 20?
True
Let y be -3 + -1 - (-4)/4. Let x be -2 - (y - (-5 + 2)). Let h(s) = -5*s**3 + 3*s**2 + 3*s + 2. Is 12 a factor of h(x)?
True
Let f = 168 + -116. Suppose y - f = -19. Is y a multiple of 3?
True
Let n(a) = a**2 + a + 23. Suppose -2 = -h - 0. Suppose h*t - 4*j + 10 + 2 = 0, -t + 12 = 4*j. Does 16 divide n(t)?
False
Suppose 10*k - w - 20 = 5*k, w = 4*k - 17. Let o(i) = -i**3 - 7*i**2 + 14*i + 8. Let t be o(-9). Suppose -t = x - k*x. Is 11 a factor of x?
True
Let y = -164 + 168. Let h(w) = 43*w**2 - w. Let j be h(-2). Suppose 5*o = 5*z - z + 198, 2*z - j = -y*o. Does 6 divide o?
True
Suppose -3*a - 14 = -4*g, 4*a = 4*g - 18 + 2. Let h be 3 - (3 - 7)/g. Suppose -t + 19 = h. Does 7 divide t?
True
Let h = 40 + -36. Suppose k = 2*z + 66, -73 - 129 = -3*k + h*z. Is k a multiple of 7?
True
Does 45 divide ((-902)/4 + (-12)/(-24))*-2?
True
Suppose 3 = 3*i, 81 = 5*f + i - 25. Does 5 divide f?
False
Does 15 divide (-40)/8 + 8 - -462?
True
Suppose 0 = -5*v - 15, 2*v - 108 = -2*c - 2*v. Suppose 14*k = 10*k + c. Does 15 divide k?
True
Let a(k) = 261*k - 52. Is 3 a factor of a(1)?
False
Let w(z) = -z**2 + 13*z - 8. Let s be w(12). Suppose -s*l - 16 = 0, 368 = 4*t - 5*l - 0*l. Is 29 a factor of t?
True
Let c be 6/(-4 + -2) - (-2)/2. Suppose a - 6*i = -i + 70, c = -4*a - 3*i + 349. Is a a multiple of 26?
False
Let u be ((-8)/44 - (-16)/88) + 5. Let d = -57 + 111. Suppose u*g - d = 2*g. Does 18 divide g?
True
Let g be 17 + -15 + 0 + 1 + -17. Let p = 13 + 9. Let f = p - g. Is 12 a factor of f?
True
Let r(i) = 2*i - 2*i + 2*i - 5*i - 8. Let z = -4 - 2. Is 5 a factor of r(z)?
True
Suppose 10*j - 9*j + 361 = t, 4*t - 1438 = -2*j. Is t a multiple of 9?
True
L