7 + -4 + -5 - -8*234?
False
Let m = 5041 + -2952. Is m a multiple of 18?
False
Let d = -27 + 28. Is 9 a factor of 0/2 - d*-9?
True
Let j(w) = w + 7. Let s be j(-5). Let a(o) = 5 + 5*o - 4 - s - 26*o. Does 17 divide a(-1)?
False
Let j(g) = 2*g - 10*g + 7*g - 10 + g**2. Is 20 a factor of j(7)?
False
Let y(o) = o**3 - 15*o**2 + 16*o + 23. Is y(14) a multiple of 17?
True
Suppose 0 = 22*m + 119 - 6719. Is 50 a factor of m?
True
Suppose 160 = 6*y - 230. Is 5 a factor of y?
True
Suppose -4*x + i + 762 = -1878, -2*x + i + 1320 = 0. Does 12 divide x?
True
Let o be (-1)/3 + (-57)/(-9). Suppose 4*a + 20 = j + o*a, -3*a = 2*j - 35. Is 5 a factor of (-2 + 14/j)*-25?
True
Suppose 3*z - 3*k = 12, 3*k = -4*z + k - 2. Suppose z = -2*c + 9. Suppose -c*x = 74 - 502. Does 33 divide x?
False
Let f(a) = 100*a**2 + 2*a + 1. Let v be f(-1). Let t be (-52)/(-12) + (-4)/(-6). Suppose -t*r + v = -6. Is r a multiple of 7?
True
Suppose 0*l - 140 = -4*l. Let b = 51 - l. Does 8 divide b?
True
Is 15 a factor of 7/((-49)/84) - -1632?
True
Suppose -29*j + 25080 = -21*j. Is 15 a factor of j?
True
Let h be ((2 - -3) + -1)/1. Let g = 0 + h. Is 15 a factor of (5/3)/(g/36)?
True
Let q(m) = -m - 25. Let l be q(-11). Let y be -1*(l - 1)*-6. Is 8 a factor of (-2)/(-9) - 2590/y?
False
Let y(z) = z**2 - 11*z + 9. Let f be y(9). Is 33 a factor of 2/f - (-3576)/54?
True
Let v = 238 + 289. Is 62 a factor of v?
False
Let f be -94 + 5/(-4 + -1). Let n = f - -239. Suppose 5*d = 504 - n. Is 11 a factor of d?
False
Let v be (8/6)/((-6)/261). Is 16 a factor of (3 + -1)/((-1)/v)?
False
Let n(w) = 34*w - 17. Let t be n(4). Is 11 a factor of (t/(-14))/(1/(-22))?
True
Is (-8)/(-6) + (-11 - 4120/(-24)) a multiple of 9?
True
Suppose 0 = -3*n + 30 + 6. Suppose 5*g = -3*k + 11, -15 = -0*g - 3*g + k. Suppose -2*m + 5*a = -0*m - 51, 0 = -g*a + n. Is m a multiple of 11?
True
Suppose -5*v - 2*m + 4*m = -5460, -m + 4368 = 4*v. Is 13 a factor of v?
True
Let f be (1/(-2))/(2/(-128)). Let t(k) = 2*k - 38. Let x be t(10). Let m = f + x. Is 7 a factor of m?
True
Let l be (-3765)/(-21) + (-2)/7. Suppose 0 = 3*k + 15, -5*k + l = 4*m - 8. Suppose 5*v - 2*o - 90 - m = 0, -2*o = -2. Is 14 a factor of v?
False
Suppose -3*i = -2*i + 5. Let m be 12/20 - 7/i. Suppose -d = -m*d + 59. Does 33 divide d?
False
Let y be 3*2/12*2. Let u(w) = -129*w**2 - 2*w + 1. Let q be u(y). Let c = 183 + q. Does 23 divide c?
False
Let a = 18 - 31. Let d be (-24)/a + 24/156. Is ((-1)/d)/(5/(-320)) a multiple of 10?
False
Suppose 614 = 5*o - 801. Is 16 a factor of o?
False
Let q(l) = -161*l**3 - l**2. Let w(s) = 2*s - 47. Let i be w(23). Is 10 a factor of q(i)?
True
Let g(u) = -u**2 - u. Let d(t) = 5*t**2 + 14*t - 6. Let w(r) = -d(r) - 3*g(r). Is w(-4) a multiple of 12?
False
Is 15 a factor of ((-45)/(-54) - (-25)/6)*102?
True
Let s(b) = b**3 - 3*b**2 + 4*b. Let v be s(3). Suppose 4*m + v = 7*m. Suppose 3*i + 34 = m*i. Does 15 divide i?
False
Suppose 11 = 3*b + 2. Suppose b*l - 6 = 12. Is l a multiple of 3?
True
Suppose 96 = 4*w + 5*m, 20*w = 15*w - m + 141. Is w a multiple of 25?
False
Let v = 10 - 8. Let c(x) = 6 - 2 - x**2 + v*x + x**3 + 6*x**2. Is c(-4) a multiple of 12?
True
Suppose -4*v = 5*l - 1014, 5*v + 0*v = l + 1282. Is v a multiple of 16?
True
Suppose -4*p - 2*j + 146 = 0, 0 = -3*p - p + 2*j + 134. Suppose -q = -4*l + p, -7*q = -5*l - 2*q + 25. Does 3 divide l?
False
Let r be 3/(-5) + (-99)/(-15). Let s be (-3594)/(-39) - r/39. Let y = s - 38. Is 18 a factor of y?
True
Let v(b) = b**3 - 5*b**2 + 7*b - 5. Let g be v(4). Suppose -2*h - 175 = -g*h. Does 8 divide h + (0 - 2) - -3?
False
Suppose -5*p - 4*h = -5724 - 3101, 3*p - 5293 = -2*h. Is p a multiple of 25?
False
Suppose 5*r - 389 = 11. Let a = -23 - -168. Let f = a - r. Is 14 a factor of f?
False
Let m(j) = -37*j + 7. Does 11 divide m(-1)?
True
Let t(i) = i**3 - 8*i**2 + 9*i - 16. Let q be t(7). Let s = q + 28. Is s a multiple of 25?
False
Let h(k) = 2*k**3 + 9*k**2 + 2*k + 4. Is h(8) a multiple of 20?
True
Let q(k) = -1162*k - 29. Does 15 divide q(-3)?
False
Let q(p) = -9*p - 2. Let h be q(-2). Let x be (300/80)/(6/h). Suppose 2*w - 3*u = 57, 5*w - x = -u + 107. Is 12 a factor of w?
True
Let o(v) = -2*v - 3. Let w be o(-3). Suppose w*y - 324 = y. Does 12 divide y/63*1*14?
True
Let m(p) = p**2 + 3*p - 18. Let f be m(-6). Suppose -3*j + 46 + 2 = f. Is 2 a factor of j?
True
Let q be 6 + 0/(0 - 2). Let o be 6 + (2 - q) - 23. Let h = o + 31. Does 10 divide h?
True
Suppose -5*l - 260 - 110 = -2*r, -3*l = -6. Suppose 0 = -16*s + 2254 - r. Is s a multiple of 14?
False
Let y(f) = 2*f**2 - 8*f + 6. Let j be y(3). Suppose -149 = -n - 4*t, 3*n + j*t - 503 = 2*t. Does 12 divide n?
False
Let u = 179 + -108. Is u a multiple of 28?
False
Let i = -24 + 26. Suppose r - 92 = i*b, -3*r - b = b - 268. Is 17 a factor of (6/9)/(1/r)?
False
Let x(k) = -3*k**3 - 5*k**2 + 6*k - 55. Let l(v) = -v**3 - v**2 + v. Let b(s) = 4*l(s) - x(s). Is 35 a factor of b(0)?
False
Let h be (-4 - (-5)/3)*-3. Let q(d) = 4*d - 3 - d - d. Is 11 a factor of q(h)?
True
Let w = 12 + -27. Let d = 18 - w. Does 21 divide d?
False
Is 12 a factor of 23 + -28 + (0 - 4042/(-2))?
True
Let z = 1267 + -745. Is 13 a factor of z?
False
Suppose 4 = h - 1. Let o(m) = 8*m + 7. Let w be o(h). Let s = -21 + w. Is s a multiple of 16?
False
Suppose -3*i + 2 = -2*i, -m + 1 = -i. Suppose -u - 8 = -m*u. Does 4 divide u?
True
Let p = -340 + 729. Does 32 divide p?
False
Let r = -56 - -84. Suppose 5*f - r = -s, 5*s = 3*f + 2*f - 10. Is 82*4/8 + s a multiple of 11?
True
Let y = 2 - -3. Suppose 0 = 2*v - y*v + 6. Suppose 2*l + v*l - 20 = 0, 3*z + l = 155. Is 19 a factor of z?
False
Suppose -14 = n - 0*n. Does 11 divide (-4)/(-2)*(1 - 987/n)?
True
Let a = -221 - -374. Does 51 divide a?
True
Let k = -2 - -1. Suppose -4*c + 6 - 25 = 5*b, 3*c - b + 19 = 0. Is -1*(4 - k)*c a multiple of 11?
False
Suppose 0 = 3*o + 2*q - 146, 3*o - 10*q - 158 = -6*q. Is 6 a factor of o?
False
Let d(c) = 5*c**3 + 3*c**2 - 2*c + 2. Let t be d(2). Let k be 16/(-96) + (-1)/(-6). Suppose k = -n - 5*z + 66, n - 28 = -z + t. Does 27 divide n?
True
Suppose -1345 = -7*f + 881. Suppose 0 = 3*h - f - 81. Is h a multiple of 15?
False
Let q(c) be the first derivative of 1 - 6*c - 1/3*c**3 + 4*c**2. Is 3 a factor of q(4)?
False
Let r(c) be the second derivative of -5*c + 0 + 15*c**2 - 1/12*c**4 - 1/3*c**3. Is 7 a factor of r(0)?
False
Suppose 1 = -g - 0. Let u be 1/(g/2*-2). Is (15 + -1)/(u/1) a multiple of 7?
True
Suppose -16128 - 17632 = 16*p. Does 7 divide (-14)/63 + p/(-18)?
False
Suppose 0 = -4*o + 66 + 90. Suppose 2*a + 7*v - o = 2*v, 3*v - 37 = -2*a. Let u = -9 + a. Is u a multiple of 4?
True
Let w(f) be the third derivative of -f**4/24 - 7*f**3/6 + 6*f**2. Let b be w(-11). Suppose -109 = -b*x + z, 84 = 4*x - 0*z + 4*z. Is 20 a factor of x?
False
Suppose 0 = -2*o - 4*s + 3 + 1, 2*s = 2. Suppose 3*h + 4*i = 21 + 28, -4*h - 3*i + 63 = o. Does 13 divide 438/h + (-1)/5?
False
Let k(d) = -14*d**2 - 35*d + 18. Let v(s) = 5*s**2 + 12*s - 6. Let c(z) = 6*k(z) + 17*v(z). Let n be c(5). Let j(y) = 79*y - 1. Does 35 divide j(n)?
False
Suppose -2*u - 5 + 3 = 0. Is (5/(-3) - u)*(-11 - 7) a multiple of 4?
True
Let v(w) = -w**2 + 8*w + 14. Let i be v(9). Suppose z = m - 3*m - 5, 3*z - i = -2*m. Does 20 divide (-200)/m + 4 - -3?
False
Let p = 135 + -216. Let d = -21 - p. Is d a multiple of 8?
False
Let s be (-46)/(-6) - 4/(-12). Suppose 2*v = 16 + s. Let f = 15 - v. Is f a multiple of 3?
True
Suppose 7*q + 651 = -0*q. Let i = q + 192. Does 22 divide i?
False
Let t(n) = -2*n - 12. Let w be t(-6). Suppose 5*y - v - 373 = w, 4*y + 0*y - 294 = 3*v. Let s = y + -30. Is 18 a factor of s?
False
Let b = 165 + 119. Does 11 divide b?
False
Suppose 0 = 9*z - 242 + 3293. Let w = -237 - z. Does 34 divide w?
True
Let l(s) = 50*s + 17. Is 3 a factor of l(3)?
False
Does 10 divide (4 + 20/(-12))/((-5)/(-3540))?
False
Let q = 631 + -651. Let z be -2 - ((0 - 40) + 1). Let d = q + z. Is 15 a factor of d?
False
Suppose 11*a = 2*a + 10845. Is 16 a factor of a?
False
Let x = -164 + 112. Let q = x + 138. Suppose -q + 2 = -2*d. Is d a multiple of 14?
True
Let x be 8*(3 - 15/6). Suppose -x*h - 43 = -191. Is h a multiple of 4?
False
Let q(o) = 29 + 19*o - 51*o + 3*o. Does 8 divide q(-4)?
False
Let l(g) = -g**3 - 9*g**2 