ltiple of 7?
True
Suppose 3*a + 4*b = 164, -a - 4*b + 60 = -0*a. Does 9 divide a?
False
Let v be (40/4)/((-1)/(-2)). Let r = 12 - v. Does 13 divide 4/16 + (-278)/r?
False
Let c = 7 - 15. Suppose 54 = 3*o - 0*o. Let w = c + o. Does 5 divide w?
True
Suppose -j - 5*d - 116 = -4*j, -d - 186 = -5*j. Is 17 a factor of j?
False
Let l(c) = c**2 + 3*c - 3. Does 25 divide l(-7)?
True
Let v be ((-2)/(-6))/((-1)/(-12)). Suppose -2*c + 266 = 2*m + 62, v*m - 4*c = 384. Let b = m + -69. Is 15 a factor of b?
True
Let v = -10 - -19. Let c = 5 + v. Does 10 divide c?
False
Is 3 a factor of (-1 - 5)/(0 + -2)?
True
Let y be 0*1/4*-2. Suppose y*b - 4*b = -20. Suppose b*w = 6*w - 21. Is 21 a factor of w?
True
Suppose 0*x + 2*x + 16 = 0. Is 24 a factor of (x/(-10))/(5/150)?
True
Let i = 2 - -2. Let m be -1*i*15/(-10). Suppose j - 5*f + 16 = 0, m*j + 3*f - 33 = 4*j. Is j a multiple of 5?
False
Suppose -5*y = o - 0*y - 63, -5*o + 180 = -2*y. Suppose 47 = 5*q - 2*r - o, -17 = -q + 5*r. Is q a multiple of 17?
True
Let x(i) = i**3 - 8*i**2 + 8*i - 7. Let p be x(7). Let h = p + 2. Suppose l - 18 = -f - h*l, 4*f - 116 = -l. Does 15 divide f?
True
Let a be 1 + -4*1 - -3. Suppose 0 = -5*o + 2*o + 12. Suppose -2*v = -a*v - o. Is 2 a factor of v?
True
Let u(q) = 4*q**3 - 2*q**2 + 1. Suppose -2*n = 4*x - 16, -x - 2*n + 12 = x. Let t be u(x). Suppose -3*l + t = 5*c, 35 = 2*c - 2*l + 9. Does 4 divide c?
True
Let z = -26 - -34. Is z a multiple of 5?
False
Let g(j) = -j**2 - 4*j + 1. Let i be g(-3). Let h = i + 38. Does 21 divide h?
True
Does 17 divide ((-34)/(-3))/(2/6)?
True
Let l(z) = -z**3 - 9*z**2 + 11*z + 18. Does 8 divide l(-10)?
True
Let n(j) = j**3 + 3*j**2 + 2*j + 2. Let b = -5 + 3. Let d be n(b). Suppose -d*v + 0*v - 4*y = -52, -y = 4*v - 104. Does 10 divide v?
False
Let q = -78 - -132. Is q a multiple of 12?
False
Suppose -3*c = -4*f - 772, -5*f + 763 = -5*c + 8*c. Does 32 divide c?
True
Is 1/(82/27 - 3) a multiple of 22?
False
Suppose -3 - 21 = 2*q. Let w = 17 - q. Suppose -194 = -5*x - w. Is 23 a factor of x?
False
Is 8 a factor of 17 + 9*4/12 - 0?
False
Let o be (-3 - -4) + -2 + 0. Suppose -2*p + 3 + 2 = -z, 0 = 5*p + 2*z + 10. Does 11 divide -2 + (o - (-17 - p))?
False
Let m = 7 - 4. Is 13 a factor of ((-3)/m - -79) + -1?
False
Suppose 0 = 5*b + 5 - 25. Suppose 4*k - 174 = -3*z + 237, -4*z = -2*k + 200. Suppose -b*v = -3*t + 131, t = -t - v + k. Does 14 divide t?
False
Let r(g) = -g**2 - 12*g + 18. Let f be r(-17). Let l = -25 - f. Is l a multiple of 36?
False
Let c be 38/6 + (-3)/9. Suppose 2*q - c = 2, -4*q = 3*w - 31. Suppose w*z - 28 = 3*z. Does 14 divide z?
True
Let f(i) = -i**3 - 16*i**2 - 2*i - 10. Does 22 divide f(-16)?
True
Is 1*73 + (-1)/(-1) a multiple of 20?
False
Is -6 - -8 - 3 - 3*-49 a multiple of 17?
False
Let i = 6 - 6. Suppose i = 2*a - 32 - 12. Is a a multiple of 11?
True
Suppose 10 = 3*m + 4*u, -m - u + 28 = 4*m. Is 3 a factor of m?
True
Let b = 8 + -4. Is ((-9)/(-12))/(b/144) a multiple of 8?
False
Let q be (-135)/(-2)*(-8)/(-6). Suppose 0*c + 2*c - 9 = j, 3*c - 1 = -j. Suppose 3*p - q = -c*p. Is p a multiple of 18?
True
Let o(w) = w**2 + 5*w + 5. Does 2 divide o(-6)?
False
Let s(f) = -f**2 + 6*f + 2. Suppose 2*g + 24 = 5*o, 3*o - 7*g = -3*g + 6. Let t be s(o). Is 4 a factor of (t + 2)/(3/6)?
True
Let r = -113 + 172. Does 13 divide r?
False
Suppose 14 + 94 = 6*x. Let a = x - 7. Is 4 a factor of a?
False
Let u = -1 + 4. Let l be 232/6 - (-1)/u. Let o = -26 + l. Is o a multiple of 11?
False
Suppose 2*k - 6 = -4*i + 30, -k + 2*i = -34. Is 13 a factor of k?
True
Let p = -12 - -17. Is 4 a factor of 22/p - (-4)/(-10)?
True
Let o = 10 + -10. Suppose o = -6*j + j + 160. Does 16 divide j?
True
Is 30 a factor of 66 + -2 + -9 + 5?
True
Let i(r) be the first derivative of 1/3*r**3 - 1 - 3*r**2 + 5*r. Does 6 divide i(7)?
True
Suppose 2*b - 3*o = 5, 4*o - 12 = 4*b - 6*b. Is b even?
True
Suppose 0*q + 3*q + 27 = 0. Is 5 a factor of q/(-3)*5/3?
True
Let m be 2/(9/6 - 2). Does 15 divide (-2 - m) + 73 + 0?
True
Let i = 36 + 32. Is 16 a factor of i?
False
Suppose 2*j + 89 = -4*k - 219, 3*j = -4*k - 456. Is (j/(-20))/(1/5) a multiple of 20?
False
Let c = -28 + 42. Does 11 divide c?
False
Let a(l) be the second derivative of 3*l**4 + l**3/6 - l. Let z be a(-1). Let q = z + -18. Is 10 a factor of q?
False
Suppose o = -2*p + 99, 4*o = 9*o + 2*p - 511. Is o a multiple of 14?
False
Let u(y) = 45*y**3 - 2*y**2 - y + 2. Is 11 a factor of u(1)?
True
Let r = -37 - -104. Let y be -47 + (-1 - (2 + -2)). Let m = r + y. Is 7 a factor of m?
False
Let i(v) = -5*v**3 - 2*v**2 + 1. Let d be i(-1). Suppose -d*o - 3*p = 42, 2*o = -5*p - 0*p - 28. Let a = o - -48. Is a a multiple of 13?
True
Let b = -24 - -36. Is 5 a factor of b?
False
Let k be 0 + -9 - (-24)/(-6). Let m = k - -49. Does 17 divide m?
False
Suppose 95 + 109 = 6*a. Is a a multiple of 20?
False
Let q = 13 + -11. Let f(y) = 37*y + 1. Let t be f(1). Does 7 divide (t/3)/(q/3)?
False
Suppose 0 = -t - 3, -3*i - 741 = -8*i - 3*t. Does 10 divide i?
True
Let i = 23 - -45. Is 34 a factor of i?
True
Suppose 0 = -2*d + 8, 2*g = -2*d + 5*d - 8. Suppose -13 = l - v - 4*v, -4*l = 3*v - 17. Suppose g*f = 4*f + 3*a - 36, -l*f + 40 = 4*a. Is 6 a factor of f?
True
Suppose 9 = -h - 44. Let q = h + 28. Let b = q + 42. Is b a multiple of 12?
False
Suppose -3*y - 3*h + 167 = -7*h, 4*y = -h + 191. Does 21 divide y?
False
Is 2/(-14) - 72/(-14) a multiple of 5?
True
Let z = 3 - -2. Suppose 2*d - 25 = -5*i, z*d - d - 41 = -i. Let r = -8 + d. Is r a multiple of 2?
True
Let s(c) = -c**2 - 19*c - 6. Is 17 a factor of s(-10)?
False
Let m = -2 + -1. Is (27/6)/m*-14 a multiple of 14?
False
Suppose -19*k + 1260 = -10*k. Is k a multiple of 10?
True
Let z = -120 + 300. Is 30 a factor of z?
True
Suppose 4*d - 652 + 216 = 0. Is 32 a factor of d?
False
Let r(n) = n**3 + 8*n**2 - n + 12. Does 17 divide r(-7)?
True
Let m(o) = -81*o + 1. Let v be m(-2). Suppose -5*w + v = -0*w - 4*p, 2*w - 2*p - 64 = 0. Does 7 divide w?
True
Let u = 50 + -29. Is u a multiple of 9?
False
Is 20 a factor of 2/(-4*4/(-160))?
True
Let q = 28 - -4. Does 16 divide q?
True
Suppose 0*q + 412 = 4*q. Is 15 a factor of q?
False
Let z(c) = -c + 30. Is z(-5) a multiple of 5?
True
Let g be (-1)/5 - 5168/(-40). Let y = -87 + g. Does 21 divide y?
True
Suppose 0 = -v + 17 + 6. Let q = 0 + v. Does 13 divide q?
False
Let c be ((-57)/(-4))/((-1)/4). Let o = 157 - 77. Let q = c + o. Is 13 a factor of q?
False
Suppose -4*v + 40 = -3*v + 4*b, -3*v = 2*b - 80. Is 6 a factor of v?
True
Suppose -2*o - 120 = -2*w + 92, -3*o = -2*w + 210. Is 44 a factor of w?
False
Let g = -11 + 5. Is 16 a factor of (-191)/g + (-2)/(-12)?
True
Let b(p) = -p**2 - 9*p - 10. Let w be b(-7). Suppose -w*g + 60 = -g. Does 11 divide g?
False
Let i(o) = 2*o + 4. Let j be i(2). Let p = j + 51. Is 22 a factor of p?
False
Let o(w) = 1. Let b(k) = -3*k - 5. Let q(v) = b(v) + 2*o(v). Let y be q(-2). Suppose y*x = 22 + 8. Is 10 a factor of x?
True
Let h(j) = 2*j**2 - 2*j + 1. Let d be h(-2). Let o = -7 + d. Does 4 divide o?
False
Let l(b) = b**3 + 4*b**2 + 3*b + 2. Let i be l(-3). Suppose -p = 1 + i. Does 8 divide p/(-2) + (-58)/(-4)?
True
Let i(s) = 3*s + 4. Let r be i(-3). Let a(w) = 12*w + 15. Let o(u) = -8*u - 10. Let h(d) = r*a(d) - 7*o(d). Is 13 a factor of h(-5)?
False
Let y = 321 - 164. Does 8 divide y?
False
Suppose -3*c - r + 6*r = 23, -3*c = 2*r - 5. Let z(f) = f**2 + 7*f - 3. Let y be z(-6). Is (-146 + c)*3/y a multiple of 17?
False
Let t(f) be the second derivative of -f**3/6 - 7*f. Let l = -10 - -6. Is 2 a factor of t(l)?
True
Suppose 11*u = 2*u + 333. Is 9 a factor of u?
False
Let z(g) = 74*g - 1. Suppose -5*v + 4 = -1. Let d be z(v). Suppose -13 = 5*p - d. Is 6 a factor of p?
True
Let q(x) = -x**2 - 3*x + 1. Let n be q(-2). Suppose 16 + 2 = n*j. Suppose 3*s = -5*a + 165, -j*a + 3*a = -s - 85. Is a a multiple of 11?
False
Let h = 15 + -11. Suppose -4*a + 0*k + h*k + 124 = 0, 5*a - 3*k - 157 = 0. Does 14 divide a?
False
Let b be (-2 - (-3 - -2)) + 8. Suppose 0 = -4*q + 5*q + b. Let c(v) = v**3 + 9*v**2 + 11*v + 4. Does 11 divide c(q)?
False
Suppose 0 = 3*a - 0*a - 15. Suppose -a*r + 5 + 12 = -4*h, -2*r + h = -8. Suppose p - 36 = -2*g - 3*p, r*g - 5*p = 60. Does 7 divide g?
True
Let q(k) = -7*k**2 - k**2 + k**2 + 5 - k**