ple of 34?
True
Let l(j) = -38*j**3 - 3*j**2 - 7*j + 4. Let k(y) = 38*y**3 + 2*y**2 + 6*y - 3. Let p be (-135)/36 - 1/4. Let b(s) = p*l(s) - 5*k(s). Is 35 a factor of b(-2)?
True
Let f = -107 - -100. Is (2 - 2) + (f - 5)*-3 a multiple of 9?
True
Suppose -r - 7288 = 4*f - 37709, 5*r = -4*f + 152249. Is r a multiple of 29?
False
Let c = -3108 - -12394. Is 12 a factor of c?
False
Let c = 17 + 464. Let m = c + -259. Is 17 a factor of m?
False
Let m(o) = 8*o + 8. Let z be m(6). Does 17 divide (-16)/3*(-2142)/z?
True
Let u = 5883 - 2767. Is 54 a factor of u?
False
Let w = 60 + -140. Let p = 112 + w. Suppose p*j + 29 = 33*j. Does 6 divide j?
False
Let v = 33 + -29. Suppose -10 = -5*z, -4*t - z = v*z - 18. Suppose t*x + 3*l - 171 = 0, 4*l = -3*x + x + 170. Does 17 divide x?
False
Let q be (93/(-6))/(3/36*-2). Suppose 5*z + 4*v - 1890 = 0, -q*v = -89*v. Does 6 divide z?
True
Let g = -670 + 408. Is (g/8)/(18/(-72)) a multiple of 22?
False
Let v(s) = -229*s**3 + 3*s**2 + 2*s + 1. Let c be 12/8*14/(-21). Is 11 a factor of v(c)?
True
Let g = 1940 - 1340. Suppose -21*y - g = -16*y. Is (6/4)/((-5)/y) a multiple of 9?
True
Let f(b) be the third derivative of 26*b**5/15 + 37*b**4/24 + 34*b**3/3 + 161*b**2. Does 7 divide f(-2)?
False
Let q = 388 - 179. Let u = q + -162. Is 3 a factor of u?
False
Suppose -11*p = -10*p - 5. Suppose -p*n = -105 + 10. Is 3 a factor of n?
False
Suppose 280 + 64 = 4*f. Suppose -f = -2*j - 2*s, -j - 4*s + 12 = -34. Is j a multiple of 22?
False
Let g(j) be the first derivative of -1 + 3*j - 2*j**2 + 0*j**3 + 1/4*j**4. Is 6 a factor of g(3)?
True
Is 5 a factor of -6*3 - (-228142)/74?
True
Suppose -b = -207 + 52. Suppose 9*f - 596 = -551. Suppose b = f*x - 0*x. Is 9 a factor of x?
False
Let a = -145 - -182. Suppose 2*n = 3*h + 49, -5*n + 96 = 3*h - a. Does 2 divide n?
True
Let n(m) = m**2 - 21. Let o be n(5). Let g(c) = 4*c**2 - 208*c + o - c**2 - c**3 + 209*c. Is 7 a factor of g(3)?
True
Let c = -6304 - -8262. Is c a multiple of 6?
False
Let r(g) = -15*g - 2. Suppose -4*w + 26 = -3*h - 6, -23 = -3*w + 2*h. Suppose 6*p + 1 = -w. Does 4 divide r(p)?
False
Let q = -9 - -11. Suppose -7*y + q*y = -7805. Suppose 7*l - y + 371 = 0. Is 16 a factor of l?
False
Let y(m) = m**3 + 8*m**2 + m + 18. Let l(u) = -u**3 - 8*u**2 - u - 18. Let b be (-28)/5 - 4/10. Let g(x) = b*l(x) - 5*y(x). Is g(-8) a multiple of 2?
True
Let q(k) = -81*k + 26*k + 41 + 24*k + 29*k. Does 55 divide q(-7)?
True
Let m = 20 - 11. Let j = -603 + 613. Suppose j*q - 161 = m*q. Is 23 a factor of q?
True
Let h(q) = q**3 - 10*q**2 + 11*q - 14. Let l be h(9). Suppose 5*x = x + 8. Suppose -l*d - 278 = -y, -5*y = -y - x*d - 1098. Is y a multiple of 33?
False
Let b(h) = 10*h**3 + 4*h**2 + 9*h + 19. Let o be b(6). Suppose 0 = -4*z - o + 6121. Does 19 divide z?
False
Let j be 4/(-32)*2 + (-33)/(-4). Is (-340)/j*72/(-90) a multiple of 4?
False
Suppose 5*x = 2*f + 3*x - 18, 0 = 2*x. Suppose -f*o + 5 + 4 = 0. Is 24 + 1 - (o + (-3 - -6)) a multiple of 21?
True
Let w(a) = -12*a**3 - 3*a**2 + 1. Let l be w(-2). Suppose -11*f + 388 - 355 = 0. Suppose -v = -n - f - 18, -4*v = -5*n - l. Does 3 divide v?
False
Suppose -26840 = -19*w + 4510. Suppose -10*x = -2430 - w. Is x a multiple of 17?
True
Let v(o) = 10 - 14 + 43*o - 216*o. Is v(-1) a multiple of 13?
True
Let t be (1 - (0 + -3)) + 0. Suppose -x - 76 = -t*b, 81 = 3*b - 3*x + 15. Suppose -b*g = -22*g + 240. Is 4 a factor of g?
True
Let y(z) = 4*z - 23. Let t be y(7). Suppose t*w = 11*w - 48. Is 4 a factor of w?
True
Is 52 a factor of (-15)/10 - 45048/(-16)?
False
Let u = -562 + 567. Suppose 526 + 1185 = 4*c - 3*p, u*p - 399 = -c. Is c a multiple of 16?
False
Suppose 18*a - 396 - 144 = 0. Suppose 33*n = a*n + 39. Does 2 divide n?
False
Suppose 24 = -262*o + 258*o. Let g(d) = -9*d + 10. Is g(o) a multiple of 5?
False
Let m = 22 - 16. Let q be (1 - (-1393)/(-3))/((-4)/m). Does 11 divide q/9 + 6/(-27)?
True
Suppose -622 = 8*y - 3*y + 3*h, 0 = 5*y - 5*h + 590. Let g = y + 126. Suppose 136 = 2*c - 4*b, -c - g*b + 56 = -0*b. Is c a multiple of 3?
False
Let p(g) = -513*g**3 - g**2 - 32*g - 30. Does 25 divide p(-1)?
False
Let w = 1856 - 1218. Let j = w + -404. Does 18 divide j?
True
Is 6/(-8) - 470568/(-21) - 11/44 a multiple of 23?
False
Let a be (18758 - 0)/(12 - (7 + 3)). Suppose 30*l - 28241 = a. Does 71 divide l?
False
Suppose -93 = 4*j - 7*j. Suppose 26*t - j*t + 30 = 0. Suppose -t*r = -2*r - 168. Is 8 a factor of r?
False
Let o = -239 + 125. Let l = o - -177. Is l a multiple of 6?
False
Suppose 29*l + 426 = 32*l - 5*x, 0 = -3*l - 5*x + 426. Is l a multiple of 24?
False
Let q(w) = w**2 - 4*w + 5. Suppose -5*u - 16 = 2*y + y, 3*u + 24 = 3*y. Let z be q(y). Suppose -157 = -3*j + n, -z*j + n = -124 + 20. Is j a multiple of 6?
False
Let a(l) = l**3 - 4*l**2 - 3*l + 10. Let p be a(4). Let v be (p - -2)*(-2)/4. Suppose v = -17*f + 22*f - 910. Does 26 divide f?
True
Suppose 192*d - 130*d - 62992 = 0. Is 14 a factor of d?
False
Suppose 9*o - 53 = -8. Suppose o*l = 124 + 171. Is 6 a factor of l?
False
Let s be 4 - -188 - (6 - 2). Suppose -6*h = -572 + s. Is 12 a factor of h?
False
Let i(x) = -6*x - 23. Let l be i(-5). Suppose -8*h = 7 - 31. Suppose -287 = -q + t, -l*q + h*q = t - 1148. Does 34 divide q?
False
Suppose -513 = -o - 5*y + 957, y + 3 = 0. Is o a multiple of 45?
True
Let c(y) be the second derivative of 3*y**5/20 - 5*y**4/2 - 2*y**3/3 + 13*y**2 + y + 1. Is 23 a factor of c(11)?
True
Is 28984*1 - 672/28 a multiple of 5?
True
Let b(u) = -6817*u**3 + 8*u**2 + 9*u. Is b(-1) a multiple of 48?
True
Is 1/(20/(-30915))*(-17)/(357/112) a multiple of 9?
True
Suppose -89413 = -5*t + 3*h, -4*t + 3*h = 21014 - 92542. Is 7 a factor of t?
True
Let q = 2086 + -694. Let f = q + -848. Does 8 divide f?
True
Suppose -160*g + 115*g + 477405 = 0. Is g a multiple of 90?
False
Suppose -r - 364 + 1068 = 0. Suppose -10*i + r = -9*i + t, -5*i + 3516 = 3*t. Is i a multiple of 18?
True
Let t = 33895 + -11731. Is 12 a factor of t?
True
Let m(s) = 42*s**2 - 35*s + 8. Is m(14) a multiple of 31?
True
Let g = -106 - -121. Suppose 231 = -4*q + g*q. Does 21 divide q?
True
Let h(z) = z + 34. Let u(s) = -s**3 + 10*s**2 - 4*s + 4. Let y be u(4). Let g be 2/5 + y/(-10) - -1. Does 13 divide h(g)?
False
Suppose -35*z + 12792 + 26330 = 27*z. Is z even?
False
Let s(d) = 24*d**2 + 8*d - 14. Let a be 1 + 0 - 4 - -7*1. Let t be s(a). Suppose 8*w - t = 5*w. Is w a multiple of 28?
False
Let s = 4051 - 2701. Does 10 divide s?
True
Let q = 5597 + -3501. Is q even?
True
Let f(z) = -2*z**2 - 40*z + 1. Let j be f(-20). Is 63 a factor of 15 - 18 - j*-531?
False
Suppose 2*w - 3*w = 3*f - 433, 5*f - 5 = 0. Suppose -6*q + w = 34. Is 3 a factor of q?
True
Let z = 272 + -408. Let f = z - -582. Is f a multiple of 20?
False
Let a be (-4 + 2 - -1)/(15/1395). Let z = a - -158. Does 7 divide z?
False
Let g(w) = -43*w + 6. Let y be g(2). Let z = 83 + y. Suppose 4*t - 305 = -z*h + 139, 0 = 3*t - 5*h - 304. Does 12 divide t?
True
Let j(n) = -7*n - 44. Let y be j(-8). Let x be (y/(-8))/((-3)/8). Suppose f + 106 = 3*l, -x*l + 105 = 3*f - 58. Does 5 divide l?
False
Let q(j) = j**3 - 54*j**2 - 104*j - 287. Is q(56) a multiple of 79?
False
Is 11 a factor of (54912/40)/((-1)/(-5))?
True
Let j(d) = -5*d - 8. Let k be j(-14). Let x = k + -76. Let r = x - -80. Is r a multiple of 12?
False
Suppose -46*a + 10*a = -3*a - 599841. Is a a multiple of 219?
True
Suppose -5*g + 154 = 3*w, -2*w = -0*w + 3*g - 104. Let i be -49 + w + -4 + (0 - -1). Is (-212)/(-6)*(i + 18/(-6)) a multiple of 52?
False
Is (-1171548)/(-87) + 5/145*-2 a multiple of 32?
False
Suppose -25*r - 468 = -34*r. Is (-2 + (-786)/21)*(-182)/r a multiple of 40?
False
Suppose 6*b - 7 = 7*b. Let q(u) = 22*u**2 + u + 51. Is q(b) a multiple of 51?
True
Suppose -4*r - 128604 = -11*u + 7*u, -r - 128616 = -4*u. Is u a multiple of 59?
True
Let d = 30242 - 13344. Is d a multiple of 71?
True
Let p(w) = -3*w**3 + 4*w**2 - 33*w + 88. Does 13 divide p(-8)?
False
Let f = 369 + 196. Suppose -c + 135 = -f. Is c a multiple of 13?
False
Let p = 31 + -21. Is 3 a factor of p/(-15)*6 - (-3 - 65)?
False
Suppose 0 = -5*w - 5*h + 8150 + 11735, 2*h - 11927 = -3*w. Is 137 a factor of w?
True
Let n(h) = -h**3 - 24*h**2 - 43*h + 35. Let r be n(-22). Is (226 - r) + -2 + -2 + 4 a multiple 