ultiple of 10?
True
Let h = -4190 + 16883. Is 24 a factor of h?
False
Suppose -d = -5*r + 70072, 4*r - 14*d - 56050 = -17*d. Is 22 a factor of r?
True
Let n(k) = k**3 + 20*k**2 + 3*k + 20. Let g = 134 + -153. Is n(g) a multiple of 12?
True
Let h = 2229 + -514. Does 7 divide h?
True
Let h = 221 + -212. Does 12 divide (117 - h)*(-2 + 7)?
True
Let o(b) = 7572*b**2 - 37*b. Is o(1) a multiple of 55?
True
Suppose 4*a - 2490 = -514. Let t = a - 464. Does 6 divide t?
True
Let h(n) be the second derivative of -n**5/20 - 3*n**4/4 - 2*n**3/3 - 28*n**2 + 3*n + 5. Is h(-11) a multiple of 8?
False
Suppose 16738 = -2*v - 2*k, -3*k - 25111 = 3*v + k. Is (-1)/(-3) - v/15 a multiple of 36?
False
Let h be (-56)/7*(10/(-8) + 1). Suppose -2*i - 5*p + 12 = -38, -5*p = -h*i + 30. Suppose 21*l = i*l + 11. Does 11 divide l?
True
Let q(i) be the second derivative of 3/2*i**3 + 18*i - 23/2*i**2 + 0. Does 68 divide q(24)?
False
Let j be 3/4 + (-825)/220. Is -6 + (-1351)/21*j a multiple of 53?
False
Let y(p) = 57*p**3 - 5*p**2 + 5*p + 5. Let d be y(4). Let z = 5429 - d. Suppose -z = -12*q - 0*q. Is q a multiple of 20?
False
Let c(s) = 24*s**3 - 478*s**2 - 30*s + 51. Let p be c(20). Suppose 5*v - 530 = -5*q, -7*q = -3*q + 5*v - 429. Let l = p - q. Is 15 a factor of l?
True
Suppose -19 + 3 = -4*k. Let t(p) = 17*p**2 - p**3 + 0*p**3 + 2 - k*p**2 - 11 + 4*p. Is t(13) a multiple of 12?
False
Let a(s) = -571*s**2 - 95 + 303*s**2 - 22*s + 305*s**2. Is a(-7) a multiple of 48?
True
Suppose -5*y + 28 + 247 = 0. Let m = 98 - y. Let i = m + -28. Is 15 a factor of i?
True
Is 33/(-110) + 50430/100 a multiple of 8?
True
Let f = -8 - -19. Suppose g - 2*k - 1 = -0, g = -k - f. Let d(r) = -6*r - 14. Is 11 a factor of d(g)?
False
Let n be -2*(1 + 1) + 71. Let w = -23 + n. Is (1*w)/(14/21) a multiple of 21?
False
Let c = 13126 + -10491. Does 31 divide c?
True
Let z(c) = 181*c**2 - 94*c**2 + 10*c - 2 - 86*c**2. Is 35 a factor of z(-38)?
False
Let m = 2 + -6. Let d(g) = -6*g**3 + 4*g**2 + 2*g + 3. Let k(q) = 5*q**3 - 4*q**2 - q - 2. Let w(o) = -4*d(o) - 5*k(o). Is 23 a factor of w(m)?
True
Let h(i) = -i**2 - 62*i - 49. Suppose -3*j = 4 - 13, 21 = -z + 2*j. Does 82 divide h(z)?
True
Let s be (-143)/(-55) + (-6)/10. Suppose s*c = y - 295, 6*c - 4*y = 4*c - 304. Is 14 a factor of -3 - c*5/10?
True
Suppose -3*b - 87689 = -19*b + 37111. Is b a multiple of 150?
True
Let i be ((-25)/((-1125)/162))/(6/740). Let l = -389 + i. Does 5 divide l?
True
Let y be (66/88)/(1/(-12)*-1). Suppose m + 4*m = 375. Suppose -y*l = -10*l + m. Is l a multiple of 25?
True
Is 1471 + 1/(1464/132 + -11) a multiple of 39?
True
Suppose 0 = -11*o - 85 + 30. Does 25 divide (-1 + 537/o)/(6/(-15))?
False
Let h = -9385 + 16513. Does 24 divide h?
True
Suppose -2*n + c = -3*c - 138, 4*n + 3*c = 243. Let d = n - -355. Is d a multiple of 4?
False
Suppose 3*n - 28353 = -5*u, 0 = -2*u + 3*n - 7705 + 19042. Is u a multiple of 70?
True
Suppose 34*m - 30*m - 15629 - 9603 = 0. Is m a multiple of 19?
True
Suppose 2 = c - 15. Suppose 0 = 15*w - c*w + 40. Is 1*(w - (-16)/(-4) - -1) a multiple of 2?
False
Let z(h) = -2004*h**2 + 2*h + 2. Let v be z(2). Is (6/5)/((-18)/v) a multiple of 19?
False
Let m = 46736 - -3070. Is 18 a factor of m?
True
Suppose -5 + 47 = -7*d. Does 11 divide (d + 2)/12*-198?
True
Let y(n) = n + 23. Let j be y(-3). Suppose t - 102 = -q, q + 4*q + j = 0. Does 3 divide t?
False
Suppose -3*d = -4*k + 8501, -4*k - 1825 = -2*d - 10323. Suppose -7*b = -k + 275. Is b a multiple of 6?
True
Suppose 3*p + 3*d = -18, 4*d + 8 + 15 = -3*p. Does 41 divide p/(-3)*-1*(70 - 439)?
True
Suppose -16*y - 1338 = -19*y. Let t = -366 + y. Is 2 a factor of t?
True
Suppose 12*y = 27*y - 0*y - 50310. Is y a multiple of 6?
True
Let d be (-26)/(-6) + 7/((-42)/(-4)). Suppose -8*j + c - 467 = -10*j, -c - 1164 = -d*j. Is j a multiple of 16?
False
Suppose -2*a + 1 = 3*z, -2*a + 14 = -4*a + 2*z. Is 2 a factor of (a - 63/(-6))*(14 - 2)?
True
Let b = -1248 + 3768. Suppose 0 = 4*v - 5*t - 1799, 2*t - 267 + b = 5*v. Is v a multiple of 16?
False
Let m = -3070 - -3175. Does 2 divide m?
False
Suppose 993*m - 998*m = 5. Is m - -4 - (4 + -4 + -275) a multiple of 8?
False
Suppose -96*j = -231773 - 362467. Does 30 divide j?
False
Let t = 16240 - -266. Is 9 a factor of t?
True
Let g(l) = 6*l + 320. Let t(b) = -10*b - 478. Let f(y) = 7*g(y) + 5*t(y). Is 4 a factor of f(-22)?
False
Let a be (-114)/(-21) - 2/((-56)/(-12)). Suppose 384 = a*b - 376. Does 38 divide b?
True
Let m(w) = 47*w - 8. Let q(d) = 24*d - 4. Let u(h) = -4*m(h) + 7*q(h). Let s be u(-6). Suppose -4*o = 2*b - 76, -o + 5*o = -3*b + s. Does 8 divide b?
True
Let d(o) = 12*o - 17. Let f be d(6). Suppose 49*c - f*c + 894 = 0. Does 23 divide c?
False
Let t be -1*((-5)/((-10)/8) - 4). Suppose t = 3*c + 5*l - 27, c = -0*c - l + 11. Let f = 97 - c. Does 18 divide f?
False
Let z = 25 - 20. Suppose -j + z = -5. Let p = j - -17. Is p a multiple of 9?
True
Suppose -18 = -3*j - 3*c, 0*c + 18 = 4*j + 2*c. Suppose -j*m + 3*q = -573, 373 = 3*m - m + q. Let i = m - 114. Does 14 divide i?
False
Suppose 0 = 5*g - 2*s - 1067, -s = g + 4*s - 208. Let b = -157 + g. Is b a multiple of 8?
True
Suppose -2*u = 4*p - 8, 3*u + 0 = p + 12. Suppose -u*l - 9 - 7 = 2*g, g = 4*l + 10. Does 12 divide -1 + 0 - (-2 + g - 21)?
True
Let i be 24/5*(-600)/(-9). Let b = 396 - i. Is b a multiple of 5?
False
Suppose -64191 = -91*s + 35633 + 39770. Is 26 a factor of s?
True
Let v(h) = -h**3 - 26*h**2 + 31*h + 2. Let t be v(-27). Let x = t + 67. Let q = x + 76. Is q a multiple of 17?
False
Let j(a) = 2*a**2 + 10*a + 17. Let c be j(-3). Suppose -2339 = -5*d - 2*w - 29, d - 462 = -c*w. Is 22 a factor of d?
True
Let b = 4886 + 823. Is b a multiple of 82?
False
Suppose 5*d - 84 = 4*s, 5 + 3 = d - 3*s. Suppose -d*n = -3*n - 3162. Does 31 divide n?
True
Suppose 23000 = 4*f + 4*w, 0 = -f - 5*w + 2125 + 3641. Is 26 a factor of f?
True
Let h(p) = 52*p**2 - 7*p - 30. Let b be h(-3). Is 17 a factor of ((-354)/(-4))/(b/(-34) + 14)?
False
Let t(z) = -14*z**3 + 7*z**2 - 15*z - 2. Let k be t(3). Let d = 781 + k. Does 36 divide d?
False
Let w be -1*-5*9/(-15)*-87. Let o = w - -116. Does 13 divide o?
True
Let y(k) = -k**2 + 44*k - 119. Let x be y(41). Suppose -x*z - 5 = -3*q + 1131, 4*q - 1520 = 4*z. Is q a multiple of 18?
False
Let n(y) be the first derivative of 43*y**2 + 10*y + 52. Does 19 divide n(1)?
False
Let l be ((-6)/4)/((-81)/(-18) - 5). Suppose -649 = -4*a - l*x, -x - 3*x - 468 = -3*a. Is 40 a factor of a?
True
Suppose 14*a - 56598 + 22607 = 22975. Is a a multiple of 11?
False
Suppose 30*j - 7 = -307. Let p = 52 + j. Is 2 a factor of p?
True
Let a(c) = c**2 - 61*c + 3450. Is a(0) a multiple of 48?
False
Suppose 2*f = -9*f + 66. Let n(g) = 2*g**3 - 8*g**2 - 5*g + 14. Is n(f) a multiple of 22?
False
Let s(d) = 5*d**3 - 4*d + 4. Let t be s(1). Suppose -4119 + 1319 = -t*a. Is a a multiple of 40?
True
Let z(w) = -w**3 - 4*w**2 + 40*w + 187. Let g be z(-6). Suppose 1981 + 4004 = g*m. Is m a multiple of 21?
True
Let h(w) = -248*w - 2294. Does 14 divide h(-15)?
False
Suppose -3*t = p - 2, -4*p + 4 = 5*t + 3. Let n be (p + -1)/(4 + (-56)/12). Suppose -2*f + 4*j + 26 = -212, -n*f - 5*j = -335. Is 23 a factor of f?
True
Let r = 23917 - 3814. Is r a multiple of 52?
False
Let w = 24834 - -462. Suppose 17*s = -7*s + w. Is s a multiple of 47?
False
Let o(v) = -7*v + 11. Let i be o(-14). Let y = 115 - i. Is 6 a factor of y?
True
Suppose -6*g = -12*g - 90. Let l(b) = b**3 + 17*b**2 + 2*b - 21. Does 57 divide l(g)?
True
Let c be (-3)/(((-3)/5)/((-2)/(-5))). Suppose 18 = 4*p + c. Suppose p*j = 12*j - 176. Is j a multiple of 11?
True
Suppose -5*b + 2*n = -3*n - 25, 4*b - 3*n = 17. Suppose 3*i = b + 7. Suppose -i*c = -2*c - 49. Is 10 a factor of c?
False
Suppose 6*d = -30 + 6. Is (-560)/(-5) + 3 + d + 2 a multiple of 21?
False
Suppose 0 = -51*v + 48*v - 9. Let f be -32 - v/(3 + 0). Let x = 45 + f. Is 14 a factor of x?
True
Let u be 2/(-6)*(-9)/1. Let y = 4 - u. Is (3 - (y - 49)) + 3 a multiple of 17?
False
Let s = -106 + 26. Does 80 divide 4086/8 - (-10)/(s/(-2))?
False
Suppose 0 = 2*n - 2 - 4. Suppose n*c = 5*k - 10, -c - 4*c - 4*k = -45. Suppose 115 = c*o + 20. Is 10 a factor of o?
False
Let s(y) = -y**2 - 10*y - 18. Let w be s(-8). Let k be ((-10)/(-3))/w*-18. Let v =