0. Suppose u*t - h - 89 = 0. Is t a multiple of 13?
True
Let j be ((-5)/(-3 + 152/50))/1. Let o = -39 - j. Does 39 divide o?
False
Is 41 a factor of 3262 - (-1 - (4 + -2))?
False
Does 110 divide (110/9)/((-95)/(-855))?
True
Let c(j) = 5*j + 52. Let v be c(-11). Is (60/(-7))/(v/(-63)*-3) a multiple of 10?
True
Is 11 a factor of 6*(5 + 4134/18)?
True
Let d(i) = i**3 - 6*i**2 + 2*i + 10. Let y be d(6). Suppose -2*k = 3*k - 20. Suppose k*u = 6 + y. Does 2 divide u?
False
Suppose -4*o + 16 + 12 = 0. Let t(p) = 0*p - p**3 - 2*p + 319 + 8*p**2 - 322. Is 8 a factor of t(o)?
True
Let k(d) be the second derivative of d**4/6 + 11*d**3/6 - 29*d**2 + 2*d. Is k(-16) a multiple of 17?
False
Suppose -c + 263 = 2*f + 85, -5*c = -4*f - 904. Does 7 divide c?
False
Let y(b) = -b**3 + 7*b**2 - 7*b + 7. Let v be y(7). Let h be -4*(-3 + v/(-8)). Is (243/h)/(6/(-4)) a multiple of 9?
True
Let a = -3 + 2. Let v be ((-6)/(-4))/(6/(-56)). Is 19 a factor of v + 88 + a*3?
False
Let d(p) be the second derivative of -2*p**3 - 8*p**2 - 15*p. Does 7 divide d(-5)?
False
Let l(z) = -2*z + 4. Suppose 5*q - 36 = 4*a + 25, -a + 16 = 5*q. Is 11 a factor of l(a)?
True
Let m = -561 - -939. Is 9 a factor of m?
True
Let d(g) = g**3 - 18*g**2 + 38*g - 40. Is 4 a factor of d(16)?
True
Suppose 2*h = -5*c + 2118 + 2025, -4*c - 10407 = -5*h. Is h a multiple of 9?
True
Let c(o) = o**2 - o - 1. Let d be c(-1). Is -2 + d + 256/2 a multiple of 22?
False
Suppose 0 = 24*b - 19925 - 11659. Is 11 a factor of b?
False
Let q(x) = -3*x**2 - 7. Let t(a) = -7*a**2 - a - 13. Let b(v) = -5*q(v) + 2*t(v). Let y be (-6)/(-4) - (-247)/(-26). Does 36 divide b(y)?
False
Suppose 0 = -4*n + 10*n - 3198. Is n a multiple of 10?
False
Suppose 4*g - 5*g = 2. Let y(x) = 16*x**2 + 2*x + 2. Let l be y(g). Suppose -6 = -4*v + l. Is v a multiple of 17?
True
Let x be (-2)/5 + (-3553)/55. Let i be 156/x*(-5)/2. Suppose -4*k - 134 = -i*k. Does 31 divide k?
False
Let k(r) = -r**2 + 27. Let m be k(-5). Suppose 4*v - 2*p = 598, -2*v + m*p = -0*v - 304. Is v a multiple of 49?
True
Let n(i) = -26*i - 64. Let q(u) = 5*u + 13. Let r(o) = -2*n(o) - 11*q(o). Does 2 divide r(-6)?
False
Let n = 18 + -24. Let w be 1*3/n*-4. Suppose -w*d = -13 - 23. Is 14 a factor of d?
False
Suppose 66 = 2*q + 5*x, 2*q + 3*x - 74 = 2*x. Suppose q = t + 4*u, t - 4*u - 44 = -5*u. Does 20 divide t?
False
Suppose 0 = -5*b - 40*b + 47790. Does 6 divide b?
True
Let s(c) = -c**3 + 24*c**2 + 10*c + 18. Is s(24) a multiple of 43?
True
Let k(l) be the first derivative of -7*l**2/2 + 36*l - 3. Let t(v) = 7*v - 37. Let h(y) = 7*k(y) + 6*t(y). Is 31 a factor of h(-9)?
True
Let c be -40 - (-2 - (-1)/1). Let n = -58 - 6. Let o = c - n. Does 5 divide o?
True
Let n be (-16)/(-8) + (1 - 0). Let f be 2*n/2 - 13. Let z = 37 + f. Is 11 a factor of z?
False
Let x be 0/((2 - -2) + -7). Is 9 a factor of 74 + x + 1 + -3?
True
Let a = -6 + 13. Suppose -3*t = 1 - a. Suppose -4*d + 204 = -x + 6*x, t*d + 3*x - 104 = 0. Is d a multiple of 17?
False
Suppose 2*c - 4*y + 2 = 0, -3*c - 13 = c - 5*y. Let p(d) = 2*d**2 + 8 - 9*d**3 + 6*d**2 + 7*d + 10*d**3. Is p(c) a multiple of 2?
True
Is 5 a factor of 4/1 + 21 + 5?
True
Let p(x) = 2 - 1 + 4*x - 2*x - 3. Is 8 a factor of p(10)?
False
Suppose 0 = 34*a - 35*a + 408. Does 17 divide a?
True
Suppose u = 5, 0 = -2*c - 57*u + 56*u + 1307. Does 75 divide c?
False
Let n(v) = -v**3 + 20*v**2 - 20*v + 13. Let a be n(17). Suppose l - a = -2*l. Is 15 a factor of l?
True
Let g(m) = -m**3 - 4*m**2 - 2*m - 8. Let s be g(-6). Suppose 4*h + q - s = -q, q = -2. Suppose 0 = -4*d + h, -2*d + 3 = -4*z + 13. Does 3 divide z?
False
Let n = -134 - -254. Let d be (-6)/21 - n/(-28). Suppose v + 27 = d*v. Is v a multiple of 3?
True
Suppose 1429 = 3*r + 5*q, 4*r + q = 2715 - 787. Is r a multiple of 69?
True
Suppose 2*a + 4*y = 10, -5*a + 5*y + 48 = -2*a. Let p = a - 11. Suppose 5*w = 10, p*g - 2*w = -3*g + 41. Does 13 divide g?
False
Let j be 72/8*(-1)/(-3). Suppose 0 = -9*t + j*t + 432. Is t a multiple of 8?
True
Let f = -69 - -78. Is 3 a factor of f?
True
Suppose 151*v = 154*v - 8052. Does 11 divide v?
True
Let q = -63 - -858. Is 10 a factor of q?
False
Let n = -659 + 909. Does 6 divide n?
False
Let n = 10 - 2. Suppose -n = 4*s - 4. Is 3 a factor of s/((-4)/(52/1))?
False
Suppose -383 - 1369 = -4*r. Suppose 12*b = 9*b + r. Does 20 divide b?
False
Let w(s) = 2*s**2 - 13*s + 12. Let o be w(9). Suppose 3*v = -u + 18 - 0, -4*u + o = -3*v. Does 2 divide u?
False
Let z(p) = -8*p - 9. Let m(u) = 7*u + 10. Let g(f) = -2*m(f) - 3*z(f). Let x(c) = -2*c**2 + 7*c + 19. Let w be x(5). Does 23 divide g(w)?
False
Is (-9722)/(-18) + 12*(-15)/1620 a multiple of 60?
True
Let u(p) = p**3 - 5*p**2 + 10*p - 2. Let l be u(9). Suppose 4*t = -4*v + l, -39 + 353 = 3*t + 4*v. Does 11 divide t?
False
Suppose 380*d + 2100 = 390*d. Is 21 a factor of d?
True
Let j = 30 - 28. Suppose 21 = -j*v + 95. Does 4 divide v?
False
Let g(f) = -f**3 - 5*f**2 - 4*f - 3. Let i be g(-5). Let j = 8 - i. Is 84/j*(-18)/7 a multiple of 21?
False
Suppose 8*j - 1489 + 305 = 0. Suppose -h + j = 4*q, -2*h - h = -4*q + 164. Is 6 a factor of q?
False
Suppose 4315 = 2*j - 5*y, -4*y + 8*y = -2*j + 4342. Is 45 a factor of j?
False
Let z(f) = -28*f - 57. Does 11 divide z(-6)?
False
Let i(h) = -16*h**2 + 56*h - 51. Let x(u) = -3*u**2 + 11*u - 10. Suppose 0*z + 1 = -o - z, 4*o - 5*z + 13 = 0. Let t(l) = o*i(l) + 11*x(l). Does 9 divide t(4)?
False
Let d(y) = 97*y + 97*y - 29*y. Let a be d(-7). Is 7 a factor of a/(-120) - 6/(-16)?
False
Suppose 2060 = 2*g - 2290. Does 27 divide g?
False
Let s(h) = -h**3 + 20*h**2 - 2*h - 10. Let y be s(20). Suppose -q + l = 17 + 60, -2*q - 147 = 5*l. Let m = y - q. Does 10 divide m?
False
Suppose 0 = 3*i + 4*i + 1330. Let a = -117 - i. Is 16 a factor of a?
False
Suppose -110*j + 121*j = 1892. Does 2 divide j?
True
Suppose -p + 6*p - 380 = 0. Let j = p - 31. Suppose -j + 255 = 5*k. Is 14 a factor of k?
True
Suppose -18 + 74 = 8*r. Let b(t) = 12*t. Is b(r) a multiple of 14?
True
Let y(n) = 2*n - 2. Let s be y(3). Suppose -r + 8 = -s. Does 10 divide r?
False
Suppose -1 = -3*v + 8. Is (0 - -4) + (57 - 1) + v a multiple of 18?
False
Let n(z) be the third derivative of -11*z**2 + 0 + 1/120*z**6 + 11/3*z**3 - 1/24*z**4 + 0*z**5 + 0*z. Is 19 a factor of n(0)?
False
Let o(q) = q**2 + 11*q + 15. Let u be o(-12). Is 12 a factor of u - 24 - (-17 - (-1 - -3))?
False
Let a = 1000 + -648. Does 45 divide a?
False
Is 3277 + ((-126)/(-14) - -4) a multiple of 7?
True
Let f be 1/7 - 20/(-7). Suppose 0 = 5*a + 3*g, a + 5*g + 31 = f*a. Suppose 45 = -0*s + a*s. Is 9 a factor of s?
False
Suppose -v + 12 - 2 = 3*d, -24 = -4*v - 4*d. Suppose -8 = -x - 2*t, -3*x - v*t = t - 21. Suppose 3*a = -r + 12, x*r = 3*r + 2*a - 16. Does 24 divide r?
True
Suppose 4*w + 150 = 4*m - 14, -3*m + 133 = -w. Is m a multiple of 2?
True
Let m(h) = h**2 - 13*h + 24. Let g be m(17). Let t = g - 52. Is 10 a factor of t?
True
Let y be ((-33)/9)/(7/21). Is 12 a factor of 0 + y/((-33)/72)?
True
Suppose -602*g + 607*g - 40 = 0. Is 6 a factor of g?
False
Is 138/(-1311) - (-48414)/19 a multiple of 23?
False
Let c be 26/(-8) + (-7)/(-28). Let j = c - 1. Is 2 a factor of 1 + 0 - (j + -2)?
False
Let i(c) = -110*c**3 - c**2 - 3*c - 3. Let r be i(-2). Let h = r + -1831. Is 3 a factor of 4/(-22) - h/154?
True
Suppose -5*s = -0*s - 10. Let j be -15*2/(-4)*s. Let o = j + 25. Is o a multiple of 8?
True
Is 10 a factor of 8/(-108) + (-4062)/(-162)?
False
Suppose -3*a = -3*d + 21, -2*d + 4*a - 3*a + 10 = 0. Suppose -151 = -d*j - 52. Does 33 divide j?
True
Suppose 12 = 3*d, 0 = -4*l - 13*d + 11*d + 1528. Is l a multiple of 20?
True
Suppose 3*u - 5*c - 1919 = 0, -4*u + 2245 + 311 = -4*c. Is 72 a factor of u?
False
Let z(s) = s**3 + 30*s**2 - 77*s + 17. Is z(-32) a multiple of 13?
False
Suppose -7*y = -3*y - 5*l - 24, -y - 2*l = -6. Suppose -y*o = -4*o - 6. Suppose 11 = v + 2*x, 0 = 2*x - 3*x + o. Is 4 a factor of v?
False
Let m(v) be the first derivative of v**4/4 + 8*v**3/3 - 3*v**2 - 18*v - 7. Is m(-8) a multiple of 6?
True
Let b be 1/(-3 + 2060/685). Let g = -107 + b. Is 15 a factor of g?
True
Let q(u) = -1064*u + 80. Does 48 divide q(-2)?
True
Suppose 0 = -3*f + 5 + 25. Suppose -7*a - f = -9*a. Suppose a*q = -25, 3*g = -5*q + q + 13. Is 3 a factor of g