u - 268 = -5*l, -4*l - u + 220 - 3 = 0. Does 8 divide l?
False
Is ((-24)/32)/((-2)/32) a multiple of 3?
True
Suppose 13*w - 1529 - 421 = 0. Is 15 a factor of w?
True
Is (-394)/(-6) - (20/6)/5 a multiple of 4?
False
Let v = 34 - -64. Does 14 divide v?
True
Let s be 4 + 130 + 12/(-3). Suppose 3*c - s = c. Does 13 divide c?
True
Suppose 0 = l + 3 - 0. Let a(w) = w**2 - w + 1. Is a(l) a multiple of 13?
True
Suppose -2*i + 252 = 2*i. Is i a multiple of 33?
False
Suppose -26*d + 5*d + 3360 = 0. Does 40 divide d?
True
Suppose -3*m = 16 + 65. Let j = -15 - m. Is 4 a factor of j?
True
Let u(j) = j**2 - 6*j + 5. Let l be u(7). Suppose 3*q - l = -q. Is q a multiple of 2?
False
Let g be 41/(-2) + 24/(-16). Does 4 divide (g/(-3))/((-3)/(-9))?
False
Let a be -6 + 3 + 2 - -71. Suppose -5*z = -4*j + 81 - 6, a = 3*j - z. Does 17 divide j?
False
Suppose -4*z = -2*t - 8, t + 3*z - 9 = 2. Let n be ((-1)/t)/(3/(-30)). Suppose -i + 8 = -2*f, 4*f + 73 = n*i + 5*f. Does 7 divide i?
True
Suppose -7 = t - 5*n + 10, 2*n = 8. Let g = 29 - t. Is 3*g/6 - -3 a multiple of 16?
True
Let l(f) be the first derivative of f**4/4 - 3*f**3 + 11*f**2/2 + f - 4. Is l(8) a multiple of 7?
False
Suppose 0 = 6*w - 3*w. Suppose -4*b = 5*s - 48, 0*b = -3*b + 2*s + 36. Suppose -3*u - 2*i = -u - b, w = -4*i. Does 3 divide u?
True
Let b = -8 + 12. Let s be -2 + 1 - (-4 + -170). Suppose 0 = 2*y + y + b*z - 107, 0 = 5*y + 4*z - s. Is 14 a factor of y?
False
Suppose -n = 5, -5 = 4*s - 4*n - 45. Suppose 0 = s*t - 2*t - 69. Does 11 divide t?
False
Is 5 a factor of 1/(9/6) - 344/(-6)?
False
Let o = 49 - 46. Is 3 a factor of o?
True
Suppose 0 = -q - 0 + 1. Let l = 0 + -1. Is 11 + q/(l/(-2)) a multiple of 13?
True
Does 2 divide 3 - 1*(-6 - -3)?
True
Let k = 257 - 174. Is 17 a factor of k?
False
Let o(k) be the third derivative of 17*k**5/60 + k**3/6 - k**2. Let t be o(-2). Suppose -5*h - 90 = -5*u, -5*u + t = -u - h. Does 7 divide u?
False
Let n(k) = -k**3 - 10*k**2 + 9*k - 44. Does 34 divide n(-12)?
True
Let n(o) = -3*o - 25. Is n(-16) a multiple of 23?
True
Let v = 76 + -45. Let f = v - 9. Is 13 a factor of f?
False
Let n(o) = -o**3 - 10*o**2 - 11*o - 8. Let q be n(-9). Suppose -5*u = -3*u + q. Let c = 12 + u. Is 7 a factor of c?
True
Let b(m) = 80*m + 4. Let s be b(3). Suppose -4*f + s = 4*q - 0*f, 4*f = -16. Let c = -37 + q. Does 14 divide c?
True
Suppose 3*k = 5*k - 68. Is k a multiple of 17?
True
Suppose 2*c + 21 = 9*c. Is c a multiple of 3?
True
Let v(h) = h + 4 + h**3 - 5 - 5*h**2 + 0*h. Let g be v(5). Suppose -4*x + 19 = -g*y + 59, -5*y + 2*x = -62. Does 7 divide y?
True
Let h be (-2)/(-3 + 1)*199. Suppose 5*q - 64 = -o, 5*o + 4*q - h = 37. Is o a multiple of 13?
False
Let f be (-8)/(0 + (-3)/(-6)). Let r = -8 - f. Is r a multiple of 5?
False
Let r be (0 + (93 - 1))*1. Suppose 6*b = -6*b + 792. Let a = r - b. Is a a multiple of 13?
True
Suppose -2*l = -6*l + 40. Is 5 a factor of l?
True
Let f be (-4)/(3/(-3)) - 3. Let r = f - 1. Suppose r = -q - 5*z + 14 + 16, 4*q - 120 = 4*z. Is 15 a factor of q?
True
Suppose -2*w - 4*d = 6 - 0, 12 = 2*w - 2*d. Suppose -3*h - 13 + 40 = w*k, -4*h - 3 = k. Is 4 a factor of k?
False
Let j = 188 + -149. Does 7 divide j?
False
Let p(d) = d**3 - 3*d**2 - 2 - 3 + 1 + 6*d**2 - 3*d. Let s be p(-3). Suppose 0 = 4*w + 2*z - 66, 4*w - 21 = s*z + 10. Is w a multiple of 7?
True
Suppose -5*h - b + 5 = 0, -h - 3*h + 4*b = -4. Suppose -5*u - 1 = v, 0*v + 2*u + 7 = -v. Let y = h - v. Is y a multiple of 12?
True
Does 13 divide ((-2)/(-4))/((-5)/(-1550))?
False
Let c(n) = -n**2 + 5*n - 2. Let f(p) = 0 + 5 - 22*p + 4*p**2 + 6*p. Let g(x) = 7*c(x) + 2*f(x). Does 10 divide g(-7)?
False
Let n be (-12)/6 - -5*2. Suppose 3*p = -5*i + 97, -3*p + 15 = 3. Let r = i - n. Is r a multiple of 7?
False
Let a be (5/((-15)/9))/(-1). Let o(l) = 13*l - 1. Does 19 divide o(a)?
True
Let k(i) be the first derivative of -5*i**2/2 - 7*i + 1. Let a be k(7). Is 17 a factor of 173/7 - 12/a?
False
Let k be ((-2)/4)/(12/(-456)). Suppose 4*p + 32 = 4*b, p - k = -3*b + b. Is b a multiple of 9?
True
Suppose 0*b + 2*f + 210 = 3*b, -f = 0. Let q = -49 + b. Does 21 divide q?
True
Suppose -l = -3*l + 42. Is l a multiple of 18?
False
Let r = 14 - 11. Let b = 5 + -3. Suppose -8*f + r*f = b*x - 33, -f = -3. Is x a multiple of 9?
True
Suppose -2*x = 3*x + v - 274, 59 = x - 4*v. Let n = -20 + x. Does 25 divide n?
False
Let n(c) = -c**3 - 7*c**2 - c - 3. Let r be 1 - (1 - 3 - -10). Let u be n(r). Suppose 0 = -u*j + 79 + 5. Does 11 divide j?
False
Suppose -4*i - 14 = -5*i + 3*h, -h = -2*i + 38. Let u = i - 2. Is 6 a factor of u?
True
Suppose -5*l + 2*l + 369 = 0. Does 20 divide l?
False
Suppose -2*k + 2*w = -46, -w - 34 = -2*k - 3*w. Is 10 a factor of k?
True
Let s be (-1)/(1/(-2)) - -19. Suppose 4*p - 1 - 11 = 0. Is 4 a factor of (1/p)/(1/s)?
False
Suppose 3*x - 1 = -2*z, 3*z = -5*x + 2*x. Let j(o) = 10*o + 20*o - 5*o - x. Does 14 divide j(1)?
False
Let c(v) = 18*v. Let b be c(2). Let h = b - 23. Suppose h = -3*j + 34. Does 7 divide j?
True
Let w(p) = 5*p**2 - 2*p + 1. Let c be w(1). Is 4*(-2)/c + 67 a multiple of 17?
False
Let q(h) = -h + 33. Does 9 divide q(-33)?
False
Let d = -169 - -284. Is d a multiple of 32?
False
Let m(y) = y**3 - y**2 - 4*y + 6. Let a be m(7). Suppose -3*b + a = b. Suppose b = v + v. Is 12 a factor of v?
False
Let c(b) = b**3 - 7*b**2 + 8*b + 1. Is c(7) a multiple of 11?
False
Let i(j) = 5*j + 8. Is i(19) a multiple of 23?
False
Suppose 220 = -2*s - 3*s + 3*y, 2*y - 174 = 4*s. Let o be (-4)/(-8) + s/(-2). Suppose -x + 21 = -3*c, o = -x + 3*x + c. Is x a multiple of 4?
True
Suppose 2*y + 5*f = 5*y - 235, -2*f = 4*y - 270. Does 10 divide y?
True
Let k be (-2)/(-4) + (-114)/(-4). Let v = k - -10. Is v a multiple of 13?
True
Let o be 6/4*18 - 3. Let y = -1 + o. Is y a multiple of 7?
False
Let f(g) = 3*g - 1. Let i be f(-1). Let t(y) = 2*y**2 + 4*y - 2. Let r be t(i). Suppose -r = -5*z - 2*s + 64, 5*s = 3*z - 22. Does 7 divide z?
True
Let f = -56 + 239. Suppose -f = -4*w - 19. Let j = w - -9. Is j a multiple of 22?
False
Suppose 3*m = -3*l + m + 6, -4*l + 8 = 4*m. Suppose -l*g + 63 = -15. Does 13 divide g?
True
Let t(p) = -p**2 + 8*p - 8. Let x be t(7). Let b = 3 + x. Suppose -10 = -b*j, 0*r - 2*j = r - 33. Is 21 a factor of r?
False
Suppose 4*x - 5*i - 318 = 0, -2*x - 10*i = -6*i - 172. Does 17 divide x?
False
Suppose 0 = -t - 3 - 3. Let q be 3 + (3 - t/(-3)). Suppose 4*d - 100 = -q*j, 4*d - 4*j = j + 109. Does 10 divide d?
False
Let v(m) = -m**2 - 8*m - 4. Let p be (-2 - 5 - -2) + 1. Let s be 54/12*p/3. Is 8 a factor of v(s)?
True
Suppose 3*f + 0*z - z = 268, -5*f + 4*z + 442 = 0. Suppose 2*u = f + 2. Is u a multiple of 11?
False
Let q(u) = -u**3 + 7*u**2 - 8*u + 7. Let k be q(5). Suppose -5*g = 4*t + 27 - 83, 5*g = 20. Let a = t + k. Is 10 a factor of a?
False
Let n be 50/1*9/(-6). Let a = 37 + n. Let j = a - -57. Does 7 divide j?
False
Suppose -g + 3*g = 54. Is g a multiple of 5?
False
Suppose 27 + 96 = -3*r + n, 2*r + 77 = -n. Is r/32*32/(-2) a multiple of 18?
False
Suppose -5*i - 60 = 5*l, -5*l - 4*i - 30 = -9*i. Does 8 divide 25 - 3/(l/(-6))?
False
Let y be 10/(-3)*18/5. Let g be (-2)/6 + (-11)/(-33). Let j = g - y. Is j a multiple of 12?
True
Let m(h) = -2*h - 4. Let w = -23 + 14. Is m(w) a multiple of 7?
True
Let p = 141 - 89. Is p a multiple of 27?
False
Let s(g) = -g**3 - 6*g**2 + 8*g + 9. Let z be s(-7). Suppose -z*l - 28 = -3*l. Does 3 divide (-2 - 0) + l/4?
False
Let x(g) = -g**3 + 2*g**2 + g + 1. Let o be x(4). Let f = o - -40. Suppose y + 0 - f = 0. Is y a multiple of 6?
False
Suppose 0 = -5*g + 5*p + 460, -9 + 99 = g - 3*p. Is g a multiple of 19?
False
Let b(c) = 12*c**2 + 5*c - 2*c + 2 + 1. Does 20 divide b(-2)?
False
Let q(v) be the third derivative of v**6/60 - v**5/12 + v**4/8 - 2*v**3/3 - 4*v**2. Does 14 divide q(3)?
True
Let q = 39 - 11. Is 7 a factor of q?
True
Let c(v) be the third derivative of v**5/60 + v**4/6 - v**2. Let z be c(-4). Suppose z = -4*u + 145 - 41. Does 11 divide u?
False
Let l(z) = -z**3 - 8*z**2 - 6*z + 1. Let v be l(-6). Let a be 1/5 - 98/v. Suppose a*o - 17 = 13. Does 10 divide o?
True
Let j(q) be the second derivative of 4*q**3/3 - q**2 - 2*q. Is j(4) a multiple of 10?
True
Suppose -38 = -5*d + 3*h, -2*d + 4*h + 17 = h. Suppose f - 2 = 0, -o + 0*o