4. Let y(c) = i(c) + 3*q(c). Is y(m) a multiple of 19?
False
Let o(l) = -2*l**2 + l + 4. Let z be o(2). Let u be (-33)/(-7) - z/7. Suppose d - u*c + 0*c = -4, c + 44 = 3*d. Does 16 divide d?
True
Suppose -14*s = -120 + 22. Let z(n) = 45*n**2 + 7*n - 1. Let h be z(-5). Suppose -s*u + h = 4*u. Is u a multiple of 9?
True
Suppose 10 - 91 = 9*i. Is (-5328)/(-27)*i/(-6) a multiple of 6?
False
Let b = 3 + -1. Suppose 4*j + 2*y - 3610 = -496, 3*j - b*y - 2346 = 0. Does 13 divide (2 + 0)/(24/j)?
True
Let i = 5476 + -2757. Is i even?
False
Let m(g) = g**2 - 12*g - 10. Let v(j) = 2*j**2 - 14*j + 11. Let a be v(6). Let w(y) = -y. Let x(c) = a*m(c) - w(c). Is x(13) a multiple of 5?
True
Let s = 293 + -508. Let f = s + 292. Is f a multiple of 11?
True
Suppose 34*t - 88 = -20. Let o = 153 + t. Is 4 a factor of o?
False
Suppose -24572 = -4*o - 2*d, -6*o + d - 24566 = -10*o. Is 10 a factor of o?
True
Suppose 0 = l, 2*h + 0*l - 830 = -3*l. Let u = h - 183. Does 12 divide u?
False
Let d = 18 - 25. Let s(i) = -88*i - 156. Is s(d) a multiple of 23?
True
Suppose -h = 7*h - 64. Let k be 60/h*8/4. Is 9/((k/(-33))/(-5)) a multiple of 19?
False
Let o(m) = 32*m - 73*m - 40 + 25 - m**2 + 65 + 85. Is o(-36) a multiple of 8?
False
Let p be (-3)/4 - 10/((-400)/30). Suppose 6 = a + 2, -f + 4*a + 156 = p. Does 31 divide f?
False
Suppose 4*v - 140535 = -5*c + 136612, -3*v + 55414 = c. Is 120 a factor of c?
False
Let a = 241 - -1398. Does 41 divide a?
False
Let x be ((-3)/(-9)*8)/((-58)/(-87)). Let t = 35 - 18. Suppose -x*m = -t - 7. Is 3 a factor of m?
True
Suppose 5*m = 4*f + 24, -2*f + 4 - 14 = -2*m. Suppose z - 19 = 3*j - 8, -2*j - 34 = -m*z. Is z a multiple of 4?
True
Let o = 50 - 43. Let v(h) = 0*h**2 - o*h + 3*h**2 + 8 + 6*h - 18*h. Does 14 divide v(8)?
False
Suppose q - u - 10077 = 0, -8 = 2*u - 6*u. Is 38 a factor of q?
False
Let i be 204/21 - (-14)/49. Suppose -5*h = -6*t + t + i, 5*h - 30 = -5*t. Suppose t*k = -5*q + 354, -90 + 24 = -q + 4*k. Is q a multiple of 14?
True
Suppose -4*t = -2*r - 142178, 96*t = 93*t - 2*r + 106630. Does 45 divide t?
False
Let z be (1 - (-20)/(-5))*44. Let u = z + 141. Is u a multiple of 9?
True
Suppose 13*y = -22905 + 293305. Does 20 divide y?
True
Suppose -3*a + 0*f + 34 = 5*f, a + f - 8 = 0. Does 40 divide 196 - a/(12/16)?
False
Let p = -161 - -127. Is -4 + (-4 - p - 5) even?
False
Suppose 2*p + 1515 = 2*w + 3*p, -4*w + 2*p + 3034 = 0. Suppose 2*x - r = 380, -5*r = -4*x - 2*r + w. Does 8 divide x?
False
Does 29 divide (74*1)/(25 - 7407/297)?
False
Let d be (188/(-10))/(6*10/(-3300)). Let n = d + -712. Is n a multiple of 48?
False
Is 42 a factor of (315/(-8) + 195/(-520))*-80?
False
Let a = -2053 - -2189. Let w = -11 - -16. Does 3 divide a/(-12)*(2 + -1*w)?
False
Suppose 20784 = -5*x + 9*x + 8*t, 4*t + 25896 = 5*x. Does 72 divide x?
True
Let v(w) = 0*w**2 + 206*w**3 - 8*w**2 - 177*w**3 - 18 + 5*w**2 + 10*w. Is 12 a factor of v(3)?
True
Suppose u - 229 = -x, -4*x + 483 = -u - 428. Does 8 divide x?
False
Suppose -5*s = z + 10 - 5, -2*z - 10 = 4*s. Suppose -50*f - 40 = -60*f. Is f + (216 - s) + 2/(-1) a multiple of 22?
False
Let k(x) = 31*x**2 - 2*x + 3024. Does 126 divide k(0)?
True
Let a = -2726 + 5351. Does 35 divide a?
True
Is 12 a factor of 299040/400 + (-8)/5?
False
Let h = 6505 - -3874. Is h a multiple of 21?
False
Suppose -4*w = -6*w - 3*k + 11, w - 5*k + 14 = 0. Does 14 divide w/((-3)/(-15))*834/15?
False
Suppose 0 = -s - 146 - 71. Let r = 117 + -502. Let z = s - r. Is z a multiple of 12?
True
Suppose 0 = -1704*f + 1714*f - 7200. Is 3 a factor of f?
True
Let d = 147 - 149. Does 23 divide (-6 - -10)/(d/(-46))?
True
Suppose -j + 2*x - 2 = 0, 5*x + 28 = 4*j + 9*x. Suppose -j*d - 3*l = 552 - 2556, -2*d + 5*l + 1028 = 0. Does 28 divide d?
True
Let z = -13607 + 23116. Is 9 a factor of z?
False
Suppose 15*l + 19*l - 136 = 0. Suppose 215 = l*o - 589. Is 9 a factor of o?
False
Suppose -u + 5*o = 41 - 4, u + 2*o + 44 = 0. Does 31 divide (372/8)/((-7)/u)?
True
Let k(s) = s**3 - 24*s**2 + 34*s + 21. Let z be k(20). Let w = -621 - z. Is w even?
True
Let z be 1897/542*4/7. Suppose -4*v - 8 = -5*d, 3*v + 6 = 2*d - 4*d. Suppose r + 2*j - 98 = d, 187 = z*r + 3*j - 2*j. Is 46 a factor of r?
True
Suppose -4*o + 10 = -9*o. Is 5 + -6 + o - -281 a multiple of 48?
False
Let a(x) = 607*x**3 + 5*x**2 - 5*x + 11. Let v(t) = t**3 + 2*t**2 + 1. Let y(b) = a(b) - 4*v(b). Is y(1) a multiple of 14?
True
Let v(z) be the second derivative of z**4/4 - 50*z**3/3 + 11*z**2 - 157*z - 2. Does 45 divide v(34)?
True
Let j be -1*-3*(1 - 0). Suppose j*z + 1 + 2 = 3*g, -4*g - 2*z + 16 = 0. Suppose 0*r - 7 = -r + 3*x, -g*x + 25 = r. Is r a multiple of 16?
True
Let u(r) = 3*r - 25. Let z be u(9). Let g be 7 + z + 16/(-4). Suppose -g*n = h - 149, -3*h = 3*n + n - 117. Is 6 a factor of n?
True
Suppose 3*o - 44 = 139. Suppose -60*i - 53 = -o*i. Let h = i - 23. Does 30 divide h?
True
Let r = -16 + 15. Let p be (r + -5)/(24/(-12)). Suppose 7*l = p*l + 108. Is 9 a factor of l?
True
Suppose -u + 3*y + 2710 = 0, 124*u - 121*u = 3*y + 8160. Does 26 divide u?
False
Suppose 2*a - 4*j - 13475 = 5711, 3*a + 3*j = 28770. Does 69 divide a?
True
Let n(v) = -v**3 + 14*v**2 - 11*v + 19. Let h be n(16). Let f = -249 - h. Is f a multiple of 15?
True
Let f(s) = 4*s - 66. Let r be f(21). Does 14 divide (-261 + r)*(-1 - 2)?
False
Suppose 75*p - 93*p - 12799 + 49231 = 0. Does 69 divide p?
False
Let s(k) = k**3 + 2*k**2 - k + 165. Let n(r) = -r**3 - 2*r**2 + r. Let y be n(4). Let f be -6 + y/(-16) + (-1)/(-4). Is s(f) a multiple of 48?
False
Let f = -266 + 299. Does 3 divide f - 39 - (-97 + -1)?
False
Does 28 divide 15063 - 3/2*(-138)/207?
True
Let t(j) = j. Let n be t(-6). Let q = -69 + 23. Does 15 divide 4*q*n/8?
False
Suppose -5*t = -4 - 11. Suppose -4*a = 4*s - 980, 47*s - 5*a = 44*s + 735. Suppose -2*m + s = 3*m + t*i, -m = -5*i - 77. Is m a multiple of 13?
True
Is 140 a factor of (12 - 132/12)*(0 + 2039)?
False
Let u = 9022 - 4633. Does 21 divide u?
True
Let h(g) = -8*g - 152. Let p be h(-19). Let z = 143 - p. Does 3 divide z?
False
Let u(k) = -217*k - 6. Let m be u(-1). Let n = m + -92. Is n a multiple of 6?
False
Let g = 5969 + -2559. Is g a multiple of 31?
True
Suppose k + 392 = -2*i - 2529, -3*i = -2*k - 5821. Let g = k - -4213. Is 63 a factor of g?
False
Let v(q) = -22*q**3 - 64*q**2 - 12*q + 28. Is v(-6) a multiple of 39?
False
Suppose -2*y - 6945 - 2441 = -o, -y = -3*o + 28143. Does 35 divide o?
True
Let l = 1854 - -1541. Does 5 divide l?
True
Let a(b) = 7*b - 3. Let i be a(2). Suppose 4*v = -3*m - m + 20, -5*v - i = -4*m. Is -7 + 107 - (v - 0) a multiple of 33?
True
Let t = -444 - -435. Let m(i) = 2*i**2 - 10*i + 19. Is 30 a factor of m(t)?
False
Let c be 10/(0 + 5) - -4. Suppose 0 = -c*j + 478 + 614. Does 13 divide j?
True
Let d = 180 - 179. Let m(l) = 62*l - 8. Is 34 a factor of m(d)?
False
Suppose -5*m - 497 = c - 4611, 3*c - 4*m = 12342. Suppose 5*v - 16*v = -c. Is v a multiple of 11?
True
Let g be (160/(-25) + 0)*5. Let v = -27 - g. Suppose -4*l + 0*i = -v*i - 577, 0 = -4*l - 4*i + 568. Is 11 a factor of l?
True
Suppose -4*t - 4*m + 24 = 0, -4*t - m + 22 = 1. Let s(k) = -k**2 + 3*k + 11. Let u be s(t). Is (8/2)/(-2) - u*-81 a multiple of 9?
False
Does 106 divide (-2925)/(-1625) + (-59862)/(-10)?
False
Let m = 17923 - 11923. Does 5 divide m?
True
Suppose 0 = 14*r + 48 + 92. Is 3 a factor of 2639/14 + (-5)/r?
True
Suppose -5*z + 94344 = -7*u, 14*z = 9*z + 4*u + 94353. Does 124 divide z?
False
Suppose -113*t = -11*t - 162819 - 214173. Does 21 divide t?
True
Is 19 a factor of (-54)/(-8)*(-49)/(147/(-2432))?
True
Suppose 95 = 5*x + 80. Let d be (824/x)/(8/12). Suppose 3*z - 5*z = -d. Is 18 a factor of z?
False
Let k = 210 - 90. Is 7 a factor of (-80)/k + (-466)/(-6)?
True
Does 49 divide (-1*(-186)/(-4))/((-108)/14112)?
True
Let x(v) = 28*v + 2220. Does 10 divide x(111)?
False
Let q(s) = -4923*s + 1383. Is 12 a factor of q(-3)?
True
Suppose x = 3*x - 5*t + 368, -2*x - 356 = -2*t. Let b = x - -339. Is b a multiple of 11?
True
Suppose 55 = 5*h + 6*h. Let l(a) = -7*a + 13 + 11*a - h*a. Is 12 a factor of l(-8)?
False
Suppose 3*w - z - 8 = 2*w, 34 = 5*w + z. Is 3 a factor of (112/24)/w - (-1115)/15?
True
Suppose -12457 + 52201 = 18*j. Is j a multiple of 46?
True
Suppose 7*c + 4*y + 478 =