4) + ((-9)/(-12))/(-3). Let m(f) = -3*f + 8. Let u be m(t). Suppose -13 = u*j - 51. Is 15 a factor of j?
False
Let d = 8 + 12. Suppose 0 = -0*l - 4*l + d. Suppose l*j - 94 = -p, -3*j + 0*j = 4*p - 376. Is p a multiple of 47?
True
Let o(h) be the first derivative of -11*h**2 - 3*h + 1. Let n(z) = 6*z + 184. Let v be n(-31). Does 24 divide o(v)?
False
Let o be 5/(-3*1/(-3)). Let v be (-3)/(-2)*(3 - -83). Suppose -o*u + 266 = -v. Is 6 a factor of u?
False
Let v = -376 + 189. Let x = 468 + v. Is 4 a factor of x?
False
Suppose 195*q + 144 = 179*q. Is 36 a factor of -1*(q + -899) + -8?
True
Let b(j) = 10*j**2 + j + 1. Let g be b(1). Suppose -8 - g = 5*m. Does 12 divide -699*m/24 + 3/(-2)?
False
Suppose -27*p - 29*p = -19*p - 284160. Is p a multiple of 20?
True
Let g(h) = -3*h**3 - 13*h**2 - 3*h - 58. Let s(l) = 10*l**3 + 40*l**2 + 9*l + 175. Let q(o) = -7*g(o) - 2*s(o). Is q(-9) a multiple of 42?
False
Let t(o) = -111*o + 1412. Is t(12) a multiple of 20?
True
Suppose 17 + 8 = 5*m. Let i(y) = 3*y + 11. Let l be i(m). Suppose l = 3*c - 310. Is c a multiple of 15?
False
Suppose -5*c + 0*q + 9596 = -2*q, -4*q = -5*c + 9592. Suppose 6 = -6*y + 9*y, -c = -3*x + 3*y. Is 18 a factor of x?
False
Let g(d) = -697*d - 750. Is g(-3) a multiple of 20?
False
Let y(d) = -d**2 + 7*d + 1. Suppose 3*i = 6*i - 21. Let b be y(i). Does 31 divide -2 - b - (2 + -152)?
False
Let c(q) be the first derivative of 68*q**3/3 - 5*q**2/2 + 13*q - 73. Is 5 a factor of c(2)?
True
Let t = 11874 + -11685. Is t a multiple of 3?
True
Let w be (-7182)/(-81) - (-7)/3. Is 88 a factor of -3 + w/(-2)*(-51 + 49)?
True
Suppose -6*m + 1 = -29. Suppose 0 = j + m*f + 4 - 7, -36 = -4*j + 4*f. Suppose -2*w + 220 = j*w. Does 22 divide w?
True
Suppose -18*u + 305*u = 8739150. Is 55 a factor of u?
False
Let u = 242 + -332. Let l = u - -142. Is 13 a factor of l?
True
Let d(r) = -3*r**2 - 7*r - 4. Let i(t) = 3*t**2 + 8*t + 3. Let m(s) = -3*d(s) - 2*i(s). Let k(g) = -2*g**2 + 4*g + 11. Let z be k(-2). Is m(z) a multiple of 7?
True
Suppose -5*m + 12818 = 2*f, 56*m - 59*m + f + 7682 = 0. Is m a multiple of 44?
False
Let j(a) = 60*a**2 + 107*a + 3125. Is j(-34) a multiple of 53?
True
Let l(x) = 2*x**2 + 34*x + 27. Let p(n) = -8*n + 210. Let t be p(29). Does 19 divide l(t)?
True
Let c = -956 + 994. Is 31 a factor of (39 - c)*(0 + (-186)/(-2))?
True
Suppose -c - 32*w + 42414 = -29*w, 212042 = 5*c + w. Is 152 a factor of c?
True
Is 3921 - (2 + 16/(-2)) a multiple of 16?
False
Suppose -f = 3*f + 12*f - 25984. Is 6 a factor of f?
False
Let g(s) = -23*s + 141. Let u be g(6). Suppose 2*o - 541 = u*x, -x + 595 = 3*o - 189. Does 21 divide o?
False
Let z(f) = 9*f**2 - 26*f - 21. Does 49 divide z(6)?
True
Let p(i) = 116*i - 533. Is 11 a factor of p(9)?
False
Suppose 0*j + 2*j - 22 = 0. Let r(u) = 11*u + 4. Let a be r(0). Suppose -a*d + 61 = -j. Is d a multiple of 5?
False
Let o(t) = t**2 - 46*t + 53. Let a be o(-20). Suppose -2*l + a = 2*r + r, 0 = 3*l - 4*r - 2068. Is l a multiple of 7?
False
Suppose -3*m - 31318 = -8*c, 0*m + 15658 = 4*c - m. Does 103 divide c?
True
Let b(d) = 941*d**3 - d**2 + 8*d - 8. Is 47 a factor of b(1)?
True
Suppose 0 = -p + 3, -4*w + 560 = -p - 3*p. Suppose 0 = -2*g - 57 + w. Is g a multiple of 7?
False
Let l be 6/(-9) - (-80)/12. Let q = -524 + 572. Suppose -l + q = w. Does 21 divide w?
True
Let j(o) = -8 + 775*o + 11*o - 107*o. Is 34 a factor of j(1)?
False
Suppose -3*a + 3 = 0, -5*l + 4*l = 5*a - 4115. Is l a multiple of 30?
True
Suppose -18*t + 1701 = -9*t. Suppose 0 = t*u - 184*u - 1165. Is 95 a factor of u?
False
Let n = 15990 - 8131. Is n a multiple of 47?
False
Let z = 22747 + -16126. Suppose 5*h - 4*w = z, w + 0*w - 2651 = -2*h. Does 26 divide h?
False
Is 4 a factor of (52248 + 4)*1/4?
False
Let p(l) = -l**2 - 8*l - 3. Let w be p(-7). Suppose -a = w*a - 270. Let v = 62 - a. Is v a multiple of 3?
False
Let h(y) = -y**2 + 22*y - 27. Let i be h(19). Let d(f) = -7 + 1 + 17 + 7*f - 7 + i*f**2. Is d(-2) a multiple of 11?
True
Suppose -3*g = -3*a - 20628, 72*a = -4*g + 67*a + 27522. Is g a multiple of 112?
False
Let n be (22/(-88))/(1/(-2))*12. Is 19 a factor of -24*(146/n)/(4/(-3))?
False
Let l = -75 - -79. Suppose l*s - 753 - 307 = 0. Is 16 a factor of s?
False
Suppose -20*q = -37*q + 18*q - 11693. Is 85 a factor of q?
False
Suppose 112 = 22*l - 18*l. Let u = -118 + l. Let c = u - -222. Is 22 a factor of c?
True
Suppose 19*i = -23*i - 30828. Let g = -154 - i. Does 11 divide g?
False
Does 75 divide 36/(-90) - 68688/(-45)?
False
Let r = -524 + 325. Let u = -175 - r. Does 6 divide u?
True
Let y(t) = t**3 + t**2 - 1. Let c(o) = 58 - 6*o**3 + 7*o - 6*o**2 - 48 + 6*o**2. Let j(u) = c(u) + 5*y(u). Is j(6) a multiple of 10?
False
Let z = 60 + -38. Suppose -4*p + z = 2, -205 = t - 2*p. Let k = -68 - t. Is k a multiple of 13?
False
Let k(g) = g**3 - 2*g**2 - 147*g + 1120. Does 128 divide k(23)?
False
Let p = 13917 + -8017. Is p a multiple of 100?
True
Let i(n) = -116*n - 4100. Is 91 a factor of i(-45)?
False
Let p = -4410 - -8898. Does 8 divide p?
True
Suppose -5*f = -4*s + 42 - 598, 5*s + 20 = 0. Suppose 10*d = 6*d - 240. Let w = d + f. Is 16 a factor of w?
True
Let k = -469 - -1293. Let f = -434 + k. Is f a multiple of 65?
True
Suppose 99 = 31*l - 25. Suppose -148*i - l = -149*i. Is 2 a factor of i?
True
Suppose 2*r + 9 = 3, 0 = -3*q + 4*r + 21. Is (-412)/(-3) + (-14)/6 + q a multiple of 15?
False
Let p(y) = 863*y + 2881. Is 39 a factor of p(40)?
True
Let n = -14554 - -23501. Does 29 divide n?
False
Suppose -3*o - 3005 = c - 3*c, -3*o = -5*c + 3008. Let y = -279 - o. Is 38 a factor of y?
True
Let f(v) = 1080*v**2 + 11*v + 8. Is 3 a factor of f(-1)?
True
Let i(p) = -5*p**2 - 2*p + 16. Let n(h) = -6*h**2 - h + 16. Let v(x) = 7*i(x) - 6*n(x). Let w = 7 + 0. Is v(w) even?
False
Suppose -406 = 5*p - i - 528, 5*p - 140 = -5*i. Suppose -4*d = -911 - 841. Suppose 31*y - p*y = d. Is 34 a factor of y?
False
Let a be (3 + -5)/(-2*(1 + 0)). Suppose 5*y = 6 - a. Is 11 a factor of (y/((-10)/4))/(27/(-1890))?
False
Suppose -5*r + 3*m = 15, -2*m = r + 2 - 12. Suppose l + 2*d - 132 = r, 4*d - 6*d = 2*l - 264. Suppose -l = -a - 13. Does 14 divide a?
False
Let b = -635 + 632. Is 15 a factor of ((-2475)/(-22))/((-7)/(-2) + b)?
True
Let c(u) = 2*u - 3*u - 4*u + 4 + 198*u**2 + u. Is c(-2) a multiple of 12?
True
Let v(n) = -2*n**3 - 15*n**2 - 18*n + 8. Let k be v(-6). Suppose -k*b = -2485 - 4195. Is b a multiple of 19?
False
Let a be 0*4/12 + (0 - -4). Does 5 divide a*3/4 + (-15)/(-5)?
False
Let o(y) = y**3 + 6*y**2 + 3*y + 4. Let v be o(-4). Let q be -2*3/v - (-2)/8. Suppose -n = -3*w - 95, 2*n - 204 = -q*w - w. Is n a multiple of 14?
False
Suppose -5*q + 1391 = -3*g, -5*g + 55 = q - 212. Suppose 4*n - 2*c + 575 = 3*c, 2*n = -c - q. Let i = n + 240. Does 25 divide i?
True
Let i(x) = 5*x**3 + 9*x**2 + 10*x + 62. Is 43 a factor of i(8)?
False
Let u = -40 - -3. Let f be (0 - 142 - -1)/((-9)/6). Let w = u + f. Is 19 a factor of w?
True
Is 3 a factor of (63072/80)/((-2)/(-5))?
True
Let y(v) be the first derivative of 2*v**2 - 10*v + 14. Let k be y(3). Suppose -6*c + k = -118. Is c a multiple of 10?
True
Suppose 3421767 = 315*t - 52*t - 1789578. Is t a multiple of 236?
False
Suppose s = -550 - 386. Is 46 a factor of (((-184)/3)/(-2))/((-208)/s)?
True
Let f(b) = 4*b**2 - 2*b - 27. Let x(m) = -6*m**2 + m + 28. Let z(t) = -4*f(t) - 3*x(t). Is 16 a factor of z(-8)?
True
Let a(u) = 7*u**2. Let f be a(1). Let c(n) = -f - n + 4*n + 4*n. Is c(4) a multiple of 21?
True
Let a = 12359 + -2374. Does 17 divide a?
False
Let d(c) be the second derivative of -c**4/12 - c**3 - c**2/2 - 17*c. Let j be d(-2). Let w(o) = o**3 - 7*o**2 + 11*o - 7. Is w(j) a multiple of 14?
True
Let a(y) be the third derivative of -y**6/360 - 2*y**5/15 + 3*y**4/8 - 2*y**3 + 12*y**2. Let d(s) be the first derivative of a(s). Does 12 divide d(-13)?
True
Let s(a) = -2*a**2 + 173*a - 188. Is 8 a factor of s(44)?
True
Does 16 divide (6 - 12 - -2136) + 13?
False
Suppose 5*o - 1679 = -3*n, -633 = -o - n - 294. Does 2 divide o?
False
Let r be 3 + -6*5/10. Let b be 1 - (r + 2 + -1). Suppose 3*g + 2*f - 275 = -2*f, b = -3*g + f + 295. Does 9 divide g?
False
Suppose 0 = -0*a + a - 272. Suppose 0 = -15*v - 7*v + 311 - 201. Suppose 0 = v*l - 9*l + a. Is 17 a factor of 