79 - j. Is 12 a factor of z?
True
Let m(o) = o + 1140. Does 28 divide m(-37)?
False
Let r(s) = -s**3 - s**2 - 4*s + 54. Let h be (-15)/(1/(-4) + (-15)/20). Suppose -8*z + 6*z - 4*t + 20 = 0, 4*z + h = 3*t. Does 8 divide r(z)?
False
Suppose 0 = -46*c + 11688 - 3230 + 12012. Is c a multiple of 5?
True
Let l be -4 - ((-84)/(-10))/(6/(-20)). Is 7 a factor of 16049/88 - 9/l?
True
Let u(i) = 1003*i + 12. Let w be u(4). Suppose 0 = 4*y - 0*v - 2*v - 3228, -5*y - 3*v + w = 0. Does 4 divide (-69)/115 + y/10?
True
Suppose 3*u - 12*m = -9*m + 684, -2*u + 4*m = -452. Suppose -14*i + 652 + u = 0. Does 63 divide i?
True
Is 6 a factor of (3/4 - 8253387/(-4780))/(1/10)?
True
Let p = 14236 + -6237. Is p a multiple of 46?
False
Suppose -84 - 654 = -3*y. Let s = 1471 - y. Is 32 a factor of s?
False
Let y(b) = b**3 - 13*b**2 + 11*b + 26. Let f be y(12). Suppose 3*a - f = -5*k, 5*a - 3*k - 14 = -2*k. Suppose a*g + 67 - 364 = 0. Does 9 divide g?
True
Suppose -18*h = -34 + 16. Let a be -1 + -493 + 0 - -2. Does 41 divide a*h*(-1)/3?
True
Let y be (2/(-3))/(32/720). Let s(a) = -17*a + 51. Is 46 a factor of s(y)?
False
Let d(o) = -o**3 + 10*o**2 + 2*o + 10. Let n be d(10). Let v be (n/(-9) + 1)*-108. Suppose 3*t - v = -4*s, 9*s - 5*s = -12. Is t a multiple of 22?
True
Let f(z) = z**2 - z + 13. Let w be 0/(-1*2/1). Let d be f(w). Let u = d - -31. Is u a multiple of 13?
False
Let y(x) be the second derivative of 0 + 1/3*x**3 + 27*x**2 - 6*x + 1/12*x**4. Is 18 a factor of y(0)?
True
Suppose -4*m = 67 + 113. Let z = -36 - m. Does 12 divide (z/(-6))/(-1)*100/6?
False
Let v = 34 + 520. Let n = -254 + v. Does 34 divide n?
False
Suppose -5*v = -2*c - 15, 15 = 8*v - 3*v. Suppose c = 24*f - 26*f + 164. Does 13 divide f?
False
Suppose -2*u + 28 = 3*y, 4*y - 7 = -5*u + 70. Suppose -u*j = -12*j - 2190. Is 18 a factor of j?
False
Suppose -3*p + 4*y + 1307 = 0, 5*p = 3*y + 2*y + 2180. Let k = -189 + p. Is 8 a factor of k?
True
Suppose 3*i + 40 = 10. Let o(z) = -39*z + 70. Is 92 a factor of o(i)?
True
Suppose 2*g - h - 39763 = 0, -2*g = 4*h - 6987 - 32791. Does 20 divide g?
False
Let z(y) = 9*y**2 - 6*y - 7. Let g be z(-1). Suppose b + 3 = g, b = 5*q + 10. Let v(n) = 44*n**2 - 3*n - 1. Is v(q) a multiple of 6?
False
Let p = -62566 - -103298. Does 53 divide p?
False
Let b(x) = 9*x + 47. Let p be b(-15). Does 12 divide ((-579)/4)/(66/p)?
False
Suppose -4*b = 20, 2*b = -2*y - 29 + 1. Let l(q) = 220 - 108 - 6*q - 103. Is 14 a factor of l(y)?
False
Let w be (-56910)/225 + (-4)/60. Let x = w + 567. Is x a multiple of 20?
False
Let k(p) = 10*p - 19. Let g be k(8). Suppose -3*l + 2*l + 4*r = g, l + 58 = r. Let s = 40 - l. Is s a multiple of 34?
False
Suppose 0 = -19*o + 9*o + 40. Suppose 0 = o*k - 2*l - 666, l = -0*l + 5. Does 50 divide k?
False
Suppose -7*d = 2*d - 18. Let m be (2/d - 13)/((-6)/(-27)). Is (3 - m/(-4))*-2 a multiple of 7?
True
Suppose i = -5*s + 52129 + 162593, 5*s - 214737 = 4*i. Is s a multiple of 35?
True
Let t(d) = -14*d + 46. Let o(a) = -13*a + 45. Let v(x) = -6*o(x) + 5*t(x). Let h(j) = 3*j**3 + 51*j**2 - j - 4. Let w be h(-17). Is v(w) a multiple of 32?
True
Let i(m) = 10*m**2 - 11*m - 1. Let r(x) = x**2 - 2. Let w(f) = i(f) + 2*r(f). Is 7 a factor of w(3)?
True
Suppose -4*h + 242 = -0*h + 2*i, -4*i + 179 = 3*h. Suppose -v + h = 5. Does 3 divide v?
False
Let h be 2404/20 + 2 - (-9)/(-45). Suppose -3*m + 0*m = -171. Let v = h - m. Does 5 divide v?
True
Let i(s) = 379*s - 1445. Is 15 a factor of i(20)?
True
Let u(q) = 70*q**2 + 16*q + 28. Let s be u(-2). Let j = -80 + s. Is 14 a factor of j?
True
Let n = -1378 + 5467. Suppose n - 469 = 20*x. Does 12 divide x?
False
Let t(d) be the second derivative of 3*d**5/20 + d**4/12 - 4*d**3/3 - 3*d**2/2 + 3*d + 1. Does 22 divide t(4)?
False
Let c(n) be the first derivative of n**2 - 11*n + 5. Let a be c(7). Suppose 5*b + 2*l = 564, -a*b + l + l + 348 = 0. Is 19 a factor of b?
True
Let x(l) = l**2 + 8*l - 20. Let j be x(-13). Suppose -6*w + 11*w + j = 0. Is (1 + w)*(-270)/40 a multiple of 19?
False
Is 263 a factor of ((5707100/98)/(-31))/((-2)/14)?
True
Suppose 3*t = 3*h - 9219, -5*h = -9*h - 2*t + 12292. Suppose h = -13*a + 13083. Is 22 a factor of a?
True
Suppose 5*k = -4*o - 7, o = -5*k + 4*k - 2. Let b = k + 119. Is b a multiple of 3?
True
Suppose -70*m - 37092 = -81*m. Is 12 a factor of m?
True
Suppose t = 19630 - 4423. Is 18 a factor of t?
False
Let r(c) = -3062 + 3062 - c. Let q(j) = -4*j - 13. Let f(h) = -q(h) + 5*r(h). Is f(-10) a multiple of 3?
False
Let z = 691 + -1195. Let a = z - -751. Is a a multiple of 19?
True
Suppose 325611 = 3*y + 36*y. Is 12 a factor of y?
False
Let u(s) = 22*s**2 - 4*s - 2. Let f be u(-3). Suppose -23 = -7*m + 19. Suppose f = -2*t + m*t. Is t a multiple of 10?
False
Suppose -93586 + 520573 = 209*t. Is t a multiple of 6?
False
Let i be (-2 - 10 - 2) + 1/1. Let x(h) = -5*h - 24. Let s be x(i). Suppose 0 = 38*p - s*p + 27. Is 3 a factor of p?
True
Is 54 a factor of ((-736)/(-115) - 2/5) + 8791?
False
Let t(d) = -254*d + 940. Is t(-5) a multiple of 26?
True
Let t(h) = 2*h**2 + 3*h - 4. Let n be t(2). Suppose n*m = 9*m + 326. Does 19 divide m?
False
Suppose 3*g - 2*v - 12327 = 0, 10*g + 4*v + 4129 = 11*g. Is g a multiple of 85?
False
Let b = -2710 + 3305. Is b a multiple of 32?
False
Let f(c) = 4*c**2 - 6*c**3 + 2*c + 5*c + 7*c**3 + 11 - 11*c**2. Does 2 divide f(6)?
False
Let h(x) be the third derivative of -x**7/1260 - x**6/360 - x**5/30 - 9*x**2. Let v(l) be the third derivative of h(l). Does 10 divide v(-14)?
False
Let j be ((-8)/(-8) - -4684)*13. Is 19 a factor of j/95 + (-6)/57?
False
Is (-158 - -104)/((-9)/3840) a multiple of 192?
True
Let g = 9623 + 4969. Suppose 4*f + 15*f = g. Suppose f = 10*z - 1992. Is z a multiple of 28?
False
Suppose -47*t + 61*t = 22*t - 1728. Is 27 a factor of t?
True
Suppose h - 20523 = 9*m, -7*m + 41078 = 2*h - 9*m. Does 73 divide h?
False
Suppose 18*u + 5*j - 7475 = 13*u, -2*u = -3*j - 3015. Does 125 divide u?
True
Let u(m) = 1740*m - 224. Does 46 divide u(1)?
False
Let d be 10/4*120/50. Is 85 a factor of d*35/42 - (-911 - 0)?
False
Suppose -10 = 3*q - v, v - 5 = 2*q + 2*v. Let c(n) = 21*n**2 + 2*n + 1. Let x be c(q). Suppose 0 = 5*w + j - x, -w = 9*j - 11*j - 39. Does 7 divide w?
False
Let v be 814 + ((-10)/20 - (-1)/(-2)). Is v + -12 + 21 - (-4 - -1) a multiple of 11?
True
Suppose 5*t = m + 97348, t = m + 27193 - 7725. Is t a multiple of 43?
False
Let n = 2 + -1. Suppose 48*r - 57*r - 27 = 0. Does 18 divide ((1 - 5) + n)*26/r?
False
Let y = -497 + 184. Let r = -256 - y. Is r a multiple of 24?
False
Let f = 22 - -63. Suppose -9*m = -f - 5. Suppose 5*s = -4*x + 529, -x + 126 = 5*s - m*s. Does 33 divide x?
False
Does 5 divide (10790/4 - 11/((-264)/(-36))) + -4?
False
Let d = 10021 + -2689. Does 17 divide d/16 - 3/(-4)?
True
Suppose -2058 = -10*i + 692. Is i even?
False
Let d = -14 - -11. Let g be d/4 - 76/(-16). Suppose 4*q - g*b = 9*q - 830, 4*q + 4*b - 668 = 0. Is 18 a factor of q?
True
Let p(y) = -3*y**3 + 75*y**2 - y + 30. Let x be p(25). Suppose -3*j = -m - 500, -x*j + 856 = -119*m + 123*m. Does 11 divide j?
False
Let u be (11/(-33))/((-2)/(-24)) - -7. Suppose 5*i + 109 + 64 = u*k, 3*i - 81 = -k. Does 6 divide k?
True
Let n(r) = 8*r - 2*r**2 - 30*r + 15 + 9. Let l be n(-12). Suppose l = -2*k + 4*s + 18, -k - 3*s - 2*s = -16. Is k a multiple of 3?
False
Let w(g) = g**3 - 11*g**2 + 5. Let i be w(11). Suppose 2*f + f - i*y = 37, 0 = -5*f + y + 25. Suppose -f*l - 2 = c - 5, 3*l = 4*c - 69. Does 4 divide c?
False
Let a(v) = -v**2 - 4*v + 2. Let f be a(-3). Suppose 2*y = -3*n + 101, -f*y - 27 + 254 = -n. Does 3 divide y?
False
Let d(b) = 242*b**2 - 53*b + 174. Does 17 divide d(3)?
True
Suppose 5*g - 84 = 456. Suppose g = 16*y - 14*y. Does 18 divide y?
True
Suppose 52*q - 93*q + 20*q + 646800 = 0. Is 35 a factor of q?
True
Suppose 3*c - 67217 = -5*f, -3*c + f + 24978 = -42197. Does 28 divide c?
False
Let c(r) = 23*r**3 - 43*r**2 + 125*r + 18. Is c(3) a multiple of 3?
True
Let m = 24 - 22. Suppose 8*s + m*s = 70. Suppose 4*n - 4 = 0, -2*a + 2*n - s = -3*a. Does 2 divide a?
False
Let i = -1485 - -3485. Is 10 a factor of i?
True
Is 13 a factor of -5*17/((-425)/20) + 3043?
False
Suppose -3*t + h - 1 = 0, -5*t + 1 = -3*h + 4. Suppose t = 21*o - 12*o. Suppose o = -3*x - 