15 a factor of l?
True
Does 7 divide 1554/148*2920/14?
False
Suppose -8 = 2*o, -u - 5*o = -12 + 32. Let b(v) = -v**2 - 4 + v + u*v**2 + v**2 + 2*v**2. Is b(4) a multiple of 20?
False
Suppose -12*h + 264 = -0*h. Does 3 divide h?
False
Suppose 0 = 12*u + 517 - 5185. Is u a multiple of 38?
False
Let k(s) = 2*s. Let i be k(2). Suppose 2*g + z = 331, i = -4*z + 8. Let w = g - 57. Is w a multiple of 36?
True
Suppose 21*a - 58*a + 9324 = 0. Is a a multiple of 7?
True
Does 19 divide 1143 - ((-85)/(-25) - (-26)/(-65))?
True
Suppose -49*o + 46*o + 1533 = 0. Is 23 a factor of o?
False
Let p(w) = -w**3 - 6*w**2 - w + 2. Let t be p(-6). Suppose -t*b + 22 = -6*b. Is b a multiple of 11?
True
Suppose -5*h - 3 = -158. Let c be 61/3*(1 - -2). Let x = c - h. Is 7 a factor of x?
False
Let c(b) = -b + 18. Let m be c(15). Let v = 3 + -3. Suppose -n = -h - 22, 3*h + 9 - m = v. Is n a multiple of 6?
False
Let r = -76 + 356. Is r a multiple of 7?
True
Let r be (-1)/(6/(-9)*4/8). Suppose -r*q = 5*h - 142, 2*q + 2*q - 236 = 5*h. Does 9 divide q?
True
Suppose s = 2*o + 2*s - 13, -2*o - 2*s + 10 = 0. Let h(n) = -o*n**2 + 4*n**2 + 4*n - 13 - 3*n**2 + n**3. Is h(7) a multiple of 3?
True
Let v(m) = m**2 + 4*m + 40. Let k = 21 - 21. Is v(k) a multiple of 7?
False
Suppose 476 = 4*p + 5*u - u, u = p - 111. Is 10 a factor of p?
False
Let r(h) = -129*h + 446. Is 71 a factor of r(-7)?
True
Let n(u) = -5*u**2 - 3*u + 2. Let k(y) = 6*y**2 + 2*y - 2. Let t(q) = 4*k(q) + 5*n(q). Let x be t(-7). Does 14 divide (-588)/(-9) - x/6?
False
Let t(m) = -m**2 - 4*m - 4. Let n be t(-4). Let s be n/10 - (-48)/(-30). Let b = s - -26. Is 8 a factor of b?
True
Suppose 4*g - 3*h = 13 + 22, 0 = 4*g - h - 25. Suppose -m + 106 = -2*j, 5*j - 455 = -g*m - 0*m. Does 10 divide m?
False
Let x(q) = 29*q + 27. Is x(7) a multiple of 10?
True
Does 13 divide (-1)/5 + 2648/40?
False
Let d = 46 - 64. Let s = d - -23. Is (-18)/(0 + (3 - s)) even?
False
Let c(p) = -p**3 + p - 4. Let f be c(0). Let s be f/(-10) - (-24)/15. Suppose -v = w - 54, -v + 1 = -s. Is w a multiple of 17?
True
Let h = 3868 - 2750. Is h a multiple of 43?
True
Does 10 divide 2/9 + (-7930)/(-117)?
False
Let d be 18*(-1)/(-2) - 1. Suppose 2*o - d = o. Does 8 divide o?
True
Suppose -1 = -b, 4*f - 1086 = -0*f + 2*b. Is 20 a factor of f?
False
Suppose -3*d = -t + 8, -2*d = t - 1 + 3. Let a = 17 + d. Is a a multiple of 10?
False
Let p(f) = -f**2 - 5*f - 3. Let b be p(-2). Let t(g) = 6*g**2 - 4*g + 1. Let q be t(b). Suppose -4*i - u = -0*u - 34, 0 = 5*i + u - q. Is 3 a factor of i?
True
Does 6 divide (2 - (367 + 1))*4/(-6)?
False
Let y(v) = 3*v + 1 + 5 - 3 + 0 - 4*v**3 - 6*v**2. Is y(-3) a multiple of 13?
False
Let o = 1289 + 132. Is 49 a factor of o?
True
Suppose 2*j + 14 - 2 = 0. Let q be 2/(-2) - -3 - j. Suppose -3*d - 212 = -q*d + 4*h, d + 3*h - 31 = 0. Is d a multiple of 14?
False
Let j = 454 + -397. Is 57 a factor of j?
True
Is (8/(-10))/(5/((-26125)/11)) a multiple of 20?
True
Let t = -200 - -213. Is t a multiple of 13?
True
Suppose 0 = 3*h - 39 + 15. Suppose -11*m = -10*m - h. Does 4 divide m?
True
Suppose 2*b + 2*w = 240, b + 0*b + 5*w - 104 = 0. Does 19 divide b?
False
Let x(j) = j + 1. Let v be x(2). Let s(y) be the first derivative of 3*y**2 - 7*y - 98. Does 3 divide s(v)?
False
Suppose i = -2*i - 4*y + 155, -4*i + 4*y = -160. Let g = 82 - 117. Let p = g + i. Is 3 a factor of p?
False
Suppose -6*y - 362 + 968 = 0. Suppose -4*z + 408 = 4*q, -2*q + y = z - 0*q. Is 27 a factor of z?
False
Let s = 133 - 81. Suppose s - 1060 = -8*k. Is k a multiple of 9?
True
Suppose 4 = 2*w, 2*f = -3*w + 5791 - 2427. Is f a multiple of 119?
False
Suppose 2*n - 5*h = 8861 - 2910, -4*n + 4*h + 11908 = 0. Does 47 divide n?
False
Let j = -27 - -31. Let y(p) = -9*p + 10*p - j + 0 - 14*p. Does 7 divide y(-3)?
True
Let v be (0 - -2) + (3 - 14). Let l be (v/(-2))/(3/4). Suppose -l*m - 7 = -49. Does 3 divide m?
False
Let x be (-24)/16 - (-38)/4. Let p be 3/((-6)/(-11))*2. Let m = p + x. Is m a multiple of 8?
False
Let y(s) = 29*s + 6. Let f be y(3). Let c = -28 + f. Is 13 a factor of c?
True
Suppose -8*o = 134 + 66. Let s = 56 + o. Is s a multiple of 4?
False
Suppose -17 - 3 = 5*i. Let d(h) = 2*h**3 + h**3 + 6*h**2 + 0*h + h - 1 - 2*h**3. Does 9 divide d(i)?
True
Let z(q) = q**2 - 6*q - 11. Let w be z(5). Does 6 divide (82/8)/((-4)/w)?
False
Suppose -3*v = -2*v + x - 8, -12 = -v + x. Let t(g) = -9*g**2 - 26*g + 28. Let q(y) = -5*y**2 - 13*y + 14. Let m(r) = 11*q(r) - 6*t(r). Does 3 divide m(v)?
False
Let o(f) = -2*f**3 - 5*f**2 - 17*f - 8. Does 9 divide o(-4)?
True
Suppose -8436 = -5*q - 5*o + 224, 4*q - 6960 = 4*o. Is 14 a factor of q?
True
Let f = 991 + -865. Is f a multiple of 14?
True
Let g(s) = -s**2 + 7*s + 4. Let x(b) = -b**3 + 8*b**2 - 7*b + 7. Let h be x(7). Let w be g(h). Does 4 divide 6 - (-1 + w + -5)?
True
Suppose -561*i - 3693 = -564*i. Is i a multiple of 120?
False
Let l = -40 + 60. Let c be (-356)/l*(-6 - -1). Let r = c - 48. Is 20 a factor of r?
False
Is (5/((-15)/(-8)))/((-34)/(-32640)) a multiple of 32?
True
Let n = -319 + 723. Does 5 divide n?
False
Let l = -329 - -564. Does 4 divide l?
False
Let g(n) = 226*n + 9. Let m(c) = -113*c - 5. Let j(i) = 6*g(i) + 11*m(i). Does 28 divide j(1)?
True
Is (672/9)/(68/(-12) + 6) a multiple of 14?
True
Suppose 0*d + 4 = t - 3*d, -2*t + 4*d + 6 = 0. Let n be 36/6 - t*3. Suppose 3*x - 59 = -w + n*w, -4*x = -w - 82. Does 7 divide x?
True
Let a = -248 + 640. Is 7 a factor of a?
True
Suppose p = 271 + 229. Suppose -3*t = 7*t - p. Is t a multiple of 9?
False
Suppose -3*d + 8360 = -5*z, 2*d - 5*z + 1607 = 7177. Does 31 divide d?
True
Let y = -6 - -9. Suppose -2*j = 2*g - 226, 0*j - 15 = -3*j. Suppose -z + g = y*z. Is z a multiple of 9?
True
Let g be 4/18 + 40/(-18). Let l = 5 + g. Suppose -l*s = 4*i + 16 - 131, 0 = -i + 3*s + 25. Is 14 a factor of i?
True
Suppose -3178 - 1522 = -5*h. Suppose 5*o + h = 10*o. Is o a multiple of 15?
False
Suppose -27 = -4*g - 3*f, -4*g + 2*f + 0 = -2. Let a be -2*1 - -1 - -5. Suppose 5*v = a*v + g. Does 2 divide v?
False
Suppose -5*l + 8*l - 9 = 0. Suppose 0 = -w - 0 + 2. Suppose l*v + w*v - 295 = 0. Is v a multiple of 21?
False
Let q = -34 + 30. Let v = 8 + 2. Let r = v + q. Does 2 divide r?
True
Let p(v) be the third derivative of 0*v - 4*v**2 - 5/6*v**3 + 1/8*v**4 + 0. Does 13 divide p(6)?
True
Let n be ((-9)/12)/(42/(-280)). Suppose n*l - 10 = 280. Does 4 divide l?
False
Suppose 0 = 115*z - 119*z + 820. Is 41 a factor of z?
True
Suppose 8*a = 3*a + 25. Suppose -3*w = -9*w + 12. Suppose -w*o + 43 = -v - a, 2*v + 121 = 5*o. Does 25 divide o?
True
Let m(b) = 16*b**3 - 3*b**2 + b + 4. Let i be m(2). Let v = i - -91. Is 16 a factor of v?
False
Let d(i) = i**2 + 6*i - 13. Let l(q) = -1. Let a(b) = d(b) - 2*l(b). Let c be a(-8). Suppose -c*h = -h - 196. Does 19 divide h?
False
Let h = 36 - 22. Suppose -f + 6 = -2*k - 0*k, 2*f = 5*k + h. Is 8/(-3)*-18 + f a multiple of 25?
True
Suppose -3000 = -4*x - 3*g, 15*g = -2*x + 11*g + 1490. Is 10 a factor of x?
False
Let t = 27 - 23. Suppose a - 4*a - h = -142, 2*h + t = 0. Is a a multiple of 22?
False
Let l = 15 + -11. Let a be (-654)/(-26) - 6/39. Let t = a + l. Is 11 a factor of t?
False
Suppose 19*a + 5 = 14*a. Is a + -1 + 10*5 a multiple of 8?
True
Does 9 divide (5 + 11)*(13 + -9)?
False
Suppose 4*n - 6 = -2. Let y(a) = -1 - n + 3 - 3 - a. Is 3 a factor of y(-11)?
True
Let k = 52 - 54. Is (-156)/(-18)*(-3)/k a multiple of 13?
True
Let s(y) = y**3 - 4*y**2 - 13*y + 4. Let v be s(6). Does 16 divide v - (-1 - 5) - -113?
False
Let x(m) be the third derivative of m**4/24 + 14*m**3/3 + 17*m**2. Is x(12) a multiple of 10?
True
Let b = 351 - 156. Suppose -9*x + 237 + b = 0. Is 16 a factor of x?
True
Suppose -44 = -27*x + 10. Suppose 4*u = 2*u + 4. Suppose 2*n = u*a + 42, a + 35 = x*n - 7. Is n a multiple of 21?
True
Suppose -5 = 5*o - 15. Let b be -2 - (o - (13 + 2)). Suppose -3*z + b = -154. Is z a multiple of 11?
True
Does 26 divide -738*16/((-320)/30)?
False
Let q = 64 - 50. Is 7 a factor of q?
True
Let c(s) = -s**3 - 2*s**2 + 34. Let r = -30 + 30. Does 5 divide c(r)?
False
Suppose -g + 1 + 3 = 0. Suppose -g*x - 22 = -3*t, -2*x - x = -t + 9. Let q = t - -46. Is 13 a factor of q?
True
Let i(m) = -m**2 - 20*m - 59. Does 4 divide i(-15)?
True
Suppose 