?
True
Let f(j) = 15*j**2 + j + 36. Is 13 a factor of f(6)?
False
Let p = 1076 - 599. Does 3 divide p?
True
Let p = -161 + 599. Is 10 a factor of p?
False
Let o(f) = -f**3 - 9*f**2 - 8*f - 16. Does 6 divide o(-9)?
False
Let p be (-2)/(-8) - (-63)/36. Is (-819)/14*p/(-3) a multiple of 14?
False
Let u = -29 - -32. Suppose -5*h = -u*n - 13, 4*n - 2*h - h = 1. Is 15 a factor of n + -56*5/(-5)?
True
Suppose 7*j - 10 = 2*j. Suppose k + j - 5 = 0. Is k/((-6)/(-14)) - -2 a multiple of 3?
True
Let c(b) = b**2 - 7*b - 5. Let m be c(8). Suppose -k + 234 = -2*d, -m*d + 434 = 3*k - 286. Let r = -148 + k. Is r a multiple of 30?
True
Is 10 + 3 + -2 + 1129 a multiple of 19?
True
Is (-9)/(-12) + (-1158)/(-24) + 5 a multiple of 9?
True
Does 56 divide (-4533)/(-9) + (-3)/(-9)?
True
Suppose -3*y + 5*w + 15 = 0, -y = -0*w + w - 5. Suppose -i = 5*s - 63 + 6, y*s = 4*i - 103. Suppose i = 4*r - 4. Does 9 divide r?
True
Let b(x) = x**3 + 14*x**2 - 32*x - 15. Is b(8) a multiple of 103?
False
Suppose 3*p - 863 = -83. Let q = -43 + 49. Suppose -q*n = -n - p. Is n a multiple of 13?
True
Suppose -2 = -3*d + 2*d. Suppose 0 = o - d*n + 6, -n + 3 = -3*o - 10. Let f = o + 13. Is f a multiple of 3?
True
Let p(j) = -j + 3. Let o be p(-6). Let a(r) = 34*r - 38*r - 21 - r**2 + 17*r. Does 15 divide a(o)?
True
Suppose q + 97 = 2*w, 10*w - 13*w - 4*q + 173 = 0. Is 3 a factor of w?
True
Let f be ((-2)/(-4))/(7/56). Suppose -f*l + 5*o = -340, -4*o - 50 - 206 = -3*l. Is 25 a factor of l?
False
Let b(k) = -k**3 + 11*k**2 - 4*k - 11. Let s be b(8). Suppose 9*p - s = 229. Is 14 a factor of p?
True
Suppose -n + 5*c + 65 - 21 = 0, -5*n + 2*c = -335. Is n a multiple of 9?
False
Suppose 8*b - 9*b - 4 = 0. Let i(x) = x**3 + 9*x**2 - 2*x - 9. Does 21 divide i(b)?
False
Suppose -9*l + 5436 = -15*l. Is 21 a factor of (-9)/(126/(-4)) - l/14?
False
Suppose 1989*j = 1987*j + 3914. Is 20 a factor of j?
False
Let v(i) = -61*i + 5. Let m be v(-4). Suppose -2*t - 5*w = t - m, -2*t - w = -173. Does 10 divide t?
False
Let t be ((0 + 3)*(-132)/(-18))/2. Let u(j) = 3*j**3 + 8*j**2 - 17*j - 15. Let x(a) = a**3 - a**2 - a - 1. Let f(p) = -u(p) + 4*x(p). Is f(t) a multiple of 16?
False
Suppose 76*z = -61770 + 233226. Does 25 divide z?
False
Let y be 8100/22 - (-12)/(-66)*1. Suppose 2*k = 34 + y. Is 32 a factor of k?
False
Let s = 12 + 13. Suppose n = -0*n + s. Suppose 0*o = -5*o + n. Is o a multiple of 2?
False
Let p(k) = 26*k**2 - 15 + 3*k + 16 - 2*k. Let d = -47 - -46. Is 10 a factor of p(d)?
False
Let l(y) = -y**2 + 4*y + 4. Let x(g) = 2*g**2 - 8*g - 7. Let w(b) = -9*l(b) - 4*x(b). Let k be w(7). Suppose -o = -18 + k. Is o a multiple of 3?
False
Let d = -42 - -39. Let q = d + 20. Is q a multiple of 17?
True
Let x(p) be the second derivative of p**5/20 + p**4/12 + 4*p**2 + p. Suppose 5*u = u. Does 4 divide x(u)?
True
Let h(s) = -19*s + 23. Let n be h(-7). Suppose -1 = -0*z + z, 4*z + n = 4*p. Is p a multiple of 4?
False
Let l(z) = 9*z**2 - 5*z + 46. Let k be l(9). Suppose -3*r + k = -2*x, -3*r = x - 4*x - 726. Is 15 a factor of r?
False
Suppose -5*f = -v - 6, 3*v - 5 = 3*f + 1. Suppose 0 = 7*z - f*z. Suppose 2*c + z*c - 48 = 0. Is 6 a factor of c?
True
Let j be (0 + 2/3)*117. Let c(q) = -q**3 + q + 2. Let h be c(0). Suppose -2*y = -h - j. Is y a multiple of 10?
True
Let a be 51*((-14)/(-6) - 2). Let v = 9 - 9. Suppose -a = -4*y - 5*m, -y + v*y = -4*m - 20. Is y a multiple of 5?
False
Let a(x) = -x**2 + 11*x - 10. Let i be a(10). Let q be 1 - (i + 8 - -1). Let o = q - -38. Is 18 a factor of o?
False
Suppose -9*u + 760 = -7*u. Is 38 a factor of u?
True
Let k be ((-12)/(-9))/((-6)/99). Let g = -41 - k. Let r = g + 35. Does 8 divide r?
True
Let j be 0 + (-1 - (-3)/1). Let v(g) = 15*g**2 + 4*g - 5. Is v(j) a multiple of 9?
True
Let r = 835 - 429. Is r a multiple of 58?
True
Let t(r) = 3*r**2 - 10*r + 264. Does 66 divide t(18)?
True
Let g be (2 + (0 - -1))*(21 - 20). Let s(i) = -14*i - 4. Let k(l) = 1. Let a(n) = -3*k(n) - s(n). Does 18 divide a(g)?
False
Suppose -39 = 4*u + 5. Let q = -2 - u. Is 3 a factor of q?
True
Let a(o) = -o - 6. Let w(i) = -i**2 + 3*i. Let m be w(5). Let u be a(m). Suppose 35 = y - 4*g, -5*y - g + 90 = -u*g. Is 6 a factor of y?
False
Suppose -72 = -11*c + 82. Is 14 a factor of c?
True
Suppose 13*c = 8*c + 200. Is c a multiple of 5?
True
Let k be 1498/63 - 2/(-9). Let r be -1 - (1 - (k - 3)). Let c = r + -1. Is 6 a factor of c?
True
Suppose -130*m + 5184 = -122*m. Is m a multiple of 18?
True
Let o(m) = -2*m - 2. Let s be o(2). Let n be ((-3)/2)/(s/28). Suppose 99 = 3*h - 3*x, -3*h = 5*x - 82 + n. Is 12 a factor of h?
False
Let x(j) = -24*j - 745. Is 76 a factor of x(-40)?
False
Let m(p) = 3*p**3 + 15*p**2 - 23*p + 14. Let x(h) = 5*h**3 + 30*h**2 - 45*h + 28. Let q(a) = 7*m(a) - 4*x(a). Is 14 a factor of q(14)?
True
Suppose 4*q + 4*x - 305 = 811, -4*x = -q + 274. Suppose -562 = -4*u - 5*d, -3*u + 5*u = -4*d + q. Is 13 a factor of u?
True
Suppose 3*d - 281 = 364. Let h = d - 160. Is 7 a factor of h?
False
Suppose -74 - 106 = -4*h. Suppose 11*i = 8*i + h. Does 5 divide i?
True
Let r = 380 - -488. Is 14 a factor of r?
True
Suppose -4*b - i = -5*i - 48, -3*b + 4*i = -38. Let c be 4/3*(5 - (-49)/(-14)). Suppose -c*u = -u - b. Does 5 divide u?
True
Let z(b) = 3*b**3 + 10*b**2 - b - 8. Let d be z(-7). Let w = -264 - d. Does 46 divide w?
True
Let p = 6 + -6. Let q = p - -9. Is q a multiple of 3?
True
Suppose 252 = 2*h - 574. Does 59 divide h?
True
Suppose 5*d = -5, -2*d + 4 = 2*g + 12. Is g/15 + (-1904)/(-20) a multiple of 28?
False
Let f = 20 + 2. Suppose -4*p = -6*p - f. Let m = p - -19. Does 3 divide m?
False
Suppose -10 = 5*k, -3*u = -2*u + 2*k - 88. Suppose -2*z = -208 - u. Is 23 a factor of z?
False
Suppose -2*l + 3 = -3*l, 0 = -m + 2*l + 26. Let q(u) = 2*u**2 + 5*u + 3. Let d be q(-5). Let h = m + d. Is h a multiple of 16?
True
Let f = 695 + -245. Is f a multiple of 45?
True
Let d = -1102 + 4204. Is 33 a factor of d?
True
Does 4 divide 0 + -3 - (-839 + 4)?
True
Let y = -195 - -362. Does 15 divide 8/(12 - -4) + y/2?
False
Let v(z) = -40*z + 160. Is v(-30) a multiple of 27?
False
Let c(u) = 2*u + 9. Let w be c(-3). Suppose w*h = -10 + 52. Does 12 divide h?
False
Let v(w) = 9*w**2. Let f be -1 + (-2)/(-4)*0. Let y be v(f). Let s(l) = l**2 - 8*l - 6. Is s(y) even?
False
Let v = 633 + -259. Is v a multiple of 25?
False
Let o(h) = -h**2 - 8*h - 33. Let i be o(-10). Let j = i + 226. Is 20 a factor of j?
False
Let s(b) = -2*b - 51. Let z(k) = -5*k - 101. Let a(r) = -7*s(r) + 4*z(r). Is 37 a factor of a(-14)?
True
Let j(o) = 31*o - 99. Is 11 a factor of j(11)?
True
Suppose -64*z + 60*z + 7844 = 0. Does 14 divide z?
False
Let y be 14/70 + 28/10. Let m = 31 - y. Is 234/14 - (-8)/m a multiple of 13?
False
Let c = -26 + 16. Let d(w) be the second derivative of -w**3/3 - 5*w**2 - 77*w. Does 10 divide d(c)?
True
Let c = 185 - 95. Does 18 divide (-8)/(-10)*c/1?
True
Does 24 divide -7 + (117 + -2 - 4)?
False
Suppose 0*k - 4*k + 10 = -3*o, -3*o - 3*k = 45. Let d be 15/o*4/(-6). Suppose -5*f = -2*h - 5, 4*h - 4 = 5*f + d. Is 2 a factor of h?
False
Suppose -3*z = -6, 0 = 5*y + 2*z - 129 - 355. Suppose 2*d = y + 84. Does 18 divide d?
True
Suppose 10*q - 19098 = -3618. Is q a multiple of 12?
True
Suppose 0*b + j = -b - 6, -2*b = -2*j + 12. Let h(f) = 3*f**2 + 7*f + 11. Is 18 a factor of h(b)?
False
Suppose 8*d = 4*d - 36. Is 31 a factor of 247 - (-8)/(24/d)?
False
Suppose 49 = -6*v - 95. Let n = v + 30. Is 4 a factor of n?
False
Let k be (-10)/4*220/(-25). Let f(y) = -y**2 + 38*y + 25. Is f(k) a multiple of 29?
True
Let l(x) = -12*x + 4*x + 0*x**2 + 10*x**2 - 2*x**2 + 13 + x**3. Let c be l(-9). Suppose 5*s - c*m - 188 = 0, 4*m - 44 = -5*s + 168. Is 27 a factor of s?
False
Let l = -46 - -136. Suppose -q - 5*q = -l. Is 15 a factor of q?
True
Suppose 4 = 5*p - 4*h, 5*p + 3*h + 1 + 2 = 0. Suppose p = t - 3*q - 2*q + 26, -q = -3*t - 36. Let i(a) = -6*a - 10. Is i(t) a multiple of 32?
False
Suppose 0 = 5*k + 4*r + 18, 2*k - 6*k = -4*r. Does 7 divide ((-6)/k)/(3/68)?
False
Suppose -2*c - 40 = 2*c. Let h = c + 54. Is 6 a factor of h?
False
Is (2/(-6))/(29/(-82911)) a multiple of 64?
False
Let m(u) = 2*u + 4. Suppose 3*i = -x - 2*i - 9, 3 = -i. Is m(x) a multiple of 16?
True
Let o(y) = y + 2. Suppose -4*q - q = 5. Let 