a**3 + a**2 + 5. Let t be k(6). Let u = 252 - t. Does 22 divide u?
True
Suppose 0 = -z - 3*o + 2*o, z + 2*o + 5 = 0. Suppose z*l = 1098 + 137. Is l a multiple of 13?
True
Does 67 divide ((0 + -1033)/((-10)/6))/((-608)/(-3040))?
False
Let n(v) = -61*v - 9. Suppose -r - 6 = -4*b, -5*b + 4 = -b. Let t be n(r). Let i = 275 - t. Is 7 a factor of i?
False
Suppose 3*r - 12 = 0, 8225 = -4*v - v - 5*r. Let u = -1103 - v. Is u a multiple of 29?
False
Suppose -2*m - 84 = -l + 114, 0 = -3*l + 18. Suppose -5*g + 3*a = 8*a + 560, -4*g - 3*a - 448 = 0. Let s = m - g. Is s a multiple of 4?
True
Is 88 a factor of -3 - ((-1933064)/336 - 1/(-6)*1)?
False
Suppose -24*h = -34848 + 7632. Suppose 7*u - 4494 + h = 0. Does 24 divide u?
True
Let m be (-9*(-33)/45)/(3/90). Suppose -3*j = -1386 - m. Is 11 a factor of j?
True
Let p = -12 + 12. Suppose -5*a - 148 + 848 = p. Suppose 3*o = 8*o - a. Is o a multiple of 14?
True
Is (-36)/(-3) + -1332*(-1050)/60 a multiple of 78?
True
Let n(p) = -3*p**3 - 2*p**2 + 3*p + 2. Suppose -4*a + 12 = -a, 8 = -3*o - a. Let h be 60/(-24) - 2/o. Is 6 a factor of n(h)?
True
Let k = -55 - -57. Let o(a) = -15*a**2 + 10*a + 10. Let t be o(10). Is 8/24 - (t/3)/k a multiple of 16?
False
Let j(o) = 296*o**2 - 9*o - 187. Does 112 divide j(-11)?
True
Let u(f) = 158*f - 23. Let a be u(6). Suppose -h - 4*h + 1511 = k, -3*h + a = -4*k. Let i = h - 158. Does 11 divide i?
False
Let r(s) = 375*s + 196. Let l be r(34). Suppose -32*h + 3278 = -l. Is 65 a factor of h?
False
Suppose 2*l = 6*l + 10*l - 77490. Is l a multiple of 10?
False
Let z(c) = 23*c**3 - 5*c**2 + 2*c + 4. Let g be z(4). Suppose 9*l = -4*l + g. Let d = l - 42. Does 22 divide d?
True
Suppose -29 - 1 = -6*h. Suppose -18 - 32 = -h*w. Let g(u) = -u**3 + 13*u**2 - 24*u + 12. Does 8 divide g(w)?
True
Suppose 5*l - 19*l = -28. Suppose 0 = -w - 4*o - 16, l*w - 21 = -2*w + o. Suppose 2*r + 5*n = -2*r + 551, w*n = -5*r + 691. Is r a multiple of 20?
False
Let o(k) = -2*k**3 + 5*k**2 + 15*k - 6. Let p be o(4). Is 16 a factor of 4/((6 - -2 - p)/128)?
True
Suppose f - 4070 = -f + 5*c, 5*c - 20 = 0. Suppose 1834 = 9*y - f. Does 38 divide y?
False
Let g = -512 - -549. Suppose -4*a - v + 1118 = 0, 4*v - g = 2*a - 605. Is 56 a factor of a?
True
Suppose -4*o = -o + 4*k - 31, 0 = 5*o - 5*k - 5. Suppose 1380 = 5*l - 5*t, -2*t + o*t - 6 = 0. Does 30 divide l?
False
Suppose -z + 4*z - 112 = w, z + 4*w = 46. Let c = z - 31. Suppose 9*o = 682 - c. Is o a multiple of 15?
True
Suppose l - 3*l = -2, 173 = b - 4*l. Is 31 a factor of (-3 - -1) + b*(-4)/(-3)?
False
Let u(d) = d**2 - 13*d - 22. Let r(s) = 2*s**2 - 24*s - 42. Let k(w) = 3*r(w) - 7*u(w). Is 14 a factor of k(16)?
False
Suppose 2*a = 3*h + 508, 0 = 4*h + 2*a + 750 - 68. Suppose 4*n + 4 = 6*n. Let g = n - h. Does 22 divide g?
False
Let n = 19685 - 4700. Is 27 a factor of n?
True
Suppose 16*c + 18*c - 3885 = 19*c. Is c a multiple of 7?
True
Suppose 1 = 3*d + 28. Let b be ((-12)/54 + (-29)/d)*1. Suppose 27 = i - 3*w + 1, 4*i + b*w = 104. Does 18 divide i?
False
Let v(j) = 15*j - 132. Let g = 390 - 376. Is v(g) a multiple of 6?
True
Let i(u) = u**3 + 9*u**2 + 7*u - 9. Let m(p) = 7*p + 25. Let a be m(-10). Let h = a - -38. Is i(h) a multiple of 20?
True
Suppose 0 = -16*n - 4 + 36. Suppose n*d - 209 = h, -4*d + 0*h + 424 = 4*h. Is d a multiple of 29?
False
Let f(a) = -4*a**2 + a + 1. Let o(s) = 8*s + 55. Let y be o(-7). Let u be f(y). Let g(c) = 7*c**2 - 2*c - 12. Does 21 divide g(u)?
False
Suppose 4825519 = 240*d - 22*d + 1396597. Is 14 a factor of d?
False
Let p(y) = 6040*y - 4104. Is 92 a factor of p(4)?
True
Suppose -g = -0*g - 1295 - 3114. Is 10 a factor of g?
False
Let l(s) = 2*s + 28. Let v be (-32)/(-14) + 10/(-35). Suppose -5*n + 4*c = 51, 0 = 3*n - v*c - 2*c + 37. Is 4 a factor of l(n)?
False
Let f(s) = -21*s + 9. Let v be f(-3). Let y(d) = -v*d - 3 - 7 + 13 - 4. Is y(-1) a multiple of 8?
False
Let b = -44 + 202. Suppose 3*k = 58 + b. Is k a multiple of 8?
True
Let u(x) be the second derivative of -19*x**3/2 + 66*x**2 + 72*x. Does 25 divide u(-6)?
False
Let r(k) = 2*k**2 + 82*k + 89. Let f be r(-40). Is (-33)/f*(-7 - 497/7) a multiple of 13?
True
Let l = -395 + 747. Suppose 551 = 4*f + 5*b - l, 0 = -5*f + 5*b + 1095. Is 6 a factor of f?
True
Let a = -422 + 447. Suppose -a - 1889 = -6*u. Does 33 divide u?
False
Suppose -10208 + 33574 = 7*z. Suppose -20*r + 5462 = -z. Is 55 a factor of r?
True
Suppose 1772892 = -32*s + 162*s - 64*s. Is 9 a factor of s?
False
Suppose 34*g - 466972 = -36*g + 266978. Is g a multiple of 90?
False
Suppose 5*g - 4*g = 72. Let q be -3 - (-1)/((-4)/g). Let s = q + 41. Does 20 divide s?
True
Does 8 divide 4832 - (-4)/(-3)*(-18)/12?
False
Let u(z) = 159*z - 2455. Is 152 a factor of u(83)?
False
Let h(a) = 5*a**3 - 9*a**2 + 82*a + 109. Is 143 a factor of h(12)?
True
Let j = -27748 + 49493. Does 89 divide j?
False
Suppose 190638 = 70*a - 494662. Is 3 a factor of a?
False
Suppose 17*q = -4*j + 23*q + 11616, 0 = 3*j + q - 8690. Is j a multiple of 9?
True
Does 15 divide 3300*(375/60 - -1)?
True
Suppose 7*x - 41237 = -7077. Is 12 a factor of (-32)/56 - x/(-14)?
True
Suppose r = 54 - 34. Let x(f) = -f**3 + 22*f**2 - 40*f - 10. Let z be x(r). Is 20 a factor of z/(-5 + 3) + -4 + 118?
False
Let w be 490/175*(-20)/14. Let m(s) = -s**2 + s - 6. Let y be m(0). Does 24 divide 3982/33 - w/y?
True
Suppose 8667*i - 8648*i = 151805 + 18511. Is i a multiple of 12?
True
Suppose 447*v + 95490 = 453*v. Is v a multiple of 8?
False
Suppose 54*g + 5589 = -2*g + 446197. Is 5 a factor of g?
False
Let t be -2 + (-3183)/18 - (-150)/180. Let z be (-2)/(-1) + (3 - 271). Let y = t - z. Is 22 a factor of y?
True
Let n(k) = k - 104. Let x(m) = -104. Let h(b) = 3*n(b) - 4*x(b). Let a(v) = 9*v - 117. Let q be a(13). Is 36 a factor of h(q)?
False
Let v(t) = -t**3 + 6*t**2 - 2*t - 15. Let r be v(5). Suppose -5*c + 25 = -r. Suppose 5*h + c*s - 401 - 439 = 0, -4*s - 849 = -5*h. Is h a multiple of 12?
False
Let d be -2*((-678)/4)/(-3). Let q(k) = 4*k**2 - 19*k - 13. Let n be q(5). Let y = n - d. Is 35 a factor of y?
True
Suppose 5*c = -5*t + 2545, t - 4*c - 250 - 239 = 0. Let o = t + -105. Does 20 divide o?
True
Suppose -2471*n + 2406*n = -40040. Does 4 divide n?
True
Let v be (-1)/2 - (-1 - 2925/26). Suppose v*m - 115*m + 1044 = 0. Does 27 divide m?
False
Let i be (-3)/(((-72)/(-56))/(-9)). Does 19 divide 8781/i + ((-24)/21)/8?
True
Let o(x) = -6*x**3 - 34*x**2 + 60*x - 43. Is 243 a factor of o(-18)?
False
Let k(v) = -7*v + 32. Let n be k(4). Suppose 5*f - 2*d - 180 = 47, -n*f + 181 = -d. Does 7 divide f?
False
Suppose 4*o = n + 14, n - 2*o - o = -9. Let s(a) be the third derivative of a**4/6 + 11*a**3/6 + 4*a**2. Is s(n) a multiple of 19?
False
Let o(s) = s**2 + 7*s - 27. Let b(a) = -a**2 + 8*a - 9. Let h be b(5). Is o(h) a multiple of 5?
False
Suppose -15 = 5*v - 5*y, 2*v - 24 = y - 26. Let c be ((-4)/10)/((-5)/1025). Let x = v + c. Does 18 divide x?
False
Suppose -3*c + 1824 = 4*j - 6438, 15 = 5*j. Does 22 divide c?
True
Let c = 4245 - 2505. Does 30 divide c?
True
Suppose 2*b = -3*r - 6, -2*r + 5*r - 5*b = 15. Suppose -4*m + 2*g + 6222 = r, -7*g + 3*g + 7797 = 5*m. Is m a multiple of 10?
False
Let j = -17594 + 29287. Is j a multiple of 64?
False
Suppose -75 = -5*z - 3*q, 0 = z + 3*q - 2 - 25. Let t(u) = 92*u - 46. Does 46 divide t(z)?
True
Suppose 0*g = 3*g + 1726 - 31984. Is g a multiple of 22?
False
Let t be 5 - ((-527)/(-68))/((-2)/56). Suppose t + 2658 = 15*x. Is x a multiple of 12?
True
Let d = -10 - -8. Let y(m) = 59*m**2 + 25*m + 7. Let n(v) = 30*v**2 + 11*v + 3. Let g(t) = 9*n(t) - 4*y(t). Is 25 a factor of g(d)?
False
Let m = 553 + -312. Let h = 463 - m. Does 30 divide h?
False
Suppose 5*s - 3*v = 178, -3*v = -8 - 4. Does 74 divide (s/(-1 - 1))/((-2)/40)?
False
Suppose 22 = -c - 148. Let z = -31 - c. Let x = 79 + z. Does 23 divide x?
False
Let s = -895 - -1150. Is 85 a factor of s?
True
Let n(j) = -10*j + 107. Let t be n(8). Suppose t*v - 22*v - 2360 = 0. Is v a multiple of 8?
True
Suppose 0 = 69*w + 228*w - 15465681. Is 43 a factor of w?
True
Suppose 2*d = -36 - 44. Let j = 43 + d. Does 20 divide ((-45)/j)/(12/(-32))?
True
Let d = -276 - -589. Let m = d - 300. Does 2 divide m?
False
Let x(q) be the second derivative of 2*q**3/3 + 59*q**2/2 + 30*q. Is 4 a