factor of z?
False
Let d = 528 - 410. Is 7 a factor of d?
False
Let j(h) = h**3 - 7*h**2 - 2*h - 11. Let x be j(7). Let m = 40 + x. Does 5 divide m?
True
Suppose 3*d = -3*d + 132. Let h = d - -121. Suppose -2*j - 3*j + h = 2*q, 2*q = j - 19. Does 9 divide j?
True
Suppose 0 = 68*f - 64*f - 412. Does 30 divide f?
False
Let b(l) = 10*l - 2. Let c be b(1). Suppose -c*d = -613 - 59. Is 12 a factor of d?
True
Let b(k) = -33*k + 323. Does 53 divide b(-37)?
False
Suppose -6270 = 997*o - 1003*o. Is o a multiple of 26?
False
Is (-343)/(-19) + 117/(-2223) a multiple of 9?
True
Suppose 5*i + 3 = 4*i. Let k be i/2*(1 - 3). Suppose k*q - q + 3*w - 66 = 0, -3*q + 69 = -3*w. Does 27 divide q?
True
Suppose -4*m + 2137 = -5*f, 2666 = 37*m - 32*m - f. Is m a multiple of 27?
False
Let u = 48 - -196. Does 7 divide u?
False
Let f(n) = 0 + 0*n - 3*n + 0. Let p be f(1). Is (-267)/(-18) + p/(-18) a multiple of 3?
True
Suppose -133 = -8*j + 3*j + 3*w, 5*j - 2*w - 132 = 0. Let p = j - -6. Is p a multiple of 20?
False
Let y(s) = s**2 - 13*s + 14. Suppose 18 + 2 = 5*z. Suppose -z*w + d + 24 = -22, 3*w = 4*d + 28. Is y(w) a multiple of 2?
True
Suppose -36 = -5*s + s. Suppose -s*z + 149 = -175. Is z a multiple of 6?
True
Let r be (8/(-12))/(1/(-6)). Suppose 2*m - 22 = -3*o, 5*m = 4*o + 5 + r. Suppose o*v - 21 = -9. Is v a multiple of 2?
False
Suppose -2*c + 21 = c - 2*x, 2*c - x = 13. Suppose -4*v - 5*h = -0*h + 4, 0 = -c*v + 3*h + 32. Suppose r - v*r = -48. Is 7 a factor of r?
False
Let s(z) = z - 3. Let a be s(10). Let k = a + 8. Let p = 25 - k. Is 10 a factor of p?
True
Let g(z) = 2*z - 2. Let t be g(9). Is 66/8 - ((-12)/t - -1) a multiple of 2?
True
Let g = -1125 + 1951. Is g a multiple of 32?
False
Suppose -3*k + 3*i = -459, 0*k + 2*k = -5*i + 285. Suppose 5*n + 5*v = 2*v + k, 120 = 4*n - 3*v. Does 30 divide n?
True
Suppose -5*o + m - 39 - 106 = 0, -5*o - 170 = 4*m. Let j = -7 - o. Suppose b = j - 4. Does 11 divide b?
False
Let u = -25 + 56. Suppose 0 = u*d - 35*d + 572. Does 29 divide d?
False
Let o = 3 - 1. Suppose -4*a = n - 325 - 82, -o*a + 2*n = -196. Is a a multiple of 14?
False
Suppose -c - 810 = -0*m - 4*m, m = c + 201. Suppose 0 = -7*g + m + 203. Does 20 divide g?
False
Suppose -18*p + 44486 = -7354. Is 48 a factor of p?
True
Let m = -37 - -42. Suppose m*o - 27 - 52 = 4*u, 2*o - 35 = 5*u. Is o a multiple of 3?
True
Let s(o) = o**3 - 10*o**2 - 13*o + 26. Let n be s(11). Suppose 453 = 3*j + 3*f, n*j + 0*j = -f + 613. Does 12 divide j?
False
Let r(p) = -p**3 + 5*p**2 + 4*p - 2. Let n(z) be the second derivative of -z**3/3 + z**2/2 - 9*z. Let q be n(-2). Is r(q) a multiple of 11?
False
Suppose -4*u + 1101 = -3*l, 0 = -2*u + 11*l - 16*l + 557. Is u a multiple of 3?
True
Let x = -48 - -53. Suppose 4*l + 2*r = 20, -5*l - x = -4*r - 30. Does 5 divide l?
True
Suppose -3666 + 40098 = 33*z. Is 36 a factor of z?
False
Suppose 5*d - 1717 = 4*d - 4*k, 0 = -5*d - 5*k + 8510. Is 29 a factor of d?
False
Let v(k) = 6*k + 9. Let p be v(8). Suppose -5*x - p = -17. Let g(n) = 2*n**2 + 9*n - 10. Does 13 divide g(x)?
False
Suppose 6090 = 8*m + 2*m. Is m a multiple of 22?
False
Suppose 8*x + 756 = 17*x. Does 28 divide x?
True
Is (-2)/(-6)*(2210/2 + 8) a multiple of 6?
False
Let h = 50 - 43. Suppose 454 = h*p - 169. Is 9 a factor of p?
False
Suppose -2*z + 0*z = 176. Let q = 222 - 90. Let f = z + q. Is f a multiple of 20?
False
Is (-518)/185*(-1130)/4 a multiple of 21?
False
Let q(x) = -x**2 - 3*x + 7. Suppose 4 = m + 4*s, 0 = m + s - 2*s + 6. Let c be q(m). Is 8 a factor of (64/20)/(c/30)?
True
Suppose 0 = g + 4 - 6. Suppose 4*o + 5*a + 23 = -8, 4*o + 66 = g*a. Is 9 a factor of 357/o*6/(-3)?
False
Let c(p) = 3*p**3 - 11*p**2 + 11*p - 10. Let w(h) = -h**3 + h**2 - 1. Let t(n) = c(n) + 2*w(n). Let m be t(8). Does 20 divide m/7*308/8?
False
Suppose 0 = -q - 4*k + 816, q - 8*k - 821 = -7*k. Is 85 a factor of q?
False
Let c(b) be the second derivative of 1/12*b**4 - b**3 + 3*b + 5/2*b**2 + 0. Is c(8) a multiple of 7?
True
Suppose 0 = 3*j - 2*w - 3202, 3*w - 5330 = -5*j + 5*w. Is j a multiple of 9?
False
Let i be 24/30 - (1 + (-716)/5). Suppose 0 = 8*q + 5*q - i. Is 2 a factor of q?
False
Let f(z) = -z**3 - 5*z**2 - 6*z - 4. Let a be f(-4). Suppose -160 = -4*b + 4*o, 4*b - o - 4*o - 156 = 0. Suppose -a*d + 64 = -b. Does 7 divide d?
False
Let d(v) = v**2 - 18*v + 12. Let a = 48 + -30. Does 2 divide d(a)?
True
Let c(q) = -6*q + 50. Let w be c(13). Let a(n) = -n + 44. Is a(w) a multiple of 4?
True
Suppose 0 = -2*i - t + 1291, 11*t = 10*t - 5. Does 24 divide i?
True
Let c be (-1 - -3)/(18/27). Let n(r) = 14*r**2 + r + 7. Does 17 divide n(c)?
True
Let p(y) be the second derivative of y**5/120 - y**4/24 + 7*y**3/6 + y. Let s(o) be the second derivative of p(o). Is s(12) a multiple of 3?
False
Does 3 divide (-11 - -12)/((-1)/(-41))?
False
Let h be -3*6/18 + 70 + -1. Let b = h - 40. Is 4 a factor of b?
True
Suppose -s + 283 = -4*m + 1434, 0 = -2*s + 10. Does 11 divide m?
False
Suppose 16 = 4*f - 5*f. Let a = f - -99. Suppose 0 = 2*m - 5*h - 101, 4*h - a = -2*m + m. Is 21 a factor of m?
True
Let p = 95 - 38. Let x = 4 + -2. Suppose 0 = -x*q + 25 + p. Is 12 a factor of q?
False
Suppose 27*p = 37*p - 14330. Does 62 divide p?
False
Suppose -2*c - c - 5*a = -116, -5*c + 152 = -2*a. Let w = 58 + c. Is w a multiple of 38?
False
Suppose -5*y - 2*h + 0*h - 205 = 0, 0 = -5*y + h - 205. Let b = -2 - y. Is 6 a factor of b?
False
Let i(o) = 4*o + 6. Let g(s) = s. Let t = -12 - -13. Let n(c) = t*i(c) - 3*g(c). Does 11 divide n(5)?
True
Suppose -5*x + 90 = -3*a, 0*a + 37 = -a + 4*x. Let c = a + 214. Does 53 divide c?
False
Let m be (-3 + 0)/((-1)/(-54)). Let c be m/(-45) - (-4)/10. Suppose -c = -d - 2*g - 1, -5*d + 4*g + 43 = 0. Is 3 a factor of d?
False
Let y(j) be the third derivative of -j**4/3 + 4*j**3/3 - j**2. Suppose 145 = -2*a + 131. Is 16 a factor of y(a)?
True
Let i = 271 - -3. Is i a multiple of 40?
False
Let y = -168 - -552. Does 32 divide y?
True
Is 27 a factor of (-59178)/(-147) - 8/14?
False
Suppose -5*g + 470 = 5*b, -4*g - g + 472 = 3*b. Suppose g = 14*w - 13*w. Is w a multiple of 19?
True
Suppose -3*c = -3*n + 759, -2*n = 2*c + 181 - 695. Does 6 divide n?
False
Is 26 a factor of (-8 - -932)/4 + 3?
True
Let r be (-292)/6 - ((-32)/12 - -3). Let o = 258 + r. Does 12 divide o?
False
Let w(f) = f**3 - 13*f**2 + 10*f - 2. Let s be w(8). Let j = -98 - s. Suppose 0 = 3*x - 0*x - j. Is x a multiple of 16?
True
Let a(b) = b**3 + b**2 - b + 1. Let l be a(1). Is (1 + 7 - l)*100/15 a multiple of 5?
True
Let q be (-1632)/(-36) + 8/(-6). Let t = q - 30. Does 2 divide t?
True
Let r(c) = 22*c + 30. Let m be r(10). Let p = 386 - m. Does 46 divide p?
False
Let q = 330 - 300. Is 15 a factor of q?
True
Suppose 5*c - 48 = 1167. Does 21 divide c?
False
Let p(g) = g**3 - g - 7. Let f be p(0). Suppose 16 = -4*r - z + 77, 0 = 5*r + 4*z - 68. Let a = f + r. Is a a multiple of 9?
True
Suppose -27 = t - 68. Suppose t*z = 45*z - 152. Does 19 divide z?
True
Let c be 909/6 - (-2)/(-1 + 5). Let t = 233 - c. Does 10 divide t?
False
Let f(t) = 9*t - 43. Let v be f(10). Suppose -315 = -2*j + v. Is j a multiple of 24?
False
Let h(t) = t**2 + 6*t - 13. Let m be h(-9). Suppose -6*d - 248 = -m*d. Is d a multiple of 6?
False
Suppose 48*g + 1067 = 8267. Is 25 a factor of g?
True
Let t = -4 - -8. Suppose 0 = j + t + 39. Let x = j - -81. Is x a multiple of 19?
True
Let f(t) = -t**3 - 3*t**2 - 4*t - 7. Let g be f(-3). Suppose g*d - 539 = -2*d. Does 25 divide d + 0 - (-7 - -9)?
True
Let x(s) = -s**3 - 8*s**2 - 6*s + 5. Let i be x(-7). Let h be i/(-7)*-1*-7. Let r = 20 + h. Is 15 a factor of r?
False
Let f(w) = w**2 - 18*w + 28. Let a be f(16). Does 18 divide a*12/8*-21?
True
Suppose 0*x + x - 61 = 0. Suppose -2*s - 17 = -5*w + x, -2*w + 3*s + 40 = 0. Suppose -4*j + w = -2*j. Is 3 a factor of j?
False
Suppose -f - 6 = 36. Let a be (-776)/(-14) - (-18)/f. Let q = a + -20. Is q a multiple of 21?
False
Suppose -65 = 4*r - 9*r. Suppose 5*b - 33 + r = 0. Suppose -51 = -b*c + 5. Is 3 a factor of c?
False
Let a be 2698/(-133) + (-2)/(-7). Is a/((-16)/20 - (-1)/(-5)) a multiple of 5?
True
Let q = 78 - -3226. Is q a multiple of 22?
False
Let h(m) = 2*m + m + m - 14 - 7*m. Let q be h(-6). Suppose -q*n - 13 + 78 = 3*r, -3*n + 15 = 0. Does 5 divide