- p*r = 3*r - 20. Is 15 a factor of d?
True
Let d = -5 - 1. Let f = 12 + d. Is 5 a factor of f?
False
Let v(m) = 19*m - 6. Let i be v(6). Suppose 4*a - 12 = i. Is 14 a factor of a?
False
Suppose 0 = 3*l + 4*h + 3 - 13, -3*l + 1 = -5*h. Suppose l*w = 17 + 13. Is w a multiple of 10?
False
Suppose 15 = i - 0*i. Suppose -2*w + 19 = -3*z - 0*z, i = -5*z. Suppose -3*m + 3*v = -66, -110 = -w*m + 7*v - 3*v. Does 11 divide m?
True
Let d(c) = 7 - 7*c + 3*c**2 + 12*c**2 - c - 2*c**2. Is d(3) a multiple of 28?
False
Let b(i) = -i**3 - 4*i**2 + 3*i + 1. Let n(r) = r**2 - r - 1. Let k(d) = -b(d) - 5*n(d). Let x be k(4). Suppose 5*f = x + 30. Does 13 divide f?
False
Suppose u = 4*d - 59 + 15, -32 = -4*d - 2*u. Is 285/d - (-2)/4 a multiple of 14?
False
Let h(f) = -f**2 - 5*f - 1. Let m be h(-7). Let n = 25 + m. Does 10 divide n?
True
Suppose -2*a - 5*j = -77, 0 = -3*j + 7 + 2. Does 3 divide a?
False
Let u(x) be the second derivative of 5*x**4/6 + x**3/3 - 2*x**2 - 9*x. Does 16 divide u(-3)?
True
Suppose -2*s = -v + 95, -16 = 4*s - 3*v + 169. Let c be (0 - -1) + (-10 - 1). Is c/15 - s/3 a multiple of 14?
False
Suppose -5*m + 33 = -v + 472, 2*m = -v + 453. Is v a multiple of 14?
False
Suppose -2*t + t + 7 = 0. Does 26 divide 704/14 - 2/t?
False
Let r(j) = j**3 - 6*j**2 + 6. Let g = 17 + -12. Suppose -k + g = -1. Is r(k) a multiple of 2?
True
Let q = -77 + 43. Let i = q - -49. Is i a multiple of 15?
True
Is ((-8)/12)/(2/(-36)) a multiple of 4?
True
Suppose -2*p - 4*d = 6, -4*p + 2*d - d = 21. Let y(f) be the second derivative of -f**3/6 + 5*f**2/2 + f. Is y(p) a multiple of 8?
False
Let c = 105 + -102. Is c a multiple of 2?
False
Let j(w) = w**2 + 14*w + 69. Is 5 a factor of j(-12)?
True
Let u be (-1 - 1) + 0 - -4. Suppose 2*b + 3*k + 2 = 15, -5*k + 3 = u*b. Is 14 a factor of b?
True
Does 17 divide ((-1521)/65)/(27/15 + -2)?
False
Let p be (0 - -1)*(0 - 0). Let f = p + 2. Suppose 139 = 5*r + 3*v, f*r - 4*v - 45 = -5. Does 13 divide r?
True
Let o(v) be the first derivative of v**4/4 - 3*v**3 + 13*v**2/2 - 12*v - 3. Suppose -3*x + 2*x = -8. Is 14 a factor of o(x)?
True
Let y = 42 + -75. Let m = -18 - y. Does 10 divide m?
False
Let m(a) = 2*a**2 - 7*a + 4. Let h be m(5). Let n = 33 - h. Is n a multiple of 4?
False
Let y(v) = 7*v + 2 + 0 + 5. Let o be y(8). Let q = o + -45. Is 18 a factor of q?
True
Let t be -2 + (1 - (1 - -6)). Let m = t - -12. Is m a multiple of 4?
True
Does 19 divide 136/(-12)*27/(-6)?
False
Let h = 7 + 8. Let r be 2/2 - 12/(-2). Let n = h - r. Is 8 a factor of n?
True
Suppose -3*o = -4*o + 30. Suppose -4*d = -3*r + 2 + o, -22 = -2*r + 3*d. Is 3 a factor of r?
False
Suppose -171 + 39 = -3*c - r, 176 = 4*c + 2*r. Is c a multiple of 10?
False
Let v(m) = 0*m - 7 - 11*m - 6*m + 4*m. Is v(-4) a multiple of 6?
False
Suppose 5*h - 125 = 295. Let o(b) = -b**3 - 58. Let y be o(0). Let w = y + h. Is w a multiple of 14?
False
Suppose 4*x - 2*b + 130 = 0, 0 = -0*x + 4*x + 3*b + 135. Let c = 72 + x. Does 13 divide c?
True
Let q(m) = -m + 4. Let i = 2 - 0. Is q(i) even?
True
Let l = 28 - -268. Does 37 divide l?
True
Let f(r) be the second derivative of 5*r**3/6 - 6*r**2 + 10*r. Is 11 a factor of f(8)?
False
Suppose 0 = 4*y - 22 - 2. Is 6 a factor of 6/4 + 135/y?
True
Suppose h = 4*g - 5, -g + h - 2*h = -5. Suppose -g*b + 2 = -b. Is 3 - (b + 3/(-1)) a multiple of 4?
True
Suppose -7*j + 2*j = -50. Suppose p + j = 3*p. Is 4 a factor of p?
False
Let f be (-26)/(-10) + 2/5. Is (f - 0) + (-1 - -28) a multiple of 9?
False
Let w(y) = -y**3 + 5*y**2 + 5*y + 5. Let b be w(6). Let h be 1/(198/201 + b). Let a = -36 - h. Is 12 a factor of a?
False
Let h(v) = v**3 + 7*v**2 - 8*v + 8. Let i be 3/(-2)*(-32)/(-6). Is h(i) a multiple of 2?
True
Is 14 a factor of (-2)/(-3) + (-248)/(-6)?
True
Let f = 466 + -302. Does 13 divide f?
False
Let x = -6 + 15. Let r be (6/4)/(x/12). Does 7 divide 27/2 + 1/r?
True
Let k(i) = -3*i**3 - i**2 - 3*i - 1. Let n = 13 + -15. Does 11 divide k(n)?
False
Let v(y) = -3*y**2 - 6*y + 3. Let r(w) = 2*w**2 + 5*w - 3. Suppose -3*g - 11 = -2. Let h(a) = g*v(a) - 4*r(a). Does 8 divide h(5)?
False
Let y(v) = -v**3 - 8*v**2 + 5*v - 12. Is 8 a factor of y(-9)?
True
Let r(y) = 8*y**2 + 2. Is 5 a factor of r(2)?
False
Let t(w) = 9*w + 3. Let c be t(-6). Let s = -53 - 20. Let z = c - s. Is 11 a factor of z?
True
Suppose 89 = -0*c + c + v, 0 = 3*v + 3. Does 9 divide c?
True
Is 30*7/(70/68) a multiple of 28?
False
Let m(j) = 185*j**2 - 1. Does 13 divide m(-1)?
False
Does 10 divide (-1524)/(-51) + 8/68?
True
Does 10 divide 10/(-5) + 1 + 101?
True
Let d be 6/15 - 26/(-10). Let r = d - 0. Suppose 4*j = -4*c + 40, -2*j + 2 - 7 = -r*c. Is c even?
False
Let w = 11 + -8. Suppose -w*b + 6*b - 258 = 0. Is 24 a factor of b?
False
Let x(u) = u**3 + 6*u**2 - 6*u + 6. Let z be x(-5). Let i = -43 + z. Is i a multiple of 9?
True
Let b be (675/6)/(-3)*-2. Let c(l) = -l - 6. Let h be c(-6). Suppose q - 6*q + b = h. Does 11 divide q?
False
Let h(g) = 8*g**2 - 13*g - 1. Is h(6) a multiple of 11?
True
Suppose 7*k = -112 + 420. Is 11 a factor of k?
True
Let s(x) = 3*x + 8. Let k(w) = w + 3. Let h(u) = -11*k(u) + 4*s(u). Is h(6) a multiple of 5?
True
Suppose -5*x = r - 1111 - 176, -x - 5*r + 243 = 0. Is x a multiple of 18?
False
Suppose i + 5 - 6 = 0. Let d = 2 + i. Suppose 0 = -d*a + 2 + 10. Does 4 divide a?
True
Suppose -5*l + 3*t = -4, -3*l - 6*t + 2*t = -14. Is 9 a factor of (2 - l - 18)*-1?
True
Suppose -17 + 1 = 4*c. Let n = 2 - c. Is n a multiple of 2?
True
Let m(j) = -j**3 - 2*j - 3. Let t be -9*(2 - 15/9). Does 23 divide m(t)?
False
Suppose -i - 3*j + 13 = 0, i + 3*j = -j + 16. Suppose i*x - 7 = -3. Let g = 1 + x. Does 2 divide g?
True
Suppose 0 = -3*s + 3*a + 51, -5*s + 67 = a - 0*a. Does 5 divide s?
False
Let b = 41 - 3. Is 15 a factor of b?
False
Let d(y) = y + 2*y - 5 + 0*y. Let o = 8 + -2. Does 13 divide d(o)?
True
Suppose 0 = 2*g + 39 + 1. Let i = 20 + -32. Let q = i - g. Is q a multiple of 4?
True
Let r(h) = 29*h**2 + 1 + 7*h**2 - 2*h**2. Is r(-1) a multiple of 9?
False
Suppose -4*l + 559 = 27. Is 19 a factor of l?
True
Let w = 113 + -79. Suppose -2*z + w = -5*r, 58 = 5*z + 2*r - r. Is z a multiple of 6?
True
Let i = 13 + -19. Let q be (-441)/i - 3/2. Is q/10 - (-8)/(-40) a multiple of 2?
False
Let c = 10 + -11. Let m = 11 - c. Does 4 divide m?
True
Suppose 0 + 39 = 3*p. Let o = p + 2. Is 10 a factor of o?
False
Is 5 a factor of (-3 - -3) + 3 - -12?
True
Let x(u) = 5*u. Let s be x(3). Suppose 2*m = 7*m - s. Suppose m*p = 2*p + 13. Is 5 a factor of p?
False
Let z(c) = 6*c**2 - 8*c + 9. Is 14 a factor of z(5)?
False
Let y(g) be the first derivative of g**4/4 - g**3/3 + 48*g + 3. Does 12 divide y(0)?
True
Suppose 5*c = 3*c + s + 128, -5*c + 320 = 2*s. Is c a multiple of 6?
False
Suppose -224 = 2*k - q + 2*q, 5*k + 5*q + 550 = 0. Let n = -58 - k. Is 15 a factor of n?
False
Let j(b) = b**2 + b + 13. Let z(c) = -c**2 - c - 12. Let w(h) = h**2 + 6*h + 5. Let d be w(-4). Let a(t) = d*z(t) - 2*j(t). Is a(0) a multiple of 4?
False
Suppose -2*k + 39 = 5*m, -m + 5*k + 2 = -22. Is 3 a factor of m?
True
Let h be (4/(-5))/(7/(-35)). Suppose -h*x = -3*y + y + 4, 3*x + 10 = 5*y. Is 2 a factor of y?
True
Let m(w) = w**2 - 2*w + 4. Let u be m(5). Suppose 3*p + 4 = u. Does 5 divide p?
True
Let z = 30 - 25. Suppose -6*v + 4*v = -z*i - 31, 0 = 4*v - 5*i - 67. Does 6 divide v?
True
Let i = 379 - 270. Does 32 divide i?
False
Suppose 4*t - 4*x = 116, -t - 2*x + 26 = 6. Suppose -4*w = w - 2*i - t, 5*i + 19 = w. Does 19 divide (-10)/15*(-114)/w?
True
Let v = -18 - -49. Suppose -2*a = -v - 9. Is a a multiple of 10?
True
Suppose 6*p = 3*p + 12. Suppose -3*d = p*j + j - 72, 0 = 4*j - 3*d - 63. Let w = j + 5. Is w a multiple of 15?
False
Let t be (-309)/(-12) + 12/(-16). Suppose -2*w + t = 3*w. Suppose -4*i + 0*q + 88 = -4*q, w*i = -5*q + 150. Does 13 divide i?
True
Suppose -41 = -5*v + 79. Does 6 divide v?
True
Does 37 divide (0 + 1)/((-2)/(-242))?
False
Suppose 3*s + c = -47, c + 4 + 29 = -2*s. Let m = s - -28. Is 7 a factor of m?
True
Let x = -248 - -348. Does 6 divide (x/(-3))/(-5)*3?
False
Suppose q - 3 = -2*y - 5, 4*q - 12 = 2*y. Suppose 3*u = q*p, -4*u = -4*p + 1 - 5. Let x = 15 + p. Does 5 divide x?
False
Let h = 34 - -26. Is h a multiple of 10?
True
Suppose -80 = -3*h - 2*h. Is 16 a fa