a factor of j?
False
Suppose 3*y - 6*y - 2*o = -12, 0 = -3*y + 2*o. Suppose -y*q - 2*q + 56 = 0. Is 5 a factor of q?
False
Suppose 3*w + 3*q = 15, w + 2*q = -0*q + 8. Suppose -4*k = 2*v + w, 8*k = 3*k - 10. Suppose 0 = -n - v, 3*s + 2*s - 131 = -3*n. Does 28 divide s?
True
Let r(w) = 2*w - 2. Let h be r(-1). Does 42 divide 144 - (h - 8/(-1))?
False
Let z(s) = 113*s - 3. Is 35 a factor of z(2)?
False
Let m = -1049 - -1715. Is m a multiple of 26?
False
Let g(b) = -4*b**3 + 7*b**2 - 3*b + 8. Let l(w) = -w**3 + 2*w**2 - w + 2. Let n(v) = 2*g(v) - 9*l(v). Let o be n(4). Suppose u - o = 10. Does 11 divide u?
False
Let t(d) = 14*d**2 + d - 1. Let s(j) = -j + 11. Let f be s(9). Let a be f/2 + (-1 - -1). Does 4 divide t(a)?
False
Let q(m) = -8*m + 53. Let l(r) = 2*r - 13. Let f(h) = -9*l(h) - 2*q(h). Let z(g) = -4*g + 23. Let a(c) = 13*f(c) - 6*z(c). Is a(0) a multiple of 3?
False
Is (20/4)/(-15) - 1696/(-3) a multiple of 37?
False
Let b = 29 - 14. Suppose 6*f = 5*f - b. Is 6/f + 84/10 a multiple of 7?
False
Does 5 divide (-310)/(-4 - -2) + 0?
True
Suppose 126 = 125*j - 124*j. Does 5 divide j?
False
Suppose -6 = 6*n + 156. Let y = n - -64. Is 6 a factor of y?
False
Let d = -47 + 52. Suppose -6 + 140 = 2*k + d*n, 0 = k + 4*n - 61. Is k a multiple of 11?
True
Suppose -6*t = -5*t - 2. Let o be (215/10)/(1/t). Let c = -22 + o. Does 7 divide c?
True
Suppose f - u = -119, -2*f - u - 223 = -0*u. Let k = -22 - f. Is k a multiple of 46?
True
Let l(p) = p**3 - p**2 - 2*p + 3. Let k be l(3). Suppose -4*a + k = 3*h - 9*a, h - 5*a - 15 = 0. Suppose 2*m = -h*m + 4*x + 24, 3*x - 3 = 0. Is 7 a factor of m?
True
Suppose 24 = k - 4*v, -6*k - 3*v - 3 = -3*k. Suppose 5*y + k*h - 945 = 0, 3*y + 3*h - 570 = -0*h. Is y a multiple of 12?
False
Let z(i) = -i**3 + 8*i**2 + 10*i - 7. Let s be z(9). Let l be (7/(-14))/(s/32). Does 19 divide (l + -2)*28/(-10)?
False
Let o be (-16)/(-14) + -1 + 423/(-21). Is 140/(-21)*288/o a multiple of 12?
True
Suppose -n = 12*n - 598. Is 4 a factor of n?
False
Let a be (-5)/((-4)/20 - 0). Let n = 30 - a. Suppose n*y - 95 = 265. Does 24 divide y?
True
Let v = 0 - 3. Let a = v + 3. Suppose -4*q - 12 + 132 = a. Is 10 a factor of q?
True
Suppose -4*n + 38 + 10 = 0. Let l = n - 7. Suppose -2*o + l*o - 87 = 0. Is 7 a factor of o?
False
Let x be 5/20 - (-1)/(-4). Suppose 2*p - 3 + 1 = x. Is 13 a factor of 0 - (-80)/(p + 1)?
False
Suppose 28 = -2*n - 0*n. Let g be (-1 - 9)/(n/7). Suppose 7 = 2*k - g. Is k a multiple of 3?
True
Suppose 0 = -3*p + 2*j + 176, -3*j - j = 4*p - 268. Let k = p + -22. Is 5 a factor of k?
True
Suppose 18*h = 15*h + 12. Suppose h*n + n = 80. Does 5 divide 8/n - (-129)/6?
False
Let v be 5/(5/6)*-1. Let m be (v/5)/(22/55). Is (2/m)/((-3)/81) a multiple of 18?
True
Suppose -7*r = 7 - 28. Suppose r*a - 1 = 17. Is 6 a factor of a?
True
Suppose -9 = -3*d + 6. Suppose 0 = q - 4*b + 16, -d*q - b + 17 + 8 = 0. Is q a multiple of 3?
False
Suppose 2*b - 7772 = -27*b. Is b a multiple of 4?
True
Let y be (-48)/(-168) + ((-1732)/(-14) - -2). Let k = -25 - -44. Suppose k*t - 16*t - y = 0. Is t a multiple of 14?
True
Let i = -21 + 18. Let z = 77 + -44. Let b = z - i. Is b a multiple of 8?
False
Let m(v) = -37*v + 13. Is m(-4) a multiple of 7?
True
Let k be 1/(-3) + 150/18. Let m = -8 + k. Suppose -2*j + 25 + 65 = m. Is j a multiple of 6?
False
Let c = 144 + -140. Let t(q) = q**2 - 1. Is 7 a factor of t(c)?
False
Let d = 275 + -159. Suppose -2*x + 24 = -d. Does 9 divide x?
False
Let j(f) = 33*f**2 + 4*f - 40*f**2 + 3 + 4*f**3 - 2*f**3. Suppose 0 = 4*t - 3*n - 7, -t + 1 = -n - 0. Is j(t) a multiple of 14?
False
Let g = -771 + 1911. Does 60 divide g?
True
Suppose -4 - 4 = -2*m - 4*u, 5*m + 2*u = 20. Suppose 50 = m*r - 58. Is 27 a factor of r?
True
Suppose 20*d = -2*x + 21*d + 571, -2*x = -5*d - 575. Is 21 a factor of x?
False
Let l(a) = -a**2 - 8*a + 3. Let h be l(-17). Let x = -45 - h. Is x a multiple of 26?
False
Let f = -3010 - -4263. Is 28 a factor of f?
False
Let y be (-2 - -4)*(-1 + 2)/1. Suppose -3*p - y*p = -95. Is 4 a factor of p?
False
Let k = 511 + 284. Does 19 divide k?
False
Let o be (-16)/8 - (1 - 400) - 2. Suppose 0 = -3*d - 2*d + o. Does 11 divide d?
False
Let w(k) be the second derivative of -k**3 + 1/20*k**5 + 2*k - 7/12*k**4 + 0 + 4*k**2. Is w(8) a multiple of 12?
True
Let o(w) = w + 6. Let l = 10 + -15. Let m be o(l). Let g = m + 27. Is g a multiple of 28?
True
Let s = 22 + 14. Suppose 5*d + 2*t - s = -0*t, -4*t = 5*d - 32. Does 4 divide d?
True
Suppose -20 = 2*n - 4*n. Is 14 a factor of (1 - 0)/(n/500)?
False
Suppose -2*z - 2*o = -196, -6*o = 5*z - 3*o - 486. Is z - 1 - (5 - 6) a multiple of 10?
False
Suppose s - 2 = 2, 5*d + s = 479. Suppose 3*a = 2*m - d, 3 = a + 8. Does 4 divide m?
True
Let u(b) = 17*b - 9*b**2 + 34*b + 10 + 7*b**2 + 4. Does 13 divide u(25)?
True
Let s(k) = 2*k + 2. Let d be s(-4). Let q(g) = -18*g - 31. Does 11 divide q(d)?
True
Let p be 4*(0 + -2)/(-2). Suppose p*b - 17 = x, 0 = -5*x + 2*b - 5*b + 7. Is 7 a factor of -8*x/(12/21)?
True
Let n be (4 + -2)*(-4)/(-2). Suppose 0 = 2*t + 5*r - 142, 4*r = -n*t + 56 + 204. Does 6 divide t?
False
Suppose -4*a = -3*k - 509, 3*a - 665 = -2*a - 2*k. Let m = -83 + a. Does 16 divide m?
True
Suppose -n - 2*n + 81 = 0. Let q be -6 - -3 - (-3 - 0/(-3)). Is 11 a factor of 1 + q + n + 5?
True
Suppose 0 = 4*k - j - 43, 0 = 3*k + j - 6*j - 11. Let d = k + -8. Suppose 1 = -h, -2*c - d*h + 36 = -0*h. Is 10 a factor of c?
True
Suppose -h - 824 = -4*c + 166, 2*c - 504 = 5*h. Is 13 a factor of c?
True
Let u(p) = -114*p + 2. Suppose -3 = 3*a - 0. Does 22 divide u(a)?
False
Let w(g) = 10*g + 194. Is w(17) a multiple of 7?
True
Suppose 2*h - 1013 = 1097. Suppose -c + 6*c - h = 0. Suppose 3*i - c = 8. Is i a multiple of 12?
False
Let m(u) = 14*u - 13. Let l(i) = -44*i + 38. Let h(g) = -6*l(g) - 17*m(g). Is h(7) a multiple of 25?
True
Let k(j) = 12*j**2 - 9*j - 30. Suppose d + 6 - 1 = -a, 2*a + 2 = 0. Does 26 divide k(d)?
False
Suppose 5 - 29 = -6*j. Suppose 3*c - 7*c = -708. Suppose j*d - c = 119. Does 16 divide d?
False
Suppose 3*d - 62 = 4*p, -64 - 6 = 4*p + d. Let s(l) = -5*l + 31. Is 34 a factor of s(p)?
False
Let w(v) = -v**3 + 20*v**2 + 19*v + 45. Let a be w(21). Suppose l + 3*q = a*l - 44, -2*l - 5*q + 60 = 0. Is 5 a factor of l?
True
Let n(a) = a**3 + 7*a**2 - 6*a + 7. Let z be n(-8). Let f(r) = -r**2 - 9*r + 9. Let d be f(z). Suppose -t - d = -2*t. Is 8 a factor of t?
False
Suppose -t + 3 = -2*c + 5*c, t + 2*c = 2. Suppose -3*m = t, -k - m + 10 = -20. Does 6 divide k?
True
Let q(d) = d**2 - 9*d - 6. Let x be q(10). Let c = x + -5. Is 18 a factor of 30 - ((-3)/c + -2)?
False
Let u(q) = q**2 + 3*q + 3. Let d be u(-7). Suppose -c = -l + 6*l - d, -2*l + 3*c = -9. Suppose l*v - 10*v = -32. Is 8 a factor of v?
True
Let z = 15 - 11. Suppose -2*p = -2*r + 4, 12 = 4*r - p + z. Suppose -r*h = -7*h + 70. Is 14 a factor of h?
True
Let u = 803 - 505. Is 19 a factor of u?
False
Let l = -8 + -4. Is 3 a factor of ((-4)/(-6))/(l/(-54))?
True
Suppose -2*w = -3*j + 19 + 103, 49 = j + w. Does 29 divide j?
False
Let t = 895 - 600. Let d = 475 - t. Does 18 divide d?
True
Let h(b) = 10*b + 13. Let g(n) = 5*n + 6. Let v(z) = -7*g(z) + 3*h(z). Let f be v(-2). Suppose f*d = 8*d - 5. Is d a multiple of 4?
False
Suppose 4 - 22 = 3*u - 3*m, 3*u + 4*m - 17 = 0. Let i be (0/u)/(5 + -1). Let w(g) = g**3 - g**2 - g + 59. Is 17 a factor of w(i)?
False
Suppose -58 = -b - 3*t, -3*t - 1 = 4*b - 269. Does 5 divide b?
True
Suppose -4*i = -5*i + 2. Let y(v) = 9*v + 6 + v**i + 0*v**2 - 2*v - 3*v. Does 15 divide y(-6)?
False
Let d = 94 + -184. Let x = 225 + d. Suppose 8*u + x = 11*u. Is 17 a factor of u?
False
Suppose 5*f - 1044 = -4*d - 240, 4*f = -2*d + 396. Let z = d + -140. Does 10 divide z?
False
Let s = 583 - 163. Is s a multiple of 28?
True
Suppose 8*c - 3*c - 4*d + 15 = 0, -c = 2*d - 11. Is (23 + 5/c)*(-18)/(-4) a multiple of 14?
True
Let y = 663 + -7. Does 82 divide y?
True
Suppose -3*n + 27 = 2*y - 97, 5*y = -5*n + 315. Suppose -5 = 5*r - y. Is 4 a factor of r?
True
Suppose 15 = 3*j - 9. Let b be ((-36)/16)/(2/j). Let n(c) = c**2 + 9*c + 6. Does 6 divide n(b)?
True
Suppose 12*i = 3*i + 1125. Is 5 a factor of i?
True
Let o be 2/5 - 224/(-40). Suppose 3*z - 162 = -o*z. Is z even?
True
Suppose 49 = 3*z - 