= -70*s - 40. Let q(h) = 60*h + 408. Let f be q(-7). Is o(f) a multiple of 37?
False
Let g(x) = -1025*x - 378. Is g(-12) a multiple of 94?
False
Let q(b) = 28*b - 27*b**2 - 30*b - b**3 + 35*b**2 - 24. Is q(6) a multiple of 17?
False
Suppose -168*s = -161*s - 1603. Suppose s = 2*t + 89. Does 19 divide t?
False
Suppose 91*t - 144222 = 90*t - 38*t. Is t a multiple of 2?
True
Let b be 3 - (-7)/((-35)/320). Let q = 71 + b. Suppose 5*d + q = 450. Is d a multiple of 10?
False
Let a(m) = -10 - m**3 - 33 - 6 - 12*m**2 - 26*m + 5. Does 12 divide a(-10)?
False
Let u be 42/5 + -2 - (-2)/(-5). Does 9 divide u*796/48*(2 + 0)?
False
Let l(o) = o**3 - 4*o**2 - o + 3. Let z be l(3). Let d(m) = -6*m**2 + 50*m + 16. Let f be d(8). Let v = f + z. Does 3 divide v?
False
Let c = -3 + -1. Let i(j) = -30*j**2 - 2*j + 31*j**2 + 14 + 4*j. Is i(c) even?
True
Suppose 0 = 2*a - 2*p - 16, 0 = 3*a + 5*p + 18 - 10. Suppose d + a*j - 266 = 0, d + 1132 = 5*d - j. Does 32 divide d?
False
Is (-15444)/(-264)*(28 - -2) a multiple of 62?
False
Let x(y) = 344*y**2 - 63*y - 325. Is x(-5) a multiple of 7?
False
Let k(p) = 2*p**3 + 11*p**2 - 3*p - 27. Let s be k(-5). Suppose s*c - 10524 = 760. Is c a multiple of 9?
False
Let c = 10621 + -5795. Does 38 divide c?
True
Let q(i) = -i**3 + 5*i**2 - 2*i + 12. Let k be q(5). Suppose -k*b + b = -24. Suppose -b*v + 100 = -22*v. Is 10 a factor of v?
True
Suppose 0*r + o = 5*r - 13, 3*r = o + 9. Suppose 0 = -d - 3*s - 2, -6*s - 4 = -r*s. Is ((d - -1) + 52)/(5/5) a multiple of 7?
False
Let c = 92 + 20. Let p = c + -68. Suppose -4*d - p + 164 = 4*n, -5*n - 18 = -d. Is 5 a factor of d?
False
Is (87/(-5) + -1)/(33056/11020 - 3) a multiple of 240?
False
Suppose 27327 = 3*q - 3*d, -31*q + 2*d + 45554 = -26*q. Is 6 a factor of q?
False
Let d(s) = 22*s + 405. Let x(r) = -24*r - 405. Let n(b) = 5*d(b) + 4*x(b). Is n(-28) a multiple of 4?
False
Suppose 674*n - 642*n - 343008 = 0. Is n a multiple of 79?
False
Let v(j) be the second derivative of -38*j - 1/12*j**4 - 1/20*j**5 + 1/2*j**2 - j**3 + 0. Does 54 divide v(-4)?
False
Does 2 divide ((-2)/(-4))/(7/4*(-10)/(-4130))?
True
Suppose 6*f - 4 = 7*f + 3*l, 2 = -4*f - 5*l. Suppose -4*r + 116 = -4*t - 4, 0 = -f*t. Is 10 a factor of r?
True
Suppose 8619*s = 8615*s + 400. Is 20 a factor of s?
True
Let o be ((-3630)/(-5) - 4) + 4. Suppose -1210 = -5*a - 4*x, x - 2*x = -3*a + o. Is 3 a factor of a?
False
Is 17/(255/2680) + 14/(-21) a multiple of 5?
False
Does 10 divide (-3320)/(22 - (37 + -14))?
True
Let t(l) = l**2 + l + 138. Let h = -217 + 217. Is 33 a factor of t(h)?
False
Suppose 35 = -c + 9. Let y = 14 + c. Let b = y + 50. Is 6 a factor of b?
False
Suppose 17568*x = 17572*x - 5824. Is 8 a factor of x?
True
Let k = 12610 + -9220. Is k a multiple of 3?
True
Suppose -86*t - 5*c = -84*t - 46349, 5*c - 35 = 0. Is t a multiple of 279?
True
Let f = -77 + 1327. Suppose -f = -7*m - 200. Let c = m - 78. Does 12 divide c?
True
Let n(u) = u**3 + 17*u**2 + 56*u - 8. Let g be n(-12). Suppose 46*d - 702 = g*d. Is 13 a factor of d?
True
Suppose -5*n + 2268 = u, -u - 39*n + 35*n + 2270 = 0. Is u a multiple of 11?
False
Suppose 2*p + 4*q - 1572 = 0, 4*p = 2*q + q + 3155. Let y = p - 470. Does 53 divide y?
True
Let v(f) = -f**3 - 17*f**2 - 20*f - 9. Let t = -79 - -63. Is 48 a factor of v(t)?
False
Let o(w) = 5*w**2 + 4*w + 11. Suppose -19 = 4*c + 97. Let l = -33 - c. Is o(l) a multiple of 15?
True
Suppose 25*s = 22*s + 15. Let j be -843 + (4 + 1)*(-3)/s. Is 1/(-5) - (-2 - j/(-30)) a multiple of 6?
True
Let t(b) = 0*b**3 - 3*b**2 + 3*b**3 - 91 + b + b**3 + 5*b + 5*b. Is 22 a factor of t(6)?
False
Suppose -4*j = 54 + 46. Let z(p) = -p**3 - 25*p**2 - 9*p - 93. Is 12 a factor of z(j)?
True
Let y be -1 + 1 + 20*9. Let p be ((-19)/44 - 1/(-4)) + 31635/6105. Suppose -p*u = -950 + y. Does 17 divide u?
False
Let n = -492 + 572. Let b be 285/(-6) - 6/(-4). Let v = n + b. Is 23 a factor of v?
False
Let s be (0 + -6 - 0)/(6/4). Let g be (-20 - -3)/(2/s). Let p = g - 9. Is 5 a factor of p?
True
Suppose 351*u - 172440 - 473400 = 0. Is 80 a factor of u?
True
Let y be 21078/21 - 8/(-28). Let a = y + -707. Suppose -4*n + 3*w + a = 0, n - w = -n + 149. Is 6 a factor of n?
False
Suppose -3105*f + 136714 = -3088*f. Is 60 a factor of f?
False
Let q be ((-12)/(-15))/(1/(-80)). Let t = 28 - q. Is 23 a factor of t?
True
Let p(r) = 53*r + 764. Let j(m) = -13*m - 191. Let t(u) = 9*j(u) + 2*p(u). Is t(-29) a multiple of 71?
False
Let n(y) = -y - 8. Let g be n(-12). Let t be (3 + -3)*2/g - -8. Is 16 a factor of 4 - t/2 - (-40)/2?
False
Let a(t) = -5*t**2 - 13*t - 22. Let m(y) = -4*y**2 - 12*y - 22. Let s(c) = 5*a(c) - 6*m(c). Let u be s(9). Suppose 0 = -u*f + 329 + 139. Is f a multiple of 39?
True
Suppose 0 = -10*o - o - 165. Let m(h) be the third derivative of -11*h**4/24 + 11*h**3/6 + 5*h**2. Is m(o) a multiple of 22?
True
Let l(r) = -r**3 - 10*r**2 - 17*r - 7. Let c = -46 + 38. Let w be l(c). Let h(s) = 98*s. Is h(w) a multiple of 14?
True
Let b = -2986 - -20711. Does 153 divide b?
False
Is ((-597)/4)/(36/(-432)) a multiple of 9?
True
Let q be 8*((-15)/(-6) + -2). Let n(y) = -4*y**2 - 6*y + 10. Let a be n(q). Let p = a - -133. Does 11 divide p?
True
Suppose 225865 = -38*x + 1017633. Does 164 divide x?
False
Let j be (4/8)/(2/(-4)). Let d(q) = 130*q + 1. Let u be d(j). Is 4 a factor of ((-4)/(-6))/((-2)/u)?
False
Let n(y) = -y**2 - 6*y + 30. Let q be n(-10). Is 14 a factor of ((-3)/4)/(q/4040)?
False
Is ((-8)/(-96)*-4)/((-9)/12312) a multiple of 72?
False
Suppose 7*h - 4*h - 12 = 0. Let y(b) = -b**3 - 33*b**2 - 47*b - 109. Let m be y(-32). Suppose 4*p - m = z - 6*z, 4*p = -h. Is z a multiple of 25?
True
Suppose 0*q + 5*q - 400 = 0. Suppose -4*g + v = -6*g + q, -2*g + v = -72. Is g even?
True
Does 19 divide 2321/(1/(-19)*(-3)/(-6)*-2)?
True
Suppose 6*m = 18, m = 2*q + 4*m - 1863. Is q a multiple of 31?
False
Let g = 793 - 465. Suppose a - g = 641. Is 26 a factor of a?
False
Let d(y) be the third derivative of y**6/120 + y**5/60 - y**4/4 - y**3/2 + 2*y**2. Let m be d(-2). Suppose -m*q = 278 - 1188. Is q a multiple of 13?
True
Is 3/(-7*(-45)/(-126) - 134486/(-53792)) a multiple of 14?
False
Let d(a) = 34*a**2 - 80*a - 1074. Does 5 divide d(-11)?
True
Suppose -6*v + 2*v - 526 = -2*x, 4*v - x + 531 = 0. Let a be 115/(-25) - -5 - v/(-10). Is 10 a factor of (-264)/(-2) + (a - -5 - -6)?
True
Is 97 a factor of 12/64 - (-6317985)/1104?
True
Let o be 38 - (-4 + 0 + 4) - 0. Let g = o + -4. Does 2 divide g?
True
Let q(g) = -g**2 + 13*g - 22. Let c be q(11). Let t be (-2)/(c + 6/(-441)). Let y = 195 - t. Does 8 divide y?
True
Is (-20897)/(-16) - (-145)/(-2320) a multiple of 2?
True
Let z(y) = 25*y**2 - 107*y + 34. Is z(13) a multiple of 4?
True
Let u = -1928 - -7811. Is u a multiple of 53?
True
Suppose i - w = -0*i - 13, 5*i = 3*w - 57. Let n be (-1 - i/6)*(10 - 6). Is 90/25 - n/(-5) a multiple of 2?
True
Let u(h) = -3*h**2 - 18*h + 37. Let l(b) = -b**2 + 1. Let q(y) = 2*l(y) - u(y). Let x = 14 + -36. Does 6 divide q(x)?
False
Let j = 200 - 197. Let v(h) = 4*h**3 + h**2 + 3*h + 6. Let b(y) = -y**3 - y**2 + y - 1. Let o(g) = 3*b(g) + v(g). Is o(j) a multiple of 5?
True
Is 49 a factor of (1 - (-9)/(-6))*0 - -12642?
True
Suppose 10 = 5*l, 5*r + 15*l - 50452 = 14*l. Is 29 a factor of r?
False
Suppose 3*w - 1005 = 2*f, -2524 = 5*f + 2*w + 2*w. Let n = -2715 - -2355. Let g = n - f. Is 12 a factor of g?
True
Let m(l) = 9*l**2 - 4*l - 579. Is m(21) a multiple of 87?
True
Let z = 973 - -235. Let y be 16/(-72) - z/(-9). Let k = 145 - y. Is k a multiple of 3?
False
Is (1904/80 + -35)/((-1)/235) a multiple of 56?
True
Let m(v) be the second derivative of 5*v**4/12 - 7*v**3/3 - 53*v**2/2 - 57*v. Does 3 divide m(-3)?
False
Suppose -2*a - 3*n = -19, 20 - 4 = 3*a + 2*n. Suppose 4*o - 918 = 2*r + 544, 0 = o - a*r - 358. Is o a multiple of 14?
False
Is (12 - -2)/((-3)/((-756)/1)) a multiple of 2?
True
Let n(f) = f**3 + 6*f**2 - 7*f + 5. Let i be n(-7). Let u be -2 - (-38)/(-5)*(-10 + i). Suppose -3*b - u = -255. Is b a multiple of 10?
False
Let d(m) = -m**3 - 8*m**2 + 15*m - 8. Let r be 67/(-7) - (-9)/(-21). Is 21 a factor of d(r)?
True
Suppose 4*d + 27696 = 4*n, -21*n + 13*n + 55416 = -4*d. Does 7 divide n?
True
Suppose 0 = 297*y - 320*y + 79925. Is y a multiple of 65?
False
Is 2