9*o - 2*h + 31814 = 0. Is o a multiple of 114?
False
Is (12/32)/3 - (-66525)/24 a multiple of 14?
True
Suppose -36*d + 144 = -12*d. Let i(k) = 73*k + 74. Is i(d) a multiple of 64?
True
Let s(w) = 17 - 7*w**3 + 10*w**2 + 11*w**3 - 5*w**3 + 9*w + 4. Is s(10) a multiple of 3?
True
Suppose 0 = 2529*c - 2535*c + 45216. Is 157 a factor of c?
True
Let p(y) = 239*y**2 + 79*y + 18. Is 127 a factor of p(-7)?
True
Does 8 divide 10*1 + (-121 - -117) + 9970?
True
Let m(o) = 46*o**2 - 15*o - 52. Let v(i) = -i**2 + 12*i - 38. Let g be v(7). Is 16 a factor of m(g)?
False
Suppose -3*a = -3*f - 22215, f = -a - 1945 + 9352. Does 14 divide a?
True
Is 80/16*(26982/10 + -5) a multiple of 27?
False
Let t(l) be the second derivative of -10/3*l**3 + 12*l**2 - 14*l + 0. Is 41 a factor of t(-7)?
True
Is 36 a factor of ((-11)/(-44))/(7/1008)?
True
Let g(q) = -14*q**3 - 67*q**2 - 30*q - 61. Does 63 divide g(-11)?
False
Let a(f) = -20*f + 20. Let x(n) = -n**3 + 5*n**2 + 14*n - 2. Let q be x(7). Is a(q) a multiple of 4?
True
Suppose 2423*i - 8 = 2427*i. Is 8*(i/4 + (-11 - -69)) a multiple of 20?
True
Let k(m) = -4*m + 14. Let v be k(2). Does 8 divide v/12 - (-331)/2?
False
Let q be (12 - (-3 + 1))*(5 - 19). Does 19 divide 84/q + (7734/14 - 1)?
True
Suppose -4*j - 1279 = 2077. Let a = 1448 + j. Is 29 a factor of a?
True
Suppose 916 = 6*g + 298. Suppose -5*c + g = o, 7*c + 5*o - 95 = 3*c. Does 4 divide c?
True
Let g = -14988 + 17523. Is g a multiple of 23?
False
Let v(s) = 2121*s**2 + 174*s + 351. Does 43 divide v(-2)?
False
Suppose 16*h - 377 = 77556 + 3187. Is h a multiple of 10?
True
Does 170 divide ((-280377)/(-15) - (-10)/(-200)*-4) + 8?
True
Suppose 2*z - 4*z + 70 = 5*s, 3*s - 5*z - 11 = 0. Let g(d) = -3*d**2 + 41*d - 24. Is g(s) a multiple of 30?
False
Let z = 2921 + -2589. Is 14 a factor of z?
False
Let y = -21477 + 30483. Does 114 divide y?
True
Suppose -2*g + 2*q + 6471 + 7277 = 0, 3*g - 20617 = -2*q. Does 79 divide g?
True
Let a be 5*5/(35/14). Suppose a*u + 5957 = 17*u. Does 37 divide u?
True
Suppose 0 = -25*h + 31334 + 21316. Does 13 divide h?
True
Suppose -5*t = -3*t - 3*o - 1317, 3*t - 2013 = -3*o. Let q = t + 415. Is q a multiple of 27?
False
Suppose -8*i + 4*o = -13852, 24*i - 19*i = 4*o + 8665. Does 10 divide i?
False
Suppose -5*w + 8 = -3*d, 6*w - 14 = 2*d + 7*w. Let o(h) = 7*h**2 + 11 - h**3 + 4*h**3 + 7*h + 0*h - 2*h**3. Is o(d) even?
False
Let t(w) = -3*w**2 + 9*w - 4. Let s be t(6). Suppose 14*h + 319 = 1719. Let a = s + h. Does 13 divide a?
False
Is ((-1)/(-2))/(1/783290*29) a multiple of 20?
False
Suppose -117 - 1 = -2*g. Let z(o) = -2*o - 26. Let d be z(-13). Suppose -h - 17 = -u, d*u - g = -3*u - 5*h. Is 7 a factor of u?
False
Let t(b) = -b**2 - 2*b + 29. Let f be t(-6). Does 6 divide 169 + 15/f - 4?
True
Let r(i) = 220*i**2 - 128*i + 20. Is 89 a factor of r(-6)?
False
Suppose 6*u + l = 182219, -5*u + 3*l = 74608 - 226484. Is u a multiple of 14?
False
Suppose -p + 1381 = 2*y - 8139, p + 3*y = 9522. Is 7 a factor of p?
False
Let m = -3485 + 8615. Does 135 divide m?
True
Suppose -f + 5 = 5*u - 6*f, -3*u + 5*f = 1. Is 38 a factor of 158 - (-4 + 6/u)?
False
Let b(p) = -p**3 - 4*p**2 - 15. Let v be b(-5). Does 15 divide (v/20 - -7)/((-2)/(-12))?
True
Let i(z) = 403*z + 397. Does 28 divide i(6)?
False
Suppose 3*x + r = 2*r - 799, 5*x = r - 1331. Is x/(-6) - (-24)/(-72) a multiple of 4?
True
Let p = -176 - -416. Suppose 320 = -238*i + p*i. Does 9 divide i?
False
Let a = 209 - 96. Suppose -3*w - 8 + a = 0. Suppose 9*v - w = 19. Is v a multiple of 6?
True
Is 133/1330 - (163014/(-20) - 6/30) a multiple of 44?
False
Let w(j) = -309*j**2 + j + 10. Let h be w(4). Let a = 15 + -6. Is 2/a + (h/18)/(-5) a multiple of 31?
False
Let j = 6057 - 4105. Does 16 divide j?
True
Let i be (35/(-10) + 4)*-6. Is -5 - ((-1320)/4 + i) a multiple of 27?
False
Let a = 3592 + 4697. Is 27 a factor of a?
True
Suppose -48 = 7*m + 197. Let w = -21 - m. Let p = 18 - w. Does 4 divide p?
True
Let p(d) = -1 - 4*d - 7 + 2 + 10. Let n be p(1). Suppose -4*u + 3*c + 17 = n, 52 = 4*u + 8*c - 4*c. Does 5 divide u?
False
Suppose -2*i + 3*p = -75, 0 = -2*i - 2*p + p + 87. Suppose 0 = -j + 63 + i. Does 6 divide ((-7)/(j/(-162)))/(6/30)?
True
Suppose -25230 = 126*m - 156*m. Does 21 divide m?
False
Suppose -n + 6247 = 3*p, -11*p = 3*n - 15*p - 18793. Does 191 divide n?
False
Let s(g) = g**2 - 11*g + 4. Let p be s(11). Let z be (-1 + 66)/(p/12). Let v = z - 70. Is 10 a factor of v?
False
Suppose d + 34 = 4*s, 4*d = 4*s - 5*s. Is (-9440)/(-35) + 3/(84/s) a multiple of 16?
False
Let x(i) = i**3 - 7*i**2 + 6*i + 10. Let k(v) = 22*v**2. Let h be k(-1). Let c be 11/h*(-1 - -15). Is x(c) a multiple of 13?
True
Let i be 3 + 0 + (13 - 7). Suppose 6 - i = -n. Suppose -3*g + 0*g + 30 = 3*o, 9 = -n*g. Is 4 a factor of o?
False
Let s(y) = -9*y - 119. Let b(l) = -4*l - 60. Let c(i) = -13*b(i) + 6*s(i). Is 3 a factor of c(0)?
True
Let y(o) = o**2 - 3*o - 6. Let r be y(-7). Suppose r = 6*g + 4. Does 49 divide (6 + -4)*275/g?
False
Let b(w) = w**2 - 19*w + 40. Let m be b(18). Suppose 9*v - m*v = -1053. Is v a multiple of 9?
True
Suppose -198*q - 9636 = -186*q. Let g = q + 1097. Is 7 a factor of g?
True
Suppose c = 5*c - 48. Suppose -5*d = -c*d + 728. Is d a multiple of 13?
True
Let z be (3*(-8)/(-48))/(2/6428). Suppose 5*f - z - 373 = 0. Does 22 divide f?
True
Let v(l) = l**2 + 18*l - 19. Let x = 25 + -44. Let b be v(x). Suppose -4*w + 2*h - 11 + 177 = b, 3*w + 5*h = 131. Does 4 divide w?
False
Let m(y) = -4*y - 53. Let u be m(-14). Suppose l = -2*v + 1061, 16*l + 1609 = u*v + 21*l. Is v a multiple of 33?
True
Let f = 116 + -92. Suppose f = 2*y + 10. Suppose -19*q + 588 = -y*q. Does 15 divide q?
False
Let a(v) = 7*v**2 + 3*v - 42. Let s(p) = -3*p**2 - p + 21. Let k(m) = -2*a(m) - 5*s(m). Let x be k(6). Let t = 1 + x. Does 8 divide t?
False
Let s(u) = -u**3 - 19*u**2 + 26*u + 35. Let z be s(-20). Let y be -1*(-2 + 1)*(24 - z). Let j = y + -49. Does 3 divide j?
True
Suppose -244770 + 2021466 = 249*g - 2884584. Is 12 a factor of g?
True
Let i = 2946 + -2513. Is 64 a factor of i?
False
Let g = 161 - -2439. Let i = g - 1673. Does 76 divide i?
False
Let a(s) be the third derivative of s**6/120 - 7*s**5/30 - 2*s**4/3 + 3*s**3 - 19*s**2. Let c be a(15). Is 24 a factor of 650/c + (-2 - 16/(-12))?
True
Let b(y) = 425*y**2 + 1857*y + 9. Does 33 divide b(-9)?
True
Let p(v) = 2*v**3 - 15*v**2 - 45*v + 63. Is p(20) a multiple of 119?
True
Let s(b) = 2*b**2 - 7*b + 37. Let u be s(13). Let z = -133 + u. Is 2 a factor of z?
False
Is 6 a factor of 11/(825/(-10)) + (-4776)/(-45)?
False
Let s(z) = 5*z**3 + 3*z**2 - 25*z - 2. Let w(d) = -17*d**3 - 8*d**2 + 76*d + 5. Let a(l) = 7*s(l) + 2*w(l). Is 21 a factor of a(-7)?
False
Let t = -299 - -301. Suppose 3*x + 4*o = 1019, -t*x + 4*o + 238 = -468. Is x a multiple of 6?
False
Suppose a + 4*k + 25 = 0, -5*k + 47 + 11 = -4*a. Does 12 divide ((-3)/(-6)*a)/(6/(-144))?
True
Suppose -2968 = -4*y - 2*h, 61*y - 57*y - 2992 = 4*h. Does 6 divide y?
True
Let u(r) be the second derivative of -r**4/12 + 35*r**3/6 - 65*r**2 + 3*r + 18. Is u(9) even?
True
Let t(q) = 89*q + 2938. Does 4 divide t(-27)?
False
Suppose 4*s + 12*q = 17*q + 8646, 6481 = 3*s - 2*q. Is 120 a factor of s?
False
Suppose -1224 = -22*x + 16*x. Let f = x + -165. Does 30 divide f?
False
Let a(i) = 3*i - 10. Let z be a(6). Let r(g) = g - 1. Let h be r(z). Suppose 10*p - 72 = h*p. Does 4 divide p?
True
Let x be (1 - 10/8) + (-119)/(-28). Does 38 divide (5 - x - 380)/(0 + -1)?
False
Let c be 5*(-358)/100 + 1/(-10). Is (-132)/594 - 1*4594/c a multiple of 15?
True
Let y(f) = -10*f + 2. Let z(u) = -5*u + 1. Let n(g) = 6*y(g) - 14*z(g). Let m be n(1). Suppose 0 = -m*l + 10*l - 108. Is l a multiple of 18?
True
Does 15 divide ((-45)/(-90)*3608)/((-2)/(-15))?
True
Let q be 4/(8/6) - 0. Suppose -175*g + 144*g + 558 = 0. Suppose -q = -k + g. Is k a multiple of 4?
False
Let q(v) = 5*v**2 - 5. Suppose -n - 8 = -2*f, n + 4*n + 12 = 3*f. Suppose -22 = f*a - 2*k, -1 = -a + 5*a + 5*k. Does 15 divide q(a)?
True
Suppose -3*z - 6190 = 5*o - 1492, 4*o - 4*z + 3752 = 0. Let x = o - -1929. Does 17 divide x?
False
Let t = -529 - -1489. Is 89 a factor of t?
False
Suppose -12*s = 3124 - 1180. Let j = s - -173. Is j a multiple of 7?
False
Let u(o) = -o**3 - 3*