 z?
True
Suppose -3*s + 2*s + 2 = -5*t, -1 = -2*t + s. Is 46 a factor of ((-5 + 51)*-1)/(t/12)?
True
Let q(w) = 97*w**2 + 21*w + 58. Let p be q(-3). Let j = p + -151. Is j a multiple of 14?
False
Let k = -127 + 14. Let w = k - -113. Suppose -5*q + 3*q + 2*n + 268 = w, 3*q = -n + 406. Does 15 divide q?
True
Let c = 20 + 101. Is 2 a factor of c?
False
Let j(b) = 12*b + 2. Let n be j(-1). Let a(i) = 12*i - 43. Let c be a(n). Let k = -87 - c. Is 8 a factor of k?
False
Let j = 9872 + -9859. Suppose 24 = 5*y - 3*b, y + b + 16 = 4*y. Suppose -t + 4*f + j = 0, -2*t + y*t - 4*f = 40. Is 2 a factor of t?
False
Let j(k) = 3 + 7 - 5 - k + k**2. Let r(x) = -x - 12. Let s be r(-6). Is j(s) a multiple of 9?
False
Let f(w) = -528*w + 144. Let z be f(-8). Suppose z = 62*j - 46*j. Is 21 a factor of j?
True
Suppose -83520 = 639*f - 651*f. Is f a multiple of 12?
True
Suppose 5*v + 0*n = n + 3705, -5*v + 5*n = -3685. Is 53 a factor of v?
True
Let v be (-688)/(-14) + 30/35. Is (15225/v)/(2/4) a multiple of 62?
False
Let j = -2503 - -2667. Is j a multiple of 4?
True
Suppose 10 = 5*i, 5*i - 63 - 19 = -4*c. Suppose -h = -2*r + 5, -c = -5*h - 3*r + 22. Is 3/h + 134/10 even?
True
Suppose 0 = 3*o + 4*u - 37791, -2*u - 50388 = 6*o - 10*o. Suppose -35*g = -22*g - o. Is 51 a factor of g?
True
Is (-146636)/(-8)*1456/637 a multiple of 15?
False
Suppose 0 = -2*m + 5*w + 21429 + 28155, 0 = 5*m + w - 123960. Does 8 divide m?
True
Let d(a) = a**2 - 23*a - 63. Let h(t) = t + 35. Let n be h(-5). Does 7 divide d(n)?
True
Let q(z) = 156*z**3 - 7*z**2 + 20*z + 13. Is 16 a factor of q(4)?
False
Suppose 16*w = 2*n + 167502, 0*w - 2*n - 31405 = -3*w. Does 29 divide w?
True
Let c(y) = -y**3 - 13*y**2 - 4*y - 32. Let j be c(-13). Suppose 6*h + j = 2*h, 4*u - h = 13. Does 12 divide (-2)/(u/(-65)) + 2/(-2)?
False
Suppose 41983 = 20*h - 34217. Suppose -h = 3*i - 18*i. Is i a multiple of 50?
False
Suppose 303*w - 296*w - 153468 = 0. Does 87 divide w?
True
Let l = -12393 + 19660. Is 43 a factor of l?
True
Suppose 0 = 10*s - 8*s - 8*s. Let x(b) = 10*b + 175. Does 30 divide x(s)?
False
Is ((-484)/(-55))/(-5*10/(-114375)) + -4 a multiple of 130?
False
Let m = 132 - -44. Let v be (-5 - (-6013)/(-49)) + (-4)/14. Let u = m + v. Is u a multiple of 16?
True
Let a be (-3 - 5)*(-1)/4. Suppose -2*j + 4*u + 44 = a, -5*u = 5*j - 45. Does 10 divide j?
False
Let r(q) = 144*q + 27. Let b be 0 + (-196)/(-42) - 2/(-6). Is r(b) a multiple of 49?
False
Let x(n) = -2*n**2 - 94*n - 129. Is 17 a factor of x(-36)?
True
Let v(b) = -5*b**3 - 149*b**2 + 53*b - 295. Is v(-32) a multiple of 34?
False
Let r = -35263 + 47743. Is r a multiple of 86?
False
Let v(m) = 3*m**3 - 5*m + 6. Let q be v(2). Let x be q/28 + (-8)/(-28). Let j(h) = 30*h**2 - h + 1. Is 25 a factor of j(x)?
False
Let g(t) be the third derivative of t**5/20 - 2*t**4/3 - 29*t**3/2 + 29*t**2. Is g(-4) a multiple of 25?
True
Let g(x) = x**3 + 6*x**2 - 10*x - 12. Let v be (-4 + 7)*4/6. Suppose -2*a + 9 = -4*y - 9, y - a + v = 0. Is g(y) a multiple of 9?
True
Let o = 37719 + -26979. Is 15 a factor of o?
True
Suppose 0 = -3*i - 9, 3562 = 2*s + 63*i - 61*i. Is 147 a factor of s?
False
Let v be (36/(-21) - -2) + (-2595)/(-7). Suppose 11 = -10*c + v. Is 4 a factor of c?
True
Let r(p) = p**3 + 20*p**2 - 2*p - 27. Let v be r(-19). Suppose 4*m + v = 2*g, 2*g + 0*m - 382 = 2*m. Does 49 divide g?
True
Suppose 4*j = -z - 671, j - 222 = -2*z - 1578. Let t = 1015 + z. Does 7 divide t?
True
Let i(h) = 1597*h - 888. Is 17 a factor of i(7)?
False
Suppose h + 6 = -30. Let x = -1241 + 1384. Let k = h + x. Is k a multiple of 26?
False
Suppose -8 - 8 = k - 5*m, k + 12 = 4*m. Suppose k*a = -2*f + 18, -3*a + 4*a - 5*f = 10. Suppose -606 = -a*y + 3*g, -g = -y - y + 242. Is y a multiple of 20?
True
Let s(k) = 4*k**3 - 4*k**2 - 3*k + 8. Let p be s(-5). Let a = -385 - p. Does 8 divide a?
True
Let i = -6506 + 13000. Is i a multiple of 72?
False
Let f = 41 + -37. Suppose -4 = o - 4*l + l, -f*l = -o - 5. Let r(n) = -72*n - 7. Is 13 a factor of r(o)?
True
Let h = -20054 + 33824. Is 102 a factor of h?
True
Let k(c) = 25*c + 27*c**2 + 36*c**2 - 53*c**2. Does 45 divide k(-7)?
True
Let g(b) = -b + 66. Let a be g(7). Suppose -j - a = -3*f, -2*j = -5*f - 5*j + 89. Suppose -f = 15*d - 1054. Does 7 divide d?
False
Let a be -2 + -1 - 120/(-12). Let f(b) = 2*b**2 - 7*b - 10. Let n be f(a). Suppose -3*y + 2*i + n = -12, 2*i - 25 = -y. Is 4 a factor of y?
False
Suppose 4*k - 66 = 118. Is 2*(k + (5 - 9)) a multiple of 3?
True
Let c be (-4 + 9)/(2/(-12)). Does 12 divide 4 + 115/c - 645/(-18)?
True
Suppose 2*v + 0*v = 12. Suppose 5*m + 4 = v*m. Is (2 + (m - 84))*(-2 + 1) a multiple of 9?
False
Let l = -35597 + 48368. Does 11 divide l?
True
Suppose 47 = 4*l + t, -t - 2*t + 9 = 0. Let s(q) = q**2 + 3*q + 8. Is s(l) a multiple of 81?
True
Let v(q) = -q**2 - 21*q + 8. Let p be v(-7). Let l = -25 + p. Does 36 divide l?
False
Suppose 0 = 3*u - 4*f - 3 - 34, -54 = -5*u - f. Suppose 13*p - u*p - 46 = 0. Is 7 a factor of p?
False
Let b = 15 + -10. Suppose -p - 7 = -b*l + 7, -3*p - 22 = -5*l. Suppose -3*h + 5*t = -116, 3*h - 2*t = -l*h + 206. Is 4 a factor of h?
False
Let z = 10466 + -4115. Does 105 divide z?
False
Suppose -697185 = -45*u + 115200. Does 22 divide u?
False
Let l(i) = -i**2 - 33*i - 44. Let m be l(-31). Let k = m - -147. Is 15 a factor of k?
True
Let p(s) = 217 - 2*s + 217 - 2*s**2 + 566*s**3 - 431. Does 11 divide p(1)?
False
Let t(d) = -d**3 - d**2 + 3*d + 2. Let n be t(0). Suppose n*k = 3*k - 46. Let o = k - 21. Is o a multiple of 16?
False
Suppose n - g + 8 = 5, -3*n = -2*g + 14. Let c be (-27)/(-6) - n/16. Let r = c - -195. Is 14 a factor of r?
False
Is 8 a factor of (-27284)/(-24) - (18/81)/((-8)/6)?
False
Suppose -10*w + 2170 + 2047 = -7013. Is 58 a factor of w?
False
Let m(k) = -k**2 - 11*k - 10. Let f be m(-9). Suppose u - 2*u + 119 = 4*z, 0 = 4*z - f. Is 27 a factor of u?
False
Let u be (-4)/(-18) - (-43)/9. Let y = -2594 - -2641. Suppose -447 = -u*h - y. Does 12 divide h?
False
Let c = 642 - 273. Is c even?
False
Let b be (1 - 754*-2) + 3. Suppose 15*i + 3*i = b. Is 16 a factor of i?
False
Let p(z) = z**3 - 7*z**2 + 12*z - 12. Let n be p(5). Let h be ((-122 + -5)*2)/n. Suppose 0 = -5*w - 2*k + 145, -5*w + 18 = -5*k - h. Is w a multiple of 20?
False
Let s(w) = 17*w + 708. Is 3 a factor of s(12)?
True
Let j = -66 - -53. Let c(o) = 17*o**2 - 18*o + 59. Let d(t) = -8*t**2 + 9*t - 29. Let f(w) = j*d(w) - 6*c(w). Does 38 divide f(-9)?
True
Let w = 539 - -11. Does 55 divide w?
True
Suppose 2 = -i + 5. Suppose -i*t + 31 = -3*p - 2*p, -2*t - p = -25. Let l = 44 + t. Is l a multiple of 7?
True
Let f(h) be the first derivative of h**3/3 + h**2 + 21*h - 53. Is f(7) a multiple of 27?
False
Suppose -110*b - 315 = -107*b. Let d = b - -210. Is 22 a factor of (3 + (-111)/(-7))*d/10?
True
Let y = 1 - -1. Suppose y*z + 7 + 1 = 0. Does 9 divide (-2)/((0 - z)/(-64))?
False
Suppose 21*d + 4*r - 209 = 24*d, -4 = 4*r. Let o be 3 - (49 - (-3 + 0)). Let h = o - d. Does 13 divide h?
False
Let r(y) = 6*y**3 + 19*y**2 - 23*y + 30. Suppose -87 + 71 = -4*k. Let t(j) = -5*j**3 - 19*j**2 + 22*j - 29. Let b(u) = k*t(u) + 3*r(u). Does 16 divide b(-11)?
True
Let b = -1700 + 4012. Is 17 a factor of b?
True
Let k(r) = 17*r - 69. Let h be k(19). Suppose 0 = -h*g + 242*g + 5772. Does 32 divide g?
False
Suppose 8*l - 43627 + 11688 - 93413 = 0. Does 9 divide l?
True
Let w(z) = -7*z**3 + z - 1. Let s(h) = 13*h**3 + 6*h + 2. Let y(r) = s(r) + 2*w(r). Let a be (3 - -2)*(-2 + 1). Is 24 a factor of y(a)?
False
Let t = 6 + 4. Suppose 5 + 25 = t*g. Suppose g*u = -x + 125, u = -2*u - 9. Does 40 divide x?
False
Let f be 184/((-4)/40*-4). Suppose -1 + 11 = 2*h. Suppose x = -h*r + 108, 7*x - 2*x = -5*r + f. Is 22 a factor of x?
True
Suppose 2*g + a = -g - 9, 0 = -4*g + 2*a - 2. Is 7 a factor of (-508)/g + (-5)/((-10)/(-4))?
True
Suppose 4*n + 7*h - 12*h = 94870, 0 = 3*n - 2*h - 71156. Is n a multiple of 23?
False
Suppose -7*r + l = -2*r + 1469, -l = -r - 293. Is 3 a factor of (-103)/(-6) + 49/r?
False
Let p be (-8)/36 + 858/(-27). Let b = p + 60. Is ((-2)/(-4))/(2/b) a multiple of 3?
False
Let o be (10/(-4))/(13/26). Let p = o - -19. Let j = p - -80. Is j a multiple of 15?
False
Let d be (6/(-9) + -2)/((-8)/12). Let q(l) = 7*l**2 + 5*l +