 of 26?
False
Let m = 26 - 24. Let p be 76/20 - m/(-10). Suppose -2*d - z = 3*z - 112, -3*d = p*z - 172. Does 12 divide d?
True
Let s(j) = j**2 - 7*j - 8. Let a be s(12). Suppose o + a - 10 = 0. Let k = 84 + o. Is 21 a factor of k?
True
Let b = 291 + -185. Suppose 270*t - 272*t + b = 0. Does 7 divide t?
False
Let q(z) = -z**2 - 17*z - 21. Let w be q(-7). Let r = 59 - w. Suppose 470 = -r*o + 15*o. Is o a multiple of 18?
False
Let i(c) = -6*c**2 - 5*c - 36. Let y be i(-9). Let o = -141 - y. Is 12 a factor of o?
True
Let n(c) = 130*c**2 + 25*c + 57. Does 3 divide n(-2)?
False
Suppose -5*u - 48 + 68 = 0. Does 42 divide u/(-1) + -5 + 114?
False
Suppose -2*t = -222*o + 217*o - 6131, -t + o = -3061. Is t a multiple of 10?
False
Suppose 4*u - 267 = -w, 0 = -w + 2*u - u + 272. Let r = w - 32. Let n = r - 8. Does 21 divide n?
True
Let c be ((-63)/(-15) + -3)*100/3. Suppose -3*j = -m - 28, -4*j = -m + 2 - c. Suppose 3*p + j = 2*l + 7*p, p = -4*l + 34. Is l a multiple of 9?
True
Let g(t) = -8*t. Let l be g(-6). Suppose 2*n = -0*n - 40. Does 10 divide (n - 0)/(l/(-20) + 2)?
True
Let y(a) = 20*a**2 + 8*a + 4. Suppose -7*t = -6*t - 4, -3*b = -3*t + 18. Is y(b) a multiple of 68?
True
Suppose 0 = -8*d + d + 28. Suppose -d*y = -4*v + 16, -4*v + 3*y + 21 = 4*y. Suppose -v*h = -331 - 44. Is 25 a factor of h?
True
Does 147 divide 500730/66 - 34/(-187)?
False
Let h(u) be the first derivative of -11*u**4/24 + 7*u**3/2 + 27*u**2/2 + 13. Let q(g) be the second derivative of h(g). Is 5 a factor of q(-4)?
True
Suppose 0 = b + 7 - 6. Let y be 4/10 + (-42)/(-30)*b. Is 28 a factor of (y - (-30)/26) + 1593/39?
False
Suppose 3*u + 7*g - 5140 = 9*g, 4*u - g = 6860. Does 12 divide u?
True
Let u(h) = -40*h**2 - 6*h + 6. Let i be u(-3). Let t = 12 - i. Is t a multiple of 14?
False
Let k(y) = -152*y - 4270. Is 5 a factor of k(-31)?
False
Does 9 divide 1145*((-1)/5)/((368/(-3040))/23)?
False
Let g be (14 + -16)*(-45)/10. Suppose -4 = -g*h + 11*h, -3*h = 5*s - 2094. Does 21 divide s?
True
Suppose 19*s = 486930 - 102370. Is s a multiple of 20?
True
Let s = 35 - 19. Let d(v) = -v**3 + 15*v**2 - 54*v - 36. Let g be d(9). Let f = s - g. Is 26 a factor of f?
True
Suppose -o - 7 = 3*z - 43, -o = 5*z - 28. Suppose 5*m - 74 = -2*v, -3*m - 7*v = -4*v - o. Does 5 divide m?
False
Suppose -275*f - 3*a = -280*f + 50073, 20024 = 2*f + 4*a. Is 59 a factor of f?
False
Let w = -14273 - -21588. Is 11 a factor of w?
True
Let q = 8770 - 2959. Is q a multiple of 149?
True
Let d be (8/18)/(((-96)/54)/(-8)). Suppose -4*f + 1750 = -2*x, 3*f - d*x - 1330 = -4*x. Is f a multiple of 40?
True
Is 7630 + (-3 + 4 - -5 - 0/(-17)) a multiple of 46?
True
Let z(v) = -v + 2. Let o(f) = -11*f + 29. Let w(a) = o(a) - 5*z(a). Let m be w(2). Suppose -m*t + 162 - 43 = 0. Is 16 a factor of t?
False
Let w be 0 + 4 + 224/28. Let b be -4 + 5/(20/w). Does 21 divide b*70/15*-33?
False
Suppose 6*f = 19*f + 936. Does 36 divide 6/8*4 - 3 - f?
True
Let a(h) = -3*h + 8. Let d(n) = n**3 - 9*n**2 + 4*n. Let c(q) = -q**3 + 9*q**2 - 5*q - 1. Let o(i) = 4*c(i) + 5*d(i). Let r be o(9). Does 5 divide a(r)?
True
Let p = 2571 + 2577. Is p a multiple of 44?
True
Let y(k) = -99*k - 1986. Is 6 a factor of y(-70)?
True
Let h = 3099 - 878. Does 92 divide h?
False
Suppose -8*p + 9 = -7*p. Let h be (216/(-45))/(p/60). Let d = h - -53. Is 9 a factor of d?
False
Let j(b) = -b**3 + 8*b**2 - 4*b - 3. Let h be j(7). Suppose -4*i + 0*i + h = 5*d, -5*i = 2*d - 14. Does 18 divide 4 + (-272)/(i + -6)?
True
Suppose 5*a - 1 + 6 = 0. Let t be (a - -3) + -1*91. Is 14 a factor of t*3/2*(-6)/9?
False
Let u(z) be the second derivative of 7*z**3/3 - 63*z**2/2 - 2*z. Is u(10) a multiple of 11?
True
Let y be (-382)/(-8) + 5/20. Suppose -p + y = 4*g - 191, -2*p + 124 = 2*g. Suppose -4*z = -g + 15. Is 4 a factor of z?
False
Suppose 0*k - 9*k = 4*k. Suppose k = 34*j - 32*j - 126. Does 2 divide j?
False
Let t(c) = c + 9948. Is 10 a factor of t(92)?
True
Suppose -2*l - 3*o + 15468 = 0, 926*l + 2*o = 928*l - 15488. Is l a multiple of 20?
True
Let n(r) = -r**3 + 21*r**2 + 49*r - 20. Let q be ((-9)/(-6))/((-9)/(-138)). Is 7 a factor of n(q)?
True
Suppose -3*o - 4*n - 10 = -6, 0 = -o + 5*n + 24. Suppose -o*j + 18 = -6. Is 5 a factor of 0 - ((-174)/4 - 3/j)?
False
Let t = 140 + -397. Let n(w) = -8*w**3 - 2*w**2 + 8*w + 3. Let d be n(-4). Let c = d + t. Is 17 a factor of c?
False
Let z(i) be the first derivative of i**4/12 + 5*i**3/3 + 14*i**2 - 12*i + 26. Let t(j) be the first derivative of z(j). Is t(-14) a multiple of 12?
True
Let r(c) be the second derivative of c**3/2 + 59*c**2/2 - 8*c. Let l be r(-17). Suppose l*a - 13*a + 335 = 0. Does 5 divide a?
False
Suppose 30 = 18*m - 6. Suppose -2*u = -m*d + 2078, -23*d + u = -25*d + 2087. Is 23 a factor of d?
False
Suppose 122*k = 65*k + 64*k - 252504. Does 108 divide k?
True
Suppose 25*t + 4250 = -1575. Let d = -203 - t. Is d a multiple of 5?
True
Let q = -4279 - -10458. Is 167 a factor of q?
True
Suppose 0 = -2*l + 1137 - 1503. Let u = 505 + l. Does 7 divide u?
True
Let x(d) = d**2 + 10*d - 8. Let o(l) = -l**2 - 7*l - 11. Let y be o(-7). Let z be x(y). Does 22 divide 3082/18 - ((-50)/18 + z)?
False
Let b(q) = q**2 + 11*q + 30. Suppose -61 = 4*w + 4*n - 245, -2*w + 4*n + 104 = 0. Suppose 4*u - 55 = 3*a, 0 = -5*a - 3*u - 5 - w. Does 11 divide b(a)?
False
Let o be -1*2*(-8)/(-16). Let b be -6*o/2 - 5. Does 20 divide b + 2 - (6 + 28)/(-1)?
False
Let p(o) = 2*o**3 - 16*o**2 - 16*o - 62. Let z be p(12). Let x = z + 200. Does 10 divide x?
False
Suppose 3*n - 6*n = -30. Suppose -5*d + 23*d - 108 = 0. Suppose d*o + 112 = n*o. Does 14 divide o?
True
Let i be (-162)/(-405) - (-2 - (-8)/(-5)). Is 6 a factor of (i - (9 - 7))*27?
True
Let i(r) = -r + 2. Let n be i(-1). Suppose 643 = 2*o + n*v, -o - 8*v = -13*v - 315. Is 64 a factor of o?
True
Let b(v) = -2*v**2 + 58*v + 3. Let q(s) = s**2 - 3*s - 25. Let u be q(9). Let a be b(u). Suppose a*l - 14 - 685 = -3*i, -5*l - 2*i = -1180. Is 17 a factor of l?
True
Let s be (-224)/(-12) + 3 - 2/3. Let c be (-1)/(-2)*(s - 15). Let y(d) = d**3 + 3*d**2 + 6*d - 5. Is 10 a factor of y(c)?
False
Suppose 0 = 6*g - 2*g + 5*n + 413, 15 = 5*n. Let k = 195 + g. Suppose -m = 3*t - 303, -t + 3 = -3*m - k. Is 14 a factor of t?
False
Let s = -220 + 226. Is 38/57 - (-530)/s a multiple of 11?
False
Let h(l) = -2*l**2 - 25*l - 32. Let s be h(-10). Does 59 divide 39/(2/(-8)*(-24)/s)?
False
Suppose 0 = -17*n + 80052 + 58532. Does 9 divide n?
False
Let a = -22 - -54. Let r be 2118/4*a/48. Let l = r - 188. Is l a multiple of 21?
False
Let r(g) = 8*g**3 + 6*g**2 - 10*g. Is 30 a factor of r(15)?
True
Let p(i) = i**3 + 7*i**2 + 13*i + 19. Let t be p(-5). Suppose 2*f = 7*f - 10, 3*f = t*h + 3686. Is 10 a factor of h/(-15) - 3/9?
False
Let a(s) = 70*s - 1. Let t(h) = -23*h. Let r(j) = -6*a(j) - 17*t(j). Does 25 divide r(-11)?
True
Let b(q) = -q**3 + 3*q**2 + 4*q + 48. Let h(k) = -k**3 + k**2 + 3*k + 47. Let v(z) = -6*b(z) + 7*h(z). Is 26 a factor of v(-12)?
False
Let u(g) = -g**3 + 9*g**2 - 8*g - 1. Let f be u(8). Let c be (1*(0 + f))/((-102)/204). Suppose -55 - 73 = -c*i + k, -4*i + 4*k + 248 = 0. Does 11 divide i?
True
Suppose -6*f + 180132 - 35088 = 0. Does 18 divide f?
True
Suppose 0*t + 10 = 2*t. Suppose -2*s + 6*x - t*x = -199, -3*x + 470 = 5*s. Let k = s + -65. Does 8 divide k?
True
Let r = -239 + 239. Suppose -153*z + 159*z - 714 = r. Is 25 a factor of z?
False
Let x(z) = 2*z**3 + 19*z**2 + 10*z + 10. Let v be x(-9). Let t be (2*v/4)/(11/66). Suppose -4*m = -t*f - 28, 3*m = -m + 5*f + 36. Is m a multiple of 4?
True
Let b be (-9)/15 - (-5 - (-7062)/30). Let z = -131 - b. Is z a multiple of 25?
True
Let q = -51 + 52. Is 8 a factor of 64 + (-3 - -2) + q?
True
Let u = -13 - -13. Suppose u = 5*z - 2 - 8. Suppose 3*j - 6 = 5*j, 3*c - 36 = z*j. Does 7 divide c?
False
Let n(l) = l**3 + 5*l**2 + 3*l - 3. Let v be n(-2). Suppose -373 = -v*q - 130. Suppose 183 = g - q. Does 12 divide g?
True
Let s(h) = 1283*h - 7433. Is s(30) a multiple of 98?
False
Suppose 153 - 1412 = 4*a - 5*b, -5*b - 5 = 0. Let p = a - -512. Is 49 a factor of p?
True
Let g = -25 + -777. Does 42 divide g/(-1*1) + 612/(-153)?
True
Let c be 111/5 - (-198)/(-165). Let z = 164 - c. Is 13 a factor of z?
True
Let a(y) = 331*y + 780. Does 41 divide a(17)?
False
L