+ c - 119 = 3*c. Let a = 157 - v. Is 11 a factor of a?
True
Let w(j) = 7*j**3 + 4*j**2 + 2*j + 6. Let p(o) = -20*o**3 - 13*o**2 - 7*o - 19. Let r(d) = -2*p(d) - 7*w(d). Is r(-2) a multiple of 13?
False
Suppose 5*i + 1086 = 2*x, 2*x + 3*i = i + 1100. Suppose -3*b + 4*n + x = 0, -2*b - 5*n + 530 = b. Does 52 divide b?
False
Let b be 3/(-2)*(-256)/12. Suppose 4*i - 28 = -4*g, 8 = 5*i - 2*g - 6. Suppose -b = i*r - 88. Is 14 a factor of r?
True
Let k(m) = -32*m + 9 - 33*m + 59*m. Is k(-9) a multiple of 9?
True
Is (-2)/(-3) + (-20812)/(-66) a multiple of 6?
False
Let a(h) = -7*h**2 - 10*h - 17. Let l(f) = -8*f**2 - 11*f - 17. Let p(d) = 3*a(d) - 2*l(d). Let y be p(-7). Let x = y + 329. Does 41 divide x?
True
Suppose 5*b - 78 = -b. Does 11 divide b?
False
Suppose f + 6 = -2*f, 4*f = 2*x + 42. Let u = -23 - x. Suppose 0 = 8*b - u*b - 108. Is b a multiple of 18?
True
Let r be -2 - (-1)/((-3)/(-30)). Let m(g) be the third derivative of g**5/60 - g**4/24 + 2*g**3/3 - 5*g**2. Is 19 a factor of m(r)?
False
Let d(p) = 2*p**3 + 3*p**2 - 1. Let w be d(-6). Is 5 a factor of (-1 - (0 + -3))/((-10)/w)?
True
Let a(x) = x + 46. Let k be a(0). Let g = k + -11. Let l = g + -24. Is l a multiple of 11?
True
Is 3 a factor of 144/192*848/3?
False
Suppose 0 = 3*x - y - 1027, -3*x - 4*y - 56 = -1108. Suppose -p = -z - 75, 5*z = 4*p + 46 - x. Is p a multiple of 11?
True
Suppose -5*p = -5*s + 495, 4*p - 2*s + 9 = -383. Let z = p - -172. Is 32 a factor of z?
False
Let z(w) = -w**3 - 6*w**2 + w - 7. Suppose 0 = 4*s + 5*m + 39, 0 = 5*s - m + 33 - 6. Let h be z(s). Let n = h + 55. Is 5 a factor of n?
False
Let m(d) = 2*d + 7 + 6*d**2 + 0*d + 6*d + d**3. Let i be m(-5). Does 26 divide ((-6)/i)/(5/220)?
False
Is (-14909)/(-8) - 180/(-480) a multiple of 115?
False
Suppose 2*c - 517 = -2*b + 177, 3*c - 1076 = 4*b. Is c a multiple of 32?
True
Is 3 a factor of (286/77)/((-3)/(-21)) - -1?
True
Suppose -4 = -4*j + 3*j. Suppose -2*z - j*o + 65 + 77 = 0, -2*z + 145 = o. Does 4 divide z?
False
Let r(m) = -53*m + 30*m + 21*m. Let v = -27 - -18. Is r(v) a multiple of 4?
False
Suppose -5*o + 1183 = -1167. Is o a multiple of 8?
False
Suppose -3*a + 37 = -5*x, 2*a + 5*x + 0 = -17. Let c = 76 + -74. Suppose c*l + v - 64 = 0, -l + 162 = a*l + 2*v. Does 34 divide l?
True
Suppose 0 = -u - 0*u + 3. Suppose u*a - 44 = a. Suppose j - a + 7 = 0. Does 14 divide j?
False
Let y(c) = 59*c**2 + 5*c - 24. Is 164 a factor of y(5)?
True
Suppose q = 4*q - 18. Is 5 - -42 - (q - (3 + 0)) a multiple of 4?
True
Let p be (2/3)/((-2)/(-21)). Suppose -2*r + 5*m = -180, -2*r = -p*r - 2*m + 392. Does 16 divide r?
True
Suppose 10*w + 4*w - 15232 = 0. Is 136 a factor of w?
True
Let u(h) = -h**3 + 9*h**2 - 7*h + 1. Let t be u(8). Suppose -t*d = -4*d - 1345. Suppose 4*n - d = -65. Does 13 divide n?
False
Does 67 divide 2 - 2664/(-2 + -2)?
False
Let q = -378 - -660. Let d = q + -121. Does 12 divide d?
False
Suppose 12 = 4*k - k. Let z = k - 3. Let j = z - -10. Does 6 divide j?
False
Suppose -2*j + j = -8. Suppose -84 = -j*y + 6*y. Suppose -5*t + 132 = 3*n, -2*t - 5*n = -y - 26. Is 24 a factor of t?
True
Suppose 0 = 9*d - 508 - 140. Does 8 divide d?
True
Let f(a) = 3*a - 44. Let i be f(19). Let x(t) = 2*t**2 + 8*t + 6. Let p be x(-5). Suppose -3*s = y - 69, 5*y = 2*s - p - i. Is 5 a factor of s?
False
Let s = -373 - -407. Is 4 a factor of s?
False
Does 22 divide 396/27*(-54)/(-4)?
True
Let q = 3478 - 3165. Does 33 divide q?
False
Let f(r) = r**2 + 7*r + 16. Let h be f(-8). Is 20 a factor of (-6)/h + (-241)/(-4)?
True
Suppose -7*r = 277 - 858. Is 80 a factor of r?
False
Suppose 16*u - 20152 = 1752. Is 37 a factor of u?
True
Let m(y) = -y**2 + 12*y - 16. Let f be m(8). Let q = f + 7. Suppose q = 3*s - 61. Does 14 divide s?
True
Suppose -n = 3*q + 2*n - 438, 2*n = 5*q - 751. Suppose -5*i = -p + q, -4*p = -3*p - i - 145. Is p a multiple of 18?
True
Let w be (-6)/(-30) + 18/10. Let g be (-4)/10 - (-14)/35. Suppose q - 7 - w = g. Is q a multiple of 3?
True
Let i(t) = t - 3. Let j(c) = -c - 1. Let b(p) = 6*i(p) - 14*j(p). Suppose -5*m + 21 = -3*r, r = -5*m + 3*r + 19. Is 17 a factor of b(m)?
False
Does 28 divide (-2 - -1)/((-2)/8) + 177?
False
Let h(b) = -b**3 + 10*b**2 - 10*b + 22. Is h(8) a multiple of 14?
True
Suppose -2*r = -5*v + 2232, 0 = 2*v - 5*r + 9 - 906. Is v a multiple of 7?
False
Let a(s) = 10*s**2 - 7*s + 49. Does 3 divide a(5)?
True
Let v = 6 - 3. Suppose 3*h = -3*s - 15, -2*s = 4*h - 9*h + v. Does 10 divide s/6 + 244/6?
True
Let r(b) = -b**3 - 35*b**2 - 12*b - 122. Does 11 divide r(-36)?
True
Let p(o) = -46*o - 228. Is 2 a factor of p(-7)?
True
Let s(u) = -59*u**3 - 3*u**2 - u + 1. Let w(y) = -y + 19. Let x be w(20). Is s(x) a multiple of 29?
True
Let z(l) be the second derivative of 1/20*l**5 - 7/2*l**2 + 7/12*l**4 - 1/2*l**3 + 0 - 5*l. Is 7 a factor of z(-7)?
True
Suppose 0 = 2*y + 15*p - 10*p - 7988, 4*p - 3988 = -y. Is y a multiple of 26?
True
Does 20 divide ((-1076)/(-2))/(44/66)?
False
Suppose -6*h - q + 5039 = -3*h, h + 2*q = 1688. Is 16 a factor of h?
False
Suppose 33 = 3*h + 36. Is h - 1*(-14 - -1) a multiple of 6?
True
Let v = 1606 - 923. Does 57 divide v?
False
Suppose 5*d = -3*b - 221, b + 6*d = 11*d - 67. Is 68/(-3)*162/b a multiple of 35?
False
Let j(t) = t**3 + 15*t**2 - 10*t + 2. Is j(-11) a multiple of 17?
False
Suppose 11*z - 123 = 53. Let u(a) = 4 + 7*a + 15 - a**3 + 15*a**2 - 1 + 12*a. Is u(z) a multiple of 19?
False
Let h = 994 - 690. Is 34 a factor of h?
False
Suppose 0 = 2*u - g - 15, -43 = -5*u - 5*g + 2*g. Suppose u*h + 180 = 13*h. Is 12 a factor of h?
True
Suppose 5*w = 1445 + 2335. Is 12 a factor of w?
True
Let g = 11 - 9. Suppose 0 = g*x + 6 - 2. Does 17 divide (-154 - (2 - x))/(-2)?
False
Suppose 3*r + 35 = 4*n, 3*n - r - 20 = -0. Suppose -4*x + 50 + 74 = n*o, -o + 40 = -3*x. Does 7 divide o?
True
Let h be 179 - (-3 + (0 - 0))/(-1). Suppose 0*s = 2*s - h. Is s a multiple of 11?
True
Let g(u) = -26*u + 226. Is 5 a factor of g(-7)?
False
Let y be (0 - (-6)/(-9))*-9. Let m(t) = t**3 - 7*t**2 + 11*t + 8. Does 19 divide m(y)?
True
Suppose 4*a + 9 = v - 2*v, 5*v - 5*a = -120. Let b = v + 13. Let u(k) = -8*k - 8. Is u(b) a multiple of 16?
False
Let q(x) = 27*x**2 + 2*x + 2. Does 44 divide q(-2)?
False
Let p = -64 + 202. Let w = 194 - p. Does 8 divide w?
True
Suppose k = 2*f - 3*f + 557, 4*f = -k + 545. Is k a multiple of 9?
False
Let t(p) = p**3 + 4*p**2 - 4*p - 8. Let h be t(-4). Let l(m) = 2*m**2 + 3*m - 19. Let q be l(h). Suppose -4*z = -q + 25. Is 18 a factor of z?
False
Suppose -10*t = 10*t - 9600. Does 15 divide t?
True
Let q(n) = -n**3 + n**2 - n + 4. Is 36 a factor of q(-6)?
False
Suppose 0 = 2*k + 5*y + 669 - 2462, 5*y - 15 = 0. Does 27 divide k?
False
Let m be (27/(-24)*-2)/((-2)/96). Is (m/(-16) + 2/(-4))*16 a multiple of 25?
True
Let s(x) be the first derivative of -5*x**2/2 + 11*x + 17. Let z be 3*(5/(-3) + -1). Does 16 divide s(z)?
False
Let y = 20 - 15. Suppose 9*f = y*f + 192. Does 23 divide f?
False
Let j = -1118 - -1963. Is 15 a factor of j?
False
Suppose 3*u = 4*u - 5*o + 6, -2*u - 2 = -5*o. Let j = 6 + -4. Suppose -u - j = -x. Is x a multiple of 3?
True
Is -2 - 1830/(-18) - 4/(-3) a multiple of 13?
False
Suppose -6 = -3*j, -2*j + 10 = 5*p - 2*p. Suppose 0 = -2*u - 6, p*u - 4*u = 4*c - 98. Is c a multiple of 6?
False
Let l(q) = -q**3 - 9*q**2 - 27*q - 20. Does 70 divide l(-10)?
True
Let o be 1 + (-33)/5 + (-4)/10. Does 19 divide (-135)/(-30)*(-1 + (-82)/o)?
True
Suppose u + 0 = -5, -3*u = -2*s + 431. Does 5 divide (6/4)/(12/s)?
False
Let j(n) = 156*n - 117. Does 13 divide j(5)?
True
Does 40 divide (40 + -3)/(42/20 - 2)?
False
Let t(s) = 4*s**2 + 8*s. Let i(v) = -v**3 - 10*v**2 - 16*v - 5. Let r be i(-8). Is 12 a factor of t(r)?
True
Suppose 6 + 4 = 5*g. Let w be (3 - g) + -3 + 1. Let z(o) = -9*o**3 - o**2 + 1. Is 5 a factor of z(w)?
False
Let v(k) = k**3 - 5*k**2 + 4*k + 2. Let z = 12 - 8. Let r be v(z). Suppose r*x = -4 + 22. Does 9 divide x?
True
Let d(q) = -q**2 - 11*q + 1. Let h be 0 + -1 - (-3 - 18/(-3)). Is d(h) a multiple of 3?
False
Let x(k) = 2*k**2 + k. Is x(8) a multiple of 34?
True
Let u be 2 - (-63)/6 - (-1)/2. Suppose 415 = u*m - 547. Does 17 divide m?
False
Let q be 4*(-1 + (-6)/(-4)). Suppose 26 = 4*i + q*k - 4*k, -34 = -5*i + 3*k. Does 5 divide i?
True
S