*-2?
True
Let t(z) = -4*z**2 + z + 8426. Is 22 a factor of t(0)?
True
Is 15 a factor of ((-20)/(-24))/(30/(-24)) - 3472/(-6)?
False
Suppose 15135 = 4*p - p + k, k = -5*p + 25225. Is 43 a factor of p?
False
Suppose 5*c - 11*c - 180 = 0. Let b = c - -34. Is b + 31*(4 + -2) a multiple of 11?
True
Is 4 a factor of ((3/9)/((-18)/38853))/(1/(-2))?
False
Let s(g) = 373*g**2 - 55*g + 162. Is 129 a factor of s(3)?
True
Let j = -45 + -276. Let a = j - -612. Is 9 a factor of a?
False
Suppose -28*b + 42*b = 78442. Suppose -5*d + b = -4*i - 341, 4*d - 4776 = -2*i. Does 16 divide d?
False
Let w be (-2058)/4*(-44)/6. Does 16 divide (7 + w/(-35))/(2/(-10))?
False
Let a(s) = -3*s**2 + 20*s - 7. Let o(c) = -c**2 + 10*c - 3. Let k(b) = -2*a(b) + 5*o(b). Does 15 divide k(7)?
False
Let p(g) = 15*g + 2069*g**3 - 1035*g**3 - 1035*g**3 - 9 + g**2. Is 20 a factor of p(-10)?
False
Suppose c = m - 20995, 19*m - 18*m - 5*c = 20975. Does 120 divide m?
True
Let d = 38 - 35. Let m(n) = -4 - 9 - 2*n**2 + d*n**2 + 35 + 6*n. Is m(-5) even?
False
Let a be 28/(-4)*-1 + 2 + 1. Suppose 4*y - 12 = 0, -y - 3*y = k - 19. Suppose 5304 = a*i + k*i. Is i a multiple of 13?
True
Let a(w) = w**2 - 4*w - 15. Let c be a(-5). Let t = c + -33. Let x = t - -179. Is 44 a factor of x?
True
Let g(f) = 2*f**2 - 30*f - 27. Let o be 58/(-203) - 30/(-7). Let w be (-215)/(-10) + (-2)/o. Does 45 divide g(w)?
True
Let a(t) = t**3 + 60*t**2 - 65*t - 10. Is 92 a factor of a(-58)?
True
Let j(t) = t**3 + 3*t**2 + 42*t + 49518. Is 32 a factor of j(0)?
False
Suppose -y = 4*n - 9, -4*n = 3*y - 0 - 3. Suppose -6*l + 7*l = -4*j + 832, -n*l = -3*j + 639. Does 42 divide j?
False
Let n(i) = -3*i + 221. Let s be n(34). Let p = 203 + s. Is p a multiple of 16?
False
Let k(u) = -2*u + 18. Let w be k(9). Suppose w = 3*v - 1740 - 483. Suppose 0 = 4*l - v + 141. Is l a multiple of 15?
True
Let p(h) = -2*h**3 + 2*h**2 + 9*h + 14. Let i be p(8). Let j = -487 - i. Is j a multiple of 95?
False
Let a be ((-5)/7 - -1) + (-54768)/294. Let l = a + 463. Is l a multiple of 11?
False
Suppose -5*g = 13*q - 12*q - 18242, -4*q + 72987 = g. Is 170 a factor of q?
False
Suppose 20*v + 25 = 25*v, v - 2057 = -2*u. Does 20 divide u?
False
Let w(x) = 13*x**2 + 108*x - 12. Is 22 a factor of w(-44)?
False
Let u(i) = -164 + 17*i + 9*i - 53*i + 16*i. Is 41 a factor of u(-41)?
True
Suppose 6*o = -4*h + o - 853, -3*h + 5*o = 666. Let l = h + 260. Is 3 a factor of l?
False
Let z(h) = 7*h**2 + 8*h - 27*h**2 + 14*h**2 + 8 + 9*h**2. Is z(-5) a multiple of 6?
False
Let n = 117132 - 82687. Does 41 divide n?
False
Let k = 713 - 709. Suppose 0 = -c + 3*h - 6*h + 591, -k*c + 4*h = -2444. Is c a multiple of 5?
False
Suppose 0 = 3*t - 5*v + 4, 3*t - 5*v = -10*v + 16. Suppose -7*j + o = -t*j - 4951, 0 = 5*j + o - 4949. Is j a multiple of 18?
True
Suppose -683792 = -104*s + 647096. Is s a multiple of 3?
False
Suppose 3*g - 1 - 5 = 0. Let d be 21/14*4 - -4. Is ((-78)/d)/(g + (-63)/30) a multiple of 26?
True
Suppose 399296 = -60*c + 1302236. Does 149 divide c?
True
Suppose -5*b + 72 = b. Is ((-378)/b)/((-6)/168) a multiple of 9?
True
Suppose -5*j + 3128 = -2372. Suppose 0 = -3*a + 5*q + j, 2*q = -12 + 16. Is 32 a factor of a?
False
Let k be (2*28/(-7))/2. Does 3 divide 590/8 + (k - 17/(-4))?
False
Suppose 0 = -15*f - n + 351343, 0 = f - 18*n + 17*n - 23425. Is 59 a factor of f?
True
Suppose 0 = -j + 2*g + 36, -4*j - 4*g - g = -79. Let p = j - 21. Suppose c - p*c + 2*a = -324, -5*c + 3*a = -403. Is c a multiple of 16?
False
Let u = -51 - -37. Let k = 19 + u. Suppose -14 = -k*y + 106. Is y a multiple of 4?
True
Let d(i) = 14*i**2 - 21*i - 584. Is d(40) a multiple of 76?
True
Let q(j) = 14*j + 9. Let f(u) = u**2 - 6*u - 1. Let b be f(-5). Suppose -p - 50 = -b. Is q(p) a multiple of 5?
True
Is (38 + -34)/((-56)/(-1100274)) a multiple of 337?
False
Suppose 2*j = -2*j. Let z(b) = j*b - 2*b + 9 + 0*b - b. Is z(-5) a multiple of 3?
True
Let n(k) = 184*k - 1064. Is n(27) a multiple of 104?
False
Suppose 24*t = 25*t + 299. Let d = -65 - t. Does 13 divide d?
True
Suppose 3*a - 4*k - 6574 = 5514, -12080 = -3*a + 2*k. Is 10 a factor of a?
False
Let h be 12931/7 - (-22)/(-77). Suppose -g + h = -5*c, 13*g - c - 7483 = 9*g. Is g a multiple of 72?
True
Suppose -15*z + 1188 + 2832 = 0. Suppose 4*x = 4*p + 536, 8*p - z = -2*x + 4*p. Does 29 divide x?
False
Let r(i) = i - 10. Let c be r(16). Let d be ((-57)/c - 0)/((-1)/2). Suppose 5*q + d = 174. Is q a multiple of 21?
False
Suppose 79 = -3*b - 56. Let y = b - -41. Is 13 a factor of ((-2)/y)/((-2247)/(-560) + -4)?
False
Let f be (-26)/(1*(-10)/35). Suppose -3*k = d - 355 + 82, 2*d = k - f. Is k a multiple of 14?
False
Let r(u) = 22*u - 57. Let l(m) = 68*m - 171. Let b(c) = -6*l(c) + 19*r(c). Let v(t) = t**2 + 2*t. Let q be v(-4). Is b(q) a multiple of 3?
False
Suppose -15*l + 80 + 25 = 0. Suppose -662 - 45 = -l*s. Does 52 divide s?
False
Let m be 0*((-4)/(32/(-28)) + -3). Suppose 5*r - y + 86 = m, 5 + 79 = -4*r - 3*y. Is 16/(-72) + (-94)/r even?
False
Let h = 4 + 6. Let j be (6/(7 - h))/(2/(-7)). Does 26 divide (-6 - -80) + (j - 3)?
True
Let y = 1729 - 694. Suppose 3*c - 3*p - 753 - y = 0, -4*p - 2982 = -5*c. Does 26 divide c?
True
Suppose 0 = -4*a - 3*d - 0*d + 3366, -4*a = -5*d - 3382. Suppose x = -3*n + a, 5*x + 0*n - 2*n - 4198 = 0. Is x a multiple of 70?
True
Let c(p) = 2*p**3 + 11*p**2 - 5*p + 6. Let h be c(-6). Suppose -3*g = -4*y - 227, -4*y + 3*y + 1 = h. Is g a multiple of 11?
True
Let p(y) = -y**3 - 7*y**2 - 2*y + 1. Let c be p(-5). Let g = c + 46. Suppose 0 = -j - 4*o + 10, 4*j - g*o = -2*o + 103. Is j even?
True
Let n = 17 + -26. Suppose 4*z + 0*z = 3*m - 197, -3*z - 130 = -2*m. Let b = m + n. Is 31 a factor of b?
True
Let o(d) = -2*d**3 + 6*d**2 + 122*d - 45. Is o(-9) a multiple of 8?
False
Let d(n) = 2 + 1 - 9*n**2 + 5 + 4*n + n**3 - n. Let k be (2 - 20)*((-2)/4 - 0). Is d(k) a multiple of 5?
True
Let q(r) be the third derivative of 3*r**6/40 + r**5/20 - r**4/12 - r**3/3 + r**2. Let n = -3709 - -3711. Does 7 divide q(n)?
False
Let m be (204/(-8))/(2 - 52/24). Suppose m*p - 152*p - 308 = 0. Is p a multiple of 22?
True
Let g = -206 + 204. Is 3 a factor of ((-69454)/55)/(-11) + g/(-10)?
False
Let m(a) = 109*a**2 + 113*a**2 - 16 - 2*a - 215*a**2 - a**3. Is 24 a factor of m(-6)?
False
Suppose 88191 + 39293 + 84580 = 16*q. Is 42 a factor of q?
False
Let q be 72/7 - -6 - (-2)/(-7). Suppose q = 4*w - 4*f, -5*f + 2 = -w - 2. Suppose -4*a + 17 = -s - 56, -w = -2*s. Is 4 a factor of a?
False
Let j = 25546 - 15058. Does 11 divide j?
False
Let w = -9 + 14. Let i(p) = 0 + 2 - 8 + w - p - p**2 - 23*p**3. Does 18 divide i(-1)?
False
Suppose -3*t - 1 = 107. Let y = t - -39. Suppose 3*j = -4*h + 365, -y*j = j - 5*h - 466. Does 7 divide j?
True
Let o(t) = -34*t + 2. Let p = 42 - 41. Let l be -2 - p/2*-2. Is o(l) a multiple of 20?
False
Let i be (-3 - 0)*(-2 + 3). Let d(q) = q + 7. Let b be d(i). Suppose 0 = b*u, 5*c + 2*u - 284 - 366 = 0. Is c a multiple of 26?
True
Let b = 26820 + 12084. Is b a multiple of 36?
False
Let w be (-2)/(-3)*-1 - 3990/171. Does 6 divide 35/(-20)*w/(-3 + 4)?
True
Let b be (-8)/6 - 5/(-15). Let y(h) = -5*h. Let l be y(b). Suppose 0 = -5*f + 3*c + 54 + 60, -4*f - l*c = -69. Is f a multiple of 7?
True
Is 11 a factor of (-44)/(-330) + 10/((-900)/(-263778))?
False
Suppose 0 = i - 2*i + 663. Suppose -1878 = -11*q + i. Suppose -209 - q = -4*m + 4*x, -2*m = -5*x - 226. Does 18 divide m?
True
Suppose -8*c + 25838 = 2*u - 4*c, 0 = u - c - 12928. Is 138 a factor of u?
False
Suppose -5021*z = -5027*z + 3336. Is 26 a factor of z?
False
Let r(a) = a**2 + 4*a - 475. Let c be r(-24). Let w(j) = j**3 - 2*j - 1. Let t be w(2). Suppose t*x + 2*n = 45, -3*n - 2*n - 75 = -c*x. Does 11 divide x?
False
Let z(p) = -3*p**3 + 12*p**2 + 6*p + 59. Is z(5) a multiple of 14?
True
Suppose -17*d = 15*d - 7680. Suppose 5*q + r + 375 = 1575, d = q - 2*r. Does 15 divide q?
True
Suppose -3109 - 2862 = -7*s. Suppose s*n - 851*n = 304. Does 18 divide n?
False
Suppose 23 = -5*f - 27. Is 5 + 52/f - 2002/(-10) a multiple of 5?
True
Suppose -4*l + 2*k + 34 = 0, -5*l - k + 2*k = -38. Suppose 351 = l*q - 587. Is 9 a factor of q?
False
Let h be 9 + (-7 - -1) + 2199. Let k = h - 1346. Is k a multiple of 8?
True
Suppose 10*l - 48236 = 43985 + 32579. Is