(-14)?
False
Let y be ((-70)/4)/(6 - 292/48). Suppose 12 - y = -3*w. Does 11 divide w?
True
Suppose 104 = 2*q - 5*l, 4*l + 32 = q - 26. Suppose b - 3*x + 30 + 5 = 0, -5*b + 3*x - 151 = 0. Let k = b + q. Is 13 a factor of k?
True
Let z(x) = -8 + 4*x**2 - 3*x**2 + 0*x**2 - 2*x**2 - x**3. Is 8 a factor of z(-4)?
True
Let a(r) = r**3 - 4*r**2 + 5*r + 4. Let n be a(6). Let x = n - 44. Does 22 divide x?
False
Let j be (-5)/30 + (3549/(-18))/(-7). Let r = j + 20. Is 4 a factor of r?
True
Let z(p) = 3*p**2 - 18*p + 66. Is z(7) a multiple of 12?
False
Suppose -2*j + 504 = 10*j. Is j a multiple of 6?
True
Suppose 0 = -26*o - 26*o + 64584. Is o a multiple of 9?
True
Let q be (-24)/(-8) + 1 + -1. Suppose 0*d - 4*y = q*d - 63, 81 = 3*d - 2*y. Is d a multiple of 11?
False
Suppose -3*h + m + 118 = 12, -5*h - 2*m + 162 = 0. Suppose -n - h = -3*n - 4*s, -4*n + 4*s + 20 = 0. Is n a multiple of 5?
False
Let y = 1856 + 954. Does 29 divide y?
False
Let n(x) = -4*x + 16. Let h be n(3). Does 17 divide 68/(-8)*(3 + -1 - h)?
True
Let o(u) = 24*u + 428. Does 13 divide o(17)?
False
Let w(d) be the second derivative of d**3/3 - 23*d**2/2 - 15*d - 2. Is 2 a factor of w(13)?
False
Suppose -4*c - 9 - 27 = 0. Let x = c - -19. Is x a multiple of 10?
True
Suppose 0*s = -3*n + s + 38, 35 = 3*n - 4*s. Does 3 divide n?
False
Let x be 286/77 + (10/(-14) - -1). Suppose x*p - 170 - 18 = 0. Is p a multiple of 10?
False
Suppose -17*u + 5*r = -13*u - 9000, r = 4*u - 9000. Is u a multiple of 75?
True
Does 34 divide (10 - 648/60)/((-4)/850)?
True
Suppose 2*j - 13 = -3. Suppose 0*m = 3*m - 3*y - 21, 39 = j*m - y. Is 8 a factor of m?
True
Let p = -14 + 16. Suppose 5*o - 312 = 3*b, -2*b = -p*o + b + 132. Suppose -6 = -3*q + o. Is q a multiple of 11?
True
Let c = 484 + -279. Is c a multiple of 50?
False
Suppose -3*d + 32 - 20 = 0. Is 2*(-106)/d*(0 + -1) a multiple of 9?
False
Let l = -421 + 711. Is l a multiple of 29?
True
Does 43 divide (6/(-18))/(5/(-1230))?
False
Let i be 8 + 3 + -7 - 2. Suppose -l + 3*y - y = 164, -4*l - i*y - 646 = 0. Is (-1)/2 - l/4 a multiple of 8?
True
Suppose -6*g = -2*g. Suppose g = -5*r + 457 + 3. Does 17 divide r?
False
Let z = -881 + 1268. Does 20 divide z?
False
Let j(a) = -2*a**3 + 23*a**2 - 30*a - 8. Let c be j(10). Let t be 4/(-18) + (-184)/(-18). Let o = t - c. Is 9 a factor of o?
True
Let n(x) be the second derivative of -x**5/20 + x**4/6 - x**3/3 + 13*x**2/2 + 3*x. Is 13 a factor of n(0)?
True
Suppose -5*t = -g - 848, 2*g - 5*g + 856 = 5*t. Is 17 a factor of t?
True
Does 118 divide 1 + -12 + 34 + 3871?
True
Suppose -i - 5*f = -807, -5*i + 822 = -4*i + 2*f. Does 8 divide i?
True
Let y(d) = 10*d**2 + 5*d + 5. Let i be y(-6). Suppose -r + 3*l = -85, 5*r + 3*l - i = -0*l. Does 14 divide r?
True
Suppose 13*f = 51*f - 17328. Is f a multiple of 57?
True
Let p be ((-2)/4)/(2/(-164)). Let c(b) = b**3 + 4*b**2 + 3*b + 3. Let r be c(-2). Suppose r*t - p = -1. Is 8 a factor of t?
True
Let d be (0 + -2 + 8)*2/4. Let r(a) = a - 4. Let j be r(7). Does 8 divide (84/d)/(j - 2)?
False
Suppose 228 - 4155 = -11*q. Is 17 a factor of q?
True
Let m be 3*(4 + (-24)/9). Let o(j) = j**2 + 2*j + 3. Is o(m) a multiple of 9?
True
Let h = -97 + 244. Is 3 a factor of h?
True
Let m(x) = -2*x**2 - 20*x + 2. Let k be m(-10). Suppose -3*a + k*q + 88 = 0, 4*a = 5*q + 45 + 63. Is a a multiple of 8?
True
Let p(a) be the third derivative of a**5/30 - 5*a**4/24 - 4*a**3/3 + 3*a**2. Is 44 a factor of p(12)?
True
Let c(a) = -99*a + 150. Is c(-5) a multiple of 54?
False
Let z(x) = -x**3 + 14*x**2 + 11*x - 27. Is 57 a factor of z(13)?
True
Let v(t) = 12*t**2 + 56*t + 9. Does 6 divide v(-5)?
False
Let h(q) = -166*q + 587. Is h(-10) a multiple of 23?
False
Let u = 119 - 112. Suppose 0 = -5*t, 4*g = u*g - 4*t - 585. Does 35 divide g?
False
Let y(f) = 10*f**2 + 18*f + 27. Does 9 divide y(9)?
True
Suppose 16222 = -59*p + 138706. Is 20 a factor of p?
False
Suppose 4*f = -146 + 26. Let j = 33 - f. Is j a multiple of 11?
False
Suppose -3*i + 138 = 5*o, 3*o + 7*i = 3*i + 85. Suppose 53 = 5*r - o. Is 8 a factor of r?
True
Let h(p) = -2*p**3 - 7*p**2 + 4*p - 9. Does 32 divide h(-7)?
False
Suppose 0 = 2*n - 2*v - 178, -3*n - 52*v + 271 = -51*v. Is n a multiple of 6?
True
Suppose 0*b + 3 = b. Let k be (6/(-5))/(-1)*1110/333. Suppose 0 = b*o + 2 + 1, -5*o = k*q - 63. Is q a multiple of 9?
False
Let v(x) = x**2 - 4 + 7*x + 14*x - 20*x. Let f be v(2). Let c = f + 1. Is c a multiple of 3?
True
Let w(l) = 157*l + 4. Let s be w(-1). Let h be 34/s - 155/(-9). Let t = h - 10. Is t a multiple of 2?
False
Let u = 121 - 108. Is u even?
False
Let j(z) = -z**3 - 6*z**2 - 2*z - 8. Let v be j(-6). Let k be ((-5)/v)/(1/(-8)). Is (-6)/(-10) + 744/k a multiple of 14?
False
Let t = 21 - 15. Suppose -46 = t*q - 370. Let l = q + -36. Is 10 a factor of l?
False
Let u = -5 + 19. Let p(v) = -4*v + 5*v - 13 + u*v. Is p(6) a multiple of 10?
False
Let m(p) = -p**3 + 2*p**2 - 2*p - 4. Is m(-3) a multiple of 2?
False
Let z = -1055 + 1542. Is z a multiple of 14?
False
Suppose -57*w + 48*w + 468 = 0. Does 7 divide w?
False
Let s be -3 - (-39)/15 - 96/10. Let i(x) = -7*x - 12. Is 29 a factor of i(s)?
True
Suppose 15*c = 11*c. Let h be c + (-1)/(-1) - 1. Suppose h*r - 2*r = -2*k - 46, 3*k + 6 = 0. Does 21 divide r?
True
Suppose 3*i - 4*r = -11, i = r + 4*r - 22. Suppose -4*p + 5*o + 62 = -83, i*p = 2*o + 107. Is p a multiple of 2?
False
Suppose -4*f - r + 1175 = 0, -4*f - 3*r + 575 = -2*f. Suppose 0 = 2*a - 2*d + 59 - f, -d = 5. Does 19 divide a?
False
Let v = -181 + 285. Does 8 divide v?
True
Let o be ((-6)/(-3) - 5)/(-3). Suppose -5*l + 2*q + 1 = -o, 12 = 2*l + 2*q. Is 11 a factor of ((3 - l) + -2)*-11?
True
Let p be 30/40 - (-1)/4. Let s(d) = -2*d**3 + d**2 - 2*d + 1. Let y be s(p). Does 12 divide y - 1 - 67/(-1)?
False
Suppose 0 = 4*w - 0*w + 5*z + 4, w - 2*z + 1 = 0. Let k(h) = -h + 1. Let v(d) = 6*d - 32. Let p(c) = w*v(c) - 5*k(c). Is p(-12) a multiple of 13?
True
Suppose -7*b = -4*k - 2*b + 143, 0 = 2*k - 5*b - 69. Is k a multiple of 24?
False
Suppose 1058 = -15*i + 12818. Does 53 divide i?
False
Suppose 18*q = -28*q + 63066. Is 59 a factor of q?
False
Suppose 6290 = 5*k - 15440. Does 41 divide k?
True
Suppose 15*q + 3633 = 18*q. Suppose q = 8*c - 37. Does 26 divide c?
True
Let k(l) = -140*l**3 - l**2 + 2*l + 2. Is k(-1) a multiple of 8?
False
Suppose -1 = 4*w - 5*c - 2, 3*w = -2*c + 18. Suppose 0 = 3*o - w*y - 176, 5*o - 3*o - 144 = -4*y. Suppose -4*r + 16 = -o. Is r a multiple of 9?
False
Let c(f) = -4*f. Let s be c(-1). Suppose s*a = 6*a - 8. Suppose 0 = a*p - 366 + 38. Is 15 a factor of p?
False
Does 20 divide (-99750)/(-84) + 1/(-2)?
False
Suppose 30 = -2*s - 4*r, 0 = 4*s + 3*r + 30 + 10. Let h = s + -23. Let b = 82 + h. Is b a multiple of 13?
True
Let l(x) = 40*x**2 + 43*x - 191. Does 84 divide l(6)?
False
Let m(x) = 10*x + 569*x**2 + 3*x**3 + 6 - 4*x**3 - 570*x**2. Is m(-5) a multiple of 10?
False
Is (99/(-4))/((-11)/88) a multiple of 11?
True
Let g(r) = -3*r**3 + 4*r**2 + 16*r + 27. Does 5 divide g(-6)?
False
Let v = -23 - -22. Is 40 a factor of v + 5 - 196/(-1)?
True
Is 95984/128 + (-4 - 132/(-32)) a multiple of 15?
True
Suppose 0*x - 5*x + 5*o - 290 = 0, -294 = 5*x - o. Let k = -35 - x. Is k a multiple of 5?
False
Suppose 29*l = 906 + 544. Is l a multiple of 6?
False
Let c = 27 + -44. Let t = c + -7. Let g = -12 - t. Is g a multiple of 4?
True
Let m be (2/6)/(1/3). Let w = -3 - m. Is 16 a factor of w/22 - (-1600)/88?
False
Let r(p) = -p**3 + 3*p**2 + 5*p - 3. Let q be r(3). Suppose -2*n = -q - 8. Suppose -3*w = -5*w + n. Is w even?
False
Let a(k) = -k**2 + 3*k + 252. Is 42 a factor of a(0)?
True
Let m = -124 + 126. Suppose k = 0, 171 = 2*q - m*k + 17. Is 7 a factor of q?
True
Suppose -5880 = -14*z + 6706. Is 17 a factor of z?
False
Let q be (42 + -2)/(-5) - 0. Let u = 34 - q. Does 13 divide u?
False
Let o = 398 - 357. Does 13 divide o?
False
Suppose 5*q = 3*j - 470, -q + 4*j = q + 202. Let d = q - -160. Is d a multiple of 15?
False
Suppose -12*w + 14*w - 76 = 0. Suppose -z - w = -k - 159, k + 475 = 4*z. Let t = z - 66. Does 20 divide t?
False
Let w(r) = 4*r + 2. Suppose -3 = -5*j - 3*x, 0*j - 3*x = 2*j + 6. Is 3 a factor of w(j)?
False
Is (-132)/154*(-6)/3*49 a multiple of 12?
True
Let c be (-3*2)/(-3)*2. Is 20 a factor 