3. Let c(i) = 57*i + 137. Is 36 a factor of c(t)?
False
Suppose 5*s - 6*h + 0*h = 72370, 3*h + 14483 = s. Does 14 divide s?
False
Let n(s) = 5*s**2 + 16*s - 17. Let o be n(1). Does 41 divide (-32 + 12)/(o/(-82))?
True
Suppose 0 = -40*o + 31*o + 18. Does 9 divide (-464075)/(-380) + o/16*-2?
False
Let f(o) = -8*o**2 + 44*o - 92. Let r(q) = -3*q**2 + 15*q - 31. Let p(g) = 4*f(g) - 11*r(g). Let t be p(-13). Is (5/10)/((-1)/90*t) a multiple of 5?
True
Suppose 5*h = 10, -4*i + 26683 = -2*h + 89995. Is 11 a factor of 12/15 + i/(-85)?
True
Let g(k) = k + 115. Let c = -825 - -821. Is 11 a factor of g(c)?
False
Suppose -23*i + 227182 - 66395 = -132463. Does 102 divide i?
True
Suppose -3*x = 2*g - 11, 0 = -5*x + 4*g - 2*g + 13. Suppose -x*u + 4*d + 226 = -159, 5*u + d = 611. Does 4 divide u?
False
Let v be (12/((-21)/(-7)))/((-2)/(-3)). Suppose r = -v*i + 4*i + 14, 0 = 3*i + r - 19. Suppose -i*n + 9 = -6, 4*t + 2*n - 1030 = 0. Is 16 a factor of t?
True
Let j(f) = 3*f + 33. Let x be j(-3). Let w(g) = 2*g**2 - 44*g - 11. Is 3 a factor of w(x)?
False
Let a(c) = c + 677 + 663 - 1283. Is 7 a factor of a(-23)?
False
Suppose 5*d - 2*g = 30576, -4*d + 34376 = 4*g + 9904. Does 139 divide d?
True
Let f(t) = -3*t - 5. Let s be f(-5). Suppose -36 = s*g - g. Is 10 a factor of 2/g*(-420)/7?
True
Let b = -106 + 148. Is ((-176)/(-24))/(-2 + 88/b) a multiple of 11?
True
Let x be -4*(-1)/(-18) + 3982/18. Let d = x + -101. Does 40 divide d?
True
Let j(k) = -14*k**2 - 6*k + 9. Suppose -2*b = -4*m + 14, -2*m + 11 = 2*m - 3*b. Let p(l) = -9*l**2 - 4*l + 6. Let n(o) = m*j(o) - 8*p(o). Does 4 divide n(-3)?
False
Suppose 7*d + 819 = -777. Let c = 163 - d. Does 23 divide c?
True
Let t(g) = g**3 - 4*g**2 + g - 6. Let k be -3*5/(-45)*9. Let q be t(k). Let y = 12 - q. Does 8 divide y?
True
Suppose 2*j - 15 = -4*m - 1, m - 44 = -5*j. Suppose 7*r - j = -30. Does 28 divide 3 + (-104)/r - (-6)/(-9)?
False
Suppose 3784 = 3*z - 14*z. Is z/(-5) + 2/10 a multiple of 32?
False
Suppose 0 = 2*d - 2*d - 3*d. Suppose d = 2*g - 3*l - 22, -2*l + 10 = -7*l. Does 10 divide (-401)/(-3) + g/6?
False
Let m(a) = 6*a - 39. Let k = -156 + 219. Suppose -4*q - j - 57 = -7*q, -3*q + k = -3*j. Is m(q) a multiple of 16?
False
Let u be ((-8)/(-16))/((-3)/(-114)). Suppose 33*a = u*a + 2688. Is a a multiple of 3?
True
Suppose i = 4*n + 58, 5*n + 46 = -5*i + 211. Suppose i = x + 24. Suppose -30 = 9*r - x*r. Is 3 a factor of r?
True
Let x = 6173 + -1348. Does 3 divide x?
False
Suppose -133120 = -4*v + 4*t, 3*v = 8*v + 3*t - 166368. Does 94 divide v?
True
Suppose -23*g = 10185 - 308863. Is g a multiple of 15?
False
Let j(n) = 36*n + 180. Is j(8) a multiple of 36?
True
Let q be (-3*1)/(48/(-304)). Let u = 16 - q. Does 12 divide 192 + 6/12*0/u?
True
Suppose -108 = -2*g - v, -13*g + 14*g - 2*v = 44. Suppose -285 = -3*n - 5*d, 2*n - d - 267 = -n. Let h = n - g. Is 19 a factor of h?
True
Let b = -1920 - -7860. Suppose 0 = 159*x - 150*x - b. Does 66 divide x?
True
Let k(b) = 8110*b**2 + 8*b + 9. Let u be k(-2). Is 20 a factor of (-70)/315 - u/(-27)?
False
Let c = 358 - 355. Is 11 a factor of ((-1)/3)/(c/54) + 556?
True
Suppose -32088 - 38824 = -101*v + 42410. Is 4 a factor of v?
False
Let y(t) be the first derivative of t**4 - t**3/3 - 3*t**2/2 + 27. Does 8 divide y(3)?
False
Let s be ((-168)/(-16))/(5/1410). Let t = -1407 + s. Is t a multiple of 14?
True
Let i(d) = 67*d + 2. Let v be i(1). Let f(g) = -68*g**2 - 16*g - 24 + v*g**2 - 13. Is 20 a factor of f(19)?
True
Let h be ((-2)/9*-3)/(20/1710). Let v = h + -44. Is 5 a factor of v?
False
Suppose 21 = n + 6*n. Suppose 108 - 39 = n*k. Let o = -17 + k. Is 6 a factor of o?
True
Let m(v) = -v**3 - 14*v**2 - 22*v - 17. Let c be m(-14). Let x = c - 207. Is x a multiple of 4?
True
Let p be (456/(-42))/(-4) - (-4)/14. Suppose 7*l - p*l = 36. Suppose l*c - c - 120 = 0. Is 5 a factor of c?
True
Suppose -f - 84 = -3*s + 52, 6 = 3*f. Is 26 a factor of s?
False
Let z(c) = -c**2 - 16*c - 43. Suppose 0 = -5*t + 7 - 42. Is z(t) a multiple of 5?
True
Let t = -31 + 38. Suppose -z = -q + 24 + t, 3*z = -q + 39. Let y = q + -12. Is 3 a factor of y?
True
Let y(p) = -6 + 51*p + 31*p**2 - 31*p - 19*p + 133*p**2. Does 41 divide y(-2)?
False
Let y be 580*(-165)/(-44) - (0 - 0). Let g = y - 1157. Is 31 a factor of g?
False
Let t = 7497 - 3878. Is 50 a factor of t?
False
Suppose -4*o - 8 = -40. Let p be (394/o)/((-13)/(-156)). Suppose 4*s - 4*q - p = q, -s + 3*q + 153 = 0. Does 18 divide s?
True
Let q = -359 - -609. Let f = q - 91. Is f a multiple of 13?
False
Let k(f) = -f**3 + 13*f**2 - 3*f + 39. Let g be k(13). Suppose -122*d + 125*d - 12 = g. Is d a multiple of 4?
True
Suppose -24*c - 16*c + 24168 = 36*c. Is 2 a factor of c?
True
Suppose -3*k = -5*x + 3398, -3*x - 2*x - 3*k = -3392. Suppose 0 = 7*j - 973 - x. Is j a multiple of 14?
False
Suppose 2*y + 2*a - 2952 = 0, -7416 = -5*y - a + 5*a. Is 9 a factor of y?
False
Let l(p) = p**3 - 19*p**2 - 42*p + 4. Let x be l(21). Let b(d) be the third derivative of 2*d**4/3 - 5*d**3/3 + 24*d**2. Is b(x) a multiple of 27?
True
Let a(l) = l + 362. Let d be a(0). Let q = d - -379. Does 51 divide q?
False
Suppose o - 2*q = 9147, 2*o - 2175*q + 2170*q - 18300 = 0. Is o a multiple of 87?
True
Let y(h) = -h**2 + 10*h - 16. Let q(p) = -2*p**2 + 20*p - 33. Let r(b) = 6*q(b) - 13*y(b). Let w be r(8). Is 28 a factor of (-4)/w + 3*1004/18?
True
Suppose -3*c + 42434 = -1652*x + 1656*x, 0 = -5*x + 10. Is c a multiple of 36?
False
Let f(d) = -2*d**2 - 12*d - 21. Let i(j) = 3*j**2 + 22*j + 41. Let l(x) = -5*f(x) - 3*i(x). Does 11 divide l(10)?
True
Let g(j) = -35 - 40 + 117 - 46 - 6*j. Let l be g(-3). Suppose 0 = -2*n + 3*z + 51, 55 = 2*n + 3*z - l. Does 15 divide n?
True
Suppose -139*o + 566262 = 24*o. Does 6 divide o?
True
Is 85833/108 - 10/(-4)*17/34 a multiple of 199?
True
Let t = 31 - 27. Suppose -q + t*p = 50, -5*q + 2*p - 165 = -5. Does 4 divide (q/(-21))/(2/14)?
False
Let n(s) = 7*s**2 + 8*s - 2. Let w be 4 + -5 + 1 - -4*1. Suppose 2*o - 5 = -q, 0*o + 14 = w*o - 2*q. Does 17 divide n(o)?
True
Let f(i) = 52*i**2 - 4. Let w be f(5). Suppose -4*g + w = -y, 0 = 2*g - 2*y - y - 658. Is g a multiple of 12?
False
Let f(j) = -11*j**2 - 10*j - 85. Let g be f(-5). Let y = g + 598. Is y a multiple of 16?
True
Suppose 5*x - 7*x = 460. Is 6 a factor of ((-342)/285)/(4/x)?
False
Suppose -3*l + 5*l = 20. Suppose -l*d = 3*d - 65. Suppose -d*x + 914 = -271. Is x a multiple of 28?
False
Let o be 6/(5*(12/(-30))/1). Is 11 a factor of -9*4/8*208/o?
False
Let d(u) = u**3 - 73*u**2 + 79*u + 1093. Is 11 a factor of d(72)?
False
Is 16 a factor of (7 + (-1 - -8 - (-4 + 15912)))*-1?
False
Let k = -13808 + 14820. Is 6 a factor of k?
False
Suppose -a - 2 = -3*q, 3*q = -5*a + 8 - 0. Is 2 a factor of (1/(-3))/((-2)/102)*q?
False
Suppose 2*r - 3*a + 4*a = 449, 0 = -3*r - 4*a + 671. Let m = r - 181. Is 14 a factor of m?
False
Suppose -2079*w + 2021*w = -107358. Does 111 divide w?
False
Let s = 211 + 2632. Does 14 divide s?
False
Let k = 118 + -116. Suppose z + 1217 = k*s, 0 = -s - z + 790 - 186. Is 53 a factor of s?
False
Suppose 4*v - 24 = 4*k, -3*v - 4*k + 3 = -1. Suppose 2*g = 2*y + 744, -v*y = -y + 6. Suppose 0 = -z + 4*u - 6*u + 99, -5*u = -4*z + g. Does 19 divide z?
True
Suppose -2*m + 7*m - 345 = -5*f, -4*m + 78 = f. Is 30 a factor of (2 + f/(-55))/((-2)/(-3095))?
False
Let t = -2969 + 6028. Is 2 a factor of t?
False
Suppose 3*g - 3*a = 34710, -8*g + 5*g + 4*a = -34707. Does 71 divide g?
True
Suppose 2*x + 4*l - 3 + 7 = 0, 2*x = 4*l + 12. Suppose 380 = 6*v - 3*v - 4*q, x*v + 5*q - 284 = 0. Suppose v = f + 3*f. Is 8 a factor of f?
False
Let x(h) = -179*h - 14. Let u(p) = 177*p + 14. Let b(d) = -5*u(d) - 6*x(d). Is b(2) a multiple of 10?
False
Let c(v) be the second derivative of 27*v**5/5 + 5*v**3/3 - 5*v**2 + 3*v - 6. Is c(1) a multiple of 8?
False
Suppose -109*u + 268*u = 863811 + 596127. Is 35 a factor of u?
False
Let r(c) = c**3 + 17*c**2 + 27*c - 30. Let t be r(-15). Suppose -n = 4*z - 68, z = -4*n + t + 17. Does 9 divide (-42)/(-112) + 570/z?
True
Let f be -5 + 4 + (-7 - -41). Suppose 2*g = -4*a + 5012, -5*g - 6280 = f*a - 38*a. Does 11 divide a?
True
Let n(m) = -m**2 + 18*m + 2. Let t be n(18). Suppose 12 = t*c + j - 15, 2*j - 69 = -5*c. Does 15 divide c?
True
Suppose 112*l = 