= 45 - 33. Suppose 0 = -3*d - 18 + i. Is (-9)/(-15)*(43 - d) a multiple of 9?
True
Let p(j) = j**2 - 8*j - 22. Is 15 a factor of p(30)?
False
Let q(m) be the first derivative of m**3 + m**2 - 4*m - 9. Suppose -j + 4 = -2*j. Is q(j) a multiple of 9?
True
Let k = 242 + -136. Let v be (k/6)/((-2)/(-18)). Is 12 a factor of (-2)/3 - v/(-9)?
False
Let n = -24 + 26. Let h = 0 + 4. Suppose -h*j + n*j = -28. Is j a multiple of 14?
True
Suppose 15*q + 724 - 7069 = 0. Is 11 a factor of q?
False
Let x = 2 + 2. Suppose 5*w - 118 = t, x*w - 2*t = -0*t + 92. Does 3 divide w?
True
Let p(v) = 14*v**2 - 46*v - 596. Is 13 a factor of p(-11)?
False
Let o be ((-6)/4)/((-6)/16). Let k be 12/(-48) - 50/(-8). Suppose -o*v + 66 = -k. Is 4 a factor of v?
False
Let q = 2266 + -791. Is q a multiple of 40?
False
Let d = 21 + -17. Suppose 0*r + r = 4*a - 258, 3*a - d*r = 200. Is a a multiple of 21?
False
Is (1 + 3 - -5)*5 even?
False
Suppose -1 = q - 3. Suppose 0 = q*j + 10, -j + 5*j = -5*n + 235. Is n a multiple of 17?
True
Let g(c) = 12 - 4*c - 4*c - 2*c + 7*c**2 + 3*c**2 - c**3. Let m be g(10). Let n = 174 + m. Is n a multiple of 29?
False
Let h = 1058 - -293. Is h a multiple of 26?
False
Let s(h) = 3*h - 4. Let f be s(6). Is 4 a factor of 276/f - ((-2)/7 + 0)?
True
Suppose -i - 3*q - 5 = -138, 4*q = -2*i + 258. Suppose 4*j = -i + 13. Is (-561)/j - 6/(-27) a multiple of 7?
True
Suppose -3*r + 3 = -3*t, -r + 3*t + 13 = 4*r. Suppose 546 = r*a + c, -4*a + 617 - 197 = 5*c. Suppose d = 3*d - a. Is d a multiple of 30?
False
Suppose -a - 2*a - 3 = 0, -2*a = -3*p + 32. Is (-265)/2*(-8)/p a multiple of 35?
False
Does 12 divide (-80740)/(-66) - (-2)/3?
True
Let f(o) = -175*o + 496. Does 15 divide f(-5)?
False
Suppose 5*b - 2*w - 170 = w, -2*b + 3*w = -59. Suppose -4*h = -5*h + b. Does 9 divide h?
False
Suppose 0 = -4*w + 451 + 393. Is w a multiple of 24?
False
Suppose -4*v = -5*g + 1245, -v = -11*g + 8*g + 754. Is g a multiple of 10?
False
Suppose -5839 + 281 = -14*k. Does 3 divide k?
False
Suppose 0 = p + 2, -575 = -4*r - 3*p + 263. Suppose -r = -3*v - 7. Does 26 divide v?
False
Suppose -693 = 3*x - 2*f, -x - 3*f - 241 = -10. Let z = -154 - x. Is 27 a factor of z?
False
Let o = -38 + 36. Let g be 1/(o - (-21)/9). Suppose -t + 310 = 3*j, j - 148 = g*t - 48. Is 16 a factor of j?
False
Let v = -132 + 917. Is v a multiple of 5?
True
Let t = 23 - 24. Let p(s) = s**2 - 2*s - 2. Let f be p(t). Does 26 divide (14 + f)*26/5?
True
Let t = -20 + 66. Let r = t - -144. Suppose -5*q + r = -0*q. Is q a multiple of 10?
False
Suppose 444*g - 2028 = 440*g. Does 39 divide g?
True
Let w(c) = 4*c**3 + c**2 + 4*c - 1. Is w(2) a multiple of 6?
False
Let s(q) = -8*q - 4. Let i(x) = x**3 - 12*x**2 - 2*x + 17. Let d be i(12). Is 26 a factor of s(d)?
True
Let r be -42 + (-1 + -1 - 0). Let z be ((-33)/r)/((-2)/(-216)). Suppose z - 261 = -3*k. Does 15 divide k?
True
Let s(d) = 6*d**2 + 17*d - 3. Let u(h) = 5*h**2 + 16*h - 3. Suppose 0 = -3*w + 5*w + o + 7, 13 = 2*w + 5*o. Let k(x) = w*s(x) + 7*u(x). Is k(9) a multiple of 5?
False
Does 83 divide 2766 + (8 - 12/2)?
False
Is 19 a factor of 0 + 897 + (-19)/((-190)/(-40))?
True
Let v be -89 - (1 - (-7 - -4)). Let n = 50 - v. Does 21 divide n?
False
Suppose -4*l - 4*g + 3*g = -16, 4*g = -2*l + 22. Is (l/12)/((-3)/(-84)) even?
False
Let g be 4 + -2 + 21 + 0. Let c = g + -30. Let n = c - -20. Is 4 a factor of n?
False
Is -20*3*(-105)/20 a multiple of 15?
True
Let n(g) = -13*g**3 - 8*g**2 - 7*g + 2. Is n(-2) a multiple of 44?
True
Suppose 64*z + 4 = q + 65*z, 2*q - 12 = 2*z. Does 3 divide q?
False
Suppose -2*a + 0*a + 34 = 2*f, 4*f + a - 62 = 0. Does 15 divide f?
True
Suppose 0 = 2*q, -2*n - q - 10 = -2*q. Let o(x) = 2*x**2 + x - 8. Is o(n) a multiple of 37?
True
Suppose 1319 - 295 = 2*r. Does 8 divide r?
True
Is 50 a factor of ((-1825)/146)/((-1)/80)?
True
Let a be 5 - (-4 + (4 - -5)). Suppose 3*p - 64 = r, a = 4*r + r + 5. Is p a multiple of 7?
True
Let h(b) = b**2 + 2*b + 5. Let x be h(0). Suppose -2*q - q = -2*j - 2, x*q = 10. Suppose -3*u = -3*o + 93, -4*u = j*o - 7*u - 65. Does 10 divide o?
False
Suppose -6 - 1 = -w. Suppose 9 = -4*i + j, 2*j = -w + 1. Is 22 a factor of i*3/(27/(-132))?
True
Let j(z) = z**2 - 16. Let p be j(4). Suppose 3*b - 4*k - 41 - 233 = 0, 4*b - 4*k - 372 = p. Is b a multiple of 49?
True
Suppose 3*v - 2*n + 407 = -240, -2*v - 413 = -5*n. Let g = 311 + v. Does 23 divide g?
True
Let b = -78 + 254. Is b a multiple of 8?
True
Suppose c - 2*c + 9 = 2*z, 0 = 3*z - 9. Suppose -i + 49 = 5*b, -i - c*b = -34 - 5. Let n = 75 - i. Is n a multiple of 18?
False
Suppose 6199 = 3*o + t, 2*o + 25*t = 30*t + 4161. Is o a multiple of 103?
False
Suppose -y - 4*u - 123 = 0, 4*y + 262 + 230 = -u. Let f = 210 + y. Is f a multiple of 7?
False
Suppose 7*o - 18*o + 10780 = 0. Is 35 a factor of o?
True
Let m(q) = 2*q + 10. Let v be m(-3). Suppose -2*d = -4*j + 3*d + 523, -j - v*d = -136. Is j a multiple of 33?
True
Let r be (-26)/(-22) + (-4)/22. Does 10 divide ((-13)/39)/(r/(-96))?
False
Suppose 2*c + 2*y + 8 = c, 5*c + 4*y = -10. Is (-5)/(-2) + c/4 a multiple of 2?
False
Let t(f) = -f - 11*f**2 - 8*f**2 + 2 - 17*f**2 - 3*f**3 + 33*f**2. Does 6 divide t(-3)?
False
Suppose 0 = -5*j + x + 3, -3*j - 2*j - 3*x = 9. Suppose j = -w - 2*s - s + 6, 0 = -5*s. Does 2 divide w?
True
Let i be 45/(-6)*(-2)/3. Let t(b) = 2*b**2 + 5*b + 5. Is 11 a factor of t(i)?
False
Let b(q) = 80*q**3 - 13 + 36*q**3 + 12 + 29*q**3 + q - q**2. Is b(1) a multiple of 18?
True
Suppose 308 = -0*a + 4*a. Suppose -3*s + a = -10. Let c = 116 - s. Is 25 a factor of c?
False
Suppose -73 = -k + 57. Is k/(-4)*6/(-5) a multiple of 13?
True
Suppose 0 = -105*w + 111*w - 1512. Is w a multiple of 12?
True
Suppose -3*s = -0*s + 24. Let m(f) = f**2 + 4*f + 6. Does 29 divide m(s)?
False
Suppose 24*r - 6*r = 3942. Does 39 divide r?
False
Suppose 316 = -4*y - p, 0*y - 3*p = -2*y - 158. Is 18/(-24) + 1/(-4)*y a multiple of 2?
False
Let o = -791 - -2529. Does 20 divide o?
False
Let d(o) = -o**3 - 4*o**2 + 11*o + 7. Suppose 3*a - 5*i = -0*a - 11, -3*i - 13 = a. Is d(a) a multiple of 11?
True
Let x(o) = 14*o**3 - 2*o**2 - 5*o + 1. Let a(u) = -u**2 - u + 1. Let z(w) = -2*a(w) + x(w). Is z(2) a multiple of 21?
True
Is 50 a factor of ((-2589)/(-6))/(3/6)?
False
Suppose -j + 3*k - 73 + 304 = 0, 2*j = -5*k + 429. Is 30 a factor of (j + -2 - -2) + (-16 - -14)?
False
Suppose -q = -5 - 3. Suppose q*d = 9*d - 66. Is d a multiple of 23?
False
Let g = 9 - 5. Suppose -5*s - 34 = g*j, j + 12 = -5*s - 4. Is (-4)/j*(-24)/(-2) a multiple of 7?
False
Let k be 2 + (-1 + 0 - 3). Let x be 0/4*(1 + k). Suppose 5*u - 143 = n + 3*n, x = 2*u + 2*n - 68. Is u a multiple of 12?
False
Let r be 2 + 5/10*2. Let d be (-3)/((r - 2)*-1). Suppose n - 112 = -3*j + 36, 0 = 3*j + d*n - 156. Is 16 a factor of j?
True
Suppose -186*z + 209*z - 2530 = 0. Does 5 divide z?
True
Let x(k) = -k**3 - 2*k**2 + 4*k - 3. Let b be x(-5). Suppose -252 = -4*y - b. Does 10 divide y?
True
Let v be (-5 - -4)/((-1)/4). Let p(q) = -q - 1. Let i(o) = -12*o. Let g(y) = -i(y) + 5*p(y). Is 14 a factor of g(v)?
False
Let u(a) = -a**3 - 12*a**2 - 6*a**2 + 17 - 6 - 10*a + 6*a**2. Let r be u(-11). Does 13 divide (39 - r)*(-9)/(-9)?
True
Suppose 0 = 2*w + 2*w - 20. Let m(h) = -h**2 - 8*h. Let d be m(-8). Suppose w*y = 5*j + 415, 2 + d = j. Is y a multiple of 25?
False
Let u(a) = 8*a + 26. Let y be u(11). Let x = 117 + y. Does 46 divide x?
False
Suppose 304*t - 2940 = 292*t. Is t a multiple of 15?
False
Let a(c) = c**2 - 6*c + 4. Let d be a(4). Is (126/d)/(10/(-20)) a multiple of 21?
True
Suppose -2*m - 704 = -4*m. Is m a multiple of 8?
True
Let w be 39/15 + 2/5. Suppose -2*k = 0, -w*j - 3 = -4*j + 2*k. Suppose -4*i = -j*u + 88, u + 3*i - 2*i - 41 = 0. Is u a multiple of 12?
True
Is (5 - 123/24) + (-59805)/(-40) a multiple of 11?
False
Let w = 12 + -10. Suppose 0*q + w*q + 206 = 0. Is 8/20 + q/(-5) a multiple of 21?
True
Suppose 964 = 2*i - 8*g + 4*g, 5*i - 5*g = 2395. Is i a multiple of 68?
True
Suppose 2*u + 101 - 107 = 0. Suppose -j - 3*c + 105 = 0, -u*j - 2 + 309 = 5*c. Does 9 divide j?
True
Does 26 divide (828/(-60) - -9)*-60?
False
Let q(n) = 6*n + 4. Let f be q(-4). Let s(z) = -z**2 - 21*z + 24. Is s(f) a multiple of 5?
False
Let o be -86 + (1 - (9 - 12/3)). Let v = o - -