uppose 29*x = 33*x + 40. Does 25 divide a(x)?
True
Let f(j) = -3 - 3*j - 7*j**2 - 2*j + j**3 + 4*j. Let u be f(5). Is 7 a factor of (u/8)/(1/(-4))?
False
Suppose -3*z + 1041 = -3*w, -5*w + 104 = -4*z + 1494. Is z a multiple of 5?
True
Suppose -3*s + 172*d = 174*d - 10532, -2*s = 2*d - 7022. Is 26 a factor of s?
True
Let z be 8/6*2070/12. Suppose -2*w + z = 3*w. Suppose -w = -2*m - 0*m + 2*n, 5*n = -4*m + 137. Does 9 divide m?
False
Suppose 5*l + 15 = 3*h, -6*l + 2*l - 5 = -h. Suppose l = 2*w - 5*w + 6. Suppose -64 = -5*s - 4*j, -s + w*j = -10 - 0. Is s a multiple of 3?
True
Let a(i) = -22*i - 9. Is a(-1) a multiple of 3?
False
Let w = -13909 + 20165. Is w a multiple of 16?
True
Let v(b) = -2*b - 10*b**2 + b**3 + 0*b + 2*b. Let l be v(10). Suppose l = -7*a - 19 + 229. Is a a multiple of 15?
True
Suppose -2*s + 2 + 4 = 0. Suppose -s*o + 3 = 6. Is 7 a factor of -1 + 11 - (-2)/o?
False
Suppose -23*m + m + 572 = 0. Does 2 divide m?
True
Let y(r) = 5*r**2 + 8*r + 25. Is 29 a factor of y(12)?
True
Let a be (6/(-5))/(16/(-40)). Suppose -5*k = a*u - 4*u + 38, 2*k = 0. Is u a multiple of 16?
False
Let s be (-1)/(1 - (-131)/(-66) - -1). Let j = -50 - s. Does 12 divide j?
False
Let u = 1283 - -1417. Is u a multiple of 41?
False
Suppose -5*m - 3*j = -2148, 3*j + 559 + 1613 = 5*m. Is 9 a factor of m?
True
Suppose -12*u = 4*i - 11*u - 1325, 0 = 5*i - 3*u - 1635. Is i a multiple of 2?
True
Does 30 divide (26 + 827)*20/5?
False
Let a(x) = x**3 + 3*x - 2. Let y be a(3). Let p = -28 + 8. Let u = p + y. Is u a multiple of 14?
True
Let c = -155 - -209. Does 18 divide c?
True
Let z(i) = 25*i + 165. Is z(9) a multiple of 39?
True
Suppose -378 - 62 = 5*x. Let b = x - -156. Is 14 a factor of b?
False
Let l be 3 - 0/(-1 - 1). Suppose 4*t - 20 = -4*b, t + l*b - 14 + 3 = 0. Does 11 divide 325/10 - (-1)/t?
True
Let g(o) = o**3 + o**2 - 1. Let n be g(0). Let y(f) = 101*f**2 - 3*f - 3. Is y(n) a multiple of 12?
False
Let d be 1/(-1*(-3)/15). Let z be -4 - (-1 - 1) - -26. Suppose -2*b + 14 + z = -5*k, -2*b + 18 = d*k. Is b a multiple of 7?
True
Let y(u) = -u**3 + u**2 - 3. Let t be y(3). Let i = t + 11. Let g = -5 - i. Does 5 divide g?
True
Let q = -307 - -376. Is 29 a factor of q?
False
Let n = 8 + -6. Suppose -5*v = 2*l + 2*l + 5, -l - v = 2. Is 8 a factor of 34 - n/(-4 - l)?
True
Let a(t) = 6*t**3 - 4*t**2 - 4*t + 8. Is a(4) a multiple of 12?
True
Let a = 35 - 47. Is 302/6 - (-4)/a a multiple of 5?
True
Let l = 16 + -12. Suppose 5*a - 4 - l = 2*m, -5*a - m = -11. Let g = 21 - a. Is g a multiple of 8?
False
Suppose -3*q + 33 = -27. Suppose 26*c = 23*c + 9. Suppose 112 = c*p - q. Does 17 divide p?
False
Suppose 3*j - 3*y - y - 11 = 0, 5*y + 11 = j. Does 16 divide (-13 + j)/(2/(32/(-3)))?
True
Let v(o) be the first derivative of 2*o**3/3 + o**2/2 - 2*o + 6. Does 13 divide v(-3)?
True
Let n(b) = -b - 1. Let i be n(-1). Suppose i = -2*m + 3*v + 13, 2*m - 20 = -2*m + 4*v. Is 2 a factor of 3/1 - (m + -5)?
True
Suppose -3*f = -b, -b - 3*f = -0*f - 6. Suppose -3*o + 624 = 5*a, -b*o = -2*a + o + 260. Is a a multiple of 25?
False
Suppose 0 = -0*l - 4*l + 16. Suppose l = 4*z - 5*t - 0, -3*t - 12 = 0. Is (-57)/(-6) + 6/z a multiple of 7?
False
Let c be (-26)/91 + (-1348)/(-14). Suppose 2*u - o = c, -2*u + 72 + 36 = 2*o. Is u a multiple of 26?
False
Let i be (-1 - -1)/(-10 + 11) - 34. Let q = i + 53. Is q a multiple of 3?
False
Let z(w) = -8*w**2 + 10*w + 0*w - w**3 - 8 + 2*w. Does 24 divide z(-10)?
True
Suppose -9 = -3*s - 0. Let g be (9/6)/((-12)/(-32)). Suppose -l = -5*x - 84, s*l = x - g*x + 180. Is l a multiple of 16?
True
Suppose 5*o + 4*j = 552, -2*o - j + 231 = 4*j. Does 8 divide o?
False
Suppose -213087 = -79*r + 9851. Does 9 divide r?
False
Let g be ((-6)/(-15))/(-1) + (-262)/(-5). Let d = g + -32. Is 5 a factor of d?
True
Let z = 476 - -591. Does 42 divide z?
False
Let r = -495 + 954. Is 9 a factor of r?
True
Let d = -94 + 237. Let w = d - 235. Let n = -29 - w. Is 27 a factor of n?
False
Let b(m) = 28*m**2 - 11*m + 26. Let q be b(4). Let v = q - 62. Does 24 divide v?
False
Suppose 2*j = 2*f + 12, 0 = -5*j - 3*f + 4*f + 14. Is (3/(-6))/(j/(-276)) a multiple of 23?
True
Let b = 405 + -171. Is b a multiple of 26?
True
Let c be ((-5)/2)/((-2)/4). Suppose -12*m + 4*m = 0. Suppose 3*f - 20 + c = m. Is f a multiple of 3?
False
Suppose -10*r + 2*r = -40. Suppose -3*f - 5*h = -h - 113, 5*f + r*h = 180. Is 3 a factor of f?
False
Let f = 5268 - 2823. Is f a multiple of 15?
True
Suppose 0*r - 6*r = 84. Is 10 a factor of (-6)/(-4) - 819/r?
True
Does 35 divide 4/34 + (-1388264)/(-1649)?
False
Suppose -24*m + 23*m = -5*z - 14, 3*z = -3*m + 78. Is m a multiple of 12?
True
Suppose c + 2*j = 0, 0 = -c + 5*j - 28. Let t = c - -5. Is 13 a factor of ((-3)/t)/(3/81)?
False
Let f be ((-140)/3)/((-4)/6). Suppose 3*p + 14 = g, -5*g + 0*g = 4*p - f. Does 11 divide g?
False
Let g be (20/15)/((-4)/30). Let i = g + 19. Suppose -1 = 2*x - 2*t - i, 4*x - 34 = -2*t. Is 7 a factor of x?
True
Is 10 a factor of (2300/(-35))/(-2*(-5)/(-70))?
True
Suppose -r - 604 = -2*d, -5*d + 95*r - 93*r + 1510 = 0. Is d a multiple of 17?
False
Let b(j) = -23*j + 1. Let h(g) = 24*g - 2. Let v(k) = 5*b(k) + 4*h(k). Suppose -3*m - 11 = -2. Does 21 divide v(m)?
False
Let a = -50 + 89. Suppose -4*w - 4*k + 48 = 0, 2*w - 3*k + 2*k - a = 0. Suppose 0 = -4*u + 5*p + 80, -5*p + 63 + w = 4*u. Does 10 divide u?
True
Suppose 123 = -2*l - 29. Let v = -28 - l. Let b = 4 + v. Is b a multiple of 23?
False
Let f(s) be the first derivative of 12*s**2 - 2*s + 7. Let c be f(2). Suppose -2*b + 6*b = -d + c, 0 = 4*b - 12. Is 17 a factor of d?
True
Suppose -4*j - 86 = -14. Let s = j - -25. Does 7 divide s?
True
Let z = -1353 - -2116. Is 45 a factor of z?
False
Let j = -144 - -409. Is j a multiple of 4?
False
Suppose -3*w + 3*f + 756 = -2*w, 5*f = 15. Does 17 divide w?
True
Let c be 1 + ((-45)/(-3) - 4). Suppose 2*w + 5*y = y - c, -2*y + 2 = 3*w. Is w + 3 + 50 - 1 a multiple of 14?
True
Suppose -823 = -7*w + 3587. Suppose -6*i - i + w = 0. Is i a multiple of 15?
True
Let t(p) = 145*p - 29. Is 9 a factor of t(2)?
True
Let u(f) = 3*f**3 + 2*f**2 - 2*f + 9. Let y(q) = 4*q**3 + 2*q**2 - q + 9. Let k(i) = -3*u(i) + 2*y(i). Is 7 a factor of k(-5)?
False
Let y(x) = x**3 + 4*x**2 + 6*x + 6. Let q be y(-3). Does 15 divide ((-12)/q)/(0 - 2/(-37))?
False
Let r = -541 + 1962. Does 20 divide r?
False
Suppose 0 = 2*c - 4*c + 8. Suppose -550 = c*a - 0*b + 2*b, 0 = 2*a - 5*b + 257. Does 16 divide -2 + 2 + a/(-4)?
False
Suppose 1540 = -28*i + 42*i. Does 55 divide i?
True
Let r = -2 + 23. Let j = r - 18. Is 10 a factor of j - 3*(-1 - 2)?
False
Let p(l) = 2*l + 118. Is 26 a factor of p(-20)?
True
Suppose 7*t = t - 168. Is (t/(-3))/(3/18) a multiple of 5?
False
Suppose 3*x = -6, 4*x - 5*x + 880 = 3*k. Is 11 a factor of k?
False
Let k = 21 + -3. Does 26 divide (26/(-3))/((-1)/k)?
True
Let p(g) = g + 3. Let a be p(0). Let o(x) = -5*x**3 - 2*x**2 - x. Let y(d) = -d**3 - d**2 - d + 1. Let b(q) = -o(q) + 4*y(q). Does 4 divide b(a)?
True
Suppose -13*b + 1579 - 591 = 0. Suppose m + 201 = 6*m + 4*k, 3*k + 62 = 2*m. Let r = b - m. Is r a multiple of 13?
True
Suppose 4*x + 336 = -4*m, 0 = 3*m - 2*m + 5*x + 104. Let t = 130 - m. Is t a multiple of 15?
False
Let i(l) = 5*l**3 - 8*l**2 - 12*l - 24. Does 10 divide i(7)?
False
Let p = -35 - -59. Let q = p + -13. Is q a multiple of 11?
True
Let f = 526 + -286. Is f a multiple of 5?
True
Suppose -1152 = -9*y - 27*y. Is 32 a factor of y?
True
Let d(a) = a**2 - a + 3. Let b = 9 + -9. Let g be d(b). Is 8 a factor of (12/14)/(g/84)?
True
Suppose 0 = -5*b - 5*i - 15, 6 = 4*b - i - i. Suppose -5*h - h + 186 = b. Does 8 divide h?
False
Suppose 2*q = 2*a + 138, -20*q = -23*q - 2*a + 222. Does 9 divide q?
True
Let s be (-1)/(-3)*(-30)/10. Is 19 a factor of s/(-2)*304/2?
True
Suppose 4*l - 59 = 3*y + 88, -2*l - 2*y = -70. Does 4 divide l?
True
Let c = -2950 - -4220. Is 10 a factor of c?
True
Suppose 4*b = 0, 20 = 4*v + v - 3*b. Suppose 2*a = -w + v, -a - 3 + 30 = 3*w. Is w a multiple of 5?
True
Suppose 2*a - 2*q + 2260 = 7*a, -4*a - 5*q = -1825. Is 45 a factor of a?
True
Let q(t) = -t**3 + 14*t**2 - 25*t + 2. Let a be q(11). Does 12 divide (-6 + 114/15)*a/4?
True
Suppose -8*r = -11*r - 273. Let b = r + 172. Is b a multiple of 6?
False
Let