de m(y)?
True
Does 29 divide 6/10 + 1 + (-16108)/(-20)?
False
Let x(y) be the first derivative of 1/2*y**2 + 9 + 36*y. Is x(0) a multiple of 13?
False
Let b be (-3)/(-6)*0/1. Let h be 1*(-1 - 2) - b. Is (h - 0/3) + 14 a multiple of 8?
False
Let d(c) = -2 + 6 - 1 - 14*c - 1. Let v be d(-1). Does 8 divide v*1 - (-7 - -6)?
False
Let m(r) = -r**3 + 6*r**2 - 8*r + 3. Let s be m(4). Suppose -6*q - s*q = -1332. Is 36 a factor of q?
False
Suppose -4*v + 7*v = 126. Let x = v - -1. Does 16 divide x?
False
Let d(g) = -g**2 + 4*g + 3. Let s be d(5). Let y(q) = -10*q - 10*q - 3 + 12*q. Does 3 divide y(s)?
False
Let q = -6 - -4. Is 4 a factor of q*(-4 + 4 - 2)?
True
Let p be (-312)/20*(3 + 3/9). Let n = p - -75. Is 4 a factor of n?
False
Let g(c) = -3*c + 0*c**2 - 123 + 6*c**2 - c**2 + 116. Does 17 divide g(-4)?
True
Let f be (-1)/(-2)*(2 - 4/(-2)). Suppose -f*t = 2*a - 172, 69 - 395 = -4*a + 5*t. Is a a multiple of 21?
True
Let j(g) = 25*g**2 - 3*g - 5. Let r be j(-4). Suppose 3*x + 83 = r. Suppose -x = -5*o + 82. Does 27 divide o?
False
Let b be (3 + 44/(-12))*(11 - 2). Does 14 divide b/(-9) + (-1)/(9/(-120))?
True
Suppose 6*n = 31 + 473. Suppose -5*d - 9*f + 210 = -5*f, -f - n = -2*d. Does 7 divide d?
True
Let t(j) = -2*j + 24. Let w be t(11). Suppose -3*h - 3*k + 305 = h, -2*h - w*k = -150. Suppose -5*c = -0*c - h. Does 8 divide c?
True
Let x = -4 - -7. Let w(b) = -13*b**2 + 20*b**2 - 6*b**2 - x*b - 6. Is w(6) a multiple of 9?
False
Let x(s) = 32*s**2 + 26*s - 101. Is 17 a factor of x(7)?
True
Let r be (1 + -1)*3/(-6). Suppose -174 = -3*n - 2*s, 4*n - 4*s - 329 + 77 = r. Does 10 divide n?
True
Suppose 3*l - 5*f = 22, f = -5*l + 4*f + 58. Suppose l = 4*c - 4*x - 34, 0 = -4*c + 3*x + 51. Let d = c - -8. Is d a multiple of 23?
True
Let u = 293 - -357. Does 26 divide u?
True
Let j(r) = 31*r + 266. Is j(-6) a multiple of 5?
True
Let y = -109 + 571. Does 14 divide y?
True
Is 21 a factor of 108/(-27) + 15*51?
False
Let x be (-6 - -8)*(1 + 1). Suppose c + 4*c + 5*v = 290, x*v + 8 = 0. Is 20 a factor of c?
True
Let s(x) = -x**2 - 66*x - 68. Is s(-49) a multiple of 79?
False
Is 4 a factor of (-16)/3*(-1611)/6?
True
Is 22 a factor of -3 + 2/(4/314)?
True
Let v be -2 + -12*8/(-12). Suppose u + u = v. Suppose u*x - x = -5*q + 80, -x + 4*q = -14. Does 15 divide x?
True
Let k(j) = j**2 + j + 2. Let t be k(0). Suppose -t*w + 0 = -6. Suppose 0 = -3*m + w*c + 9, 5*m - 9 = 2*c - 3*c. Does 2 divide m?
True
Suppose -958 + 308 = -5*i. Does 13 divide i?
True
Suppose 3*t - 15 = -2*t. Suppose x + 2 = t*x. Is 16 a factor of 120 + (x - -1) + 2?
False
Suppose 0 = -4*s - h + 113, -4*s + 0*h + 123 = 3*h. Let c = s - -42. Is 14 a factor of (-1)/((-6 + 3)/c)?
False
Suppose 41*t - 39*t = 8. Suppose -4*m + 803 = 5*i, -2*i - 3*i = -t*m + 853. Is 23 a factor of m?
True
Let h = 320 + -254. Is h a multiple of 33?
True
Let a = 589 - -113. Does 48 divide a?
False
Let y = -9 + 44. Suppose -o + y = -28. Is o a multiple of 21?
True
Suppose 2*j + 5*d - 408 = -150, 4*d = 16. Is 4 a factor of j?
False
Let l(h) = 7*h**2 + 6*h - 3. Let g(t) = 2*t**2 + 10*t + 8. Let b be g(-3). Is 17 a factor of l(b)?
True
Is 5 a factor of 21882/147 + (-40)/(-35)?
True
Let b(s) = s**3 - 3*s**2 + s + 1. Let k be b(3). Suppose 5*f + 6 = 2*z, -2*z + f + 2 = -k. Suppose z*v - 94 = v. Is v a multiple of 15?
False
Let p = -660 - -1010. Suppose -20 = -s + 3*x + 177, p = 2*s + 5*x. Is s a multiple of 37?
True
Let s be (1*4)/(10/115). Let p = s - 17. Is 27 a factor of p - ((-6)/(-2) + -1)?
True
Let v(c) be the second derivative of c**4/12 - c**3/2 + 3*c**2/2 + 16*c. Let w(k) = -k**2. Let m be w(-2). Does 10 divide v(m)?
False
Suppose a + 3*a = -0*a. Let t(x) = -3*x**3 - x**2 - x + 41. Is t(a) a multiple of 7?
False
Suppose 3*k - h = 2*k, -3*h = -5*k + 8. Suppose 256 = k*w - 0*w - 2*i, -3*w = -i - 191. Does 8 divide w?
False
Let s(g) = g**3 + 35*g**2 - 19*g + 128. Is s(-35) a multiple of 27?
False
Let t be (-80)/15*(-42)/4. Let k be t/(-9) + (-6)/(-27). Does 31 divide ((-201)/k)/((-1)/(-2))?
False
Suppose 0 = 2*k + m - 14, 0*m - 3*m = 5*k - 37. Suppose k*u = 10, i = -0*u - 5*u + 29. Is i a multiple of 6?
False
Let z be ((-66)/(-10))/(8/80). Let r be 6/(-2) - z/11. Is 8/6*(45 + r) a multiple of 16?
True
Let h be (-1)/(-4) - 67/(-4). Let c = -1 + h. Suppose 0*q - c = -4*q. Is 3 a factor of q?
False
Suppose 930 = -4*q + 3*u, -208 = 2*q - 3*u + 260. Let t = -147 - q. Suppose 3*k - k - t = 0. Is k a multiple of 14?
True
Let v(c) = c**3 + 19*c**2 + 4*c - 28. Let w be v(-15). Suppose 6*h + 3*k = h + 1025, -4*h + w = 4*k. Is 45 a factor of h?
False
Suppose -7*x + 2*x + 125 = 0. Let a = x + -23. Suppose p - 27 = -2*y, -p + 3*y = a*p - 81. Is 9 a factor of p?
True
Let i = 150 - -25. Suppose 9 + i = 4*x. Does 23 divide x?
True
Let u(x) = x. Let l = -3 - -7. Let g be u(l). Is 5/(-4)*-5*g a multiple of 14?
False
Let k(i) = i**3 + 7*i**2 - 8*i. Suppose 16 = -m - m. Let q be k(m). Suppose 2*l - 80 = -q*l - 2*s, l + 4*s = 34. Does 14 divide l?
True
Suppose 2*h = -h + 5*z + 77, -4*h + z = -80. Let r = h + 10. Is 12 a factor of r?
False
Suppose -231 - 798 = -7*b. Is b a multiple of 13?
False
Let o(s) = -12*s + 2. Let u be o(8). Let c = 152 + u. Is c a multiple of 9?
False
Let z be 6/(-18) - 2/(-6). Suppose z*g - 12*g = -1032. Does 49 divide g?
False
Let y = 8 + -11. Is 30 a factor of y/(-4) + 4913/68?
False
Let a = 1678 + -688. Is a a multiple of 18?
True
Let w(r) = 19*r**3 - 3*r**2 - 15*r + 45. Is w(3) a multiple of 18?
True
Let z(t) = 6*t**2 - 39*t - 67. Does 19 divide z(15)?
False
Let v = 1243 + -278. Does 12 divide v?
False
Let o(w) = w**3 - 4*w**2 + 3*w - 1. Let u be o(3). Does 40 divide (4/10)/u*-120?
False
Suppose -4*q + 153 = -351. Is q a multiple of 21?
True
Let v(u) = u - 13. Let m be v(3). Let x be 63/15 - (-2)/m. Suppose -2*a = -x*j - 116, 8*j - 3*j = -4*a + 245. Is 12 a factor of a?
True
Let r(y) = -y**2 - 23*y + 7. Suppose 4*m - 4*n + 0*n = -48, 5*n = 5. Let c be r(m). Suppose 2*f = 2*g + f - c, -2*g + 2*f + 138 = 0. Is 14 a factor of g?
True
Let c = 2265 - 1545. Is c a multiple of 9?
True
Suppose -4*h = -5*d + 41, h = 4*d + d - 29. Suppose d*q - 595 = 125. Suppose -5*n = -n - q. Is n a multiple of 11?
False
Let b = 179 + -96. Let j(h) = 3*h + 1. Let l be j(-1). Is 24 a factor of b + (4 + l - 0)?
False
Is 27 a factor of ((-14232)/22)/(-6) + 2/11?
True
Let x(h) = -30*h**3 + h**2 + 2*h + 1. Let w be x(-2). Suppose -w = -7*n + 11. Does 36 divide n?
True
Suppose 0*k + 936 = 2*d + 4*k, 5*k - 465 = -d. Does 47 divide d?
True
Let n be (-1)/(-6) + 2226/36. Suppose -52 = -2*v - 2*s, 3*v - 4*s - n = -19. Is v a multiple of 6?
False
Suppose f = -1 + 3. Suppose 114 = 4*v + 3*s, 86 = 3*v - 0*s + f*s. Let c = 1 + v. Is c a multiple of 9?
False
Suppose 101 = c - 34. Let p = -73 + c. Does 5 divide p?
False
Let q = -5 - -10. Suppose q*f + 0 = 25. Suppose -f - 6 = -u. Is 3 a factor of u?
False
Suppose 1085 = 3*j - 0*j - t, 0 = 2*j - 3*t - 735. Is j a multiple of 45?
True
Let q(n) = 8*n + 9. Is 20 a factor of q(16)?
False
Let y(a) be the first derivative of -9/2*a**2 + 20*a + 11 + 5*a**3 - 1/4*a**4. Is 17 a factor of y(14)?
False
Let j = 46 - 70. Does 14 divide (j/9)/((-7)/147)?
True
Let y = 1337 + -663. Is y a multiple of 15?
False
Let k(l) = l + 53. Is 3 a factor of k(4)?
True
Let g(m) = -m**3 - 11*m**2 - 30*m - 4. Does 20 divide g(-12)?
True
Suppose 4*j = 75 + 129. Let d = j - -1. Suppose -5*w + d = 12. Is 3 a factor of w?
False
Let g = -83 - -81. Let n(d) = -5*d - 5. Does 2 divide n(g)?
False
Let i = -648 - -924. Is i a multiple of 23?
True
Suppose 393 = 4*y - 4423. Is y a multiple of 43?
True
Suppose 0 = 5*x - 4*k - 20334, 3854 = 2*x + 5*k - 4273. Is x a multiple of 20?
False
Suppose 2*v + 8 - 12 = 0. Is -15*((-695)/100 - v/8) a multiple of 26?
False
Is 15*(-68)/18*(-114)/5 a multiple of 38?
True
Suppose -3*m + m + 6 = 0. Suppose o = -4*r + 5*o + 16, 2*r = -m*o + 23. Let g(v) = v**2 - 5*v + 4. Is g(r) a multiple of 6?
True
Let i = -114 + 219. Is i a multiple of 32?
False
Let i be 370/(-10) - 3*-1. Let d = i - -47. Suppose -d = -4*z + 67. Does 10 divide z?
True
Suppose -m - 1 = -7. Suppose 0 = 6*a - 3*a + m. Is (-1 - -20) + (a - -5) a multiple of 11?
True
Suppose 0 = -4*g + 2*o + 2036, -3*g - 508 = -4*g + o. Does 51 divide g?
True
Let l(g) =