 - 3*n**2 + 3*n. Does 19 divide d(-7)?
True
Is ((838 - 1) + (56 - 53))*(-128)/(-12) a multiple of 224?
True
Let l(b) = b**2. Let u(i) = 5*i**2 + 8. Let h(v) = -3*l(v) + u(v). Let o(p) = 6*p**2 + 24. Let k(z) = 10*h(z) - 3*o(z). Is k(-9) a multiple of 10?
True
Let k = -8053 + 18218. Is 7 a factor of k?
False
Suppose -3*p + 13 = 5*m, -4*m + 10 = -p + 37. Suppose -p*w + 2570 = -2248. Is w a multiple of 12?
False
Let u(w) = w**3 + 16*w**2 - 17*w + 9. Let k be u(-17). Suppose 5*s - 3425 = -5*i, 2*i - k*s = -12*s + 1375. Does 20 divide i?
True
Suppose -2*y = 4 + 38. Let r be -3 - (3*y + 4). Does 14 divide r/((-39)/15 + 3)?
True
Suppose -5*o - 2*s = 54, -3*o - s = -7*o - 38. Let p be (-10)/25 + (-1987)/o*2. Let j = p + -277. Is j a multiple of 15?
True
Suppose -w = -2*p + 29, -5*p - 90 = 4*w - 0*p. Let c be 5/(w/10) - -1. Does 10 divide ((-4)/6)/(c/30)?
True
Let y be ((-48)/(-11))/2 + 108/(-594). Is 29 a factor of (-3)/y + (-15983)/(-22)?
True
Suppose 26 = 4*f - 2*a, -12*f + 17*f - a - 31 = 0. Let g(x) = 6*x**3 - 3*x**2 - 14*x - 32. Is g(f) a multiple of 17?
False
Let z(w) = w**3 + 20*w**2 + 35*w - 3. Let j be z(-18). Let h = -13 + j. Suppose -h*r + 156 = q, -q = -4*r - 2*q + 308. Is 6 a factor of r?
False
Is 32 a factor of -11*(-21813)/242 + -1 + (-3)/(-2)?
True
Let i be (-41)/(21/(-42)*(-2)/(-3)). Let j = 266 - i. Is j a multiple of 11?
True
Suppose 30*w - s + 20584 = 33*w, 5*w = -4*s + 34302. Is w a multiple of 34?
False
Let i(d) = -2*d + 11. Let m be i(3). Suppose -m*a + 25 + 5 = 2*n, 3*n = 0. Is 0 + (-10)/(-3)*a a multiple of 20?
True
Let d(q) = 16*q**2 + 3*q + 4. Let b be d(-1). Suppose b*z - 5*z - 1656 = 0. Does 46 divide z?
True
Let u(r) = r**2 + 4*r + 4. Let p be u(-4). Suppose p*y - 6*y = -2. Is 11 a factor of (-252)/(-3) - (-3 - y)?
True
Let w(v) = 2*v**3 - 6*v**2 + 27*v + 13. Let x(d) = d**3 - 4*d**2 + 25*d + 14. Let h(k) = -2*w(k) + 3*x(k). Is 18 a factor of h(-8)?
True
Suppose 6*t = -10*t + 80. Suppose -3*b - 2*r + 52 = 0, b - 6*r - 9 = -t*r. Is 4 a factor of b?
False
Suppose 495 = 5*k + 4*k. Let q = 92 - k. Suppose i - 2*v = q, -101 = -5*i + 4*v + 54. Is i a multiple of 9?
True
Let u = -28 - 19. Let h = -47 - u. Suppose n + 2*n - 84 = h. Is 12 a factor of n?
False
Suppose k - 5*t + 411 = -848, 0 = -3*k - 2*t - 3726. Let x = -670 - k. Is x a multiple of 41?
True
Let b be (-2032)/(-9) + (-8)/(-36). Suppose h - 92 = b. Suppose 9*t - 6*t = h. Does 31 divide t?
False
Let j = -2446 - -3436. Suppose j = -78*w + 81*w. Is 10 a factor of w?
True
Does 3 divide -84*((-297)/22 - (-4 - -3 - -3))?
True
Suppose -25*n + 1722 = -753. Does 12 divide n?
False
Suppose -32*v + 63644 + 150628 = 0. Is 24 a factor of v?
True
Suppose -15*i = -24*i + 279. Suppose -4882 - 9874 = -i*m. Does 7 divide m?
True
Let m be 33/6 - 2/4. Suppose -448 = -5*a + 4*q + 487, -m*a + q + 950 = 0. Is a a multiple of 32?
False
Suppose 27 = t - 4*t. Let y be -2 - -2 - t/3. Suppose -y*g = 11*g - 1932. Is 18 a factor of g?
False
Let x = -241 - -248. Suppose 23*t = x + 200. Is t a multiple of 9?
True
Let s be -4*((-18)/(-12) - (-41)/2). Let q = -79 - s. Suppose -1104 = -7*g - q*g. Is 3 a factor of g?
True
Suppose q + 5*r = 563, 4*r - 665 - 473 = -2*q. Is 6 a factor of q?
False
Let a = -1284 + 3524. Is a a multiple of 22?
False
Suppose -g + i - 1 + 6 = 0, -11 = -4*g + i. Let y(h) = h**2 + h - 9. Let t be y(-4). Suppose -129 = -t*l - 2*r, 7*l = g*l + 3*r + 196. Does 16 divide l?
False
Let q(j) = 1298*j**3 - 2*j**2 + 3*j + 1. Let k be q(-1). Let c = -769 - k. Does 17 divide c?
False
Let y(j) = 31*j + 121. Let v be y(8). Let b = v + 10. Does 42 divide b?
False
Let y be 10/2 - (17 + -7)/10. Suppose -3*c - x = 2*c - 80, 3*c = y*x + 48. Is 8 a factor of c?
True
Let y = 34 + -15. Suppose -3*r + 44 = -4*c, -6 = -5*r - 2*c + 24. Is (0 - y)*(6 - r) a multiple of 9?
False
Suppose -15516 - 4680 = -t - 8*t. Is 68 a factor of t?
True
Suppose -7*j = r - 200649, 17*r = -3*j + 12*r + 85965. Is j a multiple of 45?
True
Let s be ((-20)/30)/((-4)/7074). Suppose 684 = 9*q - s. Does 16 divide q?
False
Is 5 a factor of ((-46)/(-6))/(((-350)/(-25))/15750)?
True
Let f be ((-3)/2)/(66/1408). Let o = 74 + f. Is 10 a factor of o?
False
Let w = 57528 - 37815. Is w a multiple of 7?
False
Let q(a) = 6*a**2 + 11*a + 10. Let o(t) = t**2 + 1. Let s(i) = 5*o(i) - q(i). Let h be s(-7). Let b = h + 65. Is b a multiple of 11?
True
Suppose 0 = -h + 26 - 24. Does 41 divide h/(-6)*0 - (-238)/2?
False
Let d = -198 - -200. Suppose 3*s - 512 - 423 = -d*p, s = -p + 310. Is 35 a factor of s?
True
Let d(k) = k**3 + 44*k**2 + 37*k - 772. Does 93 divide d(-36)?
False
Let n be 63/28 + 3/(-12). Suppose 0 = 6*x - 26 + n. Suppose x*f + f = 2*r - 7, -2*r + 2*f = -16. Does 6 divide r?
False
Let t(v) = -v**3 - 12*v**2 - 6*v + 33. Suppose -18*x - 182 = -4*x. Does 20 divide t(x)?
True
Let t = 5 - 46. Let v = t - -41. Suppose v = -11*q + 677 + 962. Is 11 a factor of q?
False
Let g(t) = -5*t - 20. Let z = -33 - -33. Suppose 5*j = 4*l, -2*l - j = 14 - z. Is 5 a factor of g(l)?
True
Let z(c) = c**3 + 56*c**2 + 196*c - 273. Is 6 a factor of z(-52)?
False
Is (-35)/(-20) + ((-3681)/(-4) - -6) a multiple of 32?
True
Suppose 18 = 6*s - 12. Suppose -s*k = 39 - 9. Is 84/2*(-4 - k - 1) a multiple of 6?
True
Suppose -16*f + 11*f = -g + 1639, 5*g = -5*f + 8135. Is 14 a factor of g?
False
Suppose 5*q = -4*r + 1129, 3*r = -q + 6*q - 1122. Let i = -65 + q. Is 20 a factor of i?
True
Suppose 60*k + 1360 = 64*k. Let v = 530 - k. Is v a multiple of 15?
False
Let z be ((-9)/(648/(-63)))/(2/16). Suppose -5*n + 440 = -3*i + z*i, 408 = 4*i - 3*n. Does 67 divide i?
False
Suppose -9*n = 1587 + 438. Let q = n + 334. Is q a multiple of 14?
False
Suppose l + 5143 = -4*x + 37780, 0 = 5*l + 15. Does 160 divide x?
True
Let b(y) be the second derivative of -y**5/20 + y**4/2 + 5*y**3/6 + 4*y**2 + 5*y. Let n be b(7). Let s(d) = -16*d - 27. Does 23 divide s(n)?
True
Suppose -x + c + 15 = 0, 0 = -1549*x + 1547*x - 2*c + 42. Is 13 a factor of x?
False
Let p(g) = -2*g - 39. Let o(l) = -l - 20. Let y(c) = 5*o(c) - 3*p(c). Let v be y(-13). Suppose 153 = v*q - 71. Is 8 a factor of q?
True
Let w = 95 + -100. Let f(y) = -4*y + 20. Let t be f(6). Does 32 divide t - (88 + w)*-1?
False
Suppose 0 = 3*j - 2*h - 8656, -28*j + 23*j - 2*h = -14416. Is 103 a factor of j?
True
Let p be 34/(-272) + 30/(-16). Is 4 a factor of 3675/40 + p*1/(-16)?
True
Let d = -88 + 18. Let o = 60 - d. Suppose -4*c + x = -125, x = 4*c - x - o. Does 5 divide c?
True
Let r = -17980 - -31264. Is r a multiple of 123?
True
Let r be (4 + -8 + 7)/(8 + -7). Suppose -2*o + 480 = -r*i, -492 = -11*o + 9*o - 3*i. Does 27 divide o?
True
Suppose 45*i = 52*i + 15687. Let r = i - -3417. Is r a multiple of 56?
True
Suppose -1668 - 2976 = -9*s. Suppose -7*x - s = -13*x. Is x even?
True
Let g(d) = 1. Let k(x) = x**3 + 22*x**2 - 21*x - 28. Let t(b) = 6*g(b) - k(b). Does 22 divide t(-24)?
True
Suppose 2*m - 8 = 0, -4*m - 95 = -2*w + 211. Suppose 0 = -5*o - 424 + 79. Let z = o + w. Is z a multiple of 23?
True
Let v = 18265 - 7111. Is v a multiple of 78?
True
Suppose -11*l - 16 = 6. Is 16 a factor of l/(-14) + (0 - (-4926)/14)?
True
Suppose -5 = -3*o + 2*z, 6*z + 4 = 4*o + 2*z. Is 8 a factor of 3/(o/347) + 5/(-1)?
False
Suppose -4*z - 390 = 3*p - 5*p, -2*p + 386 = -5*z. Let r = -8 + p. Is r a multiple of 13?
True
Let k be 1/12*-2 + (-33112)/48. Does 17 divide -6*(-8)/24 - (0 + k)?
False
Let h be (-103)/(-2)*(19 + -9). Let p = h + -164. Is 27 a factor of p?
True
Let a(w) = -w + 1. Let l(s) = 32*s - 42. Let p(g) = -2*a(g) + l(g). Does 31 divide p(11)?
False
Suppose 0 = -113*h + 478140 - 279785 + 2208319. Is 90 a factor of h?
False
Suppose 399147 - 185310 = 27*k - 330726. Is 40 a factor of k?
False
Let n(c) = -111*c - 54. Let w(u) = -55*u - 24. Let v(j) = 2*n(j) - 5*w(j). Is 11 a factor of v(6)?
True
Let f(q) = -2*q**2 - 199*q + 12. Let x(h) = -197*h + 11. Let v(t) = -5*f(t) + 4*x(t). Is v(-24) a multiple of 5?
False
Let x(i) = -i**3 - 2*i**2 - i - 7. Let y be x(-3). Suppose -1824 = -11*k - y*k. Is k a multiple of 19?
True
Let l = 9164 + -8467. Is 10 a factor of l?
False
Let n = 668 - 659. Suppose 2*q - 4*z - 1288 = 0, 4*q = n*q + z - 3198. Is q a multiple of 5?
True
Let z be ((-5)/3)/((-11)/33). Let b be 9/((39/26)/(-1 + z)). Suppose -6*