ultiple of 9?
True
Suppose -6*j + 7 = 1. Let w be 18 + -21 + 229*j. Let v = w + -116. Is v a multiple of 18?
False
Suppose 3*d - 2*x = 670 - 4319, x = -4*d - 4869. Let l = -205 - d. Is l a multiple of 27?
False
Let l(n) = 3*n**2 + 45*n + 19. Let h be l(-16). Suppose -3*a - h + 630 = 4*f, -3*f = -a - 432. Is f a multiple of 6?
False
Suppose 124004 = 56*m - 26*m - 26*m. Does 10 divide m?
False
Let m(k) = -128*k**2 + 7*k - 7. Let i be m(1). Let b = i + 101. Let r = 92 + b. Does 16 divide r?
False
Let c = -271 + 388. Let x = c - 27. Is x a multiple of 30?
True
Suppose -t - 57 = -5*f, 4*f - 115 = 5*t + 191. Let b = t + 67. Suppose 4*j - 5*r = 54 + 34, -48 = -4*j - b*r. Is j a multiple of 14?
False
Let h(t) = 46*t**3 + 7*t**2 - 49*t + 198. Is 4 a factor of h(6)?
True
Suppose 360 = -0*x + 5*x. Suppose 3*p = x + 126. Suppose p - 266 = -4*k. Is 20 a factor of k?
False
Let p = 4960 + -2380. Is 15 a factor of p?
True
Let s(a) = 93*a**2 - 3*a - 2. Is 44 a factor of s(-7)?
True
Let k = -2709 + 2913. Is k a multiple of 4?
True
Let t(p) = -3*p**3 + 13*p**2 + 5*p - 6. Let l be (-135)/(-21) + (-6)/14. Let u be t(l). Let a = u - -241. Is a a multiple of 17?
True
Suppose 768 = b + p - 8366, 0 = -2*b - 4*p + 18266. Is 21 a factor of b?
True
Let c be (-306)/(-81) - 4 - (-2504)/9. Suppose -5*p - 3*k + c = -131, k - 243 = -3*p. Is p a multiple of 40?
True
Suppose -3*w - 397*s + 402*s + 95645 = 0, 4*s - 8 = 0. Is 18 a factor of w?
False
Let b(r) be the second derivative of r**6/120 - 2*r**5/15 - r**4/8 + 5*r**3/2 - 15*r**2 + 3*r. Let m(l) be the first derivative of b(l). Is 23 a factor of m(9)?
True
Suppose 0 = -21*w + 152 + 58. Let z(y) be the first derivative of 13*y**2/2 + 13*y - 3. Is z(w) a multiple of 13?
True
Let y be (3 - 33)*1/3*-2. Suppose -2*p - 2 = -k, 5*p = 3*k + 6*p - y. Suppose 0 = 19*l - k*l - 2730. Is l a multiple of 14?
True
Suppose -3*d + 20373 = z, 0 = 1028*d - 1027*d - 2*z - 6784. Is d a multiple of 97?
True
Let i = -58 + 68. Let t be (-10)/i - -1*4. Suppose -2*r - 87 = -q, -4*q + t*q + 67 = 2*r. Is q a multiple of 27?
False
Let k(m) = -6*m**3 - 4*m**2 - 20*m - 5. Let j be 1/3 - (2 - 60/(-18)). Is k(j) a multiple of 17?
False
Let a = 745 - 428. Suppose l = 1, -5*r = 2*l + a - 1054. Is 21 a factor of r?
True
Suppose -199*d + 677441 + 1418029 = 0. Is 54 a factor of d?
True
Suppose -55 = -c + o, 2*c = -4*o + o + 125. Let h be (-34)/(-5)*(c - 13). Suppose -h = 10*g - 13*g. Is g a multiple of 20?
False
Suppose -5*t + u + 36894 + 743 = 0, 3*u + 15060 = 2*t. Suppose 17673 = 24*y - t. Is 25 a factor of y?
True
Suppose 4*d + 1100 = 3760. Suppose 2*y - 5*y + 513 = 4*p, -y = -5*p + d. Is 6 a factor of p?
True
Suppose 3*m + 27 = t + 273, -4*m - 4*t = -344. Suppose -y + 261 = m. Suppose 5*x - 4*x + 3*c - y = 0, 0 = 3*x - 3*c - 474. Does 14 divide x?
False
Let n(z) = z**2 - 26*z + 36. Let o be n(24). Does 15 divide 2/o*-2878 - (-8)/24?
True
Let a(f) = -f**2 - 15*f + 7. Suppose 4*i = -20, 0 = -4*q - q + 2*i + 15. Let r be -12 + (q - -9)/5. Is 12 a factor of a(r)?
False
Suppose -3*f = -50 + 359. Let l = 105 + f. Suppose s = 3*m - l*s - 339, -s + 223 = 2*m. Is m a multiple of 7?
True
Suppose 16*b + 2443 = 22*b + 5*i, -2*b + 4*i + 786 = 0. Let p = 2 - 2. Suppose p = 6*j - j + c - b, 0 = -4*j - 3*c + 329. Is 40 a factor of j?
True
Let l be (-80)/(-60)*1002/8. Let y = 206 - l. Is 3 a factor of y?
True
Does 21 divide 4/(8 - 12) - (-9265 + 0)?
False
Let p(d) = -2*d**3 + 11*d**2 + 7*d + 4. Let j be p(6). Suppose j*u = 2052 - 392. Is u a multiple of 15?
False
Let q(v) = -647*v + 1024. Does 72 divide q(-16)?
True
Suppose 20*j - 11562 = -7360 + 30078. Does 5 divide j?
False
Suppose -296*v + 9329308 - 1836762 = -6600014. Is v a multiple of 15?
True
Suppose 93 = 5*f + 313. Let q(s) = -22*s**2 + 80*s + 14. Let d be q(5). Let z = f - d. Is 23 a factor of z?
True
Suppose 10 = -3*p + 8*p. Is p/16 + (-10395)/(-168) a multiple of 31?
True
Let o(k) = -k**2 + 12*k - 7. Let h be o(11). Suppose -v - 142 = -0*v - h*q, 5*v + 3*q + 595 = 0. Let u = 176 + v. Is u a multiple of 6?
True
Let f(j) = 11845*j - 599. Is 22 a factor of f(3)?
True
Let x(g) = 960*g**3 - 4*g**2 + 2. Let n be x(-1). Let a = -521 - n. Is a a multiple of 9?
True
Suppose 0 = -19*w + 12*w. Suppose 0 = -c - 1, w*c - 5 = 5*f + 5*c. Suppose -4*b + 2*p + 222 = f, -2*p + 7*p = 5. Does 14 divide b?
True
Let d(z) = 2209*z**2 + 265*z + 265. Does 65 divide d(-1)?
False
Suppose 2*j + 5*x + 13 = -1, -12 = 5*j + x. Let w(m) = 2*m**2 + 4*m + 5. Let y be w(j). Suppose -21 - 54 = -y*u. Is 2 a factor of u?
False
Let v be (-4 + 7 - -244) + -7. Let i = 390 - v. Does 10 divide i?
True
Let b = 270 - 267. Suppose 0 = -b*i + 5*v + 991, 2*i - 5*v - 201 = 458. Is i a multiple of 12?
False
Suppose -2789 = -p + 5*v + 11, 0 = -4*p + 2*v + 11164. Is 62 a factor of p?
True
Suppose -31*b + 26*b = -8145. Suppose -2680 = -5*f + 2*d, -d = 3*f + 2*d - b. Is 15 a factor of f?
False
Let o(c) = -8877*c**3 - 3*c**2 + 1. Is o(-1) a multiple of 8?
False
Let n(y) = -481*y + 3430. Does 7 divide n(0)?
True
Let u(x) = 2*x - 11. Let t be u(3). Let b = t + 9. Suppose j = -4*i + 113, 4*j - b*i + 43 = 455. Is j a multiple of 7?
True
Is -10195*((-1633)/710 + ((-15)/6 - -3)) a multiple of 24?
False
Let y(j) = 168*j - 15. Let x be y(4). Let z = x - -315. Is z a multiple of 12?
True
Suppose -5*u + 12547 = q, 4*u - 5*q - 15509 = -5483. Suppose 20747 + u = 19*x. Is x a multiple of 40?
False
Suppose 3*m - 5*b = 42810, 17*m - 21*m + b = -57114. Is m a multiple of 17?
True
Suppose 9 + 3 = -3*x. Let l(m) = 16*m + 86. Let v(n) = -3*n - 17. Let f(h) = x*l(h) - 22*v(h). Is f(15) a multiple of 12?
True
Let h = 777 - -1385. Does 46 divide h?
True
Let g(m) be the second derivative of -m**4/12 - m**3/2 + 82*m**2 + 78*m + 2. Is 10 a factor of g(-14)?
True
Suppose 194*x = 193*x - z + 2816, 4*x - 5*z = 11300. Does 15 divide x?
True
Let w(v) = -5*v - 16. Let z be w(-7). Let u = -24 + z. Let n(p) = -2*p**3 - 5*p**2 - 5*p + 2. Is n(u) a multiple of 38?
True
Suppose 2*x = 2*m + 8504, 4*m + 7770 = 2*x - 734. Does 151 divide x?
False
Let r(t) = -t**3 + 9*t**2 - 7*t - 5. Let x be r(8). Suppose 0 = 3*k - 0*k - x, 5*k = -5*a - 20. Let l = a + 9. Is l a multiple of 3?
False
Let o(y) = -y**3 + y + 37. Let n be o(0). Let d = -23 + n. Suppose 0 = v - d - 2. Is 5 a factor of v?
False
Suppose 21*p = 807 - 72. Suppose -k + 25 + p = 0. Does 20 divide k?
True
Suppose 0 = 3*f + 3*i + 72, f - i + 36 = -f. Let d = 701 - 583. Let x = d + f. Is x a multiple of 14?
True
Let v(p) = p**2. Let w(n) = 10*n**2 + 3*n - 2. Let r(o) = -6*v(o) + w(o). Suppose -4*i + 3*i - 3 = 0. Is r(i) a multiple of 25?
True
Suppose 0 = -0*c - 5*c + 15. Suppose c*p + 6 = p. Let q(z) = -2*z**3 - 4*z**2 - 4*z - 2. Is q(p) a multiple of 10?
False
Let w = -11439 - -28081. Is w a multiple of 144?
False
Is 14 a factor of (-5*15/150)/((-3)/624)?
False
Does 21 divide 18/60*5*140334/9?
False
Suppose -14642 = -2*l - 2*d + 3776, -3*d - 9201 = -l. Is 96 a factor of l?
False
Suppose -2*x + 11874 = 3*b, 15034 + 8734 = 4*x - 4*b. Is 7 a factor of x?
False
Suppose a - 3*r - 16 = -111, 450 = -4*a - 2*r. Let d be -45*(a/15 - 0). Suppose b = 4*t - 98 - d, t - 112 = -b. Does 12 divide t?
True
Let b(z) = -12*z**2 + 22*z - 9. Let r(x) = -37*x**2 + 65*x - 28. Let a(p) = -7*b(p) + 2*r(p). Let l(g) be the first derivative of a(g). Does 19 divide l(5)?
True
Let z(m) = 85*m**2 - 554*m - 5548. Is 27 a factor of z(-10)?
False
Let j(l) = 13*l**3 - 23*l**2 - 9*l - 10. Let x = 6 + 5. Let a(z) = 7*z**3 - 12*z**2 - 5*z - 5. Let c(i) = x*a(i) - 6*j(i). Does 11 divide c(5)?
False
Let n be (3 + -4 + 5 + -2)*-100. Let h = -121 - n. Does 39 divide h?
False
Let g(a) = -a**2 - a + 26. Let b(v) = -v**2 - 11*v - 32. Let i be b(-9). Let u be g(i). Let t = -55 - u. Is t a multiple of 13?
False
Let d(i) = 35*i**2 + 3*i + 21. Let a be d(-3). Suppose a*w - 332*w = -945. Is w a multiple of 9?
True
Let c(q) = q**2 - q - 1. Let j(p) = p**2 - p - 2. Let l(w) = 7*c(w) - 6*j(w). Let m be l(0). Suppose 118 = 3*z - m*x, 3*z + 2*x = -65 + 169. Does 6 divide z?
True
Let a(m) = m**3 + 23*m**2 + 31*m - 1. Suppose -4*h = 5*i + 64, -86 - 14 = 4*h - 4*i. Let q be a(h). Let c = -125 + q. Is 21 a factor of c?
True
Let c = -80 + 65. Is (-253)/c + 4/(-210)*-7 a multiple of 3?
False
Suppose -4*a 