+ 7*i**2. Is 27 a factor of f(4)?
True
Let y(t) = t**3 - 4*t**2 + 5*t - 1. Let n = 112 - 109. Let s be y(n). Suppose 5*j - z - 2*z - 189 = 0, -93 = -3*j - s*z. Is 20 a factor of j?
False
Let w(k) = -20*k + 447. Is w(16) a multiple of 50?
False
Let c(m) = m**2 + 40*m - 1179. Is c(69) a multiple of 21?
True
Let d = 2586 - 156. Suppose -281*j + 283*j = d. Is j a multiple of 27?
True
Let r be 3*(-4)/12 - (1 + -4). Suppose -n = r*n - 60. Suppose y - 4*l - 11 = 18, -5*l = y - n. Is y a multiple of 11?
False
Let k(d) = -d**2 + 5*d + 49. Let h be k(6). Let r(i) = i**3 - 45*i**2 + 88*i - 6. Does 16 divide r(h)?
True
Is 232 a factor of ((-684400)/(-295))/((-2)/(-25))?
True
Suppose 109*u - 2330 = 395. Let t = 34 + -18. Let f = u - t. Does 3 divide f?
True
Suppose -21*x + 17*x = -59*x + 2182675. Is 32 a factor of x?
False
Let v(a) = -a**3 - 20*a**2 - 37*a - 13. Let p be v(-18). Suppose 0 = p*z - 2*z - 939. Is 12 a factor of z?
False
Suppose -22*y = -28*y + 1518. Suppose 251*l = y*l - 2604. Does 31 divide l?
True
Let u be (2 + 2 - -119) + -3. Suppose 2*c - 99 = -5*w + 89, 3*c + 193 = 5*w. Suppose x - w = 2*j, -3*x + 2*j + 2*j = -u. Is 5 a factor of x?
False
Suppose 0 = -412*o + 363*o + 954471. Is 25 a factor of o?
False
Suppose 0 = 50*y - 30*y - 6620. Let o = y + 57. Is 23 a factor of o?
False
Let d(t) = -4*t + 173. Let s(n) = n**3 + 33*n**2 - 36*n - 41. Let h be s(-34). Is d(h) a multiple of 14?
False
Let g(l) = 2*l**2 - 5*l + 4. Let x be g(2). Suppose -h + 86 = 2*s, -2*s + 3*h + x*h + 110 = 0. Suppose -6*d = -d - s. Is d a multiple of 3?
True
Is 9 a factor of 27469/4 - ((-5)/(-4) + -1)?
True
Let d = -10006 + 17207. Does 19 divide d?
True
Let x(q) = q**2 + 13*q + 22. Let w be x(-12). Is w*(0 - ((-57)/5 - -1)) a multiple of 26?
True
Let c = -344 - -750. Let p = 590 - c. Is 8 a factor of p?
True
Suppose -12*z + 13 + 47 = 0. Let x(a) = -z + 15*a + 3 + 4 + a**2. Is 9 a factor of x(-17)?
True
Suppose 35*x = 64*x - 222720. Is 80 a factor of x?
True
Suppose 0 = 4*m - 5*d - 41641 - 7665, 30 = 5*d. Does 94 divide m?
False
Let y(z) = -168*z - 37. Is 6 a factor of y(-9)?
False
Let w(f) = 5*f + 11. Let g be w(7). Let i = g - 41. Suppose 3*x + 6 = 0, -5*p + i*x + 123 = -142. Does 9 divide p?
False
Let s(t) = -t + 6. Let y be s(-8). Suppose -y*i = -4*q - 11*i + 442, 2*q = -5*i + 234. Is 20 a factor of q?
False
Let t(d) = -3*d**2 + 27*d - 26*d + 3 + 17*d**2 + d**2. Let c be t(2). Suppose -186 = -c*l + 63*l. Is 5 a factor of l?
False
Let k = 23065 + -16384. Is k a multiple of 51?
True
Suppose 0 = -38*f - 3*f + 729867 + 179554. Does 15 divide f?
False
Suppose -m + 5599 = 3*f - 25380, 6*f + 12 = 0. Suppose 0 = 28*k - 3147 - m. Does 40 divide k?
False
Let h(f) be the second derivative of 19/12*f**4 - 19*f + 0*f**2 + 1/6*f**3 + 0. Is 6 a factor of h(-1)?
True
Suppose 0 = 3*o - 6 - 54. Let r be 6/10 + 68/o. Suppose -4*q + 348 = r*l - 4, -q + l + 90 = 0. Is 18 a factor of q?
False
Let j = -3887 + 5347. Does 73 divide j?
True
Let s = 13 - 7. Suppose -s*z + 8*z = -20. Let g = 33 - z. Is g a multiple of 7?
False
Suppose -128*o = -143*o + 38130. Does 31 divide o?
True
Let m(j) = 13*j**2 + 21*j - 3 + 13*j**2 - 28*j**2 + 0*j. Let v be m(10). Suppose 2*c = -2*w + 22, 5*w - 5*c + v = 7*w. Is w a multiple of 3?
False
Let i = 10471 - 7252. Does 3 divide i?
True
Let v be (239 + 0)/(4*22/(-88)). Suppose -2*f + 367 = -i + f, 5*i + 2*f = -1818. Let x = v - i. Does 25 divide x?
True
Let r be (-9)/(36/8) - (-1122)/2. Let s = r - 380. Is s a multiple of 11?
False
Let o(m) = -5*m**2 + 80*m - 29. Let t(g) = -2*g**2 + 40*g - 15. Let a(i) = -3*o(i) + 5*t(i). Is a(13) a multiple of 16?
False
Does 32 divide (1 - 3)*(-10830)/12?
False
Let r(o) = 621*o**3 - 3*o**2 + 2*o. Let z be -4 + (1/(-2))/((-8)/80). Is 20 a factor of r(z)?
True
Suppose 5*a - 15 = -5*i, 3*i = -a + 4 + 5. Let g be 144/10 + 26*80/1300. Is 46 a factor of (g - 84)*(a - 1)?
False
Let p = -45332 + -66633. Is 24 a factor of p/(-441) + 2/18?
False
Let v(b) be the first derivative of -b**4/2 - 2*b**3/3 + b**2/2 + 3*b + 48. Let m be v(-1). Is -51*(-10)/15*m a multiple of 14?
False
Let y = 30 - 26. Let q(l) = -4*l + 7. Let v(j) = 12*j - 20. Let p(g) = y*v(g) + 11*q(g). Does 27 divide p(15)?
False
Let h = 3989 - -10479. Is h a multiple of 5?
False
Is 10 a factor of 55/(-6 + 1) + 10027?
False
Let j = -41699 + 61478. Does 70 divide j?
False
Let a = -360 + 30730. Is a a multiple of 256?
False
Let h be (3930/(-7))/(-6) + 3/7. Let o = h + -64. Suppose -5*m + 6*m - o = 0. Does 5 divide m?
True
Let g(z) = 15*z**3 - z**2 + 4*z + 1. Let q be g(-3). Let h = -281 - q. Suppose h = -7*y + 8*y. Does 18 divide y?
True
Let u(i) = -68 - 41 - 18 + 16*i + 39. Is 6 a factor of u(16)?
True
Let o = -337 + -281. Let b = -227 - o. Is b a multiple of 45?
False
Let r = 5 - 15. Let h be (-538)/(-9) + (-8)/(-36). Let d = r + h. Is d a multiple of 10?
True
Suppose -c + 1324 = p - 6936, 3*p - 16515 = -2*c. Is 75 a factor of c?
False
Suppose -3*w = -3*d - 93042, 0 = -16*w + d + 643405 - 147271. Is 33 a factor of w?
False
Let w = 7846 - 3554. Is w a multiple of 58?
True
Let v(j) = -2*j**2 - 14*j - 6. Let o be v(-7). Let q be (-2558)/o + 8/12. Suppose 3*i - 3*m - 513 = 0, q = 3*i - 4*m - 89. Is 14 a factor of i?
True
Suppose -4*d + 2*c = 136, 2*d - 3*c = -7*c - 48. Let i = -50 - d. Is 31 a factor of (-6)/i - (-184)/6?
True
Suppose 0 = 5*i - 2206 - 509. Suppose -68*c + 234024 = 131*c. Suppose i + c = 9*j. Does 17 divide j?
False
Let y be (68/6 - -1)/((-3)/54). Let h = y - -262. Is h a multiple of 2?
True
Let z = 575 + -842. Let t = 635 + z. Is 14 a factor of t?
False
Suppose 2*y - 28 = -2*y. Suppose y = -2*f - 115. Let g = f - -175. Is g a multiple of 11?
False
Let s = -344 - -2601. Is s a multiple of 16?
False
Suppose -40*a = 36*a - 471808. Suppose 0*o = 8*o - a. Is 48 a factor of o?
False
Let h be 3 + (18 + 33)*1/(-1). Does 20 divide ((-151)/4)/(1/h*2)?
False
Let w = 15889 + -11078. Is w a multiple of 38?
False
Let d(v) = v**3 - 5*v**2 - 4*v - 3. Let p be d(6). Suppose -5*j + 102 = n, -n = 3*n + 5*j - 318. Let k = p + n. Is k a multiple of 9?
True
Suppose 1553 = f + 3*q - 1447, -f - 4*q = -2998. Does 6 divide f?
True
Let u = 14004 - 9336. Does 30 divide u?
False
Let g(p) = 486*p**2 - 24*p + 47. Is 3 a factor of g(2)?
False
Let p = -9800 + 28040. Is 120 a factor of p?
True
Let m be 0*(-5)/(-15) - 1*-2. Let q be -10*-74*m/10. Suppose 0 = 2*a - 112 - q. Is 26 a factor of a?
True
Suppose 53*r - 58*r + 8632 = -2*o, 4*o = -4*r + 6928. Does 96 divide r?
True
Let p(v) = 27*v + 243. Let g be p(-9). Suppose 0*t + 4*t + 3*y - 798 = g, -5*t - 4*y + 997 = 0. Is t a multiple of 14?
False
Suppose 0*f = -3*k - 5*f - 8, 3*f = k - 16. Suppose -k*a + 758 - 53 = -r, 2*a + 3*r - 363 = 0. Let j = a - 107. Is 14 a factor of j?
True
Let p(l) = -5*l**2 - 35*l - 198. Let x(u) = 2*u**2 + 11*u + 66. Let n(f) = 2*p(f) + 7*x(f). Does 7 divide n(-6)?
True
Let i = 20 - 19. Let w(r) = 2*r - 2. Let t be w(i). Let y(n) = -n**2 - 2*n + 72. Does 12 divide y(t)?
True
Suppose 34*y = 32*y - 4*w + 4262, 3*y - 5*w = 6360. Is 85 a factor of y?
True
Let q(t) = 9*t - 8. Let k be q(2). Let u(r) = r**3 - 6*r**2 - 18*r + 14. Does 28 divide u(k)?
False
Let f(u) = -u**3 - u**2 - 9*u - 52. Let q(d) = -d**3 - 2*d**2 - 10*d - 54. Let s(y) = -7*f(y) + 6*q(y). Is 20 a factor of s(9)?
False
Let g(n) = 61*n**2 - n + 77. Let j(r) = 21*r**2 + 27. Let o(s) = 6*g(s) - 17*j(s). Suppose -2*h = 5*l - 18, 5*l - h - 26 = -5*h. Is 18 a factor of o(l)?
False
Let z(p) = -6*p**3 - 2*p**2 + 5*p + 1. Suppose 126 = 7*q + 616. Let t = 67 + q. Is z(t) a multiple of 13?
True
Let h = 22 - 17. Suppose -4 = -g + h*g. Let b(j) = -155*j. Is b(g) a multiple of 13?
False
Suppose -2544 = 75*o - 87*o. Let x = -122 + o. Does 10 divide x?
True
Let f be -4 - 4545/(-75) - 2/(-5). Suppose 2*x = 7*x - 215. Let n = f - x. Is n a multiple of 5?
False
Let s(w) = 13*w**2 - 5*w. Let j be s(1). Suppose -243 = -j*q - 35. Is 8 a factor of q?
False
Suppose -14*h + 22*h = 448. Is (-49)/h*-92*10 a multiple of 14?
False
Let v = -376 + 777. Does 27 divide (4 + v)/(1/1)?
True
Is (-1941680)/(-600) + (-28)/12*(-2)/(-35) a multiple of 30?
False
Suppose -m + 18188 = j, j + 6*m = 2*m + 18212. Is j a multiple of 15?
True
Let y(n) = -n**3 + 55*n**2 + 240*n - 27. Is y(37) a multi