f l(0)?
True
Let n = -2 - -6. Suppose 3*h + n = 31. Suppose -3*d = -24 - h. Does 7 divide d?
False
Let a = -14 - -15. Let c(j) = 1 + 2*j + 6 - a. Is c(9) a multiple of 10?
False
Suppose 42*c - 37*c - 420 = 0. Is c a multiple of 13?
False
Let f be (-33)/(-3) - 1 - (-1 - -4). Suppose 8*g - 43 = f*g. Is g a multiple of 26?
False
Let y(i) = -i**3 + 11*i**2 - 19*i + 12. Let m be y(9). Suppose 44 = m*p - p. Does 11 divide p?
True
Let z(a) = 7*a**2 + 25*a - 11. Let m(j) = -20*j**2 - 74*j + 33. Let v(l) = 6*m(l) + 17*z(l). Is v(-18) a multiple of 13?
False
Let o = 14 + -28. Let d = o - -14. Suppose 4*h + 4 = d, 69 + 0 = 5*s + h. Is 11 a factor of s?
False
Suppose -4*t - 426 = -t. Suppose 4*m = a - 54, -3*a = 2 + 4. Is t/(-7) + 4/m a multiple of 6?
False
Suppose -o - 363 = -2*h, -h + o = -o - 174. Is h a multiple of 8?
True
Let h(k) = k**2 + 18*k + 129. Does 18 divide h(-13)?
False
Let v(n) = 29*n**2 + 5*n - 1. Let g be 2*(-1)/4*-4. Is 25 a factor of v(g)?
True
Let s be 2/(-7) - 16/(-7). Let b be (s/8)/(7/84). Is b/(-4) - 189/(-12) a multiple of 14?
False
Suppose 5*b - 4*k = 8*b - 68, 5*k - 25 = 0. Is b a multiple of 9?
False
Suppose -26*o + 1003 = -9*o. Is o a multiple of 3?
False
Is 7 a factor of (-216)/81*453/(-2)?
False
Let v(i) = -7*i**2 - 15*i - 15. Let d(g) = -11*g**2 - 23*g - 23. Let y(l) = 5*d(l) - 8*v(l). Is y(-10) a multiple of 11?
True
Let b = -347 - -558. Is b a multiple of 6?
False
Suppose y - 9 = -2*y. Suppose 54 = y*v - 5*d, -v - 4*d - 11 = -2*v. Does 23 divide v?
True
Let b(u) = -3*u**2 - u - 7. Let m(w) = 4*w**2 + w + 8. Let c(o) = 5*b(o) + 4*m(o). Is c(3) a multiple of 3?
True
Let g = -18 - -32. Suppose 3*v + 3 = 4*c, 0*v - 9 = -v - 2*c. Let a = v + g. Does 17 divide a?
True
Suppose 2*a - 18 = 4*o, 5*a + 5*o = -0*a + 30. Let z be 6/1 - (-4 + a). Suppose -n - n + 3*h + 30 = 0, 3*n - z*h - 45 = 0. Is n a multiple of 4?
False
Suppose 5495 + 1369 = 11*y. Is 52 a factor of y?
True
Let o(m) = 6*m - 25. Let g be o(5). Is 18 a factor of (5 - g - 6)*2*-2?
False
Suppose -5*i + 1464 = -0*i - 2*m, -3*i = -m - 879. Suppose i = 2*s + 12. Is 16 a factor of s?
False
Is (-3496)/(-23) - ((-2)/(-2) - -1) a multiple of 5?
True
Let s(x) = -x**2 - 37*x - 7. Let h(g) = g**2 - g. Let a(w) = h(w) - s(w). Is 15 a factor of a(-19)?
True
Let j(q) = -27*q**3 - 2*q**2 + 1. Suppose 0 = 3*b - b - 6. Suppose -4*d = 3*w - 1, 2*d - d = b*w + 4. Does 18 divide j(w)?
False
Is 16/104 + (-53858)/(-91) a multiple of 17?
False
Suppose 16*p - 7*p = 45. Suppose -p*y - 1120 = -15*y. Is 8 a factor of y?
True
Let o(s) = 2*s + 12. Let l be o(-6). Suppose l = h - 4*h + 315. Is 34 a factor of h?
False
Suppose -6*l = 226 + 320. Let y = 26 + l. Is 9 a factor of -2*6*y/20?
False
Let s(g) = -g**3 - 20*g**2 + 21*g + 3. Let l be s(-21). Suppose u = 2*n - 6, -l*u = -11 + 5. Suppose 0 = -0*a + n*a - 32. Does 8 divide a?
True
Suppose 5*l = 1389 - 599. Does 32 divide l?
False
Let w(b) = b - 1. Let d be w(3). Suppose 23*m = 819 + 1274. Suppose -3*v + 178 = 5*u, d*v = -5*u + 21 + m. Is v a multiple of 22?
True
Let b(n) = n**3 - 20*n**2 - 29*n - 13. Does 55 divide b(24)?
True
Is 3 a factor of (29986/(-141))/(3/9 + -1)?
False
Let n be 0*(-14)/(-35)*(-10)/8. Suppose n*s - 171 = -s. Does 19 divide s?
True
Let w = -1452 - -2260. Does 101 divide w?
True
Suppose -3*k - 79 = -5*p - 322, 0 = -2*k - 4*p + 140. Does 4 divide k?
True
Suppose 0 = 5*f - 72 - 13. Is f a multiple of 17?
True
Let u be (1/3)/((-2)/(-72)). Let n be u/60 - (-2)/(-10). Suppose -13 = -i + 4*s, -4*i + n*s - 3*s + 128 = 0. Is 29 a factor of i?
True
Suppose 2*h - 230 = g + 4*g, 137 = h + 3*g. Suppose -3*w + h = -64. Is w a multiple of 14?
False
Suppose 2*p + 1396 = 6*y - y, y = -p + 275. Is 28 a factor of y?
False
Let a(g) = g - 1. Let w be a(5). Suppose -2*l - w*u = -164, -l = l - 5*u - 155. Is l a multiple of 8?
True
Suppose -3*f - o = -317, -128 = 4*f - 5*o - 538. Is 8 a factor of f?
False
Let h(n) = -n. Let v be h(0). Suppose 5*o = 10 - v. Is 16 a factor of (-2)/1 + 92/o?
False
Suppose 1209 = 9*b + 885. Is 18 a factor of b?
True
Suppose 0 = 4*r - 2*r - 108. Let g be 368/(-6)*r/(-24). Suppose 4*k = g - 42. Is k a multiple of 8?
True
Let b(w) = 3*w**2 - 4. Suppose 6*l = 4*l. Suppose l = 3*v + 2*v - 10. Is b(v) a multiple of 4?
True
Let q(f) = -f**3 + 49*f**2 - 44*f + 6. Is q(48) a multiple of 48?
False
Suppose 10*y = 6*y - 44. Let g be 2/y - (-2550)/110. Suppose 5*j - 32 = g. Is 11 a factor of j?
True
Suppose 5*j + 11 = 1. Let r(q) = -9*q**3 - 2*q**2 - 3*q - 5. Is 16 a factor of r(j)?
False
Let c = -8 - -22. Let s = 21 - c. Suppose -s*a = -5*a - 68. Is 17 a factor of a?
True
Let d(t) be the first derivative of 28*t**3/3 + 2*t**2 + 3. Let i be d(2). Suppose -f = 3*f - i. Does 10 divide f?
True
Suppose 16*c = 8*c + 1360. Does 5 divide c?
True
Let y be -314*(1/5 - (-91)/70). Let z = -285 - y. Does 31 divide z?
True
Let d be (-4 + 3)/(-3) - (-1)/(-3). Suppose 3*g + 22 - 82 = d. Is g a multiple of 7?
False
Let d = 12 + -9. Let g(b) = b**3 - 4*b**2 + 5*b - 2. Let u be g(d). Does 3 divide (-1)/(-4) + 11/u?
True
Suppose 8 = -2*n + 2*f, -16 = -2*n + f - 5*f. Does 17 divide (2/(-2))/(3/(-153) + n)?
True
Let p(s) = -14*s**3 - 10*s**2 - 25*s - 5. Is 12 a factor of p(-5)?
True
Suppose 3*d = 5*d - x + 8, -3*d = -4*x + 22. Does 6 divide (-1)/((-135)/(-69) + d)?
False
Suppose 4*t - 3 - 13 = -q, -3*t = -3*q + 3. Let s = 1 - -34. Let c = q + s. Is c a multiple of 11?
False
Let x(g) = -g**3 + 9*g**2 + 13*g - 30. Let u be x(10). Does 35 divide (2 - u/(-1))*26?
False
Let c(b) = -b**3 + 8*b**2 + 9*b + 8. Let r be c(7). Suppose 6*p = 11*p - r. Is p a multiple of 8?
True
Suppose 595 = 5*c + 2*c. Suppose -4*h + 4*d + 128 = 0, c + 16 = 3*h - 2*d. Is 5 a factor of h?
False
Is (-2*(-6)/12)/(1/197) a multiple of 3?
False
Suppose -3*t + b = 179, 0*b + 4 = -4*b. Let l = t + 150. Does 18 divide l?
True
Does 37 divide ((-18)/81)/(-1) - (-10094)/18?
False
Let l = -39 - -44. Suppose -2*m = -m - l. Does 5 divide m?
True
Let z = 40 - 40. Suppose 4*r = -4*w + 248, 2*r + z*r + 6 = 0. Is 17 a factor of w?
False
Suppose 0 = 5*d - 3*o - 9503, 2*d - 3*o + 579 = 4382. Does 10 divide d?
True
Let y(b) = -28 + 21*b**2 - 3*b**3 + 13*b + 3*b**3 + b**3 + 18*b. Does 21 divide y(-19)?
True
Let u(i) = i**3 + 61*i**2 + 169*i + 46. Is u(-58) a multiple of 13?
False
Suppose -9*r - 8 = -13*r. Suppose 3*j - 500 = -r*j. Is 25 a factor of j?
True
Suppose 0 = -4*x + 2*k + 64, -2*k = 3*x - 0*x - 62. Suppose 14 = u - x. Is 8 a factor of u?
True
Suppose 5*x - 4*y = y + 30, 2*x - 3 = -y. Suppose -415 = -x*l - 82. Suppose 3*s - 2*p - p - l = 0, -2*p = 4*s - 130. Is 17 a factor of s?
True
Suppose w - 2*w = 16. Let y be w/10*(-75)/6. Suppose 0 = -3*b + 65 - y. Does 15 divide b?
True
Suppose 63*m - 80087 - 89446 = 0. Does 14 divide m?
False
Suppose 15 = -6*b + 39. Does 38 divide (b + 8/(-3))*87?
False
Is 8 + 116 + -8 - -2 a multiple of 17?
False
Let u = 661 + -356. Suppose -c - f + 183 = 2*c, 5*c = 4*f + u. Does 8 divide c?
False
Suppose 3*g + 745 = 5*b - 41, 2*b + 4*g - 330 = 0. Is 5 a factor of b?
False
Let a(o) = -o**3 - 11*o**2 - 11*o. Suppose -4*x + 12 = -8. Suppose -2*r - 5*m - x = 0, 3*r + 4*m = r - 8. Does 10 divide a(r)?
True
Suppose -22*u - 3*w + 177 = -17*u, 2*w - 106 = -3*u. Is 36 a factor of u?
True
Suppose 0 = 73*y - 65*y - 18304. Does 22 divide y?
True
Is 51 a factor of (120/(-45))/((4/645)/(-2))?
False
Let k(p) = -5 - 9 - 11 - 3 - 28*p. Is k(-7) a multiple of 43?
False
Is 160/360 - 38332/(-18) a multiple of 30?
True
Let t(y) = -3*y + 18. Let j(q) = q - 1. Let p(x) = 4*j(x) + t(x). Let z be p(-12). Suppose 3*d - c - 138 = z*c, 3*c = -2*d + 77. Does 22 divide d?
False
Let h(z) = -z**3 + 8*z**2 + 24*z - 2. Let w be h(10). Suppose w - 543 = -5*v. Is v a multiple of 21?
False
Suppose 2*m + 6 = 0, 3*l - 25 = m - 10. Suppose -v = 3*y - 57, 2*y - l*y = 3*v - 192. Is v a multiple of 6?
True
Let d(z) = -86*z + 1. Let y be d(-1). Let q = -140 - -83. Let h = y + q. Is h a multiple of 15?
True
Let o(d) = -d**3 + 8*d**2 + 5. Let l be o(8). Suppose -356 = -l*w - 21. Is w a multiple of 11?
False
Let s(v) = -16*v**2 + v - 1. Let o be s(1). Let n = o - -18. Suppose 0*a - n*a + 66 = 4*r, -3*r = -a + 43. Does 13 divide a?
False
Suppose 6*s - 80 = s. Suppose d - 2*o + o + 22 = 0, d + 5*o = -22. Let a