 h(t)?
True
Let h be ((-7 + 1)*-1)/2. Suppose 10*z + 3*b - 148 = 8*z, h*z - b - 244 = 0. Is z a multiple of 20?
True
Let p = 65 + -147. Let x = 486 - 619. Let t = p - x. Is 29 a factor of t?
False
Let a(g) = 52*g - 10 - 22*g - 29*g. Is a(14) a multiple of 4?
True
Does 8 divide (-33246)/(-126) + 2/14?
True
Suppose 438 = q + 70. Does 41 divide q?
False
Let c = -7 + 9. Let t(p) = -2*p**c + 4 + 6*p - p**3 + 0*p**3 - 6*p. Does 6 divide t(-3)?
False
Suppose -2*l + 6*l = 16. Let j(o) = o**2 - 3*o - 1. Let k be j(l). Suppose k*v - 13 = 5. Is 3 a factor of v?
True
Let r be (-14)/(-4)*72/42. Let u(q) = -34*q - 6. Let i be u(-4). Suppose -n = -r*n + i. Is 12 a factor of n?
False
Let p be 2150/40 - 3/4. Suppose -p = -7*k + 304. Let i = 5 + k. Does 28 divide i?
True
Suppose 0 = -71*b + 64*b + 203. Is 4 a factor of b?
False
Let g(v) = 29*v - 6. Let r(m) = 29*m - 7. Let c(u) = 3*g(u) - 2*r(u). Does 15 divide c(1)?
False
Let s(c) = c**2 + 4*c - 21. Is s(-15) a multiple of 72?
True
Let f = 2370 - 1235. Is f a multiple of 4?
False
Suppose -17*n + 10*n + 1134 = 0. Is n a multiple of 54?
True
Let x(r) = r**3 - 2*r**2 - 3*r + 1. Let a be x(3). Suppose 4*o - a - 7 = 0. Suppose d - 40 = -3*j - d, o*j + d = 28. Does 8 divide j?
True
Let l = 76 + -71. Suppose 4*u + l*v - 345 = 0, 144 + 71 = 3*u - 5*v. Is 12 a factor of u?
False
Let q be 2/9 - 7/(-9). Suppose 3*v - q = 4*v. Is -24*(-1)/(2 + v) a multiple of 7?
False
Let g(j) = -6*j**2 + 3*j + 8. Let n be g(-2). Let t = 33 - n. Does 11 divide t?
True
Suppose 2*r - 3*r = 2. Let j be 13/r + (-1)/(-2). Is 2/(-6)*j*1 a multiple of 2?
True
Let r = -1240 - -2346. Is r a multiple of 6?
False
Let c(y) = y**3 - 3*y**2 - 20*y + 8. Let t be c(6). Let u = 84 - t. Does 11 divide u?
True
Let w be (-11 + 0)*-1 + 0. Suppose 6*v = 7*v + w. Let c = v - -39. Does 14 divide c?
True
Suppose 4*f - 24 = -8*f. Suppose t = -4*j + 62, -f*j + 3 = -3. Does 4 divide t?
False
Let d = 876 - 364. Is 64 a factor of d?
True
Let u(h) = h**3 - 2*h**2 + 3*h - 2. Let w be u(2). Let t = 11 + w. Is 13 a factor of 13 + 1 + t/5?
False
Let i(u) = -3*u + 31. Let x be i(9). Suppose -x*c = -5*o + 202, 2*o - 123 = -o + 3*c. Is o a multiple of 7?
False
Suppose k = -0*k + 1. Suppose d - 2*z - 108 = 0, -3*z + 5 = -k. Suppose -8*i = -4*i - d. Is i a multiple of 14?
True
Suppose -3*n + 8*n - 425 = 0. Is 3 a factor of n?
False
Let m(y) = y + 20. Let b = -8 + -6. Let n be m(b). Suppose q = n*q - 310. Is q a multiple of 18?
False
Suppose t = -3*t - 12. Let q be t - (-3 + 2) - 15. Let b = q + 26. Is b a multiple of 9?
True
Let l = 2170 + -278. Is l a multiple of 86?
True
Let f = -58 - -52. Let t(j) = -j + 4. Is t(f) a multiple of 7?
False
Let h(g) = 256*g**3 - 2*g**2 + 11*g - 9. Does 32 divide h(1)?
True
Let i(c) = -3*c + 9. Let y be i(4). Let w(x) = 5*x**2 - x + 2. Let v be w(2). Is 27 a factor of -177*(v/(-6) - y)?
False
Let m(c) be the second derivative of -3*c**5/20 + c**4/12 + 3*c**3/2 - c**2/2 + 3*c - 9. Is m(-4) a multiple of 9?
True
Let o be (24/(-3))/(-3*(-2)/6). Let q = o - -44. Does 9 divide q?
True
Suppose 5*u + 3*s = 9*u - 1184, -s - 594 = -2*u. Does 13 divide u?
True
Let c be -3 + (-12)/(-54) + 79/9. Is 14 a factor of ((-14)/c)/((-1075)/(-540) - 2)?
True
Let z = 121 + -126. Let w(g) = g**2 - 15. Is w(z) a multiple of 7?
False
Let n(s) = s**3 + 19*s**2 + 5*s + 27. Is n(-9) a multiple of 24?
True
Let i(o) = -o**3 - 5*o**2 - 4*o - 2. Suppose j + 1 = -4, 0 = -2*t - 4*j - 16. Suppose -2*z = t*z + 20. Is 10 a factor of i(z)?
False
Is -4*21/(-12) + 1193 a multiple of 75?
True
Let f = -6 + 9. Does 4 divide 424/(f + -7)*(-2)/4?
False
Let d be (-3)/(18/(-110))*18. Suppose -f + d = -2*f. Does 15 divide f/(-21) + 2/7?
False
Let m(t) = 3*t + 4 + 0*t + 0*t + t**2. Let q be m(-5). Is 18 a factor of (-772)/(-9) + q/63?
False
Suppose 6*j = 3*j - 9, 0 = 4*a + j - 5. Let y be -2 + (3 - 6/a). Is (-819)/(-27) + y/6 a multiple of 10?
True
Let s(k) = 2*k**2 + 72. Let r be s(0). Let y = r - -54. Is 42 a factor of y?
True
Suppose 4*x = -4*n + 148, x - 2*n - 54 = -29. Is 11 a factor of x?
True
Let q = -9 - 0. Let n(l) = -2*l**3 + 25*l**2 - 5*l - 3. Let v(a) = -a**3 + 12*a**2 - 3*a - 2. Let g(i) = q*v(i) + 4*n(i). Does 6 divide g(7)?
True
Let l(a) = a - 1. Let c be l(-8). Let m be 8/(-12) + 48/c. Is 13 a factor of m/(-21) - 892/(-14)?
False
Let o = 46 - 31. Let p(l) = -l**3 + 14*l**2 + 16*l - 6. Is p(o) a multiple of 7?
False
Let v(f) = f**3 - 34*f**2 + 4*f - 46. Is 15 a factor of v(34)?
True
Suppose 5*f + 3*p = 4389, 3*p = 4*f - 2*p - 3526. Does 41 divide f?
False
Let o(i) = i**3 - 14*i**2 - 14*i + 25. Does 15 divide o(17)?
False
Suppose 0 = 16*g - 6*g - 2330. Is 10 a factor of g?
False
Does 19 divide 6*((3 - -405) + 10)?
True
Let s = -156 - -255. Is 25 a factor of s?
False
Let u = 7456 + -2971. Is 19 a factor of u?
False
Let u = -19 - -39. Does 25 divide 6/4 + -2 - (-3010)/u?
True
Let t = -73 - -81. Suppose -5*q - 3*v = -585, 2 = 2*v - t. Does 19 divide q?
True
Let f(p) be the first derivative of -9*p**2 + 12*p + 3. Let c be f(-7). Is 7 a factor of c/10 - (-7)/35?
True
Let k(p) = -p + 5. Let i be k(-9). Let x = 19 - i. Suppose x*y = 27 + 23. Is 7 a factor of y?
False
Let j(v) = -v + 1. Suppose 3 - 19 = 4*t. Let o be j(t). Suppose 0 = 3*p - 4*d - 326, o*p + 3*d - 534 = 5*d. Is 19 a factor of p?
False
Let v(p) = -p**2 - p - 1. Let t(d) = -14*d + 8. Let w(i) = -t(i) - 2*v(i). Is w(-12) a multiple of 18?
True
Suppose 159 = 8*s - 1161. Let u = s + 18. Is u a multiple of 16?
False
Let u be (-60)/12*(-16)/10. Let v = 26 + u. Is v a multiple of 17?
True
Suppose -3*y - 784 + 5101 = 0. Is 9 a factor of y?
False
Let l be (1 + 0)*(0 + 6 + -5). Is 12 a factor of 735/60 - l/4?
True
Is 218/(6*(-12)/(-828)) a multiple of 23?
True
Let s = -237 - -127. Let l be 3/(-3)*(s - 3). Let k = l + -78. Is 25 a factor of k?
False
Suppose -4*o + 5*b = 9*b - 84, -5*o = -b - 87. Is o a multiple of 10?
False
Suppose 0 = l - h - 424, -5*l + 8*l = -4*h + 1244. Is l a multiple of 12?
True
Suppose 0 = 2*d + s - 648, 5*d + s - 1292 = d. Is d a multiple of 29?
False
Suppose 4*k + 20*f = 23*f + 1428, -k + f = -358. Does 6 divide k?
True
Let h(s) = -2*s**3 - 5*s**2 + 3*s - 14. Is 48 a factor of h(-5)?
True
Suppose 1 = -3*s + 2*t - 0, -5 = -3*s - t. Let n(h) = 175*h. Let j be n(s). Let c = -103 + j. Is c a multiple of 16?
False
Let j be 6/(-33) - 92/(-22). Suppose n - 100 = -j*n. Does 5 divide n?
True
Let m(c) = 13*c - 1. Let n = -18 + 20. Let s be m(n). Suppose 4*j - 171 = s. Is j a multiple of 13?
False
Suppose 8*m + 3*a = 3*m + 11560, 0 = 2*m - 3*a - 4603. Does 26 divide m?
False
Suppose -3*i - 9 = 0, -2*r + r - 5*i = 0. Suppose 0 = 16*a - r*a - 16. Is a a multiple of 5?
False
Let c = -19 - -30. Suppose -4*u + 4*z - c = -31, -4*u + 17 = -z. Does 9 divide (9 - (4 - u))*3?
True
Let y(o) = 24*o + 9. Suppose 5*v = 4*p + 6, -4*v - 5*p = -3*v - 7. Is 57 a factor of y(v)?
True
Suppose 38*p - 1914 = 17238. Is 66 a factor of p?
False
Let i be (2 + -1)/(10/(-40)). Does 8 divide 120*5*i/(-25)?
True
Suppose -2348 - 1219 = -29*u. Is u a multiple of 3?
True
Let r(n) = -5*n**2 - 6*n + 4*n**2 - 6 - 4*n. Does 18 divide r(-6)?
True
Suppose 5*m - 125 + 25 = 0. Suppose 0 = -2*l - 4*f + 28, 2*l - 3 = -f + 10. Is 2 a factor of l/(-5)*(-50)/m?
True
Let u = 337 - -123. Is 23 a factor of u?
True
Let h(w) = 63*w**2 - 15*w - 20. Does 56 divide h(4)?
False
Suppose -x = 5*y + 5, -x - 5 = 2*y - 0. Suppose 3*i - 4*s - 82 - 391 = y, -2*s - 793 = -5*i. Is i a multiple of 17?
False
Suppose 3*d - 4 = 8. Suppose 5*q + 3*k = d*q + 50, -2*q + k + 86 = 0. Does 14 divide q?
False
Suppose 0 = a - i + 6*i - 693, 0 = 3*a + i - 2149. Is 29 a factor of a?
False
Let m(g) be the first derivative of 2*g**3/3 - g**2 + g + 6. Suppose -3*l + 10 = 2*l. Is 2 a factor of m(l)?
False
Suppose -3*w - 13 - 29 = 0. Does 3 divide ((-24)/(-8))/((-3)/w)?
False
Let d(y) = 2*y + 52. Let h(g) = g**3 + 13*g**2 + 14*g + 13. Let a be h(-12). Is d(a) a multiple of 10?
True
Let j = 15 - 27. Let h be (-26)/(-12) + 2/j. Suppose -h*c = -6*c + 80. Does 10 divide c?
True
Let u be 21/27 - (-6)/27. Let t(x) = -8*x. Let q be t(u). Is 18 a factor of (-7)/28 - 466/q?
False
Let s(j) = -j**3 + 2*j**2 + j. Let t be s(-1). Suppose t*h - 7*h + 430 = 0. Is 10 a factor of h?
False
Suppose 3*l + 6 = 4*q,