 204. Does 11 divide r?
False
Let y = 92 + -96. Does 23 divide 1 - (-137 - -1*(6 + y))?
False
Let j be ((-3)/(-6))/(3/6). Let o be j/5 - (-483)/(-15). Is (o/10)/((-26)/325) a multiple of 20?
True
Suppose 0 = 2*j + 2*w, 5*j + w + 3 = -1. Let n be 3/((-3)/2) + (-1128)/12. Is (1/(4/n))/j a multiple of 6?
True
Suppose 3*t + 4*c - 21 = 0, 3*t + 0*c + 3*c = 21. Suppose 0 = t*h - 6*h + 11. Let j = 20 + h. Is 3 a factor of j?
True
Let x(c) = c**3 + 37*c**2 + 56*c + 44. Is 89 a factor of x(-35)?
True
Let d = 145 - 145. Suppose -5*w + 2*c + 619 = d, 4*w + 4*c - 497 = 5*c. Is w a multiple of 25?
True
Let x(d) = d**3 - 12*d**2 - 6*d + 19. Let q = 130 - 117. Is 22 a factor of x(q)?
True
Let k(r) = r**2 - r + 1. Let x be k(3). Let s(i) = 4 - 2*i**3 + 2*i - 5*i**2 - 3 + 3 + x*i**2. Is 16 a factor of s(-3)?
False
Let o = -601 + 863. Is o a multiple of 10?
False
Suppose -10*x = 2*d - 8*x - 1326, 0 = 2*d - 5*x - 1305. Does 15 divide d?
True
Let c(r) = -r + 18. Let q be c(23). Let l(u) be the second derivative of u**3/6 + 4*u**2 - 3*u. Does 3 divide l(q)?
True
Suppose 14*q - 29 - 41 = 0. Suppose -109 + 849 = q*b. Does 30 divide b?
False
Let w be (-8 - -4)/((-4)/378). Suppose 4*c - c = -4*o + w, -o + 106 = -5*c. Is 16 a factor of o?
True
Let i = 28 + -25. Is 3 a factor of i - 74/(-10) - 4/10?
False
Let w = 268 - 164. Suppose w = 2*k - o, -k + 0*k + 58 = -2*o. Is 50 a factor of k?
True
Let k(q) = 2*q**3 - 17*q**2 - 25*q + 34. Is 4 a factor of k(10)?
True
Suppose -10*g + 9*g = -77. Let w = g + -45. Is 7 a factor of w?
False
Suppose -29 = 4*s - q + 4*q, q = -3. Does 14 divide (-1410)/(-6) - s/((-15)/(-9))?
True
Let n(f) = -f**3 - 3*f**2 + f + 3. Let p be n(-3). Let h be 3 - p - (-5 + 37). Let z = -9 - h. Is 10 a factor of z?
True
Let c = -10 + 31. Suppose 0 = -25*k + c*k. Does 21 divide ((-96)/(-20) - k)*10?
False
Let n(r) = -r**2 + 4*r - 3. Let p be n(3). Suppose p = -16*h + 14*h + 60. Is 5 a factor of h?
True
Suppose -2*n = -6*n + 12. Suppose -4*r + s - 52 = 0, n*s - 97 + 25 = 5*r. Is 6 a factor of (-78)/r + 3/(-6)?
True
Let a(t) = t**3 - t - 4. Suppose 2*x - 9 = -x. Let d be a(x). Suppose -74 = -3*v - d. Does 6 divide v?
True
Suppose -5*m + 60 = -10. Suppose m = i - 55. Is 45 a factor of i?
False
Suppose 7*y + 4 = 9*y. Is (-33)/y*(-70)/15 a multiple of 11?
True
Suppose 2*b - 2*g - 1252 = -210, 5*b + 2*g - 2591 = 0. Is 23 a factor of b?
False
Is (14/21 - 74/12)*-158 a multiple of 79?
True
Let t = 127 - -2616. Does 70 divide t?
False
Suppose -o = -3*o + 8. Suppose -2*g + 90 = -o*a, 0*a - 59 = -g - 5*a. Is 13 a factor of g?
False
Let z = 0 + -6. Let c be (0 - 1)/(z/(-12)). Is 3 a factor of c*(-44)/(-24)*-3?
False
Let q(h) = -h**3 + 17*h**2 + 4*h - 17. Does 17 divide q(15)?
True
Is 5*4/80*164 + 3 a multiple of 4?
True
Let q(n) = -n**3 - 3*n - 2. Let o be q(-2). Suppose 3*m = o, -140 - 32 = -4*y + m. Does 22 divide y?
True
Suppose 0 = 3*a + 3*t - 2*t - 1862, 3*a - t = 1864. Is a a multiple of 23?
True
Suppose -11*a + 2641 = -5059. Does 28 divide a?
True
Suppose 6*y + 3*y - 9990 = 0. Suppose 9*q - 4*q + y = 0. Let k = -116 - q. Is k a multiple of 25?
False
Let b(y) = -5*y**3 + 6*y**2 - y - 20. Let l(g) = -g**3 + g**2. Let t(z) = -b(z) + 6*l(z). Does 12 divide t(0)?
False
Let g(x) = -2 + 34 + 17 + 16*x. Is g(6) a multiple of 6?
False
Suppose 9952 = 7317*l - 7309*l. Does 63 divide l?
False
Let x = 107 + -65. Does 6 divide x?
True
Suppose 0 = -3*p - 4*o + 30, -o + 19 = 3*p - 2. Does 16 divide 54/(p*(-4)/(-32))?
False
Let u be (21/(-14))/(2/(-4)). Suppose 3*a + 0 = u. Let b = 5 + a. Does 3 divide b?
True
Let y be 3 + 4 - (2 + 0). Let v(l) = l**3 - 22*l**2 + 21*l. Let s be v(21). Suppose -105 = -y*o - s*o. Is 21 a factor of o?
True
Let i = 164 + -160. Suppose -2*l = 5*b - 1639, l + 1307 = 4*b + i*l. Does 47 divide b?
True
Suppose 17 = 4*p - 27. Let j be -2*(3 + p/(-2)). Suppose -j*i = -0*x - 4*x - 303, 3*i - 4*x = 185. Is 17 a factor of i?
False
Suppose 3*c = 2*d - 14, 30 = 3*d - d + c. Is 3222/13 + 2/d a multiple of 29?
False
Suppose -2*h = -3 - 1. Let y = -269 + 461. Is 24 a factor of (7/14)/(h/y)?
True
Suppose 0*j - 5066 = -4*j - 5*d, -5*j + 3*d + 6351 = 0. Is j a multiple of 11?
False
Suppose -3*z + h + 20 = 6*h, 0 = 5*z - 4*h + 16. Suppose -2*u = -7*u - 10, z = 4*m + 5*u - 18. Is 3 a factor of m?
False
Let f(m) = -13*m - 4. Let b(u) = -u**2 - 12*u - 4. Let p(s) = -3*b(s) + 2*f(s). Let r be p(-6). Let y = r - -19. Does 17 divide y?
False
Let k(o) = -o**3 - 7*o**2 + 5*o - 22. Let p be k(-8). Let v(u) = -p - 16*u - 3*u**2 + 17*u + 2*u**2 + u**3. Is v(4) a multiple of 10?
True
Let g(k) = 2*k**2 - 7*k - 55. Does 3 divide g(-6)?
False
Suppose -5*y - 5396 = 4*x - 8*x, x = -3*y + 1332. Is x a multiple of 7?
True
Let a(m) = 2*m**3 - 14*m**2 - 28*m + 21. Is 110 a factor of a(12)?
False
Suppose 3*h + 0*h - 4*v = 19, -3*h + 3*v = -15. Let z = -144 + 147. Is 7 a factor of z/h + 1 + 10?
True
Suppose -2*u + 9*s + 344 = 8*s, 3*s = 0. Is 12 a factor of u?
False
Let z = 10 - 8. Suppose 5*r - z*d - 438 = 0, r + 5*d = 73 - 7. Does 19 divide r?
False
Let w(p) = -32*p + 144. Does 29 divide w(-10)?
True
Let o be (11/(-2))/((-5)/10). Suppose -7*z - 224 = -o*z. Does 14 divide z?
True
Let m = 35 - 34. Let a be m/(-4) - 18/(-8). Suppose -u = 4*u + 5, 61 = c + a*u. Does 21 divide c?
True
Is (46360/28 - (-12)/42) + -7 a multiple of 22?
False
Let s = 12 - 12. Suppose -26 = -v + i, -4*v + 3*i = -s*i - 109. Suppose -v = -3*c + 38. Is 7 a factor of c?
False
Let r(u) = u + 22. Let c be r(-17). Let h(d) = 2*d**3 - 2*d**2 - 8*d - 7. Is h(c) a multiple of 17?
True
Let c = -23 - -34. Let x(z) = 4*z + 25. Is 23 a factor of x(c)?
True
Let v(k) = k**2 - 10*k - 24. Is 5 a factor of v(-9)?
False
Let x be (-1584)/40 + 2/(-5). Let p be (-24)/x*5/1. Does 19 divide (-24)/(-36) - (-55)/p?
True
Let l(x) = 0 - 1 - x + 0 + x**2 - 3. Let w be l(0). Does 5 divide (-1314)/(-78) - w/26?
False
Let v(p) = p**2 - 13*p - 9. Let q be (49/(-28))/((-2)/(-8)). Let y(w) = -w**2 + 12*w + 9. Let t(u) = q*y(u) - 6*v(u). Is t(8) a multiple of 4?
False
Let p(l) = l**2 + 6*l + 12. Let y be p(-6). Suppose -o + y = -2*o. Let b = o - -39. Is 16 a factor of b?
False
Let g(h) = -h**3 - 7*h**2 + 13*h - 2. Let v = 28 + -38. Does 24 divide g(v)?
True
Let c be (77/(-77))/(1*(-2)/50). Suppose 1404 = 31*f - c*f. Does 20 divide f?
False
Let i(o) = o**2 + 18*o + 6. Let v be i(-18). Suppose -11*j = -v*j. Suppose j = -10*f + 4*f + 180. Is f a multiple of 5?
True
Suppose -3*i - 11 + 896 = 0. Let p = i + -207. Let l = -58 + p. Does 12 divide l?
False
Let t = 30 - 27. Suppose -t*s + g - 32 = -s, 3*s = g - 49. Let i = s - -46. Does 10 divide i?
False
Let d(i) = -2*i**2 + 6*i + 7. Let m be d(7). Let l = -29 - m. Is 5 a factor of l?
True
Let n(s) = 2*s**2 + 31*s - 219. Is 7 a factor of n(7)?
False
Suppose 7*b = 9*b + 24. Let p(u) = -u**2 - 20*u - 6. Is 20 a factor of p(b)?
False
Let t(b) be the second derivative of b**6/180 - b**5/20 + b**4/24 + 4*b**3/3 + 7*b. Let j(h) be the second derivative of t(h). Does 27 divide j(-5)?
True
Let l(u) = 3*u**3 - 4*u + 0 + 4 - 4*u**2 - 2*u**3 + u**2. Suppose 0 = 4*h - 5*j - 5, 5*h - j - 14 = 8. Is 17 a factor of l(h)?
True
Let w(n) = -5*n + 3. Let y = 18 + -15. Let p be w(y). Is (8/p)/((-1)/54) a multiple of 18?
True
Suppose 8*c - 5740 = -6*c. Is 41 a factor of c?
True
Let z be ((-9)/(-48)*-4)/((-1)/20). Is 2 a factor of ((-20)/(-8) - 1)/(z/80)?
True
Let d be (-2 - (4 + -2)) + 7. Suppose -d*u + 96 = 5*h, h = -2*u - 15 + 37. Does 9 divide h?
True
Suppose -14*t = 2*r - 11*t - 2081, 5*r - 2*t - 5174 = 0. Is 28 a factor of r?
True
Suppose 2*z + 3*s - 267 = 0, -2*z + 5*z + 2*s - 388 = 0. Suppose -12*c + 17*c - 10 = 5*y, 2*y + 10 = -4*c. Does 7 divide (c/(-3))/(3/z)?
True
Suppose -5*c + 12 = -c. Suppose z + 0*z - c = 0. Suppose z*x = -12, x + 2*x = -2*y + 6. Does 7 divide y?
False
Let i be -1 + 4/5 - (-4344)/(-30). Let h = i - -362. Does 38 divide h?
False
Suppose -13*u - 732 = -17*u. Does 5 divide u?
False
Let q(m) be the first derivative of m**4/12 - 7*m**3/6 + 3*m**2/2 + 8*m - 12. Let f(a) be the first derivative of q(a). Does 2 divide f(7)?
False
Is 294/15*(-720)/(-8) a multiple of 84?
True
Let g(o) = -5*o**2 - 3*o + 2. Suppose -k + 2*m - 5 = 0, 0*k - 2*k = -3*m + 9. Let l be g(k). Is (l/(-6) - -3)*3 a multiple of 26?
