
Let w be 8 + (1 - 16)/5. Suppose -w*q = -8*q + 96. Is q a multiple of 32?
True
Let i be ((-4)/3)/(26/(-117)). Suppose 2*z + a - i = 34, -2*a = 0. Is 4 a factor of z?
True
Suppose 23 + 97 = -8*q. Let t be -4 + q/(-3) - -1. Suppose -1029 = -5*x - 2*w - 333, x - t*w = 132. Is 38 a factor of x?
False
Suppose 9*c = -0*c + 729. Let z = c - 75. Is z even?
True
Let c(j) = -2*j**3 - 14*j**2 + 15*j - 13. Let u(w) = -w**3 + w + 1. Let m(b) = -c(b) + 3*u(b). Does 6 divide m(13)?
False
Suppose 75 - 239 = 4*f. Let v = 67 + 18. Let w = f + v. Is 22 a factor of w?
True
Suppose 45*q - 13415 = 47515. Does 13 divide q?
False
Suppose 0 = 2*a + x + 19, -a - 2*x = -5*x + 13. Let m = 13 - a. Is m a multiple of 5?
False
Let g(r) = 16*r - 8. Let c(d) = -17*d + 9. Let p(i) = -3*c(i) - 4*g(i). Is 44 a factor of p(-3)?
True
Suppose -1271 = -8*o + 297. Is o a multiple of 14?
True
Suppose -b = -3*t + 3*b + 100, -140 = -4*t + 2*b. Is t a multiple of 18?
True
Let f(n) = n**2 - 7*n + 8. Let j be f(6). Suppose 121 - 127 = 6*i. Is 1 + 13 - (j - i) a multiple of 4?
False
Let b = -44 + 40. Does 5 divide (-852)/(-48) - 1/b?
False
Is 7 a factor of 384 - (5 + (1 - 6))?
False
Let t(i) = i**2 + 3*i + 4*i + i - 2*i - 1. Let u be t(-6). Does 4 divide ((-3)/(-6))/(u/(-32))?
True
Let f = 195 + -105. Does 18 divide f?
True
Suppose -5*j = q - 67 - 26, 0 = 4*q + 4*j - 372. Is q a multiple of 31?
True
Does 12 divide (-1520)/32*52/(-10)?
False
Let m = 270 + -130. Let r be (-7)/(m/24)*-60. Suppose -6*d + r = -2*d. Is 18 a factor of d?
True
Let k be 9/(-6)*(-3 - -1). Let f be (k/2)/(1/10). Suppose -3*i + f + 22 = d, 15 = -3*d. Is 8 a factor of i?
False
Let a = -32 + 36. Let t be a/6 + 190/3. Suppose -t = 12*q - 13*q. Is 16 a factor of q?
True
Suppose 12*x = -15*x + 1188. Is x a multiple of 13?
False
Suppose -20*k + 3128 = 3*k. Is 14 a factor of k?
False
Let m = -15 + 17. Let k(z) = -z + z**3 - 6 + 1 + 9*z**m + 0. Does 4 divide k(-9)?
True
Let l = 238 + -45. Suppose 626 = -5*i + 2*c + c, 2*i + 269 = -5*c. Let j = i + l. Is j a multiple of 22?
True
Let j(f) = 84*f**2 + 36*f + 205. Does 16 divide j(-5)?
False
Let b(w) = 9*w**2 + 3*w + 6. Is 12 a factor of b(-6)?
True
Let d = 30 - 0. Let k(p) = p**2 - 15*p + 61. Let m be k(8). Suppose 0 = -m*u + 10 + d. Does 2 divide u?
True
Let g = 1007 - 157. Is 25 a factor of g?
True
Let u(w) = w + 8. Let o be u(-8). Suppose -j = -3*a + 164, -a + o*j - 4*j = -72. Is 12 a factor of a?
False
Let h(x) = -x - 9. Let y be h(-9). Let u = 2 + y. Suppose -u*w - 4 + 12 = 0, o - w - 40 = 0. Does 22 divide o?
True
Suppose -5*p - 5*o + 270 = 0, p - o - 24 = 26. Let w = 59 - p. Does 3 divide w?
False
Let p = 2944 - 1856. Is p a multiple of 64?
True
Let k(g) = -g**3 - 12*g**2 - 12*g - 14. Let t(f) = -5*f + 3*f + 3 - f. Let r be t(5). Is k(r) a multiple of 26?
True
Let h = 3906 - 2378. Suppose 4*b = -452 + h. Suppose -2*y + 2*r + 130 = 0, 0*y + 5*r - b = -4*y. Is y a multiple of 18?
False
Let c = 279 - 126. Suppose -461 = -4*f - c. Is f a multiple of 27?
False
Suppose -2*v = -2*t + 4, 3*t - t = 10. Suppose -6*l + 52 = i - v*l, -2*i = 4*l - 96. Does 10 divide i?
True
Suppose 0 = -w + 5*w + 8. Is w/6 + 134/6 a multiple of 11?
True
Let l(f) = -f**3 + 7*f**2 - 4*f + 6. Let q be l(7). Let n = 29 + q. Is 1/(((-7)/(-9))/n) a multiple of 3?
True
Let m = 343 + -163. Suppose -10*o + 5*o = 4*a - 300, 0 = 3*o + 3*a - m. Is 15 a factor of o?
True
Suppose -2*a + 9 = -5*a. Let x(v) = -2*v**2 - 7*v + 2. Let h(w) = -2*w**2 - 7*w + 3. Let j(o) = a*h(o) + 2*x(o). Does 17 divide j(-6)?
False
Suppose -8*n + 742 = -3770. Is n a multiple of 12?
True
Suppose -25*d + 21034 = -85241. Is d a multiple of 13?
True
Let t = 264 + 181. Is 15 a factor of t?
False
Let t be (12/24)/(1/(-12)). Let y = -24 - -25. Is 3/t*(-24)/y a multiple of 6?
True
Let q(o) = o**3 - 11*o**2 - 2*o + 37. Suppose -154 = -14*z - 0*z. Is 11 a factor of q(z)?
False
Suppose d + u - 3 = 0, 4*d - 4*u - 15 = -d. Suppose 0 = y - d*y. Let a = y - -30. Is 10 a factor of a?
True
Let m = -253 + 430. Is 4 a factor of m?
False
Let t be ((-4)/(-3))/((-944)/474 + 2). Let u = 197 - t. Is u a multiple of 11?
False
Let p be (-14)/(-4) + (-1)/(-2). Suppose -n + 238 = 2*t - 4*n, -2*n = -3*t + 367. Suppose -p*y = -t + 17. Does 8 divide y?
False
Let h = 116 - 111. Suppose 3*z - 37 = h. Does 14 divide z?
True
Let h = 1759 - 955. Is h a multiple of 12?
True
Let b(f) = -f + 3. Suppose -12 = -4*z + 20. Let v be b(z). Let j(d) = -d**3 - 3*d**2 - 6*d + 6. Is j(v) a multiple of 13?
False
Let i = 20 + -17. Let g(s) = -2*s + 7. Let b be g(i). Let p(r) = 41*r**2 - 2*r + 1. Is 10 a factor of p(b)?
True
Let o(k) = -3*k**3 - 7*k**2 + 35*k + 52. Does 22 divide o(-10)?
True
Let z(i) = i**3 + 3*i**2 - 4*i - 10. Let m be z(-4). Let o = 28 + m. Is 9 a factor of o?
True
Does 34 divide (-8 + 5 - -373)*(-14)/(-4)?
False
Suppose -w - 5*h = -5, 0 = 3*w - h + 1 - 0. Suppose -f = 2, w*y + 4*y + 3*f - 94 = 0. Is y a multiple of 8?
False
Suppose 0 = 3*t - 5 + 14, -3*g + 5*t + 21 = 0. Suppose -3*w = -2*z - g*z + 10, 2*z = w + 6. Suppose -65 = -z*h - 9. Is 6 a factor of h?
False
Suppose 0 = 12*y - 79 - 2405. Is 10 a factor of y?
False
Let c = 13 - 11. Suppose -5*h = 5*i + 25, 0 = c*h - 2*i + i + 13. Let j = h - -10. Is 2 a factor of j?
True
Suppose 2*s - 90 = 58. Is s a multiple of 74?
True
Let w(k) = k**2 + 4*k + 8. Is w(-12) a multiple of 26?
True
Let j = 188 + 542. Is 5 a factor of j?
True
Let l(q) = q**3 - 13*q**2 + 15*q + 17. Let f be l(13). Let h = f - 148. Is h a multiple of 8?
True
Let k(q) = 187*q - 199. Does 66 divide k(8)?
False
Suppose 8 = 34*z - 33*z. Let a(s) = 5*s**2 - 24*s + 4. Is a(z) a multiple of 44?
True
Suppose -i = k - 5, -5*i + 5*k - 4 = 11. Let j be i/(-1)*(-3 - 142). Suppose -l = 2*p + l - 74, 5*p - 5*l - j = 0. Is p a multiple of 11?
True
Let p be 3/(-6)*14 - 4. Let v = p - -26. Suppose 14*n = v*n - 24. Is 5 a factor of n?
False
Is 19 a factor of ((-190)/(-8))/(((-156)/48)/(-13))?
True
Does 54 divide (478/4 - 6)*2?
False
Let p(o) = 33*o**2 + o. Let h be (-1)/(-6) + (-156)/72. Let n be (-7 - -5)*h/4. Is 17 a factor of p(n)?
True
Let l be 600/4 + 0 + 3. Let m = -37 + l. Does 29 divide m?
True
Let j = -70 - -70. Suppose j = 2*p + 23 - 31. Does 4 divide p?
True
Let d(u) = 3*u**3 - 10*u**2 - 2*u - 28. Let s(c) = -5*c**3 + 15*c**2 + 3*c + 42. Let t(g) = 8*d(g) + 5*s(g). Let r be t(-6). Let p = 8 + r. Does 18 divide p?
True
Let j be ((-9)/6 + 2)/((-5)/1090). Let g = j + 230. Does 8 divide g?
False
Let r = 122 - 136. Suppose -15 = -2*b - 63. Let d = r - b. Does 10 divide d?
True
Let f(n) = 2*n**3 - 6*n**2 - 5*n - 2. Let s(d) = 3*d**3 - 5*d**2 - 4*d - 2. Let p(o) = -4*f(o) + 3*s(o). Is p(-5) a multiple of 21?
False
Suppose -4*o - 12 = -8*o. Does 7 divide (-2805)/(-25) - o*(-3)/(-45)?
True
Suppose 11*a - 4860 - 7867 = 0. Is a a multiple of 89?
True
Let j be (-6 + 2)*9/12. Let d be (84/98)/(j/(-14)). Let k(o) = o**3 - 2*o**2 - 3*o + 4. Does 24 divide k(d)?
True
Let v(p) be the third derivative of 0*p**3 - 23/24*p**4 + 0*p - 3*p**2 + 0. Is 23 a factor of v(-2)?
True
Let z be (-1)/6 + (-415)/30. Let x = z + 20. Is x a multiple of 3?
True
Does 16 divide (-105)/(-14) - 8 - (-9858)/4?
True
Let p(s) = -2*s**2 + 2 - 3*s - 24*s + 6. Is 2 a factor of p(-13)?
False
Let k = -4 - -7. Suppose k*m - 4 = m. Suppose 174 = 3*x - 4*p, 5*x + m*p + 10 = 300. Is 19 a factor of x?
False
Suppose -117 = -d + 3*m, -5*m = -0*m + 25. Suppose 7*c - 3*c - 2*q + d = 0, 9 = 3*q. Does 2 divide 1/((1 + -4)/c)?
True
Suppose 0 = -5*j + 4*j + 252. Is j a multiple of 7?
True
Suppose 1 = 3*q + 4. Let g(t) = t + 14. Let n be g(-11). Does 6 divide q/(88/30 - n)?
False
Is 27 a factor of 505 - (8 - 6)*-4?
True
Is 18 a factor of 118984/48 - 3/(-18)?
False
Let x(v) = -10*v + 5. Let p be x(-5). Suppose h - c - p = 0, 2*c - c - 293 = -5*h. Does 41 divide h?
False
Let o(v) = 2*v + 53. Let b be o(-16). Suppose 2*g = g + 3. Let f = g + b. Does 12 divide f?
True
Let f = -23 - -15. Let d be (7 + f)*(-25 + 2). Suppose d*t - 18*t = 395. Is 15 a factor of t?
False
Let z = 11 + 109. Does 4 divide z?
True
Suppose -a - 3*u = -22, -3*a = -3*u + u - 11. Let d = a - -19. Is d a multiple of 13?
True
Let f be (-1)/(-1) + 86/(-2). Is 3 a factor of (3/(-6))/(3/f)?
False
Let n(s) = -s**2 + 10*s - 5. Let g be n(8). Suppose 4*a 