07 - -3019. Is 33 a factor of o?
True
Suppose -p = 4*p + 440. Let m = p - -187. Suppose -f = 2*f - m. Does 21 divide f?
False
Suppose -5*l = -5*m - 1973 + 208, -4*m + 343 = l. Is 13 a factor of l?
True
Suppose -3*h = -2 - 67. Suppose -h = -5*p + 4*n, 4*n = 4*p - 4 - 12. Does 2 divide p?
False
Suppose -g + 47 = 5*c, 4*g - 4*c - 112 = -5*c. Is 5 a factor of g?
False
Is -5*1 - (-20520)/45 a multiple of 18?
False
Let z(u) = 3*u - 2. Let r(m) = -m**2 - 7*m + 3. Let b be r(-7). Does 3 divide z(b)?
False
Let n(o) = o - 1. Let a be n(9). Let p(t) = 2*t - 10. Let r be p(a). Suppose -r - 58 = -s. Is 22 a factor of s?
False
Let m(g) = 3*g + 14. Let w be m(-8). Let b(f) = -f**3 - 4*f**2 + 7*f + 10. Let c be b(w). Suppose -2*k = -8*k + c. Does 24 divide k?
False
Let s(i) be the third derivative of 0*i - 11/24*i**4 + 0 - 5/6*i**3 + 5*i**2. Is s(-7) a multiple of 18?
True
Suppose -34004 = -90*m - 164. Is 27 a factor of m?
False
Suppose 5*h + 44 - 34 = 0. Is 11 a factor of (h - 2910/(-42)) + (-6)/21?
False
Let c(x) = 7*x + 189. Is 63 a factor of c(27)?
True
Let r be 20/(-6)*(-54)/45. Let b be (261/r)/(3/8). Suppose -2*u = 3*q - b, q - 2*u - 39 - 27 = 0. Is 12 a factor of q?
True
Suppose 3*k - 179 = -4*o, -8 - 173 = -3*k - 5*o. Is 57 a factor of k?
True
Let z be (300/(-18))/(2/6). Let i = 74 + z. Is 13 a factor of 1 - -1 - i/(-1)?
True
Suppose 5*w - 18137 = -z, -6*w = -7*w - z + 3625. Is 27 a factor of w?
False
Let z(g) = g**3 + 8*g**2 + 2*g + 4. Let x be z(-6). Let v be 5/(-2)*x/(-40). Suppose -v*t + 344 = m, -3*m - m + 430 = 5*t. Does 25 divide t?
False
Suppose -4*h - h = -5*r + 1385, 4*h = 20. Is 56 a factor of r?
False
Let j(a) = -9*a - 5 + 44 - 14 - 16. Is 7 a factor of j(-4)?
False
Let q(t) = -3*t - 18. Let a be q(-6). Suppose -2*h + 4*h - 328 = a. Is h a multiple of 41?
True
Let l(f) be the second derivative of f**5/20 + 7*f**4/4 + 3*f**3 + 5*f**2/2 + 19*f. Is 24 a factor of l(-20)?
False
Let f(r) = -7*r + 19. Let u be f(12). Let q = 125 + u. Does 20 divide q?
True
Let t(b) = 2*b**2 - 9*b - 5. Let u(i) = -2*i - 6. Let w be u(-10). Suppose 0 = -y - y + w. Is 13 a factor of t(y)?
False
Let b(q) = q**2 - 2*q + 4. Let x be b(5). Let k = -19 + x. Suppose k*z = 3*z - 72. Does 12 divide z?
True
Let l(v) = v + 14. Let r be l(14). Let i = -9 + r. Is i a multiple of 18?
False
Let c = -36 - -41. Suppose 0*h - c*h = -115. Does 18 divide h?
False
Let x(d) = -22*d + 27. Let p be x(-15). Let t = p + -215. Is 28 a factor of t?
False
Suppose 2052*a + 4711 = 2059*a. Does 3 divide a?
False
Let m be (-9 + (0 - -1))/(1*-1). Let q = 68 - m. Does 17 divide q?
False
Let a(y) be the first derivative of y**2/2 - 2*y - 4. Is a(4) a multiple of 2?
True
Let l = 74 - 20. Suppose -o + l = -4*o. Let v = -4 - o. Is 6 a factor of v?
False
Let o(w) = 11*w**2 + 4*w - 12. Is o(-6) a multiple of 12?
True
Let m(u) = -11*u - 26. Let i(d) = d. Let y(j) = -5*i(j) - m(j). Is 8 a factor of y(9)?
True
Suppose 4*m = b - 3, -5*m + 10*m + 3*b + 25 = 0. Let s(q) = -20*q. Is s(m) a multiple of 14?
False
Suppose 0 = -5*s - n + 251, -2*n + n - 106 = -2*s. Let v = s - -91. Is 26 a factor of v?
False
Suppose 4*w - 33 = -1. Suppose -o - w*f + 48 = -3*f, -f - 144 = -3*o. Does 12 divide o?
True
Let p = 458 - 371. Does 17 divide p?
False
Suppose -21*w = -5104 - 1427. Is 39 a factor of w?
False
Suppose 85*l = 82*l - 135. Does 6 divide (-4)/(-10) - 2682/l?
True
Let z = -1585 + 2652. Does 30 divide z?
False
Let l be 15/3 + (0 - 0). Suppose -2*i - 5*o + 27 = 0, -92 + 14 = -3*i + l*o. Is 12 a factor of i?
False
Is 45801/18 + 14/4 a multiple of 98?
True
Let i(f) = f**2 + 30*f + 54. Let u be i(-28). Let y be -1 - (0 + (-10)/1). Is 11 a factor of (30 - y) + (-2)/u?
True
Suppose -5*g - 4*y = -92, 2*g - y - 61 = -2*g. Let d(r) = -r**2 + 25*r - 18. Does 21 divide d(g)?
True
Let v(s) = 3*s**3 - 2*s**2 - 2*s + 60. Does 14 divide v(8)?
False
Let q = -591 - -884. Is 24 a factor of q?
False
Let m(w) = 27*w**2 - 4*w - 14. Let q be m(-8). Suppose -n = 5*z - q, 6*z - 3*n = z + 1762. Does 14 divide z?
True
Let d be (-1 + -2)*(-4)/(-6). Let x be d/(-5) - (-32)/(-5). Let q(k) = -k + 8. Is 14 a factor of q(x)?
True
Suppose o = 4 + 1. Let w(p) = p + 10. Let t be w(o). Suppose -t + 43 = g + 3*j, 182 = 5*g + j. Does 22 divide g?
False
Does 72 divide (-64)/(-12)*168/20*45?
True
Let a = -20 - -4. Let l = -12 - a. Suppose s + 105 + 29 = 4*r, l = 2*s. Is 17 a factor of r?
True
Let h(x) be the first derivative of -33*x - 3*x**2 + 12*x - 10 + 12*x. Does 9 divide h(-6)?
True
Let u be -26 + 23 + (-73 - 0). Let r = u - -136. Is 25 a factor of r?
False
Let w(h) = -42*h + 56. Let g(y) = -14*y + 19. Let s(a) = 14*g(a) - 5*w(a). Is 5 a factor of s(4)?
False
Is (-2)/12 - 65312/(-192) a multiple of 20?
True
Suppose -3*s = 5*d - 2350, -3*s + 0*s - 4*d + 2348 = 0. Does 10 divide s?
True
Suppose 3*p + 74 = 3*m + 7466, -5*p + 12320 = 4*m. Is 56 a factor of p?
True
Suppose -l - s + 7 = l, 0 = -3*l + 3*s + 6. Suppose -p = l*p. Suppose p*j + 3*u - 45 = -3*j, -2*u - 50 = -3*j. Does 8 divide j?
True
Let v = 84 + -78. Is 5 a factor of 2*(-30)/(-8)*v?
True
Let s be (-1 + 7)*(-10)/15. Let g be 81 + 1*s/4. Let x = g - 38. Is 14 a factor of x?
True
Let u(h) = h**3 - 4*h**2 - 6*h - 52. Is 61 a factor of u(10)?
True
Suppose 3*v = x - 427, -3*v + 1371 = 3*x + 114. Is 6 a factor of x?
False
Suppose -5*i = -7*g + 12*g - 4640, 2*g - 1866 = 3*i. Does 15 divide g?
True
Let p(g) = -g**2 + 3*g + 6. Let y be p(4). Let f be 34 - (-2 + y + -4). Suppose -3*v + f + 73 = 0. Is v a multiple of 18?
False
Let m = -866 + 898. Is m a multiple of 7?
False
Suppose 0 = 53*g - 66*g + 23556. Is g a multiple of 31?
False
Let p be 192/28*(-105)/(-10). Suppose 0*v = 5*v + 170. Let u = v + p. Does 7 divide u?
False
Is 18 a factor of (-2)/(-14)*21 - -2067?
True
Let z be (-2 + 4)*2/4. Let n(v) = 3*v**3 + 3*v**3 + 8*v**3. Is 8 a factor of n(z)?
False
Suppose -15*i + 248 = -14*i. Suppose 0*t + i = t. Suppose 5*y + 131 + 184 = 5*z, 2*y + t = 4*z. Is 7 a factor of z?
False
Does 20 divide (6/(-4))/((-7)/(-14)) - -143?
True
Suppose -8*r - 586 = -3754. Is r a multiple of 9?
True
Let q = -463 - -903. Does 8 divide q?
True
Let q be (-6)/(-15)*(1 + (-26)/(-4)). Suppose -q*k - 47 = -4*p, 0*p = -5*p - 4*k + 20. Is 6 a factor of p?
False
Let c = 33 - 24. Suppose -5*w = -w. Suppose w*o - c = -3*o. Is o even?
False
Let p(i) = 17*i - 7. Let m be p(6). Suppose 5*w + 261 - 46 = 0. Let r = w + m. Does 16 divide r?
False
Suppose 0 = -35*w + 34*w + 345. Let i = -231 + w. Is i a multiple of 21?
False
Let t(i) = 34*i + 70. Does 34 divide t(5)?
False
Is 46 a factor of ((171/(-6))/3)/(21/(-798))?
False
Let h(l) = -l**3 + 10*l**2 - 13*l + 11. Is 5 a factor of h(8)?
True
Let j(z) = -85*z - 18. Let o be j(10). Is 23 a factor of ((-1)/(-2))/((-14)/o)?
False
Let l = 1582 - 1158. Does 8 divide l?
True
Let q = -1322 - -2020. Does 32 divide q?
False
Let t(z) be the first derivative of 2*z**2 - 9*z + 2. Let g be t(8). Is 6 a factor of (g - 0) + 6/(-2)?
False
Let t(m) = -m**3 + 12*m**2 - m - 38. Is t(9) a multiple of 7?
True
Let q be (13/(-26))/(2/(-12)). Suppose -4*r + 35 = -q*l, 2*l - 6*l + 5 = 5*r. Let f(w) = w**3 + 7*w**2 + 8*w + 4. Is 3 a factor of f(l)?
False
Let h(y) = -y + 37. Let s be h(0). Suppose 0 = -4*q + 11 + s. Suppose 0*l = -l + q. Is 6 a factor of l?
True
Let h(c) = -378*c**3 + 2*c**2 - 13*c - 13. Is h(-1) a multiple of 4?
True
Suppose -8328 = -13*k + 13811. Does 13 divide k?
True
Does 80 divide (-8)/3*6858/(-24)?
False
Does 5 divide ((-6216)/36)/7*-15?
True
Let b(q) = 74*q**2 + 2*q. Let y be b(-2). Suppose -12*d = -0*d - 0*d. Suppose d = 28*f - 24*f - y. Is 21 a factor of f?
False
Suppose 0 = 20*o + 30*o - 76800. Is o a multiple of 48?
True
Let g(i) = -527*i - 9. Does 44 divide g(-1)?
False
Let i(h) = -h**3 - 5*h**2. Let t be 31/(-6) + (-4)/(-24). Let p be i(t). Suppose -3*x + 66 - 15 = p. Is x a multiple of 17?
True
Let z = 599 + -351. Is z a multiple of 14?
False
Suppose 0 = 43*n - 26*n - 10540. Does 10 divide n?
True
Suppose -2*d - l = 5 - 2, 0 = 4*d + 4*l. Let q(a) = 2*a**2 - 10*a - 19. Does 2 divide q(d)?
False
Let b(x) = -x**2 - 12*x - 3. Let y(h) = 29*h**2 - 2*h + 1. Let n be y(1). Let k = 23 - n. Does 16 divide b(k)?
True
Suppose 2*t + 3*t = -3*i - 84, 4*i = 5*t - 147. Let c = i - -180. Is c a multi