+ 2*j. Does 12 divide (-12)/p*j*15?
True
Let o(b) = -4*b + 7. Let h be o(-8). Is 3 a factor of h/(-3)*(-2 - -1)?
False
Let g = -9 - -87. Does 13 divide g?
True
Is 4 a factor of (9/((-270)/(-24)))/((-4)/(-150))?
False
Let h be 4/(-22) + 4/22. Suppose h = -5*w + 82 + 23. Is w a multiple of 13?
False
Let v = 48 + -24. Does 6 divide v?
True
Suppose 4*b - 25 - 18 = -3*h, -35 = -3*b - 5*h. Let l be (9/(-4))/((-3)/(-12)). Is b/45 + (-457)/l a multiple of 18?
False
Let o(f) be the first derivative of -2 - 3/2*f**2 + 8*f + 1/3*f**3. Is o(6) a multiple of 13?
True
Let a be 11*(0 - (-1 - 0)). Let h(y) = 67*y**2 - y. Let r be h(1). Suppose 2*k + 55 = 3*b - a, 3*b + 5*k = r. Is b a multiple of 11?
True
Let d be 8/14*28/8. Suppose 4*c - 45 = -d*i + 39, 2*i - 4*c - 68 = 0. Is 19 a factor of i?
True
Suppose -10*h + 1550 = -60. Is h a multiple of 40?
False
Let r(j) = j**2 - 10. Is 4 a factor of r(-6)?
False
Suppose 0 = -3*u - 2*u + 2575. Suppose -u + 60 = -7*v. Is v a multiple of 13?
True
Let z(l) = -l**3 + 4*l**2 + 3*l + 2. Suppose 5*n + 4*x = 12, -5*n + 3*n + 18 = -5*x. Is z(n) a multiple of 5?
False
Let f(q) = 33*q + 2. Is 34 a factor of f(2)?
True
Suppose 4*t - 6 = -5*z, -4*z - 20 = -4*t - 2*z. Suppose 5*n + 5 = 15, -t*n = 4*s - 152. Is 18 a factor of s?
True
Suppose 3*w - 81 = -4*o, 2*o = -0*o + 2*w + 44. Is o a multiple of 10?
False
Let q = 3 - -1. Let h = 5 - q. Let m(r) = 5*r. Is 5 a factor of m(h)?
True
Suppose 5*f + m - 315 = 0, -2*f + 2*m + 34 = -80. Does 24 divide f?
False
Suppose -3*g + 6 = -0. Suppose -5*h - g*t = -64, 4*t + 40 = 4*h - 0*h. Is 16 a factor of 2/(-8) - (-387)/h?
True
Suppose 4*p - 928 = -7*f + 2*f, -20 = -5*f. Does 37 divide p?
False
Let s = -1 - -6. Suppose -5*y + 37 + 13 = s*p, 2*y - 5*p - 55 = 0. Is 5 a factor of y?
True
Suppose 2*c = -4*o + c + 13, -2*c = 6. Suppose 0 = -l - 2*l + 3, o*l = -3*t + 46. Does 14 divide t?
True
Let a = 42 - 18. Let v = -3 + a. Is 9 a factor of v?
False
Let w = -98 + 143. Does 8 divide w?
False
Let u(w) = 16*w + 3. Let t be u(-2). Let p = t + 21. Let h(r) = r**2 + 6*r + 3. Is h(p) a multiple of 19?
True
Suppose -d + 8 + 2 = 0. Let l = 13 - d. Is l a multiple of 3?
True
Let y = 9 - 6. Let d be (13 - y) + 1 - 0. Suppose -6*x - 30 = -d*x. Is 4 a factor of x?
False
Let z(i) = i**3 + 6*i**2 - 5*i + 2. Let d be z(-5). Let a = d - 31. Does 10 divide a?
False
Suppose -5 - 10 = -3*y. Suppose -p - y*l = -17, p - 4*l + 25 = -2*p. Let g = 21 + p. Is g a multiple of 12?
False
Suppose 3 = -s + 1. Let w = 20 + s. Is w a multiple of 6?
True
Let s(a) = -4*a + 3. Let x be s(-12). Suppose -j = -x + 9. Is 14 a factor of j?
True
Suppose -2*l = m - 149, 2*m + 158 = -0*l + 2*l. Is l a multiple of 24?
False
Suppose 0*q - 5*q + 170 = 0. Is q a multiple of 7?
False
Suppose -4*d + 2*x + 18 = 3*x, 22 = 5*d + x. Is 3 a factor of d?
False
Let a(c) = 2*c - 12. Let u be a(-9). Is 4 a factor of 100/u*(-6)/5?
True
Suppose -35 = -5*h - 5*m, -3*h + 2*m + 0*m + 6 = 0. Suppose 0 = -2*y + y + h. Let w = y + 17. Does 10 divide w?
False
Let r be 2/(-6) + (-10)/(-30). Suppose r = 2*u + 5 - 97. Is 13 a factor of u?
False
Suppose 0 = 4*g + 2*c - 306, -2*g - g + 235 = -4*c. Is 7 a factor of g?
True
Let l be (-12 + 0)*(-2)/4. Does 14 divide 45 + -3*(-2)/l?
False
Suppose 0 = -s + 2*t + 19, 4*t + 33 = 5*s - 44. Suppose -3*l - s = -4*l + 3*o, 4*l - o - 41 = 0. Suppose -3*d + 31 = -4*i, 3*d - i - 56 = -l. Does 8 divide d?
False
Let a(y) = -4*y + 30. Is 2 a factor of a(-6)?
True
Suppose 2*t - 4*t = -2. Let m = t + 1. Is 15/(-2)*m*-1 a multiple of 6?
False
Is (-1458)/(-135) + (1 - 4/5) a multiple of 4?
False
Suppose o - 56 = 19. Does 25 divide o?
True
Let d(w) = 3*w**2 + 10*w + 64. Does 39 divide d(-8)?
False
Suppose 2*r - 26 - 12 = 0. Is r a multiple of 8?
False
Let f(d) be the third derivative of 1/4*d**4 + 0*d + 1/15*d**5 + 0 - 1/120*d**6 - 1/3*d**3 + 2*d**2. Is f(5) a multiple of 3?
True
Let k = -15 + 15. Does 13 divide 13/2*(2 - k)?
True
Let a be 8/52 - (-1545)/13. Let y(j) = -5*j**2 - 3*j + 2. Let l be y(-4). Let i = l + a. Is i a multiple of 26?
False
Let n be 9 + 1 + -4 - 1. Suppose 5*m - n*p - 51 - 14 = 0, -m + 38 = 4*p. Does 13 divide m?
False
Suppose 2*n = 7*n. Suppose n = 4*u + 2 - 6. Suppose -t + 8 = u. Is t a multiple of 2?
False
Let v(j) = 2*j**2 + 14*j. Is 14 a factor of v(6)?
False
Let b be -63 + 2 - (0 + 2). Let k = 119 + b. Does 14 divide k?
True
Let j(t) = -t. Let n be j(-3). Let d = n + -1. Suppose d*w = -w + 39. Is 13 a factor of w?
True
Suppose 2*w - 54 = -u - 7, 5*u = -2*w + 211. Does 16 divide u?
False
Suppose -5*u = -10*u + 20. Suppose 4*y + 176 = 5*m, 2*y + 88 = -u*m - m. Let v = -14 - y. Is 19 a factor of v?
False
Suppose 0 = 5*r + 132 - 32. Let m = 6 - r. Let d = m - 13. Is 6 a factor of d?
False
Let n be 3 + 0/2 + 5. Suppose 0 = -3*p - n + 56. Is 8 a factor of p?
True
Let s = -1 - -5. Suppose 0 = v + 4*v + 10. Is 0 - v*26/s a multiple of 8?
False
Let g be 2/8 - (-1869)/12. Suppose 0*d = -4*d + g. Is d a multiple of 13?
True
Suppose 0 = 5*v + 226 - 811. Does 32 divide v?
False
Let g(l) = -l**3 + l - 2. Let i be g(-3). Let s = i + 2. Does 12 divide s?
True
Let r(d) = d**3 + 4*d**2 + 3*d + 3. Let s be r(-3). Suppose 92 = s*a - 4. Suppose 4*b = -0*y - y + a, 4*b = -4*y + 140. Does 13 divide y?
False
Suppose 10*t + 149 = 669. Is t a multiple of 13?
True
Suppose -t = t - 5*b, 0 = -5*t + 2*b + 21. Suppose -z - 18 = -2*m + 28, 0 = t*z. Is m a multiple of 6?
False
Suppose -25*a + 31*a = 282. Is 12 a factor of a?
False
Let a be 3/(((-9)/(-48))/1). Is (15/2)/(4/a) a multiple of 14?
False
Let o(s) = -s**3 - 6*s**2 + 7*s + 5. Let u be o(-7). Suppose -3*t + 19 + u = 0. Does 5 divide t?
False
Let j = 3 + -2. Is 23 a factor of -3 + (-2)/j + 76?
False
Suppose -g = 4 - 8. Suppose g*z - 5*o - 42 = 0, -3*z + 5*o + 5 = -24. Is z a multiple of 10?
False
Let p(l) be the first derivative of -7*l**2/2 + 2*l + 4. Is 10 a factor of p(-4)?
True
Let t(c) = c - 2. Let o(s) = s**3 - 11*s**2 + 7. Let d be o(11). Is 5 a factor of t(d)?
True
Let o(b) = 22*b + 1. Does 8 divide o(1)?
False
Suppose 203 = -4*s - 33. Let q = -31 - s. Does 15 divide q?
False
Let k(x) = x**2 + 5*x - 3. Let h be k(-5). Let f(t) = -8*t - 2. Let v be f(h). Suppose 3*w + 2 - v = -4*q, -4 = q. Is 10 a factor of w?
False
Let y(c) = 5*c - 1. Let g(j) = 1. Let k(o) = o + 5. Let r(m) = 4*g(m) - k(m). Let h be r(-4). Does 14 divide y(h)?
True
Is 33 a factor of -288*((-3)/6 + 0)?
False
Let x = 73 - 44. Is x a multiple of 3?
False
Let a(y) = -y**2 + y + 5. Let v be a(4). Let h(m) = 7*m - m**3 + 5 - 6*m**2 - m + m. Is 5 a factor of h(v)?
True
Suppose -z = -6*z - 15. Let r be 2/z*(-27)/6. Suppose -113 = -r*w - 23. Is w a multiple of 15?
True
Suppose 2*x + 2*u = -3*u + 16, 5*x - 17 = -u. Does 3 divide x?
True
Suppose 59 = 4*s + 3*n, 2*s = -0*n + 2*n + 12. Let a(q) = q**2 - 10*q + 12. Is a(s) a multiple of 8?
False
Suppose -21 = 5*o - 0*u + u, -5*u - 21 = 4*o. Let j(r) = 8*r + 4. Let m(g) = 16*g + 8. Let b(f) = -9*j(f) + 4*m(f). Is b(o) a multiple of 14?
True
Suppose -2*d = -d - 14. Suppose 3*i - d = 94. Does 14 divide i?
False
Let y = -6 + 6. Suppose b - 25 - 1 = y. Is 13 a factor of b?
True
Suppose -5 = -m - 3*f, 2*f - 1 = -m + 3. Suppose -h - g = -0*g - 2, -h = 5*g - 10. Suppose -a - m*a + 45 = h. Is a a multiple of 9?
False
Suppose -5*t + 264 = 2*k, 5*t - 3*k - 258 = -2*k. Let a = 106 - t. Is a a multiple of 19?
False
Suppose 4*d - 3*d = 2. Let m = d - 3. Is -1 - (m - -1) - -6 even?
False
Suppose 2*k = -4*i - 14, -4*i + 21 = -2*k - 3*k. Let v be 12/10 + 1/k. Suppose -4*h + 64 = 2*j, -8 = -h - 4*j + v. Does 6 divide h?
False
Suppose -285 = -4*y - 3*s, 2*y + 3*s + 19 - 154 = 0. Is y a multiple of 27?
False
Does 5 divide (-1 - (3 - 7))*7?
False
Is 9 a factor of ((-114)/(-10))/(-2 + 22/10)?
False
Suppose m = -5*k + 48, 2*m = k - m - 16. Suppose -2*i - k = -3*i - 2*d, -5*d + 23 = 2*i. Is i a multiple of 4?
True
Let z(k) = -19*k. Let r be z(1). Let l = 8 - r. Does 9 divide l?
True
Suppose -5*i + 16 = 4*z, -2*i + 0*z = 2*z - 6. Suppose -4*v = -3*b - 68, 76 = i*v - 0*v - b. Does 5 divide v?
True
Does 4 divide -5 + (-8)/(-4) - -15?
True
Suppose -3*a - 150 = -5*o, 0 = -5*o - 0*a + a + 140. Let x = 47 - o. Is 12 a factor of x?
False
Is 17 a factor of 34/(-3)*(-3)/2?
True
Does 21 divide 3*2*(-1 - 