of d?
True
Suppose -40*v = -20*v - 13*v - 156324. Is v a multiple of 77?
False
Let k = 130 - -313. Let b = -281 + k. Is 10 a factor of b?
False
Let z = 20579 + -14259. Does 47 divide z?
False
Let c(f) = 3808*f**3 + 3*f**2 - 13*f + 18. Is 68 a factor of c(2)?
False
Suppose 168 = -24*r + 16*r. Is (3 + r/9)*3138/4 a multiple of 12?
False
Let s = 252 - 59. Let k = -77 + s. Suppose 22 = 3*c - k. Is c a multiple of 15?
False
Let g = -1526 + 4123. Is g a multiple of 33?
False
Let k(z) = -8*z - 6. Let q be k(14). Let l = q - -120. Suppose l*m - 2*c - 562 = 0, 0 = -5*m - c + 875 + 524. Is m a multiple of 28?
True
Let v = -3393 - -5123. Does 28 divide (-52)/(-39) + v/3?
False
Let n = -15 + 15. Let u be n*((-6)/4 - -2). Suppose 3*w = -u*v + 5*v - 60, 10 = -2*w. Does 3 divide v?
True
Let o(z) = 37*z**2 - 64*z - 26 + 9 - z**3 + 22 + 16. Is o(35) a multiple of 33?
True
Suppose -56*v + 31*v + 27*v = 0. Suppose v = -5*x + 4*x + 100. Does 10 divide x?
True
Suppose 0 = -3*w - 5*m - 4 + 28, m - 6 = -w. Suppose -w*g - 4*c + 2195 = 0, -6*g + 3*c + 749 = -5*g. Does 30 divide g?
False
Suppose 180 = 4*h - 14*t + 10*t, 0 = -3*h - 4*t + 114. Let c be (h/18)/(-7)*-3*1. Is (3 + -7)/(c/(-9)) a multiple of 9?
True
Let j(k) = -3*k**3 + 22*k**2 + 7*k + 1. Let b be j(7). Let s(o) = b*o**3 + 185 - 2*o**2 + 2*o - 98*o**3 - o. Does 29 divide s(0)?
False
Let h(a) = -3*a**3 - 7*a**2 - 9*a + 3. Let f be h(-3). Let p(s) = s**2 - 27*s - 36. Is p(f) a multiple of 25?
False
Let w = 60 - 25. Let c = w + -30. Suppose 4*p = -c*o + 4*o + 7, -3*o + 2*p = -77. Is o a multiple of 5?
False
Let h(a) = -6*a - 24. Let v be h(-4). Let d(n) = -n**2 + 3*n + 47. Does 7 divide d(v)?
False
Let l(f) = 48*f - 28. Let r(p) = p**2 - 24*p + 42. Let j be r(23). Is 17 a factor of l(j)?
True
Suppose 12 = 4*l, -p - 2*p + 3 = l. Let x(g) = 3*g**2 + 13*g - 16. Let u be x(-20). Suppose 2*k - 9*k + u = p. Does 11 divide k?
True
Let z(q) = 16 - 16 + 24 - 52*q + 10. Is 18 a factor of z(-4)?
False
Suppose -4*a + 8 = -2*o, -4*o + 5 = -3. Let g = 5 - a. Suppose -g*w - 99 = -y, -w = -3*w - 4. Is y a multiple of 26?
False
Let q(u) = -4*u + 1185. Does 6 divide q(-86)?
False
Let g be (-36)/(-2) - (7 + (-4 - -2)). Let d be 4 - (-1899 + (0 - -3)). Suppose 6*x + g*x - d = 0. Does 23 divide x?
False
Let y = -32425 + 72167. Is 24 a factor of y?
False
Suppose -70893 = -87*c + 168970 + 275438. Does 291 divide c?
False
Let j(h) = h**2 - 29*h - 206. Let i be j(-6). Suppose -a + i*t + 7 = 0, 14 = a + 4*t - 1. Does 5 divide a?
False
Is 5 a factor of (386055/276)/(9/12)?
True
Is (-7200*39)/10*3/(-4) a multiple of 124?
False
Let w(z) = -z**3 + 2*z**2 - 4. Let o be w(2). Let r = -2 - o. Suppose -2*b + 25 = -r*g - 19, -56 = -2*b - 4*g. Is b a multiple of 8?
True
Suppose 0 = -101*f + 104*f - 8733. Is f a multiple of 9?
False
Suppose 12*g - 20076 = -4392. Does 42 divide g?
False
Suppose 6*r - 3078 = -2*q, 50*q - 54*q = r - 535. Does 14 divide r?
False
Let f(p) = -14*p + 32. Let s(l) = -l + 1. Let v(k) = f(k) - 12*s(k). Let i = -1 + 6. Is 6 a factor of v(i)?
False
Let d = -118 + 121. Suppose -x = 4*k - 12, d*x + 3*k - 96 = 6*k. Is x a multiple of 4?
True
Let x = 419 + -422. Does 59 divide (0 - -1) + (x - (-6 + -1042))?
False
Suppose -2879679 = -85*j - 294064. Is j a multiple of 19?
True
Let u = 897 + 684. Does 93 divide u?
True
Suppose 39*j - 2715 - 522 = 0. Let f = 537 + j. Is f a multiple of 22?
False
Suppose 4*w + 3 = 5*o + 2, -2*w - 14 = 2*o. Let t be 2*4/(w + 5). Suppose 3*h - 176 = -t*h. Is 4 a factor of h?
True
Suppose 237*g - 59038 = 459*g - 236*g. Is 3 a factor of g?
False
Suppose 0 = a + 3*x - 12, 5*a + 5*x - 71 = -11. Is 13 a factor of (-1714)/(-6) - (2 - 28/a)?
True
Suppose 3929*f + 100 = 3934*f. Suppose 0 = -f*l + 27538 + 7982. Does 14 divide l?
False
Let g(s) be the second derivative of 11*s**4/2 + s**3/3 + 3*s**2/2 + 3*s - 4. Suppose 4*y - 1 + 5 = 0. Is g(y) a multiple of 15?
False
Let b(t) = t**3 - 13*t**2 + 6*t + 17. Let h be b(7). Let o = -147 - h. Let j = o + -58. Is 7 a factor of j?
False
Suppose -150*t = -159*t + 180. Suppose b + t = 219. Is b a multiple of 6?
False
Let x be (-1)/3*84/14. Let c be 1 - (-4 + (-11)/x)*-2. Suppose 2*l - l - c*d = 85, -2*l - 2*d = -160. Is 7 a factor of l?
False
Let j(c) = -c**3 + 18*c**2 + 14*c + 99. Let h be j(19). Suppose 5*o = h*a + 600, 4*o - 587 = -2*a - 107. Is o a multiple of 32?
False
Let n be (-1)/2*2 + 4. Suppose 0 = 2*k - 95 - n. Let d = k + -24. Is 3 a factor of d?
False
Let b(c) = 5*c + 165. Let g(q) = q**2 - q - 3. Let w(p) = b(p) + 5*g(p). Let t = 0 + 0. Is w(t) a multiple of 25?
True
Let j be -7 - (8/(-2) + 935). Let m = 1646 + j. Does 8 divide m?
False
Let b(p) be the third derivative of -p**6/120 + p**5/10 + p**4/4 + 2*p**3/3 + 16*p**2. Let x be b(7). Is 11 a factor of (-2 + -20)/(1 + x)?
True
Let y be (2/(-4) + -2)*(-12)/15. Suppose -1 = -3*v + y*j + 1, 3*j = v + 4. Suppose -4*h + 50 = -v*g, 0 = 5*h - 0*g - 3*g - 63. Is h even?
True
Let j(y) = y**3 - 8*y**2 + 2*y - 12. Let p = -98 + 130. Suppose -2*f = 0, 4*t - f - p = f. Does 2 divide j(t)?
True
Suppose -3*j = -3*m + 24, -5*m + 6*m = -4*j - 12. Is 12 a factor of (-1915)/j - 25/(-20)?
True
Suppose 5*m - 3016 = 2*r, -r - 323 - 2695 = -5*m. Suppose 93 = -7*c + m. Is c a multiple of 7?
False
Let j(q) = q**2 - 6*q + 10. Let l be j(7). Let w be (2 - l)*-4*(-7)/(-10). Suppose 77*r - w = 75*r. Does 7 divide r?
True
Is ((-840)/(-45) - 18)/(3/16596*1) a multiple of 20?
False
Does 35 divide (272848/(-24))/(((-22)/(-3))/(-11))?
False
Suppose 0 = t + 4*i - 292, -1073 = -4*t - 61*i + 64*i. Does 68 divide t?
True
Let i = 6 + 3. Let d(r) be the first derivative of r**4/4 - 3*r**3 + r**2 + 13. Is d(i) a multiple of 6?
True
Let v = -7760 + 10098. Is 14 a factor of v?
True
Suppose 2*n + 4 = -2*w, -4*n = -6*n + 3*w + 11. Let m(r) = 407*r**2 - 10*r + 6. Is 14 a factor of m(n)?
False
Suppose -3*x + 18*x = 150. Suppose -25*j = -x*j - 1665. Does 5 divide j?
False
Let s(f) = 31*f**2 - 7*f. Suppose -708*p - 5 = -707*p. Is s(p) a multiple of 90?
True
Let g = 1742 + -1357. Does 7 divide g?
True
Let m(r) = -r**3 + 19*r**2 + 13*r + 1. Suppose s = -4*b - 7 + 36, 5*b = 2*s - 19. Is m(s) a multiple of 20?
True
Let r be (48/(-9))/(1/(-15)). Let w be (r/(-64))/((-9)/4 + 2). Suppose 4*z + 3*i = 640, -2*z + w*i + 672 = 2*z. Is 10 a factor of z?
False
Suppose 33*i - 36215 + 12356 = 0. Let t = -390 + i. Is 43 a factor of t?
False
Let a be (11 + -5)*(-1 + 3). Let p be 686/(-84) + 2/a. Does 32 divide (-498)/p - (-6)/(-24)?
False
Let c(p) = 3*p + 3*p**2 - p**2 + p**3 - 22 + 24. Let t be c(-1). Let u(n) = n**2 - n + 60. Is 26 a factor of u(t)?
False
Suppose 5*d + 2*f - 61543 = 0, f - 15088 = 4*d - 64312. Is 134 a factor of d?
False
Suppose 0 = g + 33 - 52. Suppose g*i - 6*i - 5746 = 0. Is 13 a factor of i?
True
Let l be 4/24 + 5/(-30). Suppose f - 59 = -4*t, l = 2*f - 4 - 2. Is t even?
True
Suppose 2*s - 5*l + 0*l - 22 = 0, 2*l + 8 = 0. Let u = 21 + s. Suppose 2*n - u - 2 = 0. Does 6 divide n?
True
Suppose -78*q + 79*q = 7, -f + 52955 = 5*q. Is f a multiple of 18?
True
Is 2 + -3*10480/(-30) a multiple of 75?
True
Does 40 divide 56350/(13 + -6) + (-7 - -2) - 5?
True
Let b(o) be the third derivative of 7*o**5/60 - o**4/12 + o**3 - o**2. Suppose -7 = -10*y + 13. Is 30 a factor of b(y)?
True
Suppose -7 = 5*m - 17. Suppose -m*q + 27 = 21. Suppose z - 6*z = 4*l - 28, q*z = -l. Does 2 divide l?
True
Suppose -5*h - 5*j = -25330, 4*h + 5*j - 3479 = 16783. Is h a multiple of 28?
True
Let x(p) = p + 5. Let t be x(-5). Suppose 4*i + 2*g - 18 = t, 0 = i - 4*g - 0*g + 9. Is 9 a factor of -2*(i - 47/2)?
False
Let z = -64 + 318. Suppose 0 = 5*p, z + 406 = 2*j - p. Does 11 divide j?
True
Let a be ((-402)/9 + 6)*(-10 + 1). Let f = 646 - a. Let c = -156 + f. Does 11 divide c?
False
Suppose -2*m - d - 184 = 0, -5*d - 380 = 4*m - 0*d. Let p = m - -110. Let j = p + 40. Is j a multiple of 26?
False
Suppose -3*g - 5*q + 12 = 0, -13*q + 20 = 5*g - 8*q. Suppose g*b + 381 = x, -3*x + 4*b + 619 + 508 = 0. Does 25 divide x?
False
Let o be (-1)/((-1)/(-3)) - (51 + -2). Let r = -53 - o. Does 18 divide 12*((-3)/(-4))/(r/(-6))?
True
Suppose 0*g - 2*g - 8 = -3*b, 3*b - 20 = -4*g. Suppose 2*f + b*q = 408, -8 = 2*q - 2. Is f a multiple of 35?
True
Suppose 18*j = 15*j - 106515. Does 14 divide 6