= -3010. Let i = -452 + j. Does 3 divide i?
False
Let z(a) = 36*a**2 + 4*a + 10. Let r be z(-3). Let n = 201 - r. Does 3 divide (-1551)/n - (-4)/22?
False
Let v(r) = -r**2 - 3*r - 2. Let d(t) = -t + 1. Suppose 0 = 2*p - 2 - 2, -2*q + p - 4 = 0. Let u(y) = q*v(y) - d(y). Is u(-9) a multiple of 8?
False
Let i = -155 + 163. Is ((-4)/i)/(4/(-920)) a multiple of 13?
False
Suppose 0*v - 2*v + 2 = f, 5*f = 20. Let u(s) = s + 3. Let c be u(v). Suppose 2*n = -t + 5, -2*t + 2*n + 42 = -c*n. Does 2 divide t?
False
Let d = 44 - 84. Let f = -16 - d. Is f/30*((-1325)/2)/(-5) a multiple of 34?
False
Let q(b) be the second derivative of 5*b**4/12 - 8*b**3/3 - 9*b**2 - 3*b + 278. Let l be (-54)/(-7) - (-2)/7. Is q(l) a multiple of 29?
True
Let d = 837 - 835. Suppose 2*s + 0*s = 6. Suppose -2*f + 140 = d*p, 2*f - s*f - 62 = -p. Is p a multiple of 10?
False
Suppose 7548 + 122868 = 12*b. Is b a multiple of 44?
True
Suppose 2*b = 3*g - 296 - 276, 3*b = -2*g + 390. Suppose -5*s - 4*y - g = 0, 149 = -5*s + 2*y - 55. Is 28 a factor of 15/((-2)/(s/6))?
False
Let j be 15/(-3) + (-1 - -1 - -2). Let n be (j - -3) + 6 + 28. Suppose n - 269 = -5*k. Does 13 divide k?
False
Let p be ((-8)/18)/(8*4/(-144)). Suppose -9*c - 2*g - 1412 = -11*c, -p*g + 1400 = 2*c. Is 62 a factor of c?
False
Suppose -3 = 154*n - 157*n, n - 2451 = -r. Does 8 divide r?
False
Suppose 0 = -67*l + 65*l + 2. Let v be -1 + l*(-5 - -11). Does 11 divide 1/(-9) - ((-5855)/45 + v)?
False
Suppose 3*u + 41764 = 4*d, 0 = 4*d - 0*u + 4*u - 41792. Is d a multiple of 28?
True
Let d = 3929 + 4450. Is 21 a factor of d?
True
Let w(b) = 4*b**2 - 23*b - 1. Let f be (56/10)/1 + 4/10. Let r be w(f). Suppose 155 = -r*j + 555. Is j a multiple of 8?
True
Let i(o) be the first derivative of o**3/3 + 2*o**2 - 10*o - 15. Let s be i(-6). Suppose -5*n = -m + 44, -s*n = -2*m + 3*n + 108. Does 10 divide m?
False
Let m be (-13379 + -17)*(-22)/(-8). Is 10 a factor of (-4)/3 + 2 - m/51?
False
Suppose 16 = -135*y + 119*y. Let l = -30 + 45. Does 10 divide l*6*(0 - y)?
True
Let c(l) = -14*l - 116. Let k be c(-17). Is ((-3)/(-15) - 166/(-20))*k a multiple of 17?
True
Suppose 0 = v + 3*p - 7, 5*v - 24 = -6*p + 2*p. Suppose -v*o = 20, o - 64 = -c + 50. Is 24 a factor of c?
False
Suppose -5*y + 15 = 0, -2*p - 48*y = -53*y - 5913. Does 26 divide p?
True
Suppose 10*q + 121 - 551 = 0. Let g(p) = 4 - 2*p**3 - 39*p**3 - 45*p + q*p - 5*p**2. Does 32 divide g(-2)?
False
Suppose y - 4*n - 47 = 0, 3*y - n - 163 = -0*y. Let d = -23 - y. Let c = -26 - d. Is c a multiple of 13?
True
Let x(a) = -a**3 + 32*a**2 - 110*a - 40. Is 37 a factor of x(18)?
True
Let w = -384 + 386. Does 24 divide (2148/45)/w - 2/(-15)?
True
Suppose 17*i + 6*i - 67730 - 47523 = 0. Is 8 a factor of i?
False
Let w(d) = 3*d - 167. Let g(y) = -6*y + 337. Let k(m) = 6*g(m) + 11*w(m). Is 8 a factor of k(40)?
False
Suppose -3*m - 1321 + 4312 = 0. Does 2 divide m?
False
Let a(c) = -362*c - 400. Is 11 a factor of a(-7)?
True
Let l(y) = -y**3 - 3*y**2 - 3*y - 3. Suppose -4*k = -5*f + 9, -5*f - 2*k + 33 = -0*k. Suppose -f*v = 4*w + 32 + 3, -2*v + 9 = -3*w. Does 7 divide l(w)?
False
Suppose -2*n = 5*n - 5117. Suppose -c - 3671 = -5*s, -s + 18*c - 17*c + n = 0. Does 15 divide s?
True
Suppose 0 = 5*o - 2*n + 85, 3*o - 4*n = -0*o - 65. Suppose 3*l = -2*a + 19 - 74, -2*l + 5*a = 62. Is 6 a factor of (l/o + 1)/((-8)/(-180))?
True
Suppose 3*i = -3*d, 3*i = -3*d + i - 1. Does 9 divide (3/1*1)/(d/(-15))?
True
Let c(y) = 3*y**2 + 67*y - 53. Let s be c(-24). Suppose 2*d + 0 - 6 = 0. Let i = d + s. Is i a multiple of 9?
False
Is 22 a factor of (1 - -1)*-1*(-775335)/222?
False
Let w = -383 - -181. Let o = 308 + w. Is o a multiple of 10?
False
Let n(p) = 23*p - 12. Let i = 55 + 34. Let b = 95 - i. Is n(b) a multiple of 9?
True
Let s(b) = b**2 - 6*b - 4. Let g be 3/(-9) + (-66)/18. Let i be s(g). Suppose -i = -3*c - 3*y, -3*c = -c - y - 36. Is 6 a factor of c?
False
Let g be ((-1)/(-3))/((-130)/15 - -9). Is ((-69)/g)/(22/23 + -1) a multiple of 23?
True
Let l(u) = -u**3 - 6*u**2 - 4*u + 7. Let q be l(-5). Suppose -2*h = q + 28. Let v = 25 + h. Does 10 divide v?
True
Let g(t) = 3*t**3 + 86*t**2 + 8*t - 202. Is g(-28) a multiple of 5?
False
Let h(r) = 3*r**2 - 124*r - 176. Is h(76) a multiple of 92?
True
Let z = -277 + 461. Let g = -92 + z. Does 18 divide g?
False
Suppose 2*w = -w + 15. Suppose 11*o = 10*o + w, -3*o + 387 = t. Is t a multiple of 31?
True
Let p = 259 - 267. Is (52 - 137)/(2/p) a multiple of 20?
True
Suppose -37*s + 38*s - 234 = 0. Let w = s + -139. Is w a multiple of 5?
True
Suppose 250 - 34 = 3*t. Is 12 a factor of t*(300/(-18))/(-5)?
True
Let q be (-2 - (-26)/10) + (-60)/(-150). Let l(p) = 832*p**3 - 2*p**2 + 3*p. Is 17 a factor of l(q)?
True
Suppose 4*u - u - 53 = -f, 3*f + 31 = u. Suppose 404 + 0 = -4*i. Let d = u - i. Does 12 divide d?
True
Suppose 16 = -7*w + 11*w. Suppose 3*a + 2*x = a + 778, -3*a + w*x = -1160. Is a a multiple of 7?
False
Suppose -3*z + 23 = -3*v - v, 5*v + 10 = 0. Let l(w) = 2*w**2 - 8*w - 7. Let h be l(z). Suppose 0 = h*k - 63 - 102. Does 9 divide k?
False
Let c = 102 + 438. Suppose 0 = 2*g - 1150 + c. Is 8 a factor of g?
False
Suppose 4*x - 2*x + 4*r = 498, 5*x - 4*r = 1245. Let j = -113 + x. Does 11 divide j?
False
Let c(a) = -2*a**3 - a. Let g be c(-1). Suppose g*p + 48 = -3*y - 0*p, 0 = 2*p - 10. Let k = y + 36. Does 10 divide k?
False
Suppose f = -3, 5*t = 5*f + 22 + 3. Suppose -b = -t*g + 92, g = -g - 5*b + 92. Suppose 4*s - s + g = 5*j, 4*s = 12. Is 6 a factor of j?
False
Suppose 5*x + 69670 = 5*i, -3*i - 170*x = -176*x - 41817. Is 33 a factor of i?
False
Suppose -4*a + 145138 = 3*f, -5*f = -7*a + 279908 - 25978. Does 95 divide a?
False
Let b(s) be the third derivative of s**5/12 + 3*s**4/8 + 3*s**3 - 61*s**2. Does 8 divide b(-8)?
False
Let c be 2/9 + 99/(-81). Let o be (-2)/(3 + c)*(-2 + -113). Let f = o + 39. Is f a multiple of 14?
True
Suppose 11*c - 57962 = 35527. Suppose -2653 - c = -41*v. Does 9 divide v?
False
Let m(u) = 5*u**2 + 100*u + 369. Does 34 divide m(-31)?
True
Let a be 10 - 201/15 - 6/10. Let p(c) = -c**3 - 5*c**2 - 18*c + 7. Does 10 divide p(a)?
False
Let z = -2 + 7. Suppose -546 = -2*v - z*v. Suppose 0 = n - 102 - v. Is 18 a factor of n?
True
Suppose -3*j = 3*s - 2373, -3*s - 1118 = -5*j + 2813. Suppose j = 32*v - 2380. Is v a multiple of 33?
True
Suppose 16*k = -31 - 1. Does 29 divide 2/k*(0 - 349)?
False
Does 11 divide (33/15)/((-12)/(-90) - (-42)/(-450))?
True
Suppose 3*p = -4*h + 14, -2*p - 2 + 8 = 2*h. Let x(j) = 5*j**2 - 8*j + 12. Let q be x(h). Suppose -2*i + q = 9. Does 9 divide i?
False
Does 136 divide (-27)/(-72) + 156660/32?
True
Suppose -2*w = -3*d - 8, w - 6*d + 2*d = 4. Let c be w/(16/(-6)) - (-18)/4. Suppose 5*b = 4*g - 55, -5*g + c*b + 8 + 51 = 0. Is g a multiple of 2?
True
Is (-612)/(-408)*3386/1 a multiple of 16?
False
Suppose 0 = -3*z + 2*p + 5534, 15*p - 20*p + 1805 = z. Is z a multiple of 5?
True
Let c(b) = 170*b**2 + 144*b + 5. Is c(3) a multiple of 15?
False
Let r = 49 + -42. Let y(i) = 4*i - 29. Let x be y(r). Is 2 a factor of (-2 - x) + (4 - 0)?
False
Suppose i + 7 = -2*d + 3, i = 5*d + 10. Is ((-935)/33)/(d/6) a multiple of 9?
False
Let b(t) = -53*t**2 + 30*t - 2. Let r be b(3). Is 3 a factor of (-1 - r)*9/36?
False
Let f(s) = 32*s**2 + 200*s + 2890. Is 29 a factor of f(-16)?
False
Let r = 167 + -165. Suppose t - 1990 = -3*d + 6*t, -r*d = -3*t - 1325. Is d a multiple of 4?
False
Suppose 12*h - 3862519 + 12556539 = 286*h. Is h a multiple of 167?
True
Suppose 2*n = -0*n - 2*a + 328, n - 176 = -5*a. Suppose -3*p + n = -4*s, 30*s = 5*p + 28*s - 245. Is p a multiple of 6?
False
Let w = 244 + -188. Suppose 468 = p - w. Is p a multiple of 16?
False
Suppose 4*i - 19392 = 5*d, 5*i - 46*d + 47*d - 24240 = 0. Is i a multiple of 48?
True
Let m be ((-14)/35)/((-2)/1360). Suppose -c + 432 = 3*q, -c + m = q - 160. Is c a multiple of 8?
True
Let f = -53 + 60. Suppose -f*n = n - 16. Suppose -n*l + 105 = -5*j, -j - 4 = -2*l + 97. Is 20 a factor of l?
False
Let w(f) = -f**3 - 12*f**2 - 20*f - 5. Suppose 5*s = 11*s + 48. Let a be w(s). Let n = -44 - a. Is 7 a factor of n?
False
Suppose 5*f - p - 1357 = 3*f, 4*f - p - 2709 = 0. Let d = f - 367. Does 57 divide d?
False
Let h(z) = 27*z - 137. Let f(q) = 25*q - 139. Let a(u) = 3*f(u)