) a multiple of 4?
False
Let m be -5*(2 + (0 - 3)) - -1. Suppose -10*c - 1698 = -5*b - m*c, 0 = -b + 4*c + 330. Does 57 divide b?
True
Let i(c) = c**2 + 4*c - 5. Let d be i(-5). Suppose 2*s + 2*n - 3 - 5 = d, 5*s - n = 20. Suppose s*y - 147 = r + 224, 0 = 5*y + 5*r - 495. Is y a multiple of 24?
False
Let g be 2 + (-6 - -10) - -4. Let t(a) = 3*a**2 - 3*a - 72. Is 48 a factor of t(g)?
False
Suppose -2*l - l = -3*b + 24, 3*b + l = 4. Let s be (-2)/(-1)*(-29 - -26). Does 13 divide (-42)/((b + s)/6)?
False
Suppose 2*b - 4*w + 20 = 4, 20 = -2*b + 5*w. Suppose -2*j + 3 + 1 = -r, b = -4*j + 3*r + 6. Suppose 5*u + j*q = 7*q + 305, -3*q + 61 = u. Is 13 a factor of u?
False
Suppose 12*s - 10*s + 26 = 2*h, -3*h + 49 = -5*s. Let y be h - (-6)/5*(-5)/2. Suppose -y*w - 448 = -12*w. Is 12 a factor of w?
False
Let z(n) = -n**3 + 8*n**2 - 10*n. Let s be z(8). Let j = -78 - s. Suppose -j*f - 32 = -2*o - 0*f, 4*o - 2*f = 68. Does 11 divide o?
False
Let x(q) = -8*q**2 - 2*q - 58. Let n(w) = -16*w**2 - 4*w - 116. Let o(z) = -3*n(z) + 5*x(z). Is o(9) a multiple of 27?
False
Let y(h) be the first derivative of 7*h**3/3 - 2*h - 8. Let z be y(1). Suppose -z*l - 60 + 120 = 0. Is l a multiple of 3?
True
Suppose 0 = -2*a + 3*i + 14394, -2*i - 19791 = -5*a + 16183. Is a a multiple of 109?
True
Let f(z) = z**3 - z**2 + 3*z - 667. Let s be f(0). Let u = s - -1159. Suppose -2*b = -o + b + 105, 0 = -5*o + 4*b + u. Is o a multiple of 16?
True
Is 64899/27 + -27 - 12/(-9) a multiple of 82?
True
Let l be (-3 - (0 - 6))*1. Suppose 3*q + 452 = -2*d, d = 2*q - l*q - 152. Let p = q + 338. Is 38 a factor of p?
True
Let k(w) = -49*w + 5240. Does 12 divide k(68)?
True
Let r = -787 + 791. Suppose -r*t = -5*m - 815, 3*m + m = 5*t - 1030. Does 30 divide t?
True
Suppose -45*r + 4*d - 19159 = -46*r, -4*d = 4*r - 76720. Does 15 divide r?
False
Suppose 270*v + 230*v - 1343624 = 1414876. Is v a multiple of 6?
False
Let d = -1376 - -1948. Is d even?
True
Suppose -3*s = 3*r - 8800 + 1003, -12960 = -5*r + 2*s. Is 14 a factor of r?
False
Does 32 divide (0 - 2)*((-620)/62 + (-5350)/1)?
True
Suppose 4*b - v = 152454, 31*b - 76224 = 29*b + v. Is 18 a factor of b?
False
Suppose 4*r - 2 = o, 7*o - r = 8*o - 3. Let g(f) = 35*f**3 - 3*f**2 + 7*f - 5. Does 36 divide g(o)?
False
Let f(r) = 7*r**3 + 6*r**2 + 2*r + 3. Let s be f(3). Suppose -5*t + 96 = p, 3*t = -p - 2*p + s. Does 6 divide p?
False
Let x(v) = -5*v**2 - 315*v + 23. Does 25 divide x(-14)?
False
Let q(p) be the second derivative of 14*p**3/3 + 2*p**2 + p. Let i = 27 + -26. Is q(i) a multiple of 5?
False
Let r = 6281 + -2109. Is r a multiple of 24?
False
Does 9 divide (-1 - 1) + 215 + 6093 + 0 + 3?
True
Let y = 14 - -458. Let z = 232 + y. Does 11 divide z?
True
Let g = 360 + -47. Let s = g - 194. Does 10 divide s?
False
Suppose -4*o = -0*o + 16. Let m be (10/o + 2)*0. Suppose -4*j + d + 587 = -m*j, 2*j - 290 = 4*d. Is 21 a factor of j?
True
Let w = 11579 - 7439. Suppose -20*n + w = -8*n. Is 14 a factor of n?
False
Suppose 191*y + 54621 = 198*y. Is y a multiple of 26?
False
Let d = -6202 - -10826. Is d a multiple of 12?
False
Suppose -i - 5*l + 16073 = 0, 3*i + 4370 - 52575 = -l. Is 206 a factor of i?
True
Suppose 46*z + 63360 = 78*z. Is z a multiple of 220?
True
Let h(f) = -733*f**3 - 14*f**2 - 21*f - 39. Is h(-2) a multiple of 136?
False
Let p = -12 + 14. Suppose 0 = v - 5*k + p, -v - 4*k = 4 - 47. Is 3 a factor of v?
False
Is 237/(-6)*(-6 - -2 - (-9576)/(-36)) a multiple of 15?
True
Suppose -w + 5061 = f, -39*w = -5*f - 38*w + 25281. Does 14 divide f?
False
Let a(g) = 3258*g**2 + 99*g + 390. Is 17 a factor of a(-4)?
True
Suppose 0 = 90*n - 400989 - 324771. Does 16 divide n?
True
Is 45 a factor of 9538 + -2 - (-30 + 38)?
False
Let c(t) = t + 70. Let u(j) = -j**3 - 2*j**2 + j + 9. Let f be u(0). Is 4 a factor of c(f)?
False
Let k = 16025 + -7703. Suppose -k = -16*r - 3*r. Is r a multiple of 12?
False
Suppose -2*z + 0*z + v = -4, -4 = -2*z - 4*v. Suppose -310 = 231*d - 236*d. Does 3 divide ((-7)/35)/(z/(-5))*d?
False
Suppose -4*u + 2*z + 90594 = 0, -19*u = -16*u + 3*z - 67914. Is 35 a factor of u?
True
Is 35 a factor of (-40)/3*304647/(-356)?
True
Let q be 81/(-63) - (-2)/7. Let c(v) = v**3 + 2*v**2 - v - 2. Let d be c(q). Is 324/4 + (1 - d) a multiple of 12?
False
Let y(z) = -1836*z**3 + 3*z**2 + 47*z + 88. Is y(-2) a multiple of 158?
True
Suppose -2*p = -4*t - 14058, t = -2*p - 2*t + 14044. Is p a multiple of 37?
False
Does 21 divide 2148*(4 + -1*27/12)?
True
Suppose -3*d - 5*o + 14190 = 0, 5*d - 20757 = 5*o + 2853. Does 175 divide d?
True
Is 17 a factor of (-68)/51*(-21)/(-182) + 931324/26?
False
Let g(x) = x**3 - 7*x**2 + 25*x - 15. Let c be (-160)/150*3/(-4)*10. Is g(c) a multiple of 70?
False
Let q be 6*(-1795)/10*2/(-3). Let y = q + -328. Suppose -2*z + 5*f - f + y = 0, 381 = 2*z + 5*f. Is 43 a factor of z?
False
Let a(j) be the first derivative of j**2/2 + j + 23. Let o(q) = -5*q**2 + 4*q - 23. Let m(s) = -3*a(s) - o(s). Is 15 a factor of m(7)?
False
Suppose -30135 = 126*w - 129*w. Does 9 divide w?
False
Let k be (-6)/30 + 4/(-5) + 4583. Suppose 0 = 23*j - 18441 - k. Is j a multiple of 38?
False
Let v(l) = 7*l**2 - 3*l - 5. Let t be v(5). Suppose -t = -4*p + 5*k, k = -4*p + 153 + 8. Does 4 divide p?
True
Let o = -50 - -44. Is 21 a factor of o*(-23)/(-4)*-2?
False
Does 91 divide (1 - -4)*(-72)/45*5139/(-4)?
False
Let h be 2/(-8) + 1501/(-76). Is (-6)/(-10) - (1648/h - -6) a multiple of 7?
True
Suppose -u = 2 + 15. Let y be u/(-3) - (-4)/3. Let d(l) = 2*l**2 - 4*l - 3. Is d(y) a multiple of 14?
False
Let n be -5 + -1 - (-12324)/52. Suppose 2*m - n = -3*h, -4*m + 609 = -h + 182. Is m a multiple of 21?
False
Let i(q) = 6*q**3 - q**2 - 20*q + 142. Is i(9) a multiple of 111?
False
Let n(j) = j**3 - 9*j**2 + 3. Let a be n(9). Suppose -2*g + 5*c = -3*g - 11, 0 = -3*g + a*c - 51. Let t = 0 - g. Is t a multiple of 16?
True
Let i(p) = -5*p + 138. Let g be i(21). Suppose 3*u = g + 108. Is 8 a factor of u?
False
Let x = 1708 - 917. Does 23 divide x?
False
Let v(d) = -42*d**2 - 18*d + 73. Let o be v(4). Let j = -447 - o. Does 3 divide j?
False
Let c(p) = -2*p**3 + 2*p**2 - p - 2. Let w be c(-1). Suppose w*j + 57 = -3*v, -2*v + 4*j + j = 59. Let r = 57 + v. Is r a multiple of 7?
True
Let q = 30293 - 24531. Is q a multiple of 37?
False
Let a = -89 - -96. Suppose -3*n = -6, a*t - 4*n + 40 = 3*t. Does 19 divide (-2)/16 - 1145/t?
False
Suppose -4*z - 5*b + 4151 = 0, 0 = -3698*z + 3703*z - b - 5167. Is z even?
True
Let i(r) = -33*r**2 - 8*r - 57. Let x(v) = 16*v**2 + 4*v + 25. Let a(b) = 4*i(b) + 9*x(b). Suppose 4*k = -3*u + 14, -k + 2 = 3*u - 3*k. Does 4 divide a(u)?
False
Let y(d) = 4*d + 6. Let r be y(-1). Suppose -r*s = -3*s + 91. Is s a multiple of 7?
True
Let m(y) = y**3 - 23*y**2 - 23*y - 14. Let j be m(24). Suppose 0 = -j*f + 2321 - 521. Is 20 a factor of f?
True
Let d(s) = -5*s**3 + 72*s**2 - 56*s + 22. Let t be d(34). Does 38 divide (3/(-5))/(33/t)?
False
Let d(p) = -91*p**3 - 70*p - 210. Does 3 divide d(-3)?
True
Is 49 a factor of ((-14)/(-6))/((-2)/(-3324)) - (-153 + 160)?
True
Suppose -4*t - 39 = -23. Let n(x) = 15*x - 3. Let s be n(t). Let h = -41 - s. Is 4 a factor of h?
False
Suppose -5*j + 1005 - 585 = 0. Is (2 + 186/9)*j/16 a multiple of 5?
False
Let w be (-2 - (-7 - -4))/(1/2). Suppose -4 = u - w*u. Suppose -104 = -u*m - 5*f, -3*m + 2*f + 0*f + 55 = 0. Is m a multiple of 4?
False
Suppose 2795 = 10*p - 145. Does 97 divide 14*(p/12 - 1)?
False
Suppose 437*l - 438*l + 3827 = -4*n, -5*l - 3*n = -19227. Is l a multiple of 54?
False
Let v be ((-22056)/18)/((-4)/3). Let u = -519 + v. Does 11 divide u?
False
Let r(o) = -12*o**2 + 26*o + 34. Let u be r(-2). Let s = -429 - -303. Let n = u - s. Is n a multiple of 6?
True
Suppose -3 = -7*p - 3. Suppose p = -5*u - t + 2398, 4*u + 115 - 2041 = 3*t. Is u a multiple of 30?
True
Suppose -5*w = -4*s - 12, 8 = 3*s - w + 6. Let y be -1 + (-2 - (-29)/1). Suppose y = s*i + z, i = 4*i + 2*z - 40. Is 6 a factor of i?
True
Suppose 13*z - 11 - 15 = 0. Let s = 369 - 262. Does 19 divide 2 + s + z - -3?
True
Suppose 0 = -9*k + 10*k - 61. Suppose 0 = k*j - 58*j - 1704. Is 10 a factor of j?
False
Suppose -39 = -5*u - 5*g - 9, 4*g - 20 = -2*u. Suppose -2*v + 719 = -w, -u*v + 5*w = -614 - 101. Is v a multiple of 28?
Fal