factor of b?
False
Suppose -118*s = -112*s + 1134. Let g = s - -369. Is 20 a factor of g?
True
Suppose -2*y = -4*h + 12, -4*y - y + 3 = h. Suppose 31 = 2*c - y*s + 3*s, 26 = c + 5*s. Suppose -3*q - 3*u - 2*u = -54, q - c = -4*u. Is 17 a factor of q?
False
Let x(l) = 50*l - 98. Let n(s) = -s**3 - 7*s**2 - 7*s + 6. Let z be n(-6). Let h(u) = -20*u + 39. Let k(j) = z*h(j) + 5*x(j). Is k(11) a multiple of 16?
False
Let k(i) = -12*i**2 + 3*i + 2. Let p(t) be the first derivative of t**3/3 + 1. Let f(g) = -2*k(g) - 22*p(g). Is 6 a factor of f(5)?
False
Let m(i) = 5*i**2 - 55*i - 18. Is 35 a factor of m(22)?
False
Let h(r) = -r**3 - 11*r**2 + 13*r + 7. Let p be h(-12). Let c be p/((-5)/118) + -4. Let q = c - 30. Is 12 a factor of q?
True
Suppose -802 = -q - 262. Suppose -5*z + 2*z = -q. Is (z/(-48))/((-3)/8) a multiple of 4?
False
Let s(c) = c - 5. Let u be s(5). Does 2 divide 3 + u - (0 - 22 - -4)?
False
Let t(h) = -24*h - 4. Let y be t(-3). Let a(i) = -i**2 - 15*i. Let q be a(-12). Suppose -y = -j - 2*x, 0 = 5*j - x - 332 + q. Is 12 a factor of j?
True
Let b(d) = -d**2 - 6*d + 4. Let k be b(-6). Suppose 4*q - 8 = 0, 0*x + 2*x = -k*q + 184. Is x a multiple of 11?
True
Let t(q) = 2*q**2 + 16*q + 23. Suppose -40 = 7*v - 3*v. Does 13 divide t(v)?
False
Suppose h = -0*p + p - 18, -2*p + 3*h = -37. Let q = 78 + p. Is 12 a factor of q?
False
Suppose p - 2 = 0, -3*p + 6*p = -2*f + 80. Suppose 3*v = 3*s + 54, -v + 3*v - 3*s = f. Is 2 a factor of v?
False
Suppose 4*b = -8*b + 10224. Is 71 a factor of b?
True
Let i = -367 - -404. Is 3 a factor of i?
False
Let a = 38 - 36. Is 47 + 0/((-8)/a) a multiple of 26?
False
Let y = 659 - -1232. Does 61 divide y?
True
Does 96 divide ((-10176)/265)/((-2)/5)?
True
Suppose 4*i = k - 3, 2*k = 3*k + i - 13. Suppose -2*b + 4*o + 244 = 0, 5*b = 7*o - k*o + 638. Is b a multiple of 42?
True
Let o = 76 - -188. Does 33 divide o?
True
Let b(h) = 2*h**2 - 9. Let s be b(4). Let i = s - 13. Is (6 - i)*3/(-2) even?
True
Let t(b) = -3*b**3 - 10*b**2 - 6*b - 9. Let a(v) = -13*v**3 - 41*v**2 - 23*v - 37. Let c(j) = 2*a(j) - 9*t(j). Is 15 a factor of c(-5)?
False
Let c = -117 - -249. Is c a multiple of 3?
True
Is 876/(-21)*273/(-6) a multiple of 28?
False
Suppose -q + 46 = -0*q - w, 0 = 2*q + 5*w - 92. Suppose -444 = q*n - 49*n. Does 29 divide n?
False
Let m(z) be the first derivative of 2*z**3/3 + 3*z**2/2 + 3*z - 7. Suppose -h = h - 2, -r - 5 = -2*h. Is 12 a factor of m(r)?
True
Let s(l) be the third derivative of l**5/60 - 5*l**4/12 + 5*l**3/3 - 19*l**2. Is s(14) a multiple of 22?
True
Suppose 19*j = 24*j - 5175. Is j a multiple of 23?
True
Suppose 38842 = 16*d - 23350. Is 36 a factor of d?
False
Suppose -554 = -4*l + n, -5*l + 2*n + 936 - 245 = 0. Is 27 a factor of l?
False
Suppose 0 = -3*y - 7 + 16, 2*q - 838 = -2*y. Is 16 a factor of q?
True
Does 5 divide (2 - 7) + (587 - -9)?
False
Suppose -5*j + 4*c + 4 = -j, -3*j = c + 1. Suppose j = 10*y - 1262 - 2178. Is y a multiple of 13?
False
Suppose -y = 4*a + 430, -62 = 5*a + y + 476. Let u = -52 - a. Is 15 a factor of u?
False
Suppose -w = w. Let v = w + 4. Is 2 + (2 - v) + 69 a multiple of 21?
False
Let x(w) = -4*w**3 - 3*w**2 + 2. Let j(z) = -z**3 - 5*z**2 + 7*z + 4. Let s(r) = -2*r + 12. Let g be s(9). Let i be j(g). Is 11 a factor of x(i)?
True
Let g be ((-3)/(-3))/((3/3)/3). Suppose 3*j = 2*l + 2*j - 287, 4*l - g*j - 571 = 0. Is 10 a factor of l?
False
Suppose q = -2*q, 2*q = 3*a - 345. Does 2 divide a?
False
Suppose -2 = -3*s + 13. Suppose 5*d - s*x - 230 = 0, -d + 4*x = -x - 50. Is 15 a factor of d?
True
Let t(x) = x**2 + 9*x - 4. Let z be t(-11). Suppose -l - l + 18 = 4*u, 5*l = -u - z. Suppose 128 = u*n - 6*n. Does 32 divide n?
True
Suppose 1816*d = 1812*d + 13572. Is d a multiple of 15?
False
Let x = -7 + 1. Let i = x + 9. Suppose 0 = a + i*a - 20. Is 5 a factor of a?
True
Suppose 16 = 3*k - 3*o - 56, -2*o = 0. Suppose -5*r = -4*w - 62, -4*r = 2*w + 5 + 13. Let i = k + w. Is i a multiple of 10?
False
Suppose 5*w + 4*j = 106, -2*w - 119*j + 121*j + 46 = 0. Is 2 a factor of w?
True
Suppose 24 + 1 = 5*g. Suppose -4*l = -c + 72, -182 = -3*c - 0*c - g*l. Does 9 divide c?
False
Let d = 278 - 132. Does 13 divide d?
False
Let f(d) = 4*d**3 - 7*d**2 - 3*d + 38. Is f(5) a multiple of 6?
True
Suppose -7*x + 1373 - 253 = 0. Does 8 divide x?
True
Does 13 divide 233 + (-1 - 8) + 30/5?
False
Suppose -14*f = -f - 65. Suppose t - 187 = 2*w, -3*w - w + 991 = f*t. Is 9 a factor of t?
False
Suppose 446 = 5*l - 3*l. Let z = l - 157. Does 23 divide z?
False
Suppose 2*h - h - 3 = 0. Let s = -52 - h. Does 15 divide 8/12 + s/(-3)?
False
Suppose 0 = -0*p - 4*p. Suppose -3*q + 561 = -p*q. Suppose -q = -5*w + u, w - u - 2 - 37 = 0. Is 19 a factor of w?
False
Let z(f) = 21*f + 120. Is 51 a factor of z(4)?
True
Is 5 a factor of (-257 + 0/(-3))/((-1)/1)?
False
Let c = -37 + 41. Suppose -c = n - 1, 2*n + 150 = 2*h. Let y = -28 + h. Does 17 divide y?
False
Suppose 0 = -9*x + 3*x. Suppose 3*o + 5*l = 386, x*o - 4*o = 5*l - 513. Is o a multiple of 32?
False
Let l(r) be the third derivative of -r**5/60 + r**4/3 + 7*r**3/3 - 2*r**2 - 4. Is l(7) a multiple of 3?
True
Suppose 12*b - 48 = 48. Let y = 45 - b. Is y a multiple of 7?
False
Let g(a) = -32*a - 8. Let b(x) = -32*x - 9. Let f(v) = -5*b(v) + 6*g(v). Suppose 6 = l + 9. Is f(l) a multiple of 29?
False
Let z = -613 + 678. Is z even?
False
Let o(u) = u + 20. Let r be o(0). Suppose -5*i + r = -i. Let l = 3 + i. Does 8 divide l?
True
Let t(y) = y - 4. Let u be t(-11). Does 4 divide ((-12)/(-15))/((1 - 2)/u)?
True
Suppose 0 = 3*a + w + w + 2, 0 = 3*a + 4*w - 2. Let p be (a - -16)*(-2 + -4). Is 14 a factor of ((-12)/(-14))/((-4)/p)?
False
Let q be ((-8)/(-12))/(8/1476). Suppose 0 = -3*h + q + 204. Is 15 a factor of h?
False
Suppose -7 - 152 = -r. Suppose r = 8*b - 545. Is 22 a factor of b?
True
Let y(t) = t**3 - 13*t**2 + 16*t + 25. Is y(12) a multiple of 53?
False
Is -5 - (-178)/(-4)*(-24)/4 a multiple of 12?
False
Suppose -4*d = g - 5*g + 412, -3*d = 2*g - 231. Suppose n = -j - 49, -3*n + 4*j = -n + 110. Let i = g + n. Does 19 divide i?
True
Let g(o) = o**2 - 6*o - 2. Let x = 72 + -76. Is g(x) a multiple of 8?
False
Suppose d - 20 = -0*d + 3*u, -15 = -d + 2*u. Suppose -2*q - 4*i + 100 = -0*i, 57 = q - d*i. Does 13 divide q?
True
Is 96 a factor of -10*20/(-250)*(118 - -2)?
True
Suppose 0*h + 2*h - 400 = -2*r, 1032 = 5*r - 3*h. Is 14 a factor of r?
False
Let z = 5892 + -3000. Is z a multiple of 12?
True
Suppose 0 = -a - 3*a + 180. Let d be ((-8)/(-24))/(1/a). Is (5/d)/(3/657) a multiple of 18?
False
Let m(y) = y**3 - 10*y**2 + 8*y - 12. Let u be m(9). Does 22 divide 219/5 - u/105?
True
Let d = 3541 + -1590. Is 25 a factor of d?
False
Suppose m = -2*c + 881 + 1167, 0 = -4*m - 4*c + 8184. Is m a multiple of 28?
True
Let a(z) = 27*z**2 + 2*z + 2. Is a(2) a multiple of 38?
True
Suppose 42*n = 30*n + 504. Is 14 a factor of n?
True
Suppose 3*u = 2*u - 11. Let p = 4 - u. Suppose p = -5*g, -4*s + 0*s + g = -15. Is 3 a factor of s?
True
Let n(x) = -x**3 + 17*x**2 - 14*x - 18. Let b be n(14). Let t = 544 - b. Is t a multiple of 40?
False
Suppose -11 = -4*p - 7, -2*p + 222 = 5*q. Is 22 a factor of q?
True
Let o(m) = -m**2 - m + 4. Suppose 2*n = 3*n. Let f be o(n). Suppose 2*h = f*z, -2*h - 3*z = 3*h - 26. Is 2 a factor of h?
True
Let d(v) = 5*v**3 - 2*v**2 - 10*v + 5. Is d(4) a multiple of 23?
True
Let t(j) = j**2 - 10*j + 8. Let s(c) = -5*c**2 + 41*c - 33. Let h(w) = -6*s(w) - 26*t(w). Is 27 a factor of h(-8)?
False
Let z(s) = s**3 + 9*s**2 + 4*s + 6. Suppose -72 = 4*t - 4*k, 4*t + 0*t + 3*k = -51. Let f = t - -7. Is 19 a factor of z(f)?
True
Suppose n = 6*n. Suppose -i = -n*i - 28. Is i a multiple of 14?
True
Let u be (-6)/(-9) + (-3370)/6. Is 18/(-24) + u/(-12) a multiple of 14?
False
Let s = 131 - -93. Is 9 a factor of s?
False
Let j(b) = -6*b**3 + 2*b**2 + 2*b - 49. Is j(-5) a multiple of 13?
True
Does 101 divide ((-1014)/4 + 1)*(-176)/88?
True
Suppose 2*k - 3*p + 1 - 21 = 0, 5*k - 8 = -3*p. Suppose 0 = 5*o - 4*i - 496, -k*o + i + 274 + 114 = 0. Is 16 a factor of o?
True
Is (0 - 24)*(-68 + 20) a multiple of 24?
True
Suppose -4*d - 2*w = -42, -3*d + 2*w - 6 = -4*d. Suppose r + d = 5*r. Suppose 105 = r*p + 9. Does 8 divide p?
True
Suppose -628 = -2*p - 2*p. Is p a multip