 = x - m + 51. Does 7 divide x?
False
Let g = 27 + -4. Suppose -25 = -4*l + g. Does 11 divide l?
False
Suppose -98 + 521 = h. Is h a multiple of 9?
True
Let t = -300 + 818. Is 37 a factor of t?
True
Let w(k) = -k**3 - 12*k**2 + 100*k + 44. Is 61 a factor of w(-21)?
False
Let o = 13 - 11. Let k(q) = 14*q - 3*q + o - q**2 + 9. Is k(10) a multiple of 21?
True
Let z(w) = 15*w**2 + 8 + w**3 + 18*w + 21*w - 41*w + 0*w**3. Is 17 a factor of z(-15)?
False
Let i(w) = 7*w**3 + 4*w**2 + 6*w - 12. Is i(4) a multiple of 6?
False
Let u(w) = 39 - w**2 - 3*w + 2*w + 2*w. Suppose -7*o + 3*o - m = -2, 4 = -5*o + 2*m. Does 13 divide u(o)?
True
Suppose -d = -2*d + 6. Suppose -d*q + q = 0. Suppose -7*z + 3*z + 2*b = -20, q = -b - 4. Does 3 divide z?
True
Let x(n) be the first derivative of -5*n**2/2 + 2*n + 20. Is x(-9) a multiple of 11?
False
Suppose 3*g + 2*n = 78 + 108, 5*g = -4*n + 312. Is 15 a factor of g?
True
Let c(j) be the third derivative of j**4/4 - 43*j**3/6 + 20*j**2. Does 12 divide c(20)?
False
Let w be (-2)/7 - 21870/(-105). Suppose 4*l + 72 = w. Does 14 divide l?
False
Let f be (6 - 3 - 2)/1. Suppose f = -4*u - a, -2*a - 4 = -2*u - 4*a. Is 12 a factor of u + 17 - (3 + -1)?
False
Suppose 2167*m = 2175*m - 24472. Is 49 a factor of m?
False
Let v = -7 + 15. Let h = v + -4. Suppose 3*t - h*q - 94 = 0, -2*q = 5*t - 0*q - 200. Is 19 a factor of t?
True
Suppose -8883 = 38*b - 59955. Does 28 divide b?
True
Suppose 345 - 1238 = -3*d + 5*q, 2*d - 3*q - 595 = 0. Does 37 divide d?
True
Let l(h) = h + 1. Suppose 0 = -5*o + 2*o. Let y be l(o). Suppose -n + 3*a = -31, -11 = -2*a - y. Is 23 a factor of n?
True
Let r = 580 - 420. Is 5 a factor of r?
True
Suppose 0 = 13*w - 57*w + 33660. Does 51 divide w?
True
Suppose -14*h + 6*h = -160. Is h a multiple of 4?
True
Let a(r) = -r**3 - 8*r**2 - 9*r + 14. Let g be a(-6). Let v(x) = -x + 5. Is v(g) a multiple of 2?
False
Let z(q) = q**3 - 22*q**2 + 20*q + 26. Is z(21) even?
False
Let q(o) = o**2 + o + 1. Let z(d) = 2*d**2 + 19*d - 11. Let m(b) = q(b) - z(b). Does 35 divide m(-9)?
False
Suppose 59 = 10*y + 9. Suppose -3*i = 3, y*i + 221 = o + 3*o. Is o a multiple of 17?
False
Is 18 a factor of ((-2)/(-3))/((-37)/(-183705))?
False
Is 766860/900 + 1/(-15) a multiple of 4?
True
Let y(q) = -q**3 - 7*q**2 - 13*q - 7. Is 3 a factor of y(-5)?
False
Suppose 0*y + 20 = y. Let q = y + -24. Is (-670)/(-18) - q/(-18) a multiple of 14?
False
Suppose 53*p - 18529 - 9667 = 0. Does 14 divide p?
True
Suppose 12 = 4*b, -3*b = 4*c + 146 - 379. Let y = c + -37. Is 19 a factor of y?
True
Suppose -4*c + 84 = -1316. Does 11 divide c?
False
Let t = 764 - -635. Does 17 divide t?
False
Let l(w) = -3*w**3 + 2*w**2 + 3*w + 2. Let h be l(-1). Suppose -5*g - 81 = 5*f - 21, g + 27 = h*f. Let b(z) = -z + 5. Is 5 a factor of b(g)?
True
Let r = -48 + -107. Is 12 a factor of (-1)/(r/(-330) + 1/(-2))?
False
Suppose 0 = -4*b + 10*b - 5532. Does 10 divide b?
False
Let f = -30 + 33. Suppose -f*j = 3*u - 51, 4*j + 2*u + 3*u = 73. Is 12 a factor of j?
True
Let k(w) = 2*w**2 + 18*w - 9. Let v(c) = 3*c**2 + 27*c - 14. Let b(o) = 7*k(o) - 5*v(o). Is b(-8) a multiple of 6?
False
Suppose -5*x = -6*x + 1. Let c be (x/1)/((-10)/(-210)). Suppose g + b + 7 = 36, -g + b + c = 0. Is g a multiple of 13?
False
Let h(o) = -16*o**3 + 3*o**2 + 21*o + 34. Is h(-2) a multiple of 132?
True
Let l = 0 - -12. Let u = l - 12. Suppose u = 4*g + 38 - 170. Does 22 divide g?
False
Suppose 12 = 5*f + 7. Suppose p = f + 11. Is p a multiple of 3?
True
Suppose 4*f - 2694 = f + 3*g, 3*g = -3*f + 2724. Does 43 divide f?
True
Suppose -27442 = -51*h - 8470. Is 6 a factor of h?
True
Let u(h) be the first derivative of -h**4 - h - 6. Let p be u(-1). Suppose 5*m - 285 = -p*k, -6*m + m = -4*k - 250. Is 24 a factor of m?
False
Let d be 8/(16/33)*(-12)/9. Suppose 80 = 2*z - 4*w - 0*w, -2*z - 4*w + 104 = 0. Let g = z + d. Is g a multiple of 8?
True
Let a(i) = 26*i + 2. Let h be a(2). Let b = h - -17. Let k = b - 50. Is 7 a factor of k?
True
Let r(h) = 5*h**2 - 1. Let j be r(-1). Does 11 divide (-22)/(-4)*(0 + j)?
True
Suppose 3*p - 24 = 33. Is p a multiple of 19?
True
Let n = 21 - 25. Does 9 divide (-187)/n + (52/16 - 3)?
False
Let l(z) = 18*z**2 + 2*z + 3. Let y be l(-4). Let u = y - 83. Is u a multiple of 16?
False
Let f = -10 + 4. Let b(j) = -j**2 - 7*j + 2. Let h be b(f). Suppose 0 = -h*z + 3*z - 4*i + 204, 28 = z + 4*i. Does 10 divide z?
False
Suppose -3733 = -19*f - 1491. Does 13 divide f?
False
Let p = -5 - 9. Is 4 a factor of (-3 + 76/28)*p?
True
Let x = -435 - -474. Is 14 a factor of x?
False
Let t(b) = -b**2 - 15*b + 19. Let f be t(-16). Suppose -f*h = -84 - 75. Is h a multiple of 7?
False
Let l(r) = 2*r**2 - 4*r - 2. Suppose -2*v + 4 = -0*v. Suppose 3*q + 11 = v. Is l(q) a multiple of 9?
False
Suppose 3*d = 8*d - 840. Suppose 8 = 6*o - 2*o. Suppose -2*y - o*y = -d. Does 21 divide y?
True
Let a = -2082 - -1383. Let o = 986 + a. Is o a multiple of 17?
False
Is (4/(-10) - (-15)/225)*-3102 a multiple of 7?
False
Let n = -116 + 134. Let s(m) = -m**2 + 7*m - 7. Let y be s(5). Suppose -n = -b + y. Is b a multiple of 7?
True
Let z be (-1)/((-642)/(-213) + -3). Let k = z + 49. Let f = 36 + k. Does 14 divide f?
True
Suppose 2*b - 4*l - 980 = -0*b, -3*b + 1486 = 2*l. Is 19 a factor of b?
True
Let g be 19 + 3/12*0. Suppose -g*z - 17 = -20*z. Is 13 a factor of z?
False
Suppose 2*m + 72 = -m. Let f = m - -27. Suppose -b = -30 + f. Is 17 a factor of b?
False
Let x = 206 - -66. Is x a multiple of 17?
True
Let j(k) = -32*k**2 + 16*k**2 + 15*k**2 + 5 + 7*k. Let s be j(7). Suppose -21 = s*z - 161. Does 14 divide z?
True
Let r = -10 - -16. Let j(a) = -3*a + 2*a**3 + 2*a**3 - r*a**3 - 3 - a**2. Is j(-2) a multiple of 10?
False
Let g = -8425 - -3350. Is 63 a factor of 4/(-6) - g/21?
False
Let r(h) = h + 1. Let j be r(-7). Let k be 4*-1 + 14 + j. Does 5 divide (46/(-5))/(k/(-10))?
False
Let k(d) = d + 8. Let i be k(-6). Suppose 0 = i*r - r - 32. Let p = 62 - r. Does 10 divide p?
True
Let o be (-58)/(-14) + (-4)/28. Let w be -2 + (-24)/(-1*o). Let h(d) = d + 2. Is 5 a factor of h(w)?
False
Let g(c) = -c**3 + 27*c**2 - 16*c + 70. Is g(17) a multiple of 96?
True
Suppose 2*q = -3*o + 95 + 44, -5*o - 285 = -5*q. Does 31 divide q?
True
Suppose -5467 = -8*l + 757. Is 39 a factor of l?
False
Let q(z) = -z**3 - 3*z**2 - 3*z. Let p be q(-3). Suppose -6*i + p*i - 288 = 0. Does 17 divide i?
False
Suppose -4*i - 2*q = -0*i - 6016, 0 = 5*q - 10. Is 26 a factor of i?
False
Let w = 7 - 7. Suppose w = 3*s - 7*s + 152. Is 19 a factor of s?
True
Let v be 1/4*-2*0. Suppose v = -2*l + q - 2 + 23, -l + 2*q + 15 = 0. Is 16 a factor of (174/9)/(3/l)?
False
Let c(h) = 8*h - 7*h - h + 5*h**2. Let z be c(1). Suppose 4*j - 166 = -2*n, -j - 4*j + 195 = z*n. Is 22 a factor of j?
True
Let m(a) = -3*a + 4 + a**3 - 9*a**2 + 7*a - 2*a**3 + 6*a. Let i be m(-10). Suppose -2*q = 6, -q + 114 = 3*x - i*q. Is x a multiple of 9?
False
Suppose -35*j + 6*j + 26970 = 0. Is 30 a factor of j?
True
Suppose -4*t + 210 = 5*u, 7*t = 8*t + u - 52. Is 18 a factor of t?
False
Suppose -16 + 0 = 4*b, -5*k - b = -1361. Let q = k + -191. Suppose -5*u = -3*u - q. Is u a multiple of 11?
False
Let o be -3*1 - (3 + -183). Suppose d - 42 = -3*r + 17, r + o = 3*d. Is d a multiple of 8?
False
Let b = -15 + 20. Suppose 0 = -4*l + 3*u + 233, -b*u - 8 - 7 = 0. Does 15 divide l?
False
Let l(m) = -306*m - 8. Let b be l(17). Let d be b/(-14) - (-3)/(-21). Does 24 divide (3/6)/(2/d)?
False
Let n = 223 - -49. Is 61 a factor of n?
False
Suppose 0 = -f - 0*f + 267. Suppose 2*g + 45 = -f. Is 11 a factor of (-1)/(2/g - 0)?
False
Let o(k) = -3*k**3 - 2*k**2 - k + 1. Let w be o(-1). Suppose l - 115 = -4*l - w*r, 2*l - 46 = 4*r. Does 14 divide l?
False
Let c = 9 - 4. Suppose 104 = 2*i + 5*a, 3*a + 322 = c*i - 0*a. Suppose 3*o - 2*o = i. Is o a multiple of 14?
False
Suppose -143*o = -141*o - 70. Does 6 divide o?
False
Suppose 14*z - 1912 = 524. Does 6 divide z?
True
Suppose 2*n = 3*n + 2, -3*n - 258 = -2*i. Is i a multiple of 21?
True
Suppose -d - 2*u + 322 = 120, -u - 399 = -2*d. Suppose -2*q - d = -4*q. Is q a multiple of 18?
False
Let f = 82 + 252. Does 13 divide f?
False
Let b(x) = -22*x**3 - 2*x**2 + 1. Let v be b(-2). Suppose v = 3*a + 5*g, 5*a - g = 4*a + 67. Does 21 divide a?
True