e 4*q - 341 = 5*q + 3*o, -2*q - 687 = y*o. Let p = q + 552. Is p a multiple of 28?
True
Let u(q) = -27*q**3 - 3*q - 6. Is 22 a factor of u(-4)?
False
Let n = 845 + -819. Suppose n = -b + 695. Is 26 a factor of b?
False
Let c(b) = 25*b**2 - b. Suppose -24*r + 19*r + 5 = 0. Suppose -x + r = -0*x. Is 6 a factor of c(x)?
True
Let m(q) = 5*q**3 + 55*q**2 - 8*q + 274. Let t(s) = s**3 + 11*s**2 - 2*s + 55. Let x(b) = 2*m(b) - 11*t(b). Does 3 divide x(-13)?
False
Suppose 0 = 2*g - 12. Let i(a) = -2*a - a**3 - 10 + 15 + g*a**2 - 8*a**2. Does 43 divide i(-6)?
False
Let s(m) = m**2 + 11*m - 9. Let t be -12 + -1 + 0 + 1. Let i be s(t). Is (13 - i)*(3 - (-46)/4) a multiple of 29?
True
Let l(m) = m**3 - 2*m**2 + 2*m + 1. Let u be l(3). Suppose 61 - 53 = 14*x - 118. Suppose x*q - 164 = u. Does 10 divide q?
True
Let h(b) = -6*b - 33. Let f be h(-6). Suppose 3*z - 9 = -f*a, -3 = 3*a + z - 6. Suppose -10*t + 15*t - 225 = a. Is t a multiple of 9?
True
Is 136 a factor of 26/(-65) - 12242/(-5)?
True
Suppose 0 = -197*h - 188*h + 390*h - 192155. Is 197 a factor of h?
False
Let u = 13086 + 279. Is 81 a factor of u?
True
Let y = 213 - 211. Suppose y*z = 6, -4*o = 5*z - 3*z - 146. Is 35 a factor of o?
True
Suppose -3*c = 4*r - 4*c - 20, -5*c = r - 26. Suppose -r*d + 1839 = -1419. Is d a multiple of 25?
False
Suppose 0 = -39*p + 34 + 122. Suppose -d - p + 381 = 0. Does 13 divide d?
True
Suppose 4*c + 8 = -3*l - 4, -3*c = 9. Suppose -w - 2*x = l, 3*w + 10 = -x + 5*x. Does 10 divide 1629/18 - (-1)/w?
True
Suppose -12*q = -15*q + 6. Suppose 0 = q*w - 107 - 33. Does 4 divide w?
False
Let q be (6 + -9 + -5)*(-21 - -20). Let h(o) be the third derivative of o**5/60 + o**4/6 + 8*o**3/3 + o**2. Is 16 a factor of h(q)?
True
Let c = 495 + -460. Is (312/(-546))/((-1)/c) a multiple of 3?
False
Let h = 168071 + -94026. Is 295 a factor of h?
True
Let d(j) = -7*j**2 + 9*j - 2. Let k be d(1). Suppose 0 = -4*i - 3*o + 1005, k = 5*i - 4*o - 233 - 1031. Does 12 divide i?
True
Let h be 1 + (-3 - -3) - 56. Let z = -38 - h. Suppose 5*t = -5*l + 430, 160 = 2*t - 3*l - z. Does 29 divide t?
True
Let n = -14 - -19. Let u(o) = o**2 - 3*o - 11. Let z be u(n). Does 32 divide (42 + -4)*z*-1?
False
Does 22 divide 6624/64 + -36 + 3/(-2)?
True
Let n(h) = h**3 + 8*h**2 - 9*h + 2. Let o be n(-9). Suppose 3*u = 3, o*u + 12 = 5*l - u. Suppose l*p + a = 139, -a + 0*a = -3*p + 131. Does 9 divide p?
True
Let z be (-29 - 3)*(-3822)/8. Suppose 16*v - z = -5*v. Does 28 divide v?
True
Let t(i) = 5*i**2 + 6*i - 16. Let b be t(7). Suppose -2*x + 2*k + 2*k = -130, 4*x - b = -3*k. Let g = x + -28. Is g a multiple of 13?
True
Let v = 180 - 178. Suppose 0 = -7*n + 8*n + v, o - 143 = -3*n. Does 12 divide o?
False
Suppose -n - 14 = -8446. Suppose -6518 = 10*c + n. Is 1 + c/(-15)*3 a multiple of 15?
True
Let x(d) = -d**3 + d**2 - 2*d + 32. Let c be 2*-4*1/(-4). Suppose -4*f = 5*f - c*f. Is x(f) a multiple of 16?
True
Does 37 divide ((-21)/(-14))/(5/150100)?
False
Let q(u) be the first derivative of 46*u**3/3 + 2*u**2 + 16*u + 27. Let b be q(-3). Suppose 3*r - 1 = 2*f + 247, -f - b = -5*r. Is 6 a factor of r?
True
Suppose -64*f + 47*f = -170. Suppose 30*w - f*w - 580 = 0. Does 11 divide w?
False
Let b = 44 - 17. Suppose -2*a - b = -9. Is (-4 + -113)/(a/6) a multiple of 13?
True
Let x be (-107)/(-7) + 8/(-28). Suppose -162 = -x*d + 9*d. Is d a multiple of 2?
False
Is 23 a factor of (3134/1)/(49 + -35 + (-108)/8)?
False
Suppose -f - 2*v = -2561, -12*v + 17*v = -3*f + 7681. Does 32 divide f?
False
Let p(w) = -w**3 + 2*w**2 + 9*w + 13. Let t(j) = 5*j**3 - 10*j**2 - 45*j - 66. Let i(m) = -11*p(m) - 2*t(m). Is i(5) a multiple of 5?
False
Let c(r) = -8*r**3 - 7*r**2 + 2*r - 31. Does 76 divide c(-7)?
True
Suppose -31*n = -36*n + 55. Suppose o + 4*v - 527 = 0, 9 = 5*v - n. Is o a multiple of 22?
False
Let m = 578 - 571. Suppose 318 = m*a - 1516. Does 17 divide a?
False
Suppose 0 = -2*g - s - 157, 0 = -3*g - 0*s + 5*s - 268. Let z = g - -101. Is z a multiple of 5?
True
Is 30 a factor of 6/6*(7995/3 + (-1 - -6))?
True
Let l = -266 + 375. Suppose l + 170 = y + 2*v, -3*v + 1381 = 5*y. Is 12 a factor of y?
False
Suppose 19*y = 24*y + 2*g - 22556, 0 = 5*y - 4*g - 22598. Is 93 a factor of y?
False
Let r(u) = -6*u - 175. Let d be r(-30). Suppose 0 = 3*b + 2*g - 1123, -6 = -d*g - 11. Is 25 a factor of b?
True
Let k(p) = 3*p**2 + 25*p - 9. Let m be k(-9). Suppose -m*o - 1824 = -15*o. Is 28 a factor of o?
False
Suppose -b = x - 2*x, x + 5 = 0. Let j = 20 + b. Is 15/(-3)*(-597)/j a multiple of 17?
False
Let d = 237 - 417. Let t = -40 - d. Is t a multiple of 20?
True
Let p(c) = 7*c**2 + 61*c - 176. Does 20 divide p(28)?
True
Let p be (-8 - (-1 + 0))*(-6)/(-21). Let b = -5 + 6. Does 30 divide p/(-4) - (-468)/8*b?
False
Does 40 divide (-1*570/(-9))/((160/(-165))/(-16))?
False
Let i(u) = u**2 + 25*u + 28. Let p(f) = f - 41. Let v = 149 - 134. Let h be p(v). Does 6 divide i(h)?
True
Let s(m) = -m**3 + 6*m**2 - 8*m + 14. Let l be s(5). Does 4 divide 43*((-10)/(l + -4))/2?
False
Let w = 265 - 152. Let n = -120 + w. Does 3 divide (-598)/(-22) - 8*n/(-308)?
True
Suppose 14*i - 10*i - 16 = 0. Suppose -i*m + 14 + 2 = 0. Is m a multiple of 4?
True
Let b = 101 - -21. Suppose 5*c - 233 = 5*t + b, 0 = 2*c + 4*t - 130. Is c a multiple of 2?
False
Let s(p) = p**3 - 2*p**2 + 4*p - 12. Let k be s(0). Let b = k + 276. Is b a multiple of 22?
True
Suppose -3*m = -6*q + 136104, 3*m = q - 26888 + 4184. Is q a multiple of 56?
True
Suppose -4 + 32 = 2*a. Let l = -10 + a. Let n(j) = j**3 - 5*j**2 + 7*j - 6. Does 5 divide n(l)?
False
Suppose -2933 = -4*r - j + 6144, 4*j = -2*r + 4542. Is r a multiple of 98?
False
Suppose 2*u = -u - 3*p + 57, -74 = -4*u - 2*p. Suppose 2080 + 1610 = u*b. Suppose -l = -4*k - 41, -k + b = 5*l + 2*k. Is l a multiple of 4?
False
Let w be -7 - (6/(-6) - -5). Let m(p) = -p**3 - 14*p**2 - 34*p + 6. Let h be m(w). Suppose 129 = h*c - 16*c. Is c a multiple of 43?
True
Suppose -8*a - 5*a = -24698 - 9557. Is a a multiple of 4?
False
Suppose 0 = -2*v + 4*u + 10586, 3*v + v = -5*u + 21107. Does 136 divide v?
False
Let j(z) = -25545*z**3 - 9*z**2 - 4*z + 6. Is j(-1) a multiple of 53?
True
Suppose v - 2 = 3*l - 190, -5*v - 10 = 0. Let j = l - 42. Is (j/(-16))/((-1)/48) a multiple of 10?
True
Let l = 338 + -324. Suppose l*g - 1001 = 49. Is 5 a factor of g?
True
Let r(k) = 3*k + 5. Let d be r(-3). Let t be (3 - (-3 + 3 - 0)) + d. Let i(x) = -72*x**3 + x**2 + 3*x + 2. Is i(t) a multiple of 36?
True
Let a(v) = -7*v + 56. Let r be a(19). Let n = 301 + r. Is 48 a factor of n?
False
Let i(m) = -89*m - 295. Let j(t) = 45*t + 147. Let n(y) = 2*i(y) + 5*j(y). Is n(7) a multiple of 79?
True
Suppose 8*s = 13*s - 10. Let v(c) = 10 + 10*c - 28 + c**s + 2*c. Does 18 divide v(-16)?
False
Let f be (-2)/(4 + (-45)/10). Suppose o = q + f - 40, 4*o + 24 = q. Let y = q - 7. Is 8 a factor of y?
False
Let b = 3079 + 3302. Is 31 a factor of b?
False
Is (-1)/(-13) + (-6328959)/(-1183) - -11 a multiple of 27?
False
Let d(v) = v**3 + 3*v**2 - 7*v - 4. Let r be d(-4). Let f = r - 5. Is 11 a factor of (-2 + -20)*f/((-24)/28)?
True
Suppose 0*v - 10 = -2*v. Suppose -4*a = v*a - 45. Suppose 0*r + 2*f = 4*r - 220, 2*r - 134 = -a*f. Is 19 a factor of r?
True
Let v(u) = -u**3 + 2*u**2 + 5. Let b be v(0). Suppose -4*q = b*r + 2875, -2 + 1 = -r. Let f = -335 - q. Does 39 divide f?
False
Suppose 0 = 2*p - 7*p. Let a be -1 - (9/3 - p). Does 11 divide (a + -18)*(-6)/4?
True
Let k = 2560 - 2470. Does 20 divide k?
False
Suppose 3*a = -3*s + 22854, 3*s - 7431 - 15465 = 4*a. Is 11 a factor of s?
False
Let m = 43 - 39. Let i be (-15)/(-40)*-4 + 218/m. Suppose 3*r - i = -11. Is r a multiple of 11?
False
Let o be 17/(-3)*-1*60. Let z = 547 - o. Is 19 a factor of z?
False
Let b(d) = -d**2 + 82*d + 453. Let l be b(-6). Let a = -159 - -243. Let j = l + a. Is 9 a factor of j?
True
Let h be (-36)/16*(-8)/(-3). Let r be ((20/15)/2)/(h/(-45)). Suppose r*v - a = 563, a = 9 - 12. Is v a multiple of 16?
True
Let t be 5 + (-8 - -8)/(-3). Is 26 a factor of (2523 - 3)/t + 2?
False
Let g = -21 - -47. Suppose -z + 285 = 273. Let q = g - z. Is 7 a factor of q?
True
Suppose 2*j = 3*o - 19, -2*j + 15 = 3*o + 52. Suppose 69 = 3*v - 3*a, v + 5*a + 7 = -0*v. Let b = j + v. Is b a multiple of 4?
True
Let j = -118 - -6