+ -3 + -3. Suppose o - 11 = -2*p - 0*o, 3*p = -z*o + 18. Suppose p*s - 18 = 30. Is s a multiple of 12?
True
Is 0/(-2) - -2 - (67 - 135) a multiple of 35?
True
Let f(q) = -q**3 - 2*q**2 - 3. Suppose -3*v - 4*y - 14 = -3*y, y + 10 = -2*v. Is 10 a factor of f(v)?
False
Suppose 2*v - 5*v - 93 = 0. Let n = 117 + v. Does 9 divide 18/45 - n/(-10)?
True
Suppose -1 = 4*v - w, -v + 4*w - 3 = 1. Suppose -3*p - 4*z + 131 = v, -4*z = 4*p + p - 221. Is 15 a factor of p?
True
Let y = -19 + 90. Does 18 divide y?
False
Suppose -217 = -2*j - 5*i + 205, -j - i = -208. Let v = j - 66. Suppose 2 = -3*y + v. Is 17 a factor of y?
False
Let o(j) = 3*j**2 - 25*j. Is o(10) a multiple of 10?
True
Let w(q) = 2*q**3 - 3*q**2 + 1. Let n be w(2). Suppose -5*t - n*v - 8 = -3*t, -4*t = 4*v - 8. Does 4 divide 2/t - 46/(-6)?
True
Suppose -4 = -f + 1. Suppose 5*w + 37 = 3*h, -5*w - 3 = f*h + 2. Is 2 a factor of h?
True
Let i be -1 - (0 - -1 - 7). Suppose 49 + 201 = i*x. Does 13 divide x?
False
Let k(l) = -7*l - 4. Suppose -3*c + 0*c = 21. Does 15 divide k(c)?
True
Let u(o) = o**3 + 4*o**2 - o - 1. Let i be u(-4). Suppose 0 = -3*l + 2*v + 20 + 2, 42 = i*l + 3*v. Does 5 divide l?
True
Suppose -z - q = -5, 4*q + 36 = 3*z - 0*z. Does 2 divide z?
True
Let l be 4/18 + 194/18. Suppose l = v - 13. Let s = v + 38. Does 21 divide s?
False
Let s = 162 - -113. Suppose s = 6*z - z. Suppose 0 = 5*g + 5*k - 175, -3*g = -g + 5*k - z. Is g a multiple of 20?
True
Let x = -29 + 43. Is 11 a factor of x?
False
Let x be (2/8 - 1)*28. Let l = 0 - x. Is 15 a factor of l?
False
Suppose 0 = -5*s - 0*s - 85. Let z be 0 + (0 - -1) - -24. Let o = z + s. Does 3 divide o?
False
Let n = 12 + -8. Suppose -n*w - 8 = 2*c, 4*c - 24 = 5*w - 3*w. Is 12 a factor of -1*(-6)/c*8?
True
Let t(j) = j**3 - 4*j**2 - j + 6. Let g be (3/2)/(6/20). Let n be t(g). Let u = n - 14. Is 5 a factor of u?
False
Let t(i) = -3*i**3 + 9*i**2 - 2. Let a(k) = -13*k**3 + 36*k**2 + k - 8. Let d(l) = 2*a(l) - 9*t(l). Is d(9) a multiple of 20?
True
Suppose 5*p + 8 = 3*j + 209, -2*p + 93 = 3*j. Suppose 71 = 3*s + 5*d, 2*s - 4*d - p = 20. Suppose 5*o + 5*t - 18 - s = 0, 4*o = -t + 30. Does 3 divide o?
False
Let n = -13 - -8. Let s = n + 6. Is 0 + 5 + s - 0 a multiple of 5?
False
Let i = -2 + 12. Suppose -5*d + 85 = h, 3*d - 5*h = 41 + i. Is d a multiple of 13?
False
Let d be -2 - -6*4/3. Suppose 215 = d*t - t. Does 16 divide t?
False
Suppose 280 + 190 = 5*c. Is 13 a factor of c?
False
Suppose -4*x + 4 = 4*n - 36, -3*x = -4*n + 5. Suppose 4*f - x*a = 170, -a + 4 = a. Does 10 divide f?
False
Let c(i) = 27*i**2 + 5*i + 5. Let v(l) = l**2 - l - 1. Let p(s) = c(s) + 4*v(s). Is 15 a factor of p(-1)?
False
Let z(j) = 2*j**2 + 10*j + 8. Is 10 a factor of z(-6)?
True
Suppose 10*w - 963 = 417. Is 23 a factor of w?
True
Let d = 4 - 2. Suppose -3*v = d*v - 130. Is 13 a factor of v?
True
Is 11 a factor of (-2)/(-4) + (-243)/(-18)?
False
Let h(b) be the second derivative of 19*b**4/6 + b**3/3 - b**2/2 + 2*b. Is 13 a factor of h(1)?
True
Suppose 3*q - 3*i + 5 = 2*q, q + 3*i = 13. Does 2 divide q?
True
Let t be (2 + 1)*4/3. Suppose 0 = -t*k + 5 - 1. Suppose -7 - k = -i. Does 4 divide i?
True
Suppose -24 = -s + 4*q, 2*s - 57 + 9 = -4*q. Does 8 divide s?
True
Is 33 a factor of -3 - -107 - (4 - 0)?
False
Suppose 3*g - 148 - 71 = 0. Let r = -37 + g. Is 12 a factor of r?
True
Suppose 10*z - 270 = 7*z. Is 7 a factor of z?
False
Let m(g) = g**3 - 6*g**2 + 3*g + 18. Does 34 divide m(8)?
True
Suppose 0 = 6*m - 3*m - 36. Suppose 6*s - 3*s = m. Let q(v) = -v**2 + 7*v - 5. Is 4 a factor of q(s)?
False
Let w(d) = d**2 + 11*d + 13. Let v be w(-10). Suppose 3*k + l + l - 84 = 0, 3*l + 69 = v*k. Is 13 a factor of k?
True
Suppose 0 = 2*a - 2*g - 9 - 5, -4*a + 37 = -g. Suppose -3*b - 15 = 2*b. Is 75/a*(-2)/b a multiple of 2?
False
Let i be ((-6)/15)/((-1)/45). Does 15 divide (-6)/4*(-408)/i?
False
Suppose 0 = 5*n - 5*t - 850, 190 = n - t - 4*t. Let b = -91 + n. Does 21 divide b?
False
Does 22 divide (-8586)/(-30) + (-2)/10?
True
Let w = 30 + 14. Is 13 a factor of w?
False
Let p be ((-3)/9)/(2/(-18)). Suppose -p*n + 5*n - 96 = 0. Is n/(-40)*(-25)/2 a multiple of 5?
True
Let d be (38/8)/(9/(-72)). Let w = d - -110. Suppose -w = -3*t + 2*f, -3 = -2*f + 3. Does 10 divide t?
False
Suppose 0*c + 4*m = c + 4, 5*m - 5 = 0. Does 14 divide 124*(c + 3/6)?
False
Suppose 0 = -12*k + 26*k - 1190. Is k a multiple of 5?
True
Let r(b) = -3*b**2 + 1. Let n be r(1). Is (0 - 4/n) + 17 a multiple of 15?
False
Let b(a) = 21*a + 1. Does 22 divide b(1)?
True
Let x(q) = -q**2 + q - 1. Let p(k) be the second derivative of -k**4/6 + 3*k**3/2 - 8*k**2 - k. Let h(l) = p(l) - 3*x(l). Is h(-9) a multiple of 4?
False
Let t = -19 + 46. Is 9 a factor of t?
True
Let u = 26 + -29. Is 7 a factor of u/(-3*1/28)?
True
Let j(i) = i**2 - 5*i - 3. Let y be j(5). Let o = y + 10. Is 5 a factor of o?
False
Suppose 6 = 4*z - 14. Suppose 5*x + s = 35, 5*x - s - 50 = -z*s. Is 3 a factor of x?
True
Let z be (-2)/3*93/(-2). Let d = 8 - z. Let f = d - -32. Is 9 a factor of f?
True
Suppose 0*w = -4*w - 4. Let o(g) = -93*g - 51*g + 108*g. Is o(w) a multiple of 18?
True
Let k(w) = -w + 7. Let g be k(5). Let c(o) = -4 - 4 + 8*o + 5. Does 13 divide c(g)?
True
Let j = 145 - -10. Suppose w + 772 = 5*v - 3*w, -v = -w - j. Suppose 3*a - v = -a. Is a a multiple of 19?
True
Suppose 0 = -22*z + 26*z - 48. Is z a multiple of 12?
True
Let r = 55 + -22. Is r a multiple of 3?
True
Let v be 12/3 + -1 + 0. Let f = 2 - v. Does 10 divide (-41)/(-3) - f/3?
False
Let a = 32 + 10. Let o be ((-35)/15)/(2/18). Let w = a + o. Is w a multiple of 12?
False
Let s = 11 - 9. Suppose -42 = -4*f + s*f. Does 7 divide f?
True
Let v(z) = -2 - 3*z - 2 + 2. Is v(-3) a multiple of 2?
False
Let u be 92/(-8) - (-3)/2. Let t be ((-368)/(-40))/((-2)/u). Let z = t + -20. Does 13 divide z?
True
Let b = 3 + -4. Let x be (b + 0)/((-2)/6). Suppose 54 = x*n - 48. Does 17 divide n?
True
Let n(k) be the third derivative of 0*k + k**3 + 0*k**4 + 2*k**2 + 0 + 1/6*k**5 + 1/120*k**6. Does 3 divide n(-10)?
True
Let w = 15 - 21. Let n(c) = -c**3 - 4*c**2 + 2 - 7*c - 3*c**2 - c. Does 7 divide n(w)?
True
Suppose -4*k - 5*j = -227, -k = 2*j - 45 - 8. Is k a multiple of 24?
False
Let a(c) be the third derivative of -c**6/120 - 2*c**5/15 + c**4/12 + c**3/6 + c**2. Let y be a(-7). Let u = -30 - y. Is 17 a factor of u?
False
Suppose -3*v + 69 - 27 = 5*h, 16 = 2*h + 2*v. Does 5 divide h?
False
Let p(s) = -s**2 - 23*s + 18. Does 10 divide p(-15)?
False
Let p be (-2 - 1) + 4 + 2. Suppose -5*i + 2*u + p*u + 135 = 0, 5*u = -5*i + 135. Let g = i + -16. Is 11 a factor of g?
True
Suppose q = 2*q - 4*h - 56, h + 98 = 2*q. Is q a multiple of 12?
True
Suppose n + 34 = -0*n. Suppose 2*m - 284 = 5*k + 3*m, 4*k + 226 = -2*m. Let u = n - k. Is u a multiple of 10?
False
Suppose -5*l + 3*g + 171 = 0, 2*l - 8*g = -7*g + 68. Is l a multiple of 3?
True
Let t(q) = -q**3 + 10*q**2 + 11*q + 5. Is 39 a factor of t(10)?
False
Does 17 divide 4/(-6) + 371/21?
True
Let a(s) = -s**2 - 7*s - 1. Let h be a(-5). Suppose -2*p = h - 1. Let d(g) = 2*g**2 + 6*g + 4. Does 6 divide d(p)?
True
Suppose 17 = 5*t - 8, b + 3*t = 17. Suppose c + b = -1. Is 13 a factor of (-3 - 57/9)*c?
False
Let n = 33 + -114. Is 13 a factor of n/(-6 + 3) + -1?
True
Let s(d) = -d**3 + 4*d**2 - d + 4. Let b be s(3). Let v be 8/10*b/4. Suppose 0 = -v*a - 3*z + 35, -a + 2*z = -3*z + 15. Is a a multiple of 9?
False
Let j(f) = -f**3 + 5*f**2 + 3*f - 6. Let o be j(6). Does 12 divide (-27)/2*o/9?
True
Let b = 9 - 6. Is 19/b - (-14)/21 a multiple of 2?
False
Let g(k) = k - 7. Let n be g(11). Suppose n*u - 20 = 3*u. Does 14 divide u?
False
Let v = 17 + -31. Is 10 a factor of 0/(-1) - (v + -1)?
False
Suppose 12*a = 7*a + 60. Is a a multiple of 4?
True
Is ((-20)/(-8))/((-4)/(-24)) a multiple of 5?
True
Let l(p) = p**2 + 7*p - 7. Let j be l(-8). Let x(h) = 35*h. Let s be x(1). Let m = s - j. Is m a multiple of 13?
False
Suppose 2*k + 12 = 5*k. Suppose 0*h - 132 = -4*h - 4*y, -k*y + 167 = 5*h. Is 7 a factor of h?
True
Let y(x) = x**3 + x**2 - x + 2. Let a be y(-2). Suppose a = f - 3*k - 5 - 5, 0 = 5*f - 2*k - 63. Does 13 divide f?
True
Suppose 3*d + d - 12 = 0. Suppose 0*v + v = d. Is 2 a factor of v?
False
Let d(j) be the third derivative of j**5/60 + j**4/