 Is o a multiple of 7?
True
Let w be 5 + -6 + 0 - -78. Suppose -w*a - 560 = -81*a. Is 28 a factor of a?
True
Let w(c) = 11*c**2 + 5*c - 50. Let m be w(-5). Suppose -2*r - 10 = -4*r. Suppose 165 = r*y - m. Does 10 divide y?
False
Let y(o) be the third derivative of o**6/120 - o**5/4 - 17*o**4/24 + 19*o**3/6 - 37*o**2. Let s be y(16). Is -4 + 100 + 6/s a multiple of 39?
False
Let f = -31484 + 37684. Does 31 divide f?
True
Suppose -2 = 11*y - 13. Let o be (11/2 + 2/4)*y. Suppose 9 = 7*x - o*x. Is x a multiple of 3?
True
Let a(n) = -n**3 + 9*n**2 - 3*n - 10. Let w be (-4 - 20/(-4))/(1/8). Is a(w) a multiple of 10?
True
Let z(s) be the first derivative of 25 + 20*s - 1/2*s**2 + 1/4*s**4 + 5/3*s**3. Is z(-5) a multiple of 5?
True
Let w be ((-6)/2)/(-5 + 78/12). Let v be 2/w*(0 - 0). Suppose v*b - 4*b + i + 337 = 0, -5*b = 5*i - 440. Is b a multiple of 16?
False
Let l(u) = 2*u**2 + 6*u - 18. Let w be l(-16). Let y = w - -81. Is 37 a factor of y?
False
Suppose -28*v - 4588704 = -36*v - 105*v. Does 32 divide v?
True
Suppose -3928 = -4*c - 2*u, -u + 535 + 2410 = 3*c. Does 18 divide c?
False
Let z = 4063 + -2196. Is 8 a factor of z?
False
Suppose -61*y + 63*y - 15630 = -4*p, -3*y - 3*p = -23454. Does 79 divide y?
True
Let g be (3 - 2)*-1*378. Let x = -247 - g. Is 19 a factor of x?
False
Suppose 5*p + h - 9680 = 0, 3*h = -p + 8*h + 1910. Does 15 divide p?
True
Let w be -5 - 2 - -3 - 1052/(-2). Is (w/(-15))/((4/(-40))/1) a multiple of 58?
True
Suppose -l + 153 = -631. Suppose -23*t + l = -2896. Does 20 divide t?
True
Let d = 82 - -2. Suppose -c + 17 = -g + d, -5*g = 3*c - 327. Suppose q - 242 = -g. Is q a multiple of 22?
True
Let c(d) = d**3 + 16*d**2 + 7*d + 18. Let a be c(-14). Let p = 526 - a. Suppose p = 6*l - 128. Is 6 a factor of l?
False
Suppose -392 = -28*n + 190 + 230. Is n a multiple of 15?
False
Let q = -58 + 79. Suppose -w + 10 = -3*g - q, 0 = -2*g + 2. Let p = w + -14. Does 10 divide p?
True
Let v(n) = -29417*n - 1501. Is 14 a factor of v(-1)?
True
Let k = -3889 + 5959. Does 10 divide k?
True
Let c(k) = 2*k**2 + 1 - k**2 - 14*k + 7*k + 26*k**3 + 5*k. Let f be c(1). Suppose g - 2*n - 178 = -f, -5*g + 746 = -3*n. Does 19 divide g?
False
Suppose -5*p + 16 = -p. Suppose -5*y + p*f + 0*f - 57 = 0, 3*y - 4*f + 39 = 0. Does 14 divide (y + (3 - 2))*-7?
True
Suppose 0 = -z + u, -14*z = -10*z + u + 25. Let b be 8/12 + (40/(-6))/z. Suppose -b*l + h = -132, -3*l - h - 11 = -199. Is l a multiple of 32?
True
Let i = 87 - 41. Suppose i*n = 47*n - 174. Does 6 divide n?
True
Suppose -2*o - 5*f + 0*f - 7 = 0, 4*o - 4*f = 0. Is (-1 + 273)*(o + 2) a multiple of 44?
False
Suppose -6*f + 15085 = -18635. Is 20 a factor of f?
True
Let y(v) be the first derivative of v**4/2 - 19*v**3/3 + 2*v**2 + 4*v + 34. Let t(q) = -q**3 - q**2 + q - 1. Let a(r) = -3*t(r) - y(r). Is 9 a factor of a(-22)?
True
Suppose 0 = -13*r + 19113 + 18171. Is 6 a factor of r?
True
Let v(c) be the second derivative of 1/12*c**4 + 7/6*c**3 - c + 0 - 18*c**2. Does 14 divide v(-15)?
True
Suppose 5*i - 86822 = -159*u + 153*u, -2*i + 34751 = -5*u. Is 26 a factor of i?
True
Let y be 1 + (-1)/4 + (-141)/12. Let j(i) = -i**3 - 12*i**2 - 13*i - 4. Let u be j(y). Suppose -c - 8 = -2*p, -4*c + u = 2*p - 10. Does 3 divide p?
True
Let k be (8 - (-494)/6)*9. Let y = -356 + k. Is y a multiple of 23?
False
Let b be 4 + 0/(6 + (2 - 5)). Let s be 1645/20 + 7/b + -2. Let u = s + -42. Does 12 divide u?
False
Let r(c) = 11*c + 6. Let d be r(-2). Let g = d - -11. Let w(m) = -3*m + 13. Does 4 divide w(g)?
True
Let n(w) = w**3 - 8*w**2 - w + 17. Let s be n(8). Let y(p) = 2*p**2 - 15*p + 13. Is 8 a factor of y(s)?
True
Suppose -w + 5*w = 0. Suppose w*c = 7*c - 315. Let u = c - 42. Is 3 a factor of u?
True
Let l be (-294)/(-16) + (-75)/200. Suppose -l*d = -594 - 54. Is d a multiple of 18?
True
Let c(z) = 13*z - 16. Suppose 282 + 30 = -8*m. Let p = -30 - m. Is 12 a factor of c(p)?
False
Let c = -9 - -15. Suppose c*t - 16 - 44 = 0. Suppose 95 = t*d + 15. Is d a multiple of 7?
False
Suppose 0 = 10*p - 253 - 977. Let x = p - -26. Let z = 27 + x. Is 22 a factor of z?
True
Suppose 0 = -38*w + 232082 + 83432. Is w a multiple of 16?
False
Suppose 12873 = 5*c + 4*h - 4737, -3*h = 2*c - 7044. Is c a multiple of 233?
False
Let r(d) = 175*d - 1141. Let q be r(6). Suppose -3*s - 4*z + 195 = -4*s, -s = 4*z + 179. Let a = q - s. Is 14 a factor of a?
False
Does 3 divide (480/(-84))/20*(1 - 571*2)?
False
Let v be (4/(-20)*0)/3 + 96. Suppose -7*b = -b - v. Does 2 divide b?
True
Let u = 87 + -3. Suppose 2*f + 78 - u = 0. Suppose -5*l + 171 = -3*o, -f*l = -2*o - 3*o - 93. Does 9 divide l?
True
Suppose 12*z - 4844 = 1456. Let y = 556 - z. Does 31 divide y?
True
Suppose 19*w - 7 = 50. Suppose 2*j = w*j - 5*p - 992, -5*p = 20. Is 18 a factor of j?
True
Let p be (-150)/(-22) - (-4)/22. Let j(k) = -5*k**2 - 5*k + 25. Let r be j(p). Let y = r + 427. Is 44 a factor of y?
False
Let n = -40405 - -58183. Is 70 a factor of n?
False
Let y be (-1 - (-45)/(-6))/((-3)/6). Let g = 39 - 62. Let m = y - g. Does 20 divide m?
True
Let o be 114/22 + 44/(-242). Let p(z) = z**3 - 3*z**2 - 5*z - 8. Let f be p(o). Suppose 14*l = f*l - 315. Does 21 divide l?
True
Let m = 33331 - 14826. Is 84 a factor of m?
False
Let r = 5084 + -1327. Does 8 divide r?
False
Suppose -1464 = -2*g - 6*g. Let j = 192 + g. Does 4 divide j?
False
Is 49 a factor of (155/(-25) + (5 - 5))*-25?
False
Let c(o) = 307*o**2 - 2*o. Suppose -35*i - 3*l = -32*i - 18, -7 = 3*i - 2*l. Is 38 a factor of c(i)?
False
Let j be 420/6*2/(-16)*-4. Suppose 0 = -v + l + j, 10*v + 2*l = 5*v + 203. Is v a multiple of 13?
True
Let k(d) = -d**3 - 9*d**2 - 8*d - 14. Let t be k(-8). Let p = t + 5. Let z = p + 38. Is 4 a factor of z?
False
Let f be 2/3 - (-35)/15. Suppose -3*y - 2*n = y - 16, 2*y - 16 = f*n. Suppose y*b + 307 - 827 = 0. Does 18 divide b?
False
Let l = -9981 + 24788. Does 17 divide l?
True
Let q(f) = f**2 - 23*f + 63. Let n be q(20). Suppose n*u + 2*i + i - 24 = 0, -3*i + 9 = 0. Is u a multiple of 2?
False
Suppose -32588 = -3*d + 288*k - 284*k, -5*d + 5*k + 54320 = 0. Is 143 a factor of d?
True
Does 52 divide ((-1)/26*-4 + 62/104)*30068?
False
Suppose f + 2*m + 228 = 1623, 6966 = 5*f + m. Is 47 a factor of f?
False
Is 10 a factor of (61 + -51 + (-24)/3)*(-6662)/(-4)?
False
Let r(c) = -7*c**2 + 4*c - 7. Let o(i) = 2*i**2 + i**2 - 3*i**2 - 1 + i**2. Let t(b) = 4*o(b) - r(b). Is 13 a factor of t(4)?
False
Let y(j) = -j**2 - 2*j + 277. Let k(g) = g**3 - 3*g**2 - 2*g + 6. Let s be k(3). Does 8 divide y(s)?
False
Suppose 155*u - o = 158*u - 17548, -5856 = -u + 3*o. Does 13 divide u?
True
Let m(b) be the first derivative of 5*b**3/3 - 53*b**2/2 + 113*b + 133. Does 13 divide m(24)?
False
Let i be 4 - ((-9)/(-3) + -170). Suppose 3*m + 5*l = -427, -4*m - 413 = 3*l + i. Let b = -25 - m. Is b a multiple of 11?
False
Is 8 a factor of (-3942)/(-8) - (-26)/1352*13?
False
Let c(y) = -15*y**3 - 28*y**2 - 6*y - 33. Is c(-9) a multiple of 153?
False
Let x = 149 - -344. Let b = x - 311. Is b a multiple of 11?
False
Let b(j) = 2*j**2 + 50*j + 81. Let c(r) = -r**2 - 25*r - 40. Let y(w) = 2*b(w) + 5*c(w). Let l = 1989 - 2005. Is 13 a factor of y(l)?
False
Let a be ((-6)/(-3) - 1)*(4 - -5). Suppose u + 16 = a*u. Is 23 a factor of (-3 + 1)/(u - (-48)/(-23))?
True
Let m(o) = -o**3 - 5*o**2 + 3*o - 8. Let v(n) = -71*n + 37*n + 32*n - 32. Let x be v(-13). Is 8 a factor of m(x)?
False
Suppose t - 5 = 0, t + 906 + 946 = -3*c. Let i = c - -732. Is i a multiple of 9?
False
Suppose -59333 = -85*x - 12*x + 1101660. Does 9 divide x?
False
Let n = 6 + -1. Let v(w) = -w**2 + w - 14. Let b(t) = 10*t**2 - t - 28. Let x(r) = b(r) - 2*v(r). Is 15 a factor of x(n)?
True
Suppose 8*f + 5*h - 55 = 7*f, -58 = -2*f + 3*h. Suppose -f - 14 = -s. Is 10 a factor of s?
False
Suppose 3*s = -4*c + 6714, 3*s = 7*c + s - 11793. Does 17 divide c?
True
Let i(c) = 2*c**2 - 3*c - 3. Let x be i(3). Suppose x*h = h - 60. Let l = h - -54. Does 9 divide l?
False
Suppose -c + 4*s = 209, -766 = 4*c - 0*c - 2*s. Let q = 122 + c. Let b = 109 + q. Does 7 divide b?
True
Let c(r) = 3*r**2 + 18*r + 20. Suppose -5*s - 3*n - 69 = 0, -14 = 2*s - 5*n - 5. Is 14 a factor of c(s)?
False
Let u be (-5 - (-7 - -6)) + 2 + 11. Suppose -u = -6*k + 9. Suppose 410 = k*f + 62. Does 2