3*j. Is 13 a factor of j?
True
Let p(l) = 12*l - 17. Suppose -3*z = 4*g - 10, -3*g + 16 = -3*z + z. Let u be p(g). Suppose -259 - u = -10*s. Is s a multiple of 7?
False
Let z(g) = -g**3 + 21*g**2 - 32*g - 15. Suppose 0 = -2*x + 3*u + 10, -15 = -x - 2*u + u. Suppose 9*c - x*c = -38. Is z(c) a multiple of 33?
True
Suppose 120 = -10*w - 40. Let p = w - -150. Does 5 divide p?
False
Let k(g) = 162*g - 459. Let n be k(-6). Let l = n + 2397. Is 41 a factor of l?
False
Suppose -4 = i + i - 2*y, 0 = 5*i + 4*y - 8. Suppose 6*u - 1256 + 176 = i. Is u a multiple of 5?
True
Let p(w) be the first derivative of -w**5/120 + 19*w**4/12 - 34*w**3/3 + 1. Let q(v) be the third derivative of p(v). Is 4 a factor of q(-10)?
True
Suppose n - 3*n = -4. Let o(b) = 23*b + 26. Let r be o(-1). Suppose -3*a = r*p - 0*a - 258, -4*a = n*p - 176. Is 21 a factor of p?
True
Let d = -42 - -305. Suppose -53 + d = -3*p. Let i = p - -128. Does 29 divide i?
True
Let m(h) = h**2 - 14*h + 46. Let q = -193 - -205. Does 4 divide m(q)?
False
Let l = -12065 - -17915. Is l a multiple of 50?
True
Suppose -3*v - 5*l + 12 = 0, -v - 2*l + 5 = -0*l. Let h(o) = -1408*o - 2. Let i be h(v). Suppose -158 = 12*j - i. Does 13 divide j?
True
Let r(i) = -4*i**3 + 121*i**2 + 45*i + 16. Is 16 a factor of r(26)?
False
Let u(w) = 143*w - 433. Is 95 a factor of u(11)?
True
Suppose 0 = -7*f + 23*f - 25264. Let o = f + -1079. Is o a multiple of 25?
True
Let u = 8 + -8. Suppose u = -28*v + 24*v + 980. Is v a multiple of 5?
True
Suppose -5*h + 32 = -h. Suppose 2*a + h = 0, -4*g - 3*a - 4 = -0*a. Suppose g*d = -2*d + 180. Is 9 a factor of d?
True
Suppose 4*s + 4*c - 71548 = 3*c, 0 = 9*c + 36. Is s a multiple of 149?
False
Let t be -2 - 3 - -5 - 252/6. Let z(y) = y**2 + y + 75. Let l be z(0). Let h = l + t. Is h a multiple of 8?
False
Suppose 5*q + 148 + 572 = 0. Let p = -107 - q. Let x = -14 + p. Does 23 divide x?
True
Let o(l) = -627 + 1255 - 625 + 2*l. Suppose -63 = -5*u - m + 2*m, -3*m = -3*u + 33. Is o(u) a multiple of 5?
False
Let s(l) = -77*l + 7724. Does 8 divide s(61)?
False
Suppose 0 = -2*f - 4*s + 7108, 0 = 4*s - s - 3. Is 32 a factor of f?
True
Suppose -2*v + 185 = g - 4*v, -4*g + 718 = 3*v. Suppose 2*f + 35 = d - 89, d + g = -3*f. Let k = 199 + f. Is k a multiple of 23?
True
Let t(v) be the third derivative of -7*v**2 + 0 + 0*v + 1/15*v**5 + 1/6*v**4 - 1/6*v**3. Is t(-2) a multiple of 7?
True
Let z(w) = 15*w + 49. Let s be z(10). Let g = -103 + s. Is g a multiple of 12?
True
Is 54 a factor of (-92226)/(-14) + ((-738)/42)/(-41)?
True
Let m = -16318 - -32118. Does 4 divide m?
True
Is 627/15*4/(28/175) a multiple of 55?
True
Let b = -18 - -17. Is (-30)/3*(b + -17) a multiple of 9?
True
Let x = -1 + 6. Suppose a - 25 = -5*c, -x*a = 2*c - 3*a - 18. Suppose t + c = 10. Is t a multiple of 5?
False
Let k be (5 - (-46)/4)/((-4)/(-248)). Suppose 0 = -3*i + 15, 3*w - 7*i + 4*i - k = 0. Is w a multiple of 9?
False
Let x(c) = -c**3 - 45*c**2 + 194*c - 4. Is x(-50) a multiple of 6?
True
Suppose -10*x - 1 = -11. Is (x - -3)/(((-15)/54)/(-5)) a multiple of 13?
False
Suppose i = -5*c + c + 41, 3 = -i. Suppose -c*a = -18*a. Suppose 13*n - 9*n - 84 = a. Is 10 a factor of n?
False
Let z(a) = -a**3 - 17*a**2 + 19*a + 23. Let k be z(-18). Suppose -k*h + 38 = -72. Suppose h + 1 = t. Does 23 divide t?
True
Suppose -2*g + 7*g + 326480 = 19*g. Does 53 divide g?
True
Let j(g) = -g**3 + 14*g**2 - 6*g - 16. Let c be j(14). Let i = 170 + c. Is 14 a factor of 10/4*i + 1?
False
Suppose -155*l - 3218 = -11123. Is l even?
False
Let i be (8/12)/((-2)/(-6)). Suppose -i*p = 4*l - 484, 354 = 3*l + p - 4*p. Does 12 divide l?
True
Suppose -14284 = -4*s + 4*g, -17862 = 3*s - 8*s - 2*g. Is 19 a factor of s?
True
Let r(l) = 12*l**3 - 3*l**2 + l + 2. Let i be r(3). Let p be (4/(1 + -5) - 375)/2. Let d = i + p. Is 19 a factor of d?
True
Suppose -3256*x = -3237*x - 468521. Is 132 a factor of x?
False
Suppose 0 = -13*a + 22 - 22. Suppose -2*b = 3*g - 998, a*b + 648 = 2*g - 3*b. Does 10 divide g?
True
Suppose 4*p + 5*h - 101046 = 0, -4*p + 28*h + 100992 = 24*h. Does 15 divide p?
False
Let x be (4 + -3)*4*85. Suppose 3*l + x = 7*l - 2*d, l - 82 = -d. Is l a multiple of 21?
True
Let r = -7681 - -11818. Is r a multiple of 21?
True
Let n(b) = 586*b**2 - 243*b + 735. Is n(3) a multiple of 24?
True
Let l = 13135 - 11735. Does 4 divide l?
True
Let s(t) = -4*t - 8. Let i be s(-2). Let m be (-7*(1 + i))/((-17)/170). Is (554/(-21) - 20/m)*-3 a multiple of 20?
True
Suppose 4*r - 4 = -2*h + 14, 2*r + 36 = 2*h. Let w = h - 7. Is 7 a factor of (110/(-8))/((-2)/w)?
False
Suppose -244*d + 3391649 + 1793839 = 0. Is d a multiple of 138?
True
Let w(z) = -z**3 + 4*z**2 + 35*z + 110. Is w(-10) a multiple of 20?
True
Suppose 28*b - 33*b = -3020. Suppose -4*j = -152 - b. Is j a multiple of 33?
False
Let v = -69 + 71. Suppose 2*z + 4*o = 624, v*o + 986 = 3*z - 2*o. Is 12 a factor of z?
False
Let d(c) = 108*c**2 + 141*c - 65. Is d(13) a multiple of 130?
True
Let i(j) be the third derivative of j**6/120 + j**5/30 - 5*j**4/12 + 35*j**3/6 - 2*j**2 - 1. Does 27 divide i(4)?
False
Let o(g) = -3*g**3 + 11*g**2 - 15*g + 20. Does 11 divide o(-12)?
False
Is (-3804)/(-9)*((-585)/(-10))/3 a multiple of 27?
False
Let s(m) = -2*m - 65. Suppose 0 = -3*a + 4*w - 24, w + 2*w = -2*a + 1. Let g(h) = h + 66. Let r(c) = a*s(c) - 3*g(c). Does 37 divide r(-5)?
True
Suppose 0 = 4*g + 3*d - 2241, 4*g - 4*d - 242 = 2006. Let c = g + -492. Does 8 divide c?
False
Does 24 divide 4/(-118) - (-96582586)/1711?
True
Let p be -2 - -6 - (-57 + 51). Suppose 0 = p*u - 8782 + 1522. Is u a multiple of 28?
False
Suppose -10*y + 18 = -4*y. Suppose -3*u + 370 = y*m - 896, 3*m = 3*u + 1284. Is 27 a factor of m?
False
Let o(g) = -g**2 + 24*g + 6. Suppose 2*c - 9 = -17. Let d(b) = -b**3 - 3*b**2 - 9. Let x be d(c). Is o(x) a multiple of 25?
True
Let j = 62 + -45. Let l = j - 5. Suppose 3*t + 27 = x, x - 2*t + l = 43. Does 7 divide x?
False
Does 14 divide (0 - 5)*122*-31?
False
Suppose 4914 = 2*m - 4*g - 2486, 0 = -3*m - g + 11072. Is m a multiple of 26?
True
Let z(p) = 211*p - 649. Is z(19) a multiple of 10?
True
Let l(b) = -6*b - 20 + 16*b**2 + 27*b + b**3 - 11*b - 11*b. Is l(-14) a multiple of 15?
False
Let d(n) = n**2 - 14*n + 27. Let k be d(12). Suppose -1664 = -k*o - 10*o. Is o a multiple of 8?
True
Suppose s = -0*s + 5*b + 3273, 3276 = s - 2*b. Does 4 divide s?
False
Let i(d) = -60 + 977*d - 483*d + d**3 - 17*d**2 - 467*d. Does 54 divide i(16)?
False
Let z = 5207 + -3625. Let p be (-31)/(-6) + -5 - z/(-12). Suppose -4*g + 5*f = -92, -4*g + 4*f = -p + 36. Is g a multiple of 3?
False
Is (390/42 + -9)*7*776 a multiple of 7?
False
Suppose 17830 - 5614 = 6*l. Is 3 a factor of l?
False
Suppose 0 = -0*y + 2*y - d - 17, 0 = -2*d - 10. Suppose -y*f - 2*f = -5336. Is 46 a factor of f?
False
Let g(p) = p**3 - 84*p**2 + 70*p + 1192. Is g(83) a multiple of 16?
False
Let s be 2/(-10) - 462/(-210). Suppose -s - 61 = -2*u - 3*z, 92 = 3*u + 4*z. Is 24 a factor of u?
True
Is 2/(-48)*-2 - (35 + 2239490/(-264)) a multiple of 8?
True
Suppose 6*g - 84 = 3*g. Suppose -544 - 23 = -27*u. Suppose -g*l = -u*l - 1596. Is 26 a factor of l?
False
Let p(v) = 20*v**2 + 63*v + 32. Is 37 a factor of p(-21)?
False
Suppose 2*m - 5 - 13 = 0. Let r(x) = 77*x**2 + 17*x + 12 + 3*x - 150*x**2 + 72*x**2. Is r(m) a multiple of 37?
True
Let w(j) = -73*j - 26. Let m(o) = -219*o - 79. Let p(a) = 3*m(a) - 8*w(a). Is p(-5) a multiple of 28?
True
Let c(o) = -2*o**3 + 50*o**2 - 34*o - 67. Does 68 divide c(17)?
False
Let x = 59 + -55. Let r be (6 - (4 + -8))/(2/x). Suppose -b = -5*b + r. Is b a multiple of 4?
False
Suppose 0 = 15*a - 7*a - 6536. Let g = 197 + a. Is g a multiple of 13?
True
Is ((2/6)/((-3)/(-12)))/((-27)/(-25353)) a multiple of 4?
True
Let f be 10/(-65) + (-82)/(-26). Let u be (-2 - f/(-3)) + (-9)/3. Is 6 a factor of u/(-2) - -42 - -3?
False
Let r = -24 + 29. Let z(m) = -16*m - 9*m - r + 32*m. Does 5 divide z(2)?
False
Let s be ((-7)/2)/(2/4). Let m(y) = 19*y - 1 - 18*y - 3*y**2 - y**3 + 3 + 10*y + 0*y**2. Is m(s) a multiple of 11?
True
Suppose -132*s - 18798 = -135*s - 3*l, 16 = -2*l. Is s a multiple of 105?
False
Let z = -253 - -410. Let a = 250 - z. Is a a multiple of 15?
False
Let y(o) = 3*o - 18. Let q be y(6). Suppose q = 4*l + 3*n 