 factor of j?
True
Let h = 1833 - 993. Is 14 a factor of h?
True
Suppose 4*d - 20 = -0. Suppose 4*n + 4*b - 308 = -76, -232 = -4*n - d*b. Is 20 a factor of n + (8/2)/2?
True
Let c = 14 - 13. Let d be (-1)/((-6)/4 + c). Is 5 a factor of d*((-11)/(-2) - 2)?
False
Let y(k) = -k**3 - 5*k**2 - 5*k - 2. Let g be y(-4). Suppose 0*m - g*m = 5*h - 417, -2*m - 4*h = -422. Is m a multiple of 17?
True
Let p(u) be the first derivative of -u**4/4 + u**3 - u**2 + 3*u + 18. Is p(2) a multiple of 2?
False
Let h be 6/(40/19 + -2). Let t = h - -23. Is t a multiple of 20?
True
Let w = 417 + -228. Let j = w + -126. Is j a multiple of 12?
False
Suppose -4*u = -4*g - 4 - 0, 5*u - 4*g - 10 = 0. Suppose -u = -6*p - 0. Is (-28 - 1)*-1 - p a multiple of 14?
True
Does 5 divide 1074/30 + (16/10)/(-2)?
True
Let q be (-99)/(-6)*4/3. Is 13 a factor of 23983/319 - 4/q?
False
Is -7 + 8 - (2 - 628) a multiple of 38?
False
Let y = 2 - 2. Suppose -2*b + 239 - 69 = y. Let g = b + 23. Does 27 divide g?
True
Suppose 0 = -4*p + 161 - 1. Is 10 a factor of p?
True
Let b(o) = -3*o**2 - 42*o - 23. Does 2 divide b(-10)?
False
Let p = -20 - -23. Suppose 0 = -4*m + x + 31, 0 = 2*m - p*x - x - 12. Let w(c) = c**3 - 8*c**2 + 5*c - 10. Does 10 divide w(m)?
True
Let g = 56 + 22. Let k = g - -458. Suppose -p = -5*p + k. Is p a multiple of 17?
False
Suppose 26*k - 4272 = 10*k. Is 21 a factor of k?
False
Let u = -76 - -72. Is (1 - (u - -2))*57/1 a multiple of 28?
False
Let k(x) be the second derivative of x**4/12 - 2*x**3/3 + 6*x**2 + 14*x. Does 36 divide k(-8)?
True
Suppose 0 = 387*v - 392*v + 3385. Does 13 divide v?
False
Let m = 114 + -54. Suppose 5*p - a + m = 0, 3*a - 2*a - 47 = 4*p. Let u(j) = -j + 2. Is u(p) a multiple of 4?
False
Let k = 8 + -7. Let a = 3 - k. Suppose -x + 9 = h, 2*h = a*x - 3*x + 4. Does 5 divide x?
False
Let m be 4/((-4)/(-14) - (-24)/112). Suppose b + 735 = m*b. Does 35 divide b?
True
Suppose -2*h = -u - 4*u - 2845, -4*h - 2*u = -5630. Is 68 a factor of h?
False
Suppose -1 - 9 = 5*a. Let z be (-6)/a + 0/3. Suppose -4*j = z*s - 26 - 31, 0 = 5*j. Is s a multiple of 4?
False
Let y(n) = 17*n - 4. Let u(o) = 26*o - 6. Let v(d) = 5*u(d) - 7*y(d). Does 3 divide v(2)?
False
Let s(o) = o**3 + 12*o**2 + 11*o + 4. Let g be s(-11). Is (-8)/(g/12 + -1) a multiple of 12?
True
Suppose -4483 = -22*s + 2227. Is s a multiple of 4?
False
Let d(w) = -5*w + 1. Let b be 2 - ((-4)/4)/(-1). Let q be d(b). Let l(t) = 5*t**2 + 3*t + 4. Is l(q) a multiple of 13?
False
Let y be -2 - (-40)/1*4. Suppose 4*b = -3*t + y, -3*b + 2*b - 4 = 0. Does 7 divide t?
False
Suppose g - 4 + 2 = 0. Suppose -6 = g*p + 4*p. Let n = p - -5. Is n a multiple of 4?
True
Let b = 793 - 232. Is b a multiple of 51?
True
Let o(t) = -t**2 + 16*t + 21. Let f be o(16). Let i be 9/f + 2082/(-7). Does 13 divide i/(-18) - 1/2?
False
Let z(i) = -6*i**3 - 3*i**2 + 13*i + 20. Is 35 a factor of z(-5)?
True
Let t(w) = -201*w - 18. Is t(-2) a multiple of 23?
False
Let i = -6045 + 12775. Does 13 divide i?
False
Let u be ((-6)/(-4) + -1)*124. Suppose -21*q + 4*j + 112 = -25*q, 4*j = 16. Let d = u + q. Does 10 divide d?
True
Suppose 10 = -5*u, 4*u - 5806 = -4*y + u. Is y a multiple of 18?
False
Suppose 3*s + 7616 = 17*s. Is s a multiple of 68?
True
Suppose -3*p = -0*n - 2*n + 1245, -4*p + 1825 = 3*n. Does 15 divide n?
True
Suppose -d + 69 = q, d - 4*q = 2*d - 75. Let g = d + -29. Suppose 0 = 5*p - 62 - g. Is p a multiple of 10?
True
Let y be 609/2 + 7/(-14). Suppose 0 = 2*n - 94 + y. Let t = -72 - n. Does 16 divide t?
False
Let p be 3 - (4 - (12/(-3) - 54)). Let o = p + 120. Does 28 divide o?
False
Let m(r) = -6*r**2 - 113*r + 20. Is 25 a factor of m(-10)?
True
Let h = -19 - -44. Suppose -3*d + r + 101 + 4 = 0, -d = 3*r - h. Is d a multiple of 11?
False
Let a(t) = -8*t**3 - t**2 + t. Let o be a(1). Let q(h) = -2*h**3 + 82. Let z be q(0). Is 5 a factor of 2/o + z/8?
True
Let w = -23 - -29. Is (-2)/w - 34/(-3) even?
False
Let n = 82 - 22. Suppose -5*c = -4*c - n. Is 10 a factor of c?
True
Does 4 divide 109940/598 + (-4)/(-26)?
True
Let r be ((-6)/(-18))/(2/(-186)). Let s = -12 - r. Suppose -s = -n + 31. Does 20 divide n?
False
Let p be ((-153)/12)/((-6)/112). Let g = p - 134. Is 26 a factor of g?
True
Suppose -144 = -4*h + 2*y, 0*y - 113 = -3*h + 4*y. Suppose -w + 5*w = 0. Suppose w = -5*i + 30 + h. Is 13 a factor of i?
True
Let d = -31 - -70. Is (442/d)/((-4)/(-6)) a multiple of 17?
True
Suppose -3*u = -2*q - 39, 2*u - 45 = -4*q - q. Let g = 21 - u. Does 3 divide g?
True
Let a(m) = 17*m**2 - 6*m - 1. Let x be a(-5). Suppose x = 5*j + o, -2*j - 3*o + 148 = -31. Does 14 divide j?
False
Let k = 2 - 9. Let f be 1310/12 + k/42. Let p = 160 - f. Is 19 a factor of p?
False
Suppose 3546 = -205*s + 211*s. Does 3 divide s?
True
Let q(z) = -z**3 - 3*z - 3. Let b be q(-2). Let u(n) = -16*n**2 + 61*n - 50. Let r(m) = 3*m**2 - 12*m + 10. Let v(y) = 11*r(y) + 2*u(y). Does 7 divide v(b)?
True
Let t = 402 - 102. Is 30 a factor of t?
True
Let a = 49 + -27. Suppose -2*t + 8 + a = 0. Suppose t = r - 30. Does 15 divide r?
True
Is 14 a factor of 2*-2*(-125)/1?
False
Let o = 72 + -62. Suppose -o*y + 216 = -y. Is y a multiple of 3?
True
Let d = -29 + 33. Suppose -5*l + 185 = 3*f - 0*f, -5*f + 333 = -d*l. Is 63 a factor of f?
False
Let y(j) = 79*j - 51. Does 10 divide y(8)?
False
Let g be (-60)/50*(-20)/(-8). Let z = -11 - -26. Does 8 divide z + 1 + (1 - g)?
False
Suppose -3*n = -24 - 3. Suppose 0 = 4*o - n - 375. Is o a multiple of 32?
True
Suppose 42*d - 24050 = -32*d. Does 65 divide d?
True
Suppose 5*x + o - 26 = 156, o - 145 = -4*x. Suppose 2*k = -1 - x. Let h = 35 + k. Is h a multiple of 8?
True
Let b = 327 - 150. Does 22 divide b?
False
Suppose -4 = -5*r - 79. Let c be (10/r)/((-2)/15). Suppose c*w = 9*w - 152. Is w a multiple of 19?
True
Let b(s) = 2*s**3 - 7*s**2 - 3*s - 12. Let a(h) = -3*h**3 + 8*h**2 + 3*h + 13. Let o(z) = 5*a(z) + 6*b(z). Is o(-3) a multiple of 13?
True
Suppose -3*m = 3*f - 7494, -60*f + 56*f - 2*m = -9992. Does 11 divide f?
False
Let z(j) = -j**3 - 3*j**2 + 13*j. Let r be z(-7). Suppose -r = -2*f + f. Suppose f = 4*a + 37. Does 5 divide a?
False
Let w(q) = 3*q**2 - 8*q + 8. Let z be w(3). Suppose z*c - 5*c = 936. Is 13 a factor of c?
True
Let f be 10*(0 + (-12)/(-8)). Let p(h) = -13*h**2 + 4*h - 4*h + f*h + 21 - h**3. Is p(-14) a multiple of 7?
True
Suppose 0*z + z - 3 = 0. Suppose z*h + 110 = 4*h. Is 11 a factor of h?
True
Let j = 7 - 3. Suppose 0 = j*p - 7*p - 15, 0 = 5*t + 5*p + 100. Is 8 a factor of ((-12)/t)/(2/55)?
False
Let u(w) = -2*w**3 + 14*w**2 + w + 1. Let n be u(7). Is 6 a factor of (1/(-3))/(n/(-912))?
False
Let t(d) = -3*d**3 + d. Let h be t(-1). Suppose -o = 5*i + 4*o - 5, 5*i - 19 = h*o. Is i/2 + (-42)/(-4) a multiple of 12?
True
Suppose -572*j = -577*j + 600. Does 9 divide j?
False
Suppose 0 = -4*t + 8*t - 1500. Suppose 0 = -5*i + 10*i - t. Is 14 a factor of i?
False
Let l = -19 - -22. Suppose -25 = i + l*t, t = -i - 0*t - 25. Let b = i + 53. Is 4 a factor of b?
True
Suppose 13*o = 2*o - 462. Let f = 37 - -33. Let u = o + f. Is u a multiple of 14?
True
Suppose 4*y - 628 = h, 2*h + 5 = -3. Does 6 divide y?
True
Does 2 divide 1*4/(24/318)?
False
Let u(z) = 3*z - 9. Let y = 1 - -3. Let q be u(y). Suppose -158 = -q*d + 2*i, 4*d + 0*d = i + 214. Is d a multiple of 18?
True
Let p be 28/10*(-13 + 3). Let b = 106 + -56. Let u = b + p. Is 22 a factor of u?
True
Suppose 0 = -l - 1 - 19. Let c be 9*l/(-15) + 4. Suppose -4*j + 244 = c. Is j a multiple of 10?
False
Suppose 4*s + 0*s = -4, 12 = 5*n - 2*s. Suppose 0 = -c + n + 11. Let h = 20 - c. Is h even?
False
Let l(u) = u**2 + 5*u + 4. Suppose 4*m - 25 = -g - 10, 2*g + 4*m - 10 = 0. Let t be l(g). Suppose -4*i + t = 0, -4*h - 2*i + 79 = i. Is 19 a factor of h?
True
Suppose -5*n = l + 17 + 25, n = 5*l - 24. Does 8 divide ((-3)/n)/(1/195)?
False
Is 22 a factor of (8/10)/(182/254345)?
False
Suppose 27648 = 17*q - 13152. Suppose t = -2*n - 3*t + 954, 5*t + q = 5*n. Is n a multiple of 48?
False
Suppose -3*s - 3*i = -1488, 2*s = 5*i + 296 + 710. Is 15 a factor of s?
False
Does 36 divide ((-9088)/(-355))/((-1)/(-45))?
True
Suppose -3*a + 0*a = q - 49, 2*a - 30 = -2*q. Let c(f) = -2*f**3 - 4*f**2 + 10*f + 17. Let n be c(-4). Let r = a + n. Is r a multiple of 16?
False
Is 8*30/560 + 