13 a factor of c?
True
Does 8 divide (-6)/18*2*-228?
True
Suppose 0 = -5*k + 4*p + 944, k + 2*k - 3*p - 567 = 0. Suppose -5*m - 220 = -5*l, -l - 3*l - 2*m = -k. Suppose y = -12 + l. Does 5 divide y?
False
Let b = 421 - 273. Let h(m) = -5*m - 60. Let x be h(8). Let i = x + b. Is 8 a factor of i?
True
Let s be (-1 + 921/9)/(1/3). Suppose 13*v = 11*v + s. Does 20 divide v?
False
Suppose j - 229 = -3*b - 78, 0 = -2*b + 8. Does 24 divide j?
False
Let n = -558 - -1006. Does 28 divide n?
True
Suppose 35 = 3*r + 2*r. Suppose 4*d + 4 = 4*s, 5*s + 11 = -4. Let a = r + d. Is a a multiple of 2?
False
Let x = 0 - 0. Suppose 0 = -3*q + 4*k - 24, -5*q + 5*k + 0 - 35 = 0. Is 6 a factor of x - (q + 1) - -22?
False
Let y(j) = -26*j**3 - j**2 + j - 36. Does 12 divide y(-4)?
True
Let f(z) = -2*z**2 - 12*z - 11. Let m be f(-7). Let s = 52 - m. Is s a multiple of 15?
False
Let v(n) = -159*n. Let j(u) = -160*u. Let l(k) = -5*j(k) + 6*v(k). Is 43 a factor of l(-1)?
False
Let p = -16 - -26. Let m be (p/8)/((-1)/(-4)). Suppose 0 = -n + m*t + 52, 0*n = n - 2*t - 49. Does 20 divide n?
False
Suppose 166 = 3*p - 0*p - 2*y, -2*p + 3*y + 114 = 0. Let j = p - 6. Is 12 a factor of j?
True
Suppose 3*k - 5*o - 1750 = 0, -1056 = -4*k + 3*o + 1259. Does 32 divide k?
False
Let m(o) = 24*o + 404. Does 2 divide m(-16)?
True
Let l(a) = a**3 + 6*a**2 - 7*a + 7. Let p be l(-7). Suppose p*r = 4*r - y + 38, 0 = -r + 2*y + 22. Is r a multiple of 3?
False
Let c = 1168 + -588. Does 10 divide c?
True
Let i(d) be the second derivative of d**5/20 - d**4/2 - d**3 + 4*d**2 + 6*d. Is i(7) a multiple of 5?
True
Let y(q) = 4*q**2 - 2*q + 10. Is 12 a factor of y(-5)?
True
Does 51 divide (-206)/(-4) + (25/(-2) - -12)?
True
Let s be 1068/54 + 2/9. Is 37 a factor of (1*-2)/(s/(-1790))?
False
Let g(s) = s**3 - 2*s**2 + 5*s - 63. Is 24 a factor of g(8)?
False
Let u be 10/6 - 4/6. Let x(z) = z - u - 7 + 2*z + 0*z. Does 5 divide x(6)?
True
Let v = -1425 - -1638. Does 62 divide v?
False
Let l = 163 - 69. Does 2 divide l?
True
Let s(v) = 24*v - 3*v - v**2 - 6*v - 1 + 0. Let o be s(13). Let h = o - 14. Is 11 a factor of h?
True
Suppose 3*c = -13 + 109. Suppose 0 = c*t - 30*t - 240. Is 15 a factor of t?
True
Suppose i = -3*i + 16. Suppose 2*t = 4*o + 11 + 15, 8 = i*t + 3*o. Suppose -t*g + 4*g - 3*r + 37 = 0, -5*r - 21 = -g. Is 9 a factor of g?
False
Let h(t) = -t**2 - 30*t + 4. Does 5 divide h(-13)?
True
Let k be 1/5*3*(-1 + 6). Suppose -137 = -m - k*m + 5*x, -2*m + 5*x + 71 = 0. Is 11 a factor of m?
True
Suppose -30 = 5*c - 4*a, -3*c = -4*a + 26 - 0. Let t(u) = -6*u + 4. Let n be t(c). Let j = 30 - n. Does 7 divide j?
True
Suppose -44 = -4*u - 4*m, 0*u - 3*m = -4*u + 44. Let p(z) = -z**3 + 10*z**2 + 14*z - 9. Let i be p(u). Is 7 a factor of (i/15)/((-5)/(-175))?
True
Let f = 39 + 19. Suppose 0*t + t + 139 = 4*z, -39 = -z - 4*t. Let b = f - z. Is 7 a factor of b?
False
Suppose -3*m + 1792 + 1555 = -5*b, 5*m = -2*b + 5630. Is m a multiple of 91?
False
Suppose -77*h + 32325 = -62*h. Is 13 a factor of h?
False
Let d be 26/6 - (-6)/(-18). Suppose 0 = c + 5*b - 34, -144 = -4*c + d*b + 16. Does 13 divide c?
True
Let a = 562 - 283. Suppose 4*k + 2*f - 3*f = a, -132 = -2*k + 2*f. Let x = k - 50. Does 7 divide x?
True
Is 7 a factor of (23/(-1))/((-144)/(-21) + -7)?
True
Let b = 383 + 7. Is b a multiple of 16?
False
Let r = 19 - 15. Does 26 divide 13/r*(20 - -12)?
True
Let v = -2 - -2. Let s(u) = -u**2 - 2*u - 88. Let z be s(v). Let h = 146 + z. Is h a multiple of 25?
False
Let y = 9 + 4. Suppose 11*j = y*j. Suppose 3*w = -j*w + 57. Is 14 a factor of w?
False
Let w(a) = a**2 - 2*a - 3. Let c = 10 + -15. Is 25 a factor of w(c)?
False
Suppose -2*p - 8 + 10 = 0. Let s = 15 + -11. Suppose -h - p = -s. Does 3 divide h?
True
Let q be 158/18 - 6/(-27). Suppose -4*g - 140 = -q*g. Does 14 divide g?
True
Suppose -5*m - 21 = 2*m. Is m - -15*4/(36/33) a multiple of 18?
False
Suppose -5*h + 3039 = 4*o, -4*h + 4*o + 2433 = 9*o. Suppose 3*u = i - 293 + 910, 3*u + 4*i = h. Does 22 divide u?
False
Let c(h) = -h**3 - 80*h**2 - 80*h + 442. Is 19 a factor of c(-79)?
False
Let u be -2 + (14 - 4)*1. Suppose 4*f = u*f - 96. Suppose -104 = -4*v - f. Does 10 divide v?
True
Suppose -h - 4*q = -25, 4*q = 5*h - q. Suppose -c = -h*s - 36, -3*s = c + 3*c - 121. Let w = -5 + c. Does 6 divide w?
False
Let u(d) = 2*d**2 + 51*d - 183. Does 23 divide u(15)?
False
Let s be (-2 - 164)*((-9)/(-2) - 2). Let k = -184 - s. Is 22 a factor of k?
False
Let d(b) = 65*b - 16. Let u be d(14). Is 15 a factor of u/6 - (-2 - -1)?
True
Let m(g) = 7*g + 16. Let v be m(9). Suppose -5*c + v + 71 = 0. Is 24 a factor of c?
False
Let w = -2378 - -3849. Is w a multiple of 49?
False
Let t(r) = 4*r - 19. Suppose 3*f = 0, -3*x + 19 = -f - 23. Is 37 a factor of t(x)?
True
Suppose -7*n + 2*m + 1836 = -6*n, 5*n - m = 9171. Does 14 divide n?
True
Suppose -4*h + 5 = -23. Suppose -5*y - h = -42. Is 4 a factor of y?
False
Is 8 + -1 + (1031 - 1) a multiple of 61?
True
Suppose 0 = 130*g - 129*g - 4976. Is g a multiple of 91?
False
Is 10 a factor of (-9164)/(-22) + (-54)/99?
False
Let v = 91 + 38. Does 43 divide v?
True
Let c(m) = 11*m - 280. Does 12 divide c(32)?
True
Does 6 divide (103/3)/(19/9 - 2)?
False
Suppose -4*j - 3*j + 2492 = 0. Let c = j - 248. Is c a multiple of 18?
True
Does 19 divide -4 + 8/(16/958)?
True
Let k(m) = -5*m - 48. Let q be k(-9). Is (2 + q)*(-1 + 17)*-2 a multiple of 8?
True
Let d(k) = -k**3 - 13*k**2 - 18*k - 12. Let h be (-3)/6*-2 + 0. Let w be 2/h*-1*6. Is d(w) a multiple of 12?
True
Let k = 9 + -7. Suppose 0 = 4*o + s + 122 - 358, 5*o + k*s = 292. Suppose 4*h = -h + o. Is 11 a factor of h?
False
Let q = 628 + -290. Is 29 a factor of q?
False
Let n = 47 - 35. Suppose -n = 22*p - 26*p. Suppose 4*r + d = 249, 3*d = p*r - 61 - 137. Does 9 divide r?
True
Suppose -4*d + 3*h + 2237 = 0, -d + 3*d = 3*h + 1123. Does 20 divide d?
False
Let c(m) = -m**3 + 5*m**2 + 4*m - 2. Let w(j) = -3*j - 1. Let h(a) = 4*a + 2. Let p(x) = -2*h(x) - 3*w(x). Let o be p(6). Is c(o) a multiple of 9?
True
Let y(d) be the second derivative of -d**5/20 - 2*d**4/3 + 2*d**3/3 - 6*d**2 - 2*d. Let j be y(-9). Let i = j - 13. Is i a multiple of 14?
False
Suppose -2*h - 13 = 3*g, 0*g = 3*g - 9. Let q(u) = -5*u + 24. Does 8 divide q(h)?
False
Let l = 14 - 14. Suppose u - 5*n - 76 = l, 5*u - 4*n - 336 = -n. Does 14 divide u?
False
Suppose -4*n = 4*o + 68, -5*n - 38 = -5*o + 67. Does 14 divide -4*n/2 - -4?
True
Suppose 3*y + 3*u - 21 = 0, 3*y - 2*u = 20 + 6. Let i(n) = y + 4 - 21*n - 3 + 7. Is i(-4) a multiple of 25?
True
Let l(a) = a + 15. Suppose 0 = -3*m + m - 10. Let z be l(m). Suppose o = j - 2*o - z, 4*j - 5*o = 33. Is 7 a factor of j?
True
Let g = -8 + 8. Suppose -804 = -3*l - g*l. Suppose 0 = 9*n - 13*n + l. Is 10 a factor of n?
False
Does 25 divide (72/(-192) - 5046/(-16))*5?
True
Let g = -104 - -108. Suppose 0 = -7*w + 2*w + 10. Suppose -5*v + v - 3*t + 28 = 0, g*t = -w*v + 4. Is 10 a factor of v?
True
Suppose -1 = -4*x + 11, 4*k - 112 = -4*x. Let b = -17 + k. Suppose -b = -0*o + 2*o, 3*o = 4*f - 156. Is f a multiple of 12?
True
Let s = 6 - 2. Suppose s*n + 64 = 12*n. Does 2 divide n?
True
Let l(a) = -3*a**3 - a**2 + 2*a + 4. Let o be l(-3). Suppose -3*m = -23 - o. Does 8 divide m?
False
Let h = 64 - 70. Let z = 85 - h. Is z a multiple of 17?
False
Let s(o) be the first derivative of -2*o**3/3 - 24*o**2 + 2*o + 10. Is 24 a factor of s(-7)?
True
Suppose 34*s + 44*s = 8892. Is 8 a factor of s?
False
Let j = 8 + -8. Suppose 0 = 4*t - 5*p + 48, 2*p + 12 = -4*t - 2*p. Is 5 a factor of j + t/((-28)/60)?
True
Suppose -2*v - 2*h = -4 - 2, 0 = 5*v - h - 15. Suppose v - 7 = u. Is 49 + 0 + 3 + u a multiple of 16?
True
Let s = -164 + 279. Is 11 a factor of s?
False
Suppose -k = -3*h - 135, 227 - 728 = -4*k - h. Is k a multiple of 14?
True
Let y be 21 + -2 + -7 + 9. Let w(a) = a**3 - 20*a**2 - 13*a - 26. Does 41 divide w(y)?
False
Let d(x) = -16*x + 36. Is 36 a factor of d(-18)?
True
Is 12 a factor of 921 + (6 - 3) + 3?
False
Let p(f) = f + 1. Let h(j) = 1. Let u(a) = -h(a) + 4*p(a). Let s = 24 - 19. Does 19 divide u(s)?
False
Let k = 3208 + -1657. Is 33 a factor of k?
True
Let z be 53 + -1 - 0/1. Suppose 4*n + z = 8*n + 4*f, -67 = -4*n + f. Does 16 divide n?
True
Let w(q) = 59*q + 157. Is 18 a fact