multiple of 11?
False
Let y = -14 - -6. Let s(i) = -i**2 + 18*i - 402. Let f be s(-23). Does 14 divide f/y - (-9)/(-72)?
True
Is (1242/(-36))/(1/(-45 - -1)) a multiple of 136?
False
Suppose 4*j + 2680*v - 2675*v = 19033, -v + 23765 = 5*j. Does 18 divide j?
True
Let h(b) = 8*b**2 + 14*b + 67. Let l be h(-7). Let g = -288 + l. Does 73 divide g?
True
Let p be 3*3 + 143 + -148. Let o(q) = 7*q + 0*q**2 + 2*q**3 + q**2 - 6*q**2 - 9. Is 13 a factor of o(p)?
False
Let l(x) be the second derivative of x**5/20 - x**4/3 + x**3/2 + 3*x**2/2 + 19*x. Let v be l(3). Suppose -2*s = v*s - 705. Is 12 a factor of s?
False
Let p(o) = 6*o**2 - 99*o + 63. Suppose 7*m + 0*m = -56. Let s(n) = -2*n**2 + 33*n - 21. Let w(a) = m*s(a) - 3*p(a). Is w(15) a multiple of 12?
True
Suppose 3*s + 149 + 67 = 0. Let g be ((-3)/12)/(6/s). Suppose 0 = -3*t + 2*w + 485, -g*t + 3*w + 3 = -477. Does 33 divide t?
True
Let r = -7 + 359. Suppose 2*q + 38 = r. Suppose 11*j - q = 10*j. Is 15 a factor of j?
False
Let d(c) = c**3 + 22*c**2 - 74*c + 37. Let l be d(-25). Does 36 divide (l*(-1288)/36)/(2/(-6))?
False
Let n = -446 + 471. Let j(m) = 49*m + 231. Is 91 a factor of j(n)?
True
Suppose -10*n = -13*n + 255. Let c = -80 + n. Is ((1000/3)/c)/(2/6) a multiple of 20?
True
Suppose -424341 - 632371 = -331*z - 346386. Is z a multiple of 74?
True
Let l = -5395 - -19149. Is 13 a factor of l?
True
Suppose -5*p + 2 = -23. Suppose -p*w + 4*x = -1 - 2, 3*x = -2*w + 15. Is (w/9 - -1)/(6/171) a multiple of 16?
False
Suppose -872 + 10113 + 9482 = 3*a. Is a a multiple of 19?
False
Let a(h) = -h**3 - 7*h**2 + 8*h - 3. Let v be a(-8). Let f be (0/v)/2 - 0/(-1). Suppose 0 = -3*z + 2*z - q + 18, 5*q = f. Does 3 divide z?
True
Does 15 divide (-10)/(40/(-63292)) - (-1)/((-2)/(-4))?
True
Let d(p) = 0 + 2 + 12*p - 7*p + 3*p + 15*p**2. Let j be d(4). Let a = -31 + j. Does 9 divide a?
True
Let b(s) be the second derivative of -3*s**3/2 - 11*s**2/2 - 10*s. Let h be b(6). Let p = h + 170. Is p a multiple of 28?
False
Let a = 18 - 26. Let s(c) be the second derivative of -5*c**3/3 - 5*c**2 + 2*c + 354. Is s(a) a multiple of 7?
True
Let x = -331 + 343. Suppose -x*c + 893 = 7*c. Does 2 divide c?
False
Let m(f) = 90*f**2 + f. Suppose 36*q - 39 = 23*q. Is m(q) a multiple of 33?
False
Let h = -58 + 61. Suppose -h*b - 2*w - 225 = 0, -5*b + 3*w = 351 + 24. Let u = b - -99. Does 13 divide u?
False
Let s = 1182 - -1018. Is s a multiple of 5?
True
Let b = 11 - 41. Let i be 2/10 + (-234)/b. Is (i/(-2) + 3)*-34 a multiple of 34?
True
Let q(h) = -h**2 - 7*h + 98. Let r be q(-17). Is 9*(-2)/r + (-318)/(-8) a multiple of 5?
True
Let t = -4 - -1. Let n(m) = -13*m**3 - 2*m**2 + 6*m + 5. Let w be n(t). Suppose b - w = -3*b. Is 13 a factor of b?
False
Suppose 301840 = 61*c + 88739 - 1086931. Does 36 divide c?
True
Suppose -o - 10169 = -8*u + 3*u, -3*u + 6100 = -2*o. Does 6 divide u?
True
Suppose -6*f + 17 - 107 = 0. Let c = f - -38. Let j = c + -20. Is j a multiple of 3?
True
Let f = -47669 + 81087. Is 9 a factor of f?
False
Let r(p) = p**2 + 10*p + 11. Let y be r(-14). Let h = 214 - y. Is 21 a factor of h?
True
Let l be -5 - (3 - 154*-1). Let n = 310 + l. Does 37 divide n?
True
Suppose 0 = 11*s - 10*s - 6. Let z(c) = -26 + s*c**2 + 12 + 13 + 4*c. Does 19 divide z(-3)?
False
Let t(u) = 93*u**2 + 87*u + 1456. Is 116 a factor of t(-12)?
True
Let d = -75 + 70. Let w(f) = f + 37. Let q be w(d). Is 16/q - (-2)/(4/27) a multiple of 7?
True
Suppose -16*x + 9*x + 14767 - 4078 = 0. Is 100 a factor of x?
False
Suppose 6*t - 8 = 4. Is 24 a factor of (3 + (-301)/(-5))/(t/15)?
False
Suppose 9*s - 11 = 79. Suppose 2*g = 10, s*g - 15*g = -d + 173. Is d a multiple of 22?
True
Let i = 252 - 246. Is (-8680)/(-15) + 2 + (-10)/i a multiple of 64?
False
Let u(f) be the first derivative of -f**4/4 + 23*f**3/3 + 9*f**2 - 13*f - 10. Does 47 divide u(23)?
False
Let z = -3405 + 3627. Is z a multiple of 11?
False
Suppose -92*n + 62*n = -85260. Is 4 a factor of n?
False
Suppose -10*h + 9*h + 14 = 0. Let d(p) = -3*p**3 - 5*p**2 - h*p**2 + 1 + 6 + 2*p**3. Is d(-19) a multiple of 6?
False
Let h(n) be the second derivative of -n**4/12 + n**3/2 + 3*n**2 + 16*n. Let j be h(4). Is ((j - 10)/1)/((-6)/33) a multiple of 44?
True
Suppose -8*d - 393822 = -59*d - 0*d. Is d a multiple of 29?
False
Is 20 a factor of (4/(-3))/((-20)/(-150)*-5) + 1878?
True
Let n be (-9 + -5)/(((-4)/6)/1). Let u(i) = -2*i + 53. Let p be u(n). Let h(d) = d**2 + 16*d + 10. Is h(p) a multiple of 53?
False
Suppose -2*j - 252 = -13370. Is j a multiple of 76?
False
Let c = -19221 + 28219. Does 8 divide c?
False
Suppose -2*w = d - 13348 - 48240, -61570 = -2*w - 4*d. Is 299 a factor of w?
True
Let z(i) = -i**2 + 3*i + 7*i + 2*i**2 + 2 - 7*i - 113*i**3. Let w be z(-1). Suppose 4*n + w = 297. Is n a multiple of 15?
False
Let x(j) = j**2 - 5*j - 13. Let n(k) = k**3 - 16*k**2 - 14*k - 40. Let p be n(17). Is 13 a factor of x(p)?
False
Let t = 56 - 25. Suppose 4*s - n - 17 = 0, -3*s + t = -3*n + 7. Let q = 50 - s. Is 16 a factor of q?
False
Suppose 199403 = 108*s - 253*s + 868143. Is s a multiple of 5?
False
Let c(u) = 2*u + 23. Let d(o) = -o**2 - o + 17. Let i be d(5). Let j be c(i). Let g = j - -44. Is 9 a factor of g?
False
Suppose 3*f = -4*u + 13569, 7*f - 12 = 3*f. Suppose 5*i - u = -5*a, 11*a - 8*a + 2028 = 3*i. Is i a multiple of 9?
False
Let q = 1496 - 1022. Suppose -1132 = -3*v + 2*k - 421, 3*k = -2*v + q. Is 73 a factor of v?
False
Suppose 2*t = -3*v + 43, 3*t - 4*v = v + 36. Let a(k) = 4*k + 72. Does 20 divide a(t)?
True
Suppose -13*x + 223 = 67. Suppose u - 5*i = 375, -x*i + 4 = -16*i. Is u a multiple of 3?
False
Suppose 3*m = 7*m - 16, 2*m - 24 = -4*z. Suppose 48 = z*d - 16. Does 8 divide d?
True
Let n(g) = -g**3 - 9*g**2 + 10*g - 18. Let b = -2 + -9. Let l be n(b). Does 14 divide 8/(-4) + 1*l?
True
Let t = -171 + 115. Let r = t + 55. Is (-5 + (-17)/(-2))/(r/(-24)) a multiple of 22?
False
Let o(c) = 2*c**2 - 6*c - 20. Let f be o(12). Suppose 5 - 1 = s. Suppose 2*n - 5*g - f = 0, 0*n - 368 = -s*n - 2*g. Is 16 a factor of n?
False
Let j be (-10)/(-40) + 0 - (-61)/(-4). Is 0 + -3*5/j*122 a multiple of 12?
False
Let u be (-1090)/10*(0 - 1). Let z = u - -110. Suppose -j + z = 2*y, 3*y = -y - 4*j + 444. Is 16 a factor of y?
False
Let t(v) = 17*v**3 - 5*v**2 - 7*v - 21. Let j(u) = 8*u**3 - 2*u**2 - 3*u - 11. Let m(d) = 7*j(d) - 3*t(d). Does 2 divide m(3)?
True
Let c = 5741 + -4788. Is c a multiple of 45?
False
Let c = 19988 + -7976. Is 52 a factor of c?
True
Let p(z) = -48*z**2 + 3*z + 4. Let t(u) = 96*u**2 - 7*u - 8. Let m(s) = -14*p(s) - 6*t(s). Does 15 divide m(3)?
False
Suppose -9*t = -7*t - 3*t. Suppose t = 2*g - 3*w - 73, -5*w - 2 - 3 = 0. Is g a multiple of 4?
False
Let s(z) = z**3 - 6*z**2 + 9*z + 1. Let i be s(4). Suppose -146 = -i*c + 74. Is 11 a factor of c?
True
Let u(q) = -42*q - 1079. Let i be u(-28). Let w = -45 - 29. Let f = i - w. Is 31 a factor of f?
False
Suppose -3 = 3*t - 9. Let o = 0 - t. Is 4 a factor of (6 - 7) + (o - -12)?
False
Let f = 897 + -576. Suppose 20*u = 319 + f. Does 16 divide u?
True
Let b(q) = -3317*q + 33. Let g be b(-5). Is 41 a factor of g/18 - (-16)/(-72)?
False
Suppose -53150 = -9*l + 3793. Is 4 a factor of l?
False
Let m be 6/(-27) - 644/(-63). Let j be (m/20)/(2/(-4)) - -1. Suppose j = x - 4*x + 105. Does 7 divide x?
True
Suppose 21*d + 69*d + 17600 = 125600. Is d a multiple of 4?
True
Let c = 56 - 17. Suppose 4*r - c = -3*f, -3*f + 10 = 3*r - 29. Suppose 0 = 2*g - 163 - f. Is 11 a factor of g?
True
Let k(v) = 41*v**2 - 49*v + 150. Is 31 a factor of k(3)?
True
Suppose 0 = 4*d + 8*d - 24. Suppose 0 = -2*l - d, 3*r - 2*l - 421 = -155. Let m = r - 58. Is 6 a factor of m?
True
Let q(m) = 19*m**2 - 10*m - 21. Let s be (2 - 2/4)*22/(-11). Is q(s) a multiple of 16?
False
Suppose -r - 387 + 1298 = 0. Let a = r - 593. Is 6 a factor of a?
True
Let k = 6620 - 1204. Does 82 divide k?
False
Suppose 4*x + 0*x - 5*q = 1345, -4*q = 2*x - 692. Suppose -3*s = 70 - x. Suppose -3*n - 4*k - 33 = -s, 4*n - 69 = -3*k. Does 15 divide n?
True
Suppose -75*k + 95162 + 572788 = 0. Is k a multiple of 33?
False
Suppose -4*m - 42*i = -39*i - 64345, i + 5 = 0. Is 8 a factor of m?
False
Let g(u) = -u**3 + 7*u**2 - 5*u - 2. Let k be g(6). Let t be (-4)/(-2) - k - (-1 - 6). Suppose -5*d +