*o = l. Does 23 divide f?
True
Suppose -78*r = -69*r - 1548. Is r a multiple of 10?
False
Suppose 2 = 3*z - 4. Is 4 a factor of ((-20)/(-25))/(z/30 - 0)?
True
Let o(c) = c + 1. Suppose 4*p + 9 = 5*w, 4*p - p = 2*w + 2. Let l be o(w). Suppose 12 = -l*s + 7*s. Does 3 divide s?
True
Let z be 2 - (7 + -1)*-13. Let b = -12 - -18. Suppose -4*n - z = -b*n. Is n a multiple of 10?
True
Let d = -11 + 11. Suppose d = -5*z - 3*t + 98, 4*t = 5 - 1. Is 4 a factor of z?
False
Let w be (-6)/9 - (-4)/6. Suppose w = -s + g, -s + 0*g + 12 = -5*g. Let r = 34 + s. Is 8 a factor of r?
False
Suppose -4 + 14 = 2*i. Suppose -1 + i = -2*k, -3*k = -5*g + 416. Is g a multiple of 13?
False
Let l be (148/8)/(1/2). Suppose 417 - l = 5*o. Is o a multiple of 19?
True
Suppose -2*g + 8*r = 11*r - 307, 5*g - 2*r = 777. Does 31 divide g?
True
Let i = -49 + 25. Let s = 9 - i. Is s a multiple of 8?
False
Suppose 69*a + 610 = 71*a. Is 17 a factor of a?
False
Let m be (-52)/20 - -4 - 6/(-10). Suppose -2*p + 174 - 50 = 0. Suppose 5*n + m*t = 190, -t - t - p = -2*n. Is n a multiple of 8?
False
Let f be (-1218)/(-238) - 2/17. Let v = f - -39. Is 8 a factor of v?
False
Suppose -a = -2*a + 99. Let x = 274 - a. Suppose 4*n = 101 + x. Is n a multiple of 23?
True
Let t(s) = s**3 - 35*s**2 + 19*s + 57. Is t(35) a multiple of 19?
True
Suppose 3186 = 14*k + 750. Is 29 a factor of k?
True
Let q(k) = 975*k**2 + 0 - 7 - 3*k - 973*k**2. Does 10 divide q(-3)?
True
Let l = 136 - -5. Is 6 a factor of l?
False
Let h(l) = -3*l - 1. Does 12 divide h(-13)?
False
Suppose 4*j - 875 = -599. Is 36 a factor of j?
False
Suppose 4*s - 11*s + 91 = 0. Suppose 2469 = s*x + 831. Is x a multiple of 14?
True
Is -118*((-118)/12 - 35/(-105)) a multiple of 79?
False
Let o(d) = -2*d - 12. Let y = -4 + -6. Let v be o(y). Let i(k) = -k**3 + 8*k**2 + 2*k. Is i(v) a multiple of 4?
True
Suppose 0 = -2*o - 2*o + u + 138, -5*u + 58 = 2*o. Let z = o - 6. Is z a multiple of 2?
True
Let z be (2595/30)/(1*3/(-6)). Let k = z - -254. Does 9 divide k?
True
Let w = 88 - 62. Does 3 divide 238/w - (22/(-26) - -1)?
True
Is 10*-1 - (-62964)/27 a multiple of 10?
False
Let j(w) = -3*w + 41. Let i be j(13). Suppose 16 + 129 = 5*r + 5*f, i*r - 5*f = 79. Is 2 a factor of r?
True
Let r be -4 - (0/1 - 6). Suppose -r*t + 13 + 15 = 0. Is t a multiple of 7?
True
Does 15 divide 115 + 5 + 4 + -3?
False
Suppose -3*z = -z - 566. Let q = -200 + z. Does 18 divide q?
False
Suppose -5*m = -3*a - 124, a - 6*a = 5*m - 100. Suppose -1060 = -27*i + m*i. Does 53 divide i?
True
Let l(c) = 4*c + 40. Let a be l(-12). Does 38 divide ((-4)/a)/((-3 - -6)/456)?
True
Let y = -24 + 29. Suppose -157 = -y*k + 18. Is 7 a factor of k?
True
Suppose 25 = -3*b - 0*b - 5*p, -b - 10 = 2*p. Suppose b = -5*j + 111 + 209. Is j a multiple of 16?
True
Suppose 4*x = 2*u + 8185 - 2821, -2*x + 2682 = -5*u. Is 9 a factor of x?
True
Is -115*(-11 - 102/(-15)) a multiple of 25?
False
Suppose -14 - 26 = -5*z. Suppose 2*p - 77 = -3*y + 6, 5*p - 203 = -3*y. Suppose z*r = 3*r + p. Does 4 divide r?
True
Let j(u) = -u**3 - 17*u**2 + 6*u - 41. Is j(-19) a multiple of 42?
False
Suppose 14*u - 11*u - 63 = 0. Let l = -2 + u. Let p = l - 6. Is 4 a factor of p?
False
Let u = 1788 - 939. Suppose -4*t + u = -0*z + z, 4*t + 3*z = 859. Is 20 a factor of t?
False
Let k(g) = -10*g - 4. Is k(-7) a multiple of 7?
False
Suppose 4*y = -7*y + 10087. Does 9 divide y?
False
Does 26 divide (14/28)/(2 - 16223/8112)?
True
Suppose -44*f = -49*f + 930. Is f a multiple of 19?
False
Suppose 4*j = -3*f + 17, 4*j - 3 = -f + 16. Suppose -5*x - j*p + 60 = 0, 3*p - 1 + 5 = 2*x. Does 8 divide x?
True
Let d = 110 - 61. Let n = 99 - d. Does 25 divide n?
True
Let f(g) = -g**2 - 23*g - 85. Does 9 divide f(-10)?
True
Suppose 3*s = 8*s + 15, 4*s + 60 = 3*h. Suppose -3*j = h - 598. Is j a multiple of 42?
False
Let m(s) = 2*s**2 + 3*s - 2. Let b = 3 + -7. Let a be m(b). Does 17 divide (a/(-15))/(9/(-240))?
False
Let v(c) = -20*c + 340. Is 8 a factor of v(-29)?
True
Let h be 2/5 - (-23)/5. Suppose 12*z - 11*z - 3 = 0. Suppose h*l = 4*l + z. Is l a multiple of 3?
True
Let d be (-2)/9 - (-575)/(-45). Let i = d + 22. Suppose 0 = -3*g + i, v + 0*v + 2*g - 12 = 0. Does 6 divide v?
True
Let i = 1564 - 574. Does 30 divide i?
True
Let h(k) = 3 + k + 5 - 1 + 2. Let l be h(-9). Suppose 2*a = -l*a + 62. Does 31 divide a?
True
Suppose -2*i + 69 = r, -i - 312 = -2*r - 2*r. Let c be (-6 - -5) + (-55 - -1). Let l = r + c. Does 8 divide l?
False
Let x(l) = -l**3 + 10*l**2 - 9*l - 4. Let t be (9/(-6))/(4/(-24)). Let r be x(t). Let a = r + 10. Is 3 a factor of a?
True
Let l = 310 - 287. Does 16 divide l?
False
Suppose 0*c = 3*c - 78. Let a = c - -10. Does 10 divide a?
False
Does 21 divide 2 - 4 - -83*(4 + 1)?
False
Let j be (-4)/1*1/(-2). Let p(f) = 3*f**2 - f + 1. Let b be p(j). Is (b/4)/(6/144) a multiple of 22?
True
Let a(l) be the third derivative of 0 + 1/8*l**4 + 5/3*l**3 - l**2 + 0*l. Does 9 divide a(8)?
False
Suppose 0*z = 2*z + t - 185, -2*z + 191 = 3*t. Is 3 a factor of z?
False
Let n = 140 - 59. Suppose -2*a + n = -3*k, 158 = 4*a - 6*k + 4*k. Does 6 divide a?
False
Let g(i) = 2*i**2 - 9*i + 9. Let t be g(9). Let j = 180 - t. Is j a multiple of 30?
True
Let r = -2 - -6. Is 89/r - 3/12 a multiple of 2?
True
Let v(w) = w**3 - 3*w**2 - 10. Let x be v(4). Suppose -k = -11 - x. Is 17 a factor of k?
True
Suppose 17*n - 6*n - 4290 = 0. Is n a multiple of 30?
True
Let s = 22 + -30. Suppose 5*t + 45 = -170. Let n = s - t. Is 13 a factor of n?
False
Let m be (-2)/6 - 65/(-15). Suppose 7*j - 162 = m*j. Does 18 divide j?
True
Suppose 2*n - 5 = -57. Let c = 8 - -54. Let o = c + n. Is 12 a factor of o?
True
Let i = 112 - 196. Is 30 a factor of 3130/14 - 9/i*4?
False
Let c = 536 + -124. Is c a multiple of 35?
False
Suppose -2245 - 1163 = -16*z. Is 3 a factor of z?
True
Let c(z) = -2*z + 3. Let r be c(0). Suppose 0*q + 54 = r*q. Is 5 a factor of q?
False
Is 12 a factor of (418 - 20/4) + 25/(-5)?
True
Suppose -4*t - 5*h - 12 = 0, -3*h - 8 = t + t. Suppose t*s = -3*x + 177, 3*s + 70 = -0*x + x. Is 24 a factor of x?
False
Let l be ((-38)/(-14) + -3)/(3/(-21)). Does 3 divide 920/(-120)*3/(-2)*l?
False
Let q(n) = 11*n**2 + 4*n - 3. Let z be q(1). Does 28 divide (z/(-10))/((-8)/980)?
False
Let z(g) = 8*g - 12. Let a be z(2). Is 3 + (-14)/a - (-126)/12 a multiple of 5?
True
Suppose 1374 = -23*p + 4433. Is p a multiple of 7?
True
Let q(i) = i**3 - 2*i**2 + 11*i - 10. Suppose -2*a + 4*a - 10 = 0. Is 20 a factor of q(a)?
True
Suppose 90 = -3*x - 225. Let b = 186 + x. Does 27 divide b?
True
Let t = -5898 + 8600. Is 14 a factor of t?
True
Let x = 263 - 197. Is x a multiple of 11?
True
Let z(l) = -l**3 - 29*l**2 - 7*l + 37. Is 12 a factor of z(-29)?
True
Suppose -5*g + 4*p + 1226 = -4704, 3*g - 5*p = 3545. Is 34 a factor of g?
True
Suppose o + 2*o = 0. Suppose -2*l + 14 = -2*w, 4*l - 2*w - 20 = -o*l. Suppose -3*c = -0*z - l*z - 249, 4*c = -5*z + 305. Does 27 divide c?
False
Let r(x) be the first derivative of -29*x**4/4 + x**3/3 - x**2/2 - x - 15. Is 5 a factor of r(-1)?
True
Is (-7602)/(-51) + (-5)/85 a multiple of 42?
False
Let w = -5 - -10. Suppose -4*b + 5*q = 141, -w*b - 2*q - 259 + 58 = 0. Let o = -20 - b. Does 19 divide o?
True
Suppose 3*s - 1773 = -3*r, 0 = 39*r - 41*r + 2*s + 1166. Is r a multiple of 22?
False
Let z = 281 - 102. Let n be 4/((-16)/(-1060)) + -2. Let b = n - z. Does 28 divide b?
True
Let r be (-3)/2*70/21. Let p = r + 7. Suppose -4*i - q = 2*q - 130, p*q + 27 = i. Is i a multiple of 18?
False
Suppose 6*t = 9*t - 9. Suppose -3*n - 50 = -t*q + 28, -4*q + 2*n = -112. Does 30 divide q?
True
Let d(b) = -9*b + 12. Let j(p) = p - 11. Let h be j(5). Let z be d(h). Suppose -2*w - w = -z. Is w a multiple of 11?
True
Let l = -996 + 1111. Is l a multiple of 4?
False
Let x(g) = -g**3 + 4*g**2 + 12*g + 3. Suppose 44 - 19 = -5*k. Is x(k) a multiple of 21?
True
Let c = -6549 + 10761. Does 13 divide c?
True
Let b be (9/6)/(12/32). Let t = b - -2. Does 3 divide t?
True
Let s be 27 + 3/9*0. Suppose 4*q + w - 15 = 0, 4*q + 4*w = -w + s. Is -1 + q/((-9)/(-33)) a multiple of 7?
False
Let x(q) = 5*q + 31. Let h be x(-5). Suppose -4 = -h*l + 224. Does 38 divide l?
True
Suppose 3*a + 2*x = 5365, -6*x + 8*x - 10 = 0. Is 51 a factor of a?
True
Let h(m) = 6*m**3 - 2*m**2 + 