h)?
True
Let d = 191 - 150. Is d a multiple of 5?
False
Suppose 21*m = 27*m - 1350. Is 15 a factor of m?
True
Suppose -3*o + 368 + 321 = 2*y, 4*y = -4*o + 1388. Does 16 divide y?
True
Suppose -17*v + 564 = -11*v. Is 29 a factor of v?
False
Let u be (-2)/(-4) + 6/4. Suppose u*j - 3*j = 0. Suppose j = -3*h - 2*n + 47, -h + 6 = 2*n - 3. Does 19 divide h?
True
Let w(b) = 22*b**2 + 4*b + 3. Let x be w(-3). Suppose -2*n + x = -n. Suppose -3*u + 9 = -n. Is 22 a factor of u?
True
Let o(w) = 3*w**2 - 11*w - 13. Does 9 divide o(-4)?
False
Suppose -3*w - 141 - 5460 = -3*j, j - 1852 = 4*w. Does 18 divide j?
True
Suppose 5*t - 931 - 1074 = -5*i, -1586 = -4*i + 5*t. Does 57 divide i?
True
Let f(x) = -7*x + 56. Let h be f(8). Suppose h = -2*l + 5*r + 400, 5*r - 109 = -l + 76. Is 28 a factor of l?
False
Let r = -138 - -244. Suppose 28 = -2*u + r. Is u a multiple of 13?
True
Let n(g) = -g**3 + 6*g**2 + 18*g - 5. Suppose 3 - 11 = -u. Is 11 a factor of n(u)?
True
Suppose -5*i - 3002 = -4*n, 5*n - i = 1101 + 2641. Is 4 a factor of n?
True
Is 17 a factor of -45*11/((-99)/357)?
True
Suppose -7*x + 27 = 2*x. Suppose 3*g + x*f - 25 = 41, 16 = g - 2*f. Is g a multiple of 13?
False
Let m be (-2 + 21)/(3 - 2). Suppose -2*d = -5*h + m, -h + 4*d = 4*h - 23. Does 9 divide 1 + -3 - (h + -28)?
False
Is 15 a factor of (7/(14/(-1)))/(7/(-56826))?
False
Let z(b) be the second derivative of 3/20*b**5 - 1/2*b**2 + 0 + 1/3*b**3 + 5*b + 0*b**4. Does 4 divide z(1)?
True
Let g(d) = 4*d**2 + 3*d - 4. Suppose -4*a + 3 + 5 = 0. Is g(a) a multiple of 3?
True
Suppose 3*o = 3*u - 117, -o - 116 = -3*u + 3*o. Let h = u - 27. Suppose -15*t + 274 = -h*t. Is 29 a factor of t?
False
Let m(h) be the third derivative of 0 + 0*h - 2*h**2 - 7/3*h**3 - 7/24*h**4. Is 22 a factor of m(-11)?
False
Let c(x) = 747*x - 86. Is 22 a factor of c(2)?
True
Suppose -11*n + 15*n = -8. Let i(b) = -15*b. Is i(n) a multiple of 10?
True
Suppose -7*y + 650 = -6*y. Suppose 0 = -n - 3*n + 4*c + 520, -5*n + 4*c = -y. Is n a multiple of 27?
False
Suppose 14*x - 4086 - 4986 = 0. Does 108 divide x?
True
Let u(j) = 126*j**3 + j. Is u(1) a multiple of 46?
False
Suppose -8064 = -9*i - 27*i. Is i a multiple of 2?
True
Let w(u) = -2*u**2 + 6*u - 9. Let j(p) = 3*p**2 - 11*p + 17. Let m(q) = -3*j(q) - 5*w(q). Let b be m(3). Is 21 a factor of (-6 + b)*63/6?
True
Suppose -4*t - 5*u + 825 = 0, 0 = 2*t - 3*u + 2*u - 423. Is 14 a factor of t/(-4)*24/(-9)?
True
Suppose 2*s - 88 = 2*o - 0*o, 5*s - 4*o - 224 = 0. Suppose -36*f + s = -34*f. Does 4 divide f?
True
Let h = -78 - -67. Let d(s) = 4*s**3 - 6*s**2 - 2*s - 20. Let o(t) = -3*t**3 + 7*t**2 + 2*t + 19. Let x(u) = -4*d(u) - 5*o(u). Is x(h) even?
False
Let o be -1*1/(-3)*0. Let r(v) = -4*v + 8*v + o*v. Does 9 divide r(12)?
False
Let c = -395 - -739. Is 8 a factor of c?
True
Let p = 3437 - 1697. Is p a multiple of 29?
True
Let m(d) = 88*d**2 - 4*d - 10. Does 11 divide m(-2)?
False
Let j be -5 + 3 - (-2 + 1). Is 42/3 + j*1 a multiple of 4?
False
Let u = -25 - -11. Let m = u - 62. Let i = -42 - m. Does 12 divide i?
False
Let v(m) = -194*m**3 - m**2 + 6. Let q(w) = 387*w**3 + 2*w**2 - 13. Let i(j) = 6*q(j) + 13*v(j). Does 16 divide i(-1)?
False
Let h = -475 - -755. Is 14 a factor of h?
True
Suppose 2*r - 5 = -1. Suppose 2*f - 136 = -5*p - 0*f, -4*p - f + 110 = 0. Suppose p = -r*n + 178. Is n a multiple of 20?
False
Suppose -4*b + k + 135 = 0, -14*b = -19*b + 3*k + 160. Does 9 divide b?
False
Is (-35)/(-7)*(3 + 11728/20) a multiple of 10?
False
Suppose 0 = -10*d + 2929 + 3011. Is d a multiple of 49?
False
Let h = -1 + -1. Let y be (h - 3) + 1/(-1). Is 9/y*86/(-3) a multiple of 20?
False
Let z(h) = 2*h**2 - 82*h - 352. Is z(60) a multiple of 23?
False
Let u(x) = 4*x**2 - 5*x - 1. Let b(t) = t**3 - 2*t**2 - 5*t + 2. Let l be (-22)/(-6) - 4/6. Let p be b(l). Does 27 divide u(p)?
False
Let n = -132 + 237. Suppose 225 = 10*f - 15*f. Let p = n + f. Is 20 a factor of p?
True
Let x(r) = -r**3 + 3*r**2 - 6*r + 3. Let a be x(4). Let w = -127 - -122. Let n = w - a. Is n a multiple of 11?
False
Let z = 633 + -372. Is 4 a factor of z?
False
Let q(o) = -1 + 5 + 4*o + 0 + 8. Is 10 a factor of q(9)?
False
Let y(v) = -69*v + 19. Let k be y(-5). Let h = k - 243. Is 8 a factor of h?
False
Let l be 2/10 + 147/15. Suppose 15*c - 17*c = -l. Suppose -35 - 315 = -c*t. Is t a multiple of 35?
True
Let i(y) = -y**2 + 15*y - 24. Let j be i(13). Suppose -t - j*t = -48. Is t a multiple of 4?
True
Let f = 158 - 86. Is f a multiple of 39?
False
Suppose 4*o = 2*o + 52. Let k = -26 + o. Suppose 4*v + 0*v - 36 = k. Does 3 divide v?
True
Let m = 771 + -495. Does 10 divide m?
False
Let t(g) = 26*g - 5. Let s be t(3). Suppose -j + 4*c = -s, -3*j - j + 4*c = -244. Suppose -2*d - 2*k = -3*k - j, -3*d + 2*k + 86 = 0. Is d a multiple of 8?
False
Let d(q) = -q**3 + 24*q**2 + q - 22. Let u be d(24). Suppose -2*z + 5*t + 67 = -115, 198 = u*z - t. Is z a multiple of 12?
False
Let s(d) = d**2 + 9*d + 3. Let r be s(-9). Suppose -2*g + 4*u - 2 = -50, -4*u = -r*g + 78. Does 22 divide g?
False
Let a be (464/10)/((-6)/(-15)). Let n = 143 - a. Is 9 a factor of n?
True
Suppose 8*u - 1059 = -403. Let i = -61 + u. Is 3 a factor of i?
True
Let c(x) = -7*x**2 - 2*x + 103. Let g(b) = -10*b**2 - 3*b + 155. Let z(l) = -7*c(l) + 5*g(l). Let r be z(0). Suppose -3*m + 132 + r = 0. Does 31 divide m?
True
Suppose 36 = 4*d + 2*w, 2*d = d + 5*w + 9. Is (d/(-27))/((-1)/81 - 0) a multiple of 6?
False
Let z(w) = 8*w**3 - 9*w**2 + 73*w + 9. Is 77 a factor of z(6)?
False
Suppose 5*m + 3*d + 6 = -91, -d + 1 = 0. Is ((-230)/m)/(2/4) a multiple of 8?
False
Suppose 5*f = -2*j + 188, -3*j - 124 = -4*f + 2*j. Let y = -22 + f. Let z(v) = v**2 - 10*v - 27. Is z(y) a multiple of 10?
False
Let j = -601 - -1079. Suppose -m - m = -y - 194, 0 = -5*m - y + j. Is 12 a factor of m?
True
Let r = -8 + 12. Suppose -r*i + 0*i = 0. Is i + (47 - -2) + -1 a multiple of 13?
False
Let f = 26 - 25. Let l = 6 + f. Suppose 0 = l*a - 7 - 49. Is 8 a factor of a?
True
Let j = 600 - 228. Is 31 a factor of j?
True
Let v(k) = -9*k**3 + k. Let a be v(-1). Let w(i) = i + 2. Let y be w(a). Let o = y + 9. Does 7 divide o?
False
Let l(w) = 5*w + 23. Let b be l(-7). Suppose 0 = -h + 3*h - 12. Does 10 divide 32/h*(-99)/b?
False
Let i(d) = d**2 - 3. Let v be i(-3). Suppose 0 = v*k - 3*k - 126. Is 26 a factor of 1*-1*(1 - k)?
False
Let b(k) = 10*k - 1 + 0 - 27*k. Let n be ((4 - 3) + 0)/(-1). Is 8 a factor of b(n)?
True
Suppose f = -4*m - 47, -f - 5*m + 141 = -4*f. Let l = -13 - f. Let i = l + -18. Is 16 a factor of i?
True
Let n(m) = m**3 - 4*m**2 + 5*m - 9. Let c be n(4). Let j = 54 + 6. Suppose -4*x + j = 3*g, x - c = 3*g + 4. Does 4 divide x?
False
Is 6 a factor of 42*(14 - 88/(-11))?
True
Let k = 35 - 37. Let y(n) = -45*n - 7. Does 16 divide y(k)?
False
Let y = -51 + 54. Suppose y*q = -4*b + 292 - 11, 5*q = -25. Does 14 divide b?
False
Suppose -4*w - 60 = -5*p, 0 = 4*w - 7*w - p - 45. Does 3 divide (-6)/w + 2*83/10?
False
Suppose 0 = 2*p - 11 - 5. Let y be (-2)/p - (-29)/4. Suppose y*z - 208 = 3*z. Is z a multiple of 13?
True
Let j(h) = 5*h**2 + h + 32. Let f be j(7). Let d = f - 167. Is 24 a factor of d?
False
Let x(r) = -r**2 - 12*r + 6. Let p be x(-12). Let d = p - -34. Is 36 a factor of d?
False
Let s(f) = -f**3 - 3*f**2 + 2*f - 2. Let v be s(-7). Suppose -5*l = 5*i + 225, 2*l = -2*l + 2*i - v. Let n = 26 - l. Is 18 a factor of n?
False
Suppose 0 = 17*i - 7042 + 1840. Is 34 a factor of i?
True
Suppose -8*m = -12*m + 416. Suppose -4*r = 3*h - m - 36, 0 = -5*h - 4*r + 236. Is h a multiple of 4?
True
Let y(a) = -2*a**2 + 1 - 10*a - 17*a + 12*a**3 + 27*a. Does 11 divide y(1)?
True
Suppose 5*g - 2*z - 16 = 0, 4*g = 3*z - 5*z + 2. Suppose -200 = -g*o + 2*x, 0 = -2*x - 2 - 4. Does 20 divide o?
False
Suppose 0 = -67*x + 68*x - 27. Let t = 128 + x. Does 34 divide t?
False
Let r = 246 - -17. Does 12 divide r?
False
Let h(b) = 6*b + 243. Is h(-17) a multiple of 6?
False
Suppose d - 5*v + 13 + 1 = 0, 11 = -4*d + 5*v. Does 14 divide 686/7*(4 + d + -3)?
True
Let k(s) = 19*s**2 - 2*s. Does 33 divide k(3)?
True
Let q = 293 - 254. Is 11 a factor of q?
False
Let b = 3 + -11. Let t = b - -31. Let s = -4 + t. Is s a multiple of 17?
False
Let x(n) = 39*n**2 - 1. Let m be 30/225 - 34/30. Does 19 divide x(m)?
True