ultiple of 10?
False
Suppose 5*f - 41 = 2*d, -3*f + 30 = -4*d - 3. Suppose -7 - f = -7*q. Suppose 5*x - 192 = -q*k, -5*k + 0*x = -x - 480. Is k a multiple of 24?
True
Let t(u) = u. Let c(k) = -3*k - 6. Let w(j) = c(j) - 5*t(j). Let x = 71 - 75. Is 15 a factor of w(x)?
False
Let d(l) = -l**2 + 15*l + 5. Let w be d(15). Suppose -3*y + m + 55 + 12 = 0, 0 = 4*y - w*m - 93. Let j = y + -3. Does 4 divide j?
False
Let o be 1 - -2 - (-6)/3. Suppose -3*j = -o*j + 630. Suppose -j = -3*d - 102. Does 20 divide d?
False
Let k(f) = -f**3 - f**2 + f - 4. Let b be k(-3). Let o(x) = 12*x**2 + 0*x**3 - 5 - 5*x + x**3 - 2*x**3 - 7. Is o(b) a multiple of 17?
False
Suppose q + 4*s = 4, -2*s - 2*s = 4. Let y = -16 + 19. Suppose q*o = y*o + 330. Does 22 divide o?
True
Let p(k) = 485*k**2 + 11*k + 25. Is p(-2) a multiple of 111?
False
Suppose -4*f + 419 = -1093. Is 42 a factor of f?
True
Let t(i) = i**3 + 9*i**2 - 10*i + 13. Suppose -4*n = -3*n - 3*o - 38, -4*o + 266 = 5*n. Suppose -g + n = -6*g. Is t(g) a multiple of 13?
True
Suppose 3*z - 4*n = 1988, 5*n = -5*z + 4*n + 3298. Does 22 divide z?
True
Suppose 4*o - 948 = -4*j, -3*j = 2*o + 3*o - 1195. Is o a multiple of 22?
True
Let g(s) = -12*s - 658. Is 4 a factor of g(-58)?
False
Is 11 a factor of (-14)/((-14)/(-3)) + 1954?
False
Let x = -236 - -551. Is 3 a factor of x?
True
Let b be (11 + -22)/((-1)/2). Suppose -41 = -2*o - x, 0*o + b = o + x. Is o a multiple of 6?
False
Let d be (-1611)/(-7) - (-2)/(-14). Let q = -138 + d. Let j = q + -56. Is j a multiple of 9?
True
Suppose -3*q - 2*g + 873 = 0, -7*g + 1166 = 4*q - 5*g. Suppose 2*d + 105 = q. Is 34 a factor of d?
False
Suppose 640 = 61*g - 53*g. Is 8 a factor of g?
True
Is 2409 + (-48)/(-12) + 5 a multiple of 15?
False
Let b = 931 - 718. Suppose 5*s = 4*d - 7, -2*s + 9 = 4*d - 5*s. Suppose b + d = 4*l. Does 18 divide l?
True
Let u(k) = 7*k**2 + 44*k - 5. Does 77 divide u(7)?
False
Let r(i) = 2*i - 6. Let h be r(4). Is (h/(-3))/((-1)/96) a multiple of 16?
True
Let q be (-3)/2*24/(-9). Suppose -76 = -0*u - q*u. Let o = u + 0. Does 6 divide o?
False
Let d(a) = a**2 - 14*a + 19. Let p be d(15). Let i = p + 4. Is i a multiple of 8?
False
Suppose 6*p - 16 = 8. Suppose 5*k - 200 - 20 = l, p*k = -l + 167. Does 12 divide k?
False
Suppose 0 = -4*z - 4*g, 0 = -5*z - 2*g + 3*g + 12. Suppose -p = z*p - 3. Let v = 4 - p. Is v a multiple of 3?
True
Let y(x) = x**3 - 6*x**2 + x - 4. Let j be y(6). Suppose -j*v = -3*v. Suppose -2*f + v = -2*d - 50, -f - d + 27 = 0. Is f a multiple of 13?
True
Let r = -57 + 1002. Does 13 divide r?
False
Suppose 53*p = 35*p + 10098. Does 15 divide p?
False
Let z(f) = 5*f**3 - 5*f**2 + 3*f. Let q be z(3). Suppose -3*b + q + 99 = 0. Suppose -v + p - 3 = -b, 5*v = -5*p + 315. Is 21 a factor of v?
True
Suppose 3*h = 5*h - 30. Does 22 divide (684/h)/(15/50)?
False
Let k(q) = -7*q**2 - 3*q + 7. Let s(n) = -35*n**2 - 16*n + 36. Let t(p) = -11*k(p) + 2*s(p). Is t(3) a multiple of 21?
False
Let k(s) = 5*s**3 + s**2 + 2. Let p = 31 - 29. Is k(p) a multiple of 23?
True
Let j(w) = 4*w + 5 - 4 - 3*w. Suppose -5 = 4*z - 4*r - 45, -4*r - 4 = 0. Is j(z) a multiple of 3?
False
Suppose 3*d = 3*u - 5 - 19, -3*u = 5*d + 16. Let j = 26 + u. Does 5 divide j?
False
Let z be (-18)/15*150/(-9). Suppose -1 = j - z. Suppose j = -3*l - 3*n + 94, 3*l - 5*n = 83. Does 23 divide l?
False
Let p be -1 + 1700/(-28) - 4/14. Let z = p - -79. Is 14 a factor of z?
False
Let r be -2*((-4)/(-6)*3 - 8). Does 4 divide 8/r*(6 + 12)?
True
Let n = -14 + 20. Let l(t) = -11*t**2 + 2*t**2 + 13*t**2 + n*t + 6. Is l(-4) a multiple of 7?
False
Let f(t) = -2*t - 2*t**2 - 10*t**3 + 5*t**3 - 1 + 0*t**3. Let o be f(-1). Suppose -303 = -5*a - 2*p, -o*a + 8*a - p - 245 = 0. Is 11 a factor of a?
False
Let k(m) = 2*m + 225. Is 8 a factor of k(-9)?
False
Let k = 18 + -31. Suppose 4*a = -c + 119, -2*c + 119 = 3*a + 36. Let y = k + a. Does 6 divide y?
True
Let n = -1502 + 2953. Does 79 divide n?
False
Suppose -5*c = 5*t - 1130, -7*c + 222 = -6*c - 3*t. Is c a multiple of 25?
True
Let o(j) = -16*j**2. Let f be o(-1). Let p be (-16)/(-3)*(-312)/f. Suppose -374 + p = -5*d. Is d a multiple of 18?
True
Suppose -1072 = -3*a - 478. Is 22 a factor of a?
True
Suppose n + 115 = -h + 4*h, h - 4*n = 53. Let x = 103 + -48. Let f = x - h. Is 6 a factor of f?
True
Let u(d) = 168*d. Is 16 a factor of u(4)?
True
Suppose 131 = 3*l - 3*x - 70, x + 283 = 4*l. Does 4 divide l?
True
Does 35 divide (2133744/102)/8 - (-8)/68?
False
Let u(o) = -o**2 - 8*o + 7. Let r be u(-5). Let d be (-6)/12 - r/(-4). Suppose 0 = -d*z + 15. Does 2 divide z?
False
Let m = 140 - 140. Suppose -158 = -5*u + 2*v + 81, -u + 4*v + 37 = m. Does 4 divide u?
False
Let a(y) = -y**3 - 4*y**2 - 3*y - 4. Let j(d) = -d**2 - 4*d - 4. Let v be j(-3). Let t be -3 - v - (-1 + 4). Is 12 a factor of a(t)?
True
Let p(h) = -h**3 + 4*h**2 - 5*h + 7. Let y be p(3). Let l be -36 - (-5 + y + 5). Let x = 82 + l. Does 14 divide x?
False
Suppose -g = g - 172. Suppose 88 = t - 4*f, g = t - 5*f + 3. Does 12 divide t?
True
Let g(c) = -c**3 + 19. Let j be g(0). Suppose -2*l = r + j, -5*r + 4*l + 7 - 74 = 0. Let t = r + 34. Is 10 a factor of t?
False
Let n(i) = 4*i**2 - 7*i + 20. Does 38 divide n(6)?
False
Let u(b) = -b - 5. Let s(k) = -k**2 + 5*k - 1. Let q be s(6). Let d be u(q). Suppose 0*m = -5*h - d*m + 362, 386 = 5*h - 4*m. Is 26 a factor of h?
False
Suppose 85376 = 63*n - 121579. Is 9 a factor of n?
True
Is 8 a factor of (-6)/24*-349 - 3/(-4)?
True
Let w(i) = -978*i - 18. Does 30 divide w(-1)?
True
Let a(v) = -4*v**3 + 4*v**2 - v + 4. Let y(z) = 5*z**3 - 4*z**2 - 5. Let w(f) = -4*a(f) - 3*y(f). Let o be w(3). Is 7 a factor of (o/6)/((-2)/(-126))?
True
Let b(t) = -t**2 + t + 15. Let c be b(0). Let h = 52 - c. Suppose 0 = -4*g + 11 + h. Is g a multiple of 9?
False
Suppose -57 = -5*x - 367. Let w = x + 109. Is 5 a factor of w?
False
Let f(i) = -i**2 - 3*i + 8. Let p be f(-4). Suppose 143 = u - 5*y, p*y - 744 = -u - 4*u. Does 37 divide u?
True
Let h(z) = z + 8. Let j(w) = w**3 - 9*w**2 + 6*w + 8. Let q be j(8). Let f be h(q). Is 13 + (-1 - (f - 3)) a multiple of 3?
True
Let t(h) = -2*h - 4. Let s be t(0). Let i be 3 - 0*(-1)/s. Suppose -i*y = -y - 174. Is 15 a factor of y?
False
Suppose 31 = 3*z - 4*w, -3*z = 2*w + 3*w + 5. Suppose z*x = m + 32, -5*m = 4*x + 12 + 3. Does 12 divide (-12)/(-42) + (-285)/m?
False
Let k(g) = -3*g - 4. Let c be k(-2). Suppose 283 = c*d - 57. Does 32 divide d?
False
Let k = 1309 + -780. Is k a multiple of 31?
False
Suppose -4*h + h + 1343 = -5*t, 0 = -3*h - 2*t + 1378. Let j = -190 + h. Does 19 divide j?
True
Let l(c) = 5*c + 1. Let m be l(4). Let g = m - 21. Is 28 a factor of 8 + -4 + g + 65?
False
Let s(n) = -n - 1 + 5 + 5. Suppose -4*c + 49 = -5*v, -5 + 1 = v + 5*c. Is s(v) a multiple of 4?
False
Suppose 16*m - 8 = 12*m. Suppose d + 239 = 5*f, -m*d + 3 = 1. Is 21 a factor of f?
False
Let t = 64 + -35. Suppose 4*q - 15 = t. Suppose q = 2*l - 9. Is l a multiple of 5?
True
Let u(q) = -q + 10. Let z be u(11). Let h be z*-3*(-5 - -4). Let r(s) = -s**3 - 2*s**2 - 2*s - 4. Is r(h) a multiple of 9?
False
Let g(y) = -12*y - 6. Let v be g(-10). Suppose 2*i + 34 = v. Is 10 a factor of i?
True
Let m be (-2)/(1/(35/10)). Let y(q) = -8*q**3 + 2*q**2 + 12*q - 9. Let d(u) = 7*u**3 - u**2 - 11*u + 9. Let r(z) = -7*d(z) - 6*y(z). Is r(m) a multiple of 27?
True
Let w = 18 + 20. Is 22 a factor of (w/(-95))/((-2)/240)?
False
Let h be ((-1)/3)/((-2)/12). Suppose h*b + 2*b + 5*w - 376 = 0, 0 = -3*b - 3*w + 279. Is b a multiple of 44?
False
Let l = 14 + -15. Let f be 40 + 0 + (-2)/l. Let t = f + 8. Does 25 divide t?
True
Suppose -2*u = 2*u + y - 723, 5*y = 5*u - 885. Is (-2176)/(-7) + (-5 - u/(-35)) a multiple of 12?
False
Suppose -3824 = -45*q + 37*q. Is 20 a factor of q?
False
Let c(j) = j**3 + j**2 - 5*j. Let f(i) = -13*i - 22. Let p be f(-2). Is c(p) a multiple of 12?
True
Let y = -209 + 445. Does 17 divide y?
False
Let h be 12/(-30)*(-20)/(-2). Let k be (-674)/h + 1/(-2). Suppose 4*w + 4*b = k, -4*w + 108 = -w - 3*b. Is w a multiple of 14?
False
Suppose 4*w - 41 = -9. Let j(f) = 7*f - 10. Let h be j(w). Let r = -7 + h. Is 15 a factor of r?
False
Let d = -183 + 337. Is d a multiple of 11?
True
Suppose 12*h = -40*h + 9152. Is h a multiple of 11?
True
Let w(m) = -1 - 