95)/(-8). Suppose 944 = -9*j + t. Is 4 a factor of j?
True
Is 95650/130 - (-45)/195 even?
True
Let r(u) = u**2 + 2*u + 20. Let t be 1 + 0 + 3 + 0. Suppose x = 4*h + t, -3*x + 0*x + 12 = -2*h. Is 5 a factor of r(h)?
True
Let m = 15266 - 10464. Is 32 a factor of m?
False
Is (-21787)/(-2) - (((-810)/(-20))/(-9) + 4) a multiple of 35?
False
Let i = 17578 + 5202. Is i a multiple of 33?
False
Suppose -r = 4*n + 3*r - 10072, -4*r = -n + 2528. Suppose 0 = 5*a - 11*a + n. Does 10 divide a?
True
Let w be 0*(3 + (-25)/10). Suppose w = 43*k - 14*k - 19024. Is 16 a factor of k?
True
Is 48 a factor of ((-5277)/(-2))/(84/112)?
False
Suppose b + 3*b - 496 = 0. Let g = 28 - -43. Let p = b - g. Does 18 divide p?
False
Suppose 19 = 5*w + 9. Suppose 0 = w*q + 131 - 441. Suppose 0 = 3*f - q - 61. Is 9 a factor of f?
True
Let a be (-93)/(-9) + (-4)/12. Suppose -24 - 6 = -a*h. Suppose f = 5*u - 820, h*u - 3*f + 46 - 526 = 0. Does 33 divide u?
True
Suppose 28 = -2*y - 0*y + 2*x, 5*y + 5*x = -40. Let q = 16 + y. Suppose q*s + 180 - 770 = 0. Does 43 divide s?
False
Suppose 4*p + 3*h = 44, 2*h + 2*h = -5*p + 56. Let r be (-1225)/21 - p/(-6). Let q = 88 + r. Is 9 a factor of q?
False
Suppose o + 73 = 4*u, -3*u + 57 + 1 = -4*o. Suppose -14*d = 24*d - 798. Let s = d + u. Is 4 a factor of s?
False
Let r(b) be the second derivative of 0 + 11/12*b**4 - 1/2*b**2 - 5/2*b**3 + 25*b. Is r(4) a multiple of 23?
True
Is (-235650)/(-14) + (-18)/126 + 2*-1 a multiple of 33?
True
Let u(m) = 789*m - 2131. Does 7 divide u(6)?
False
Let j be 6 - 2 - (-6 + (5 - 26)). Let c(m) = 12*m**2 - 1 + 12*m - 3 - 7*m**2 - j*m. Is 8 a factor of c(6)?
False
Let i(k) = -3*k - 19. Let l(u) = u**2 + 5*u + 4. Let c be l(-8). Let h = 15 - c. Does 5 divide i(h)?
True
Let z(j) = 5*j**3 + 3*j**2 - 2*j - 1. Let t = 92 + -84. Suppose -2*p - 3*h = 2*p - t, -3*p + h + 6 = 0. Is 4 a factor of z(p)?
False
Let g(b) = 3*b**2 - 36*b + 61. Suppose -39*h + 45*h = 90. Is 28 a factor of g(h)?
True
Let v(x) be the first derivative of -20*x - 12 - 7/2*x**2. Is 7 a factor of v(-6)?
False
Let o be (-252)/(-24) - ((-10)/(-4) - 1). Is 10 a factor of o/((-72)/(-32)) - -750?
False
Let q(b) = 8*b - 20. Suppose -5*s + r = -r - 123, -3*r + 103 = 4*s. Is 12 a factor of q(s)?
True
Suppose 3899*o - 3893*o = 1050. Is 2 a factor of o?
False
Let z = 16437 + -5735. Is 92 a factor of z?
False
Suppose -5*t - 19*t = -76200. Is t a multiple of 38?
False
Let g be (-4)/18*-1 - 122927/63. Let s = -1331 - g. Is s a multiple of 62?
True
Suppose -4*n + 5*t = 4*t + 6, -n - 3*t + 5 = 0. Let b(f) = -541*f + 8. Is 9 a factor of b(n)?
True
Suppose -5*f = -7*f - 6. Let d be 1*(36 + (f - -3)). Let s = 72 - d. Is 6 a factor of s?
True
Let b be (48/36)/(4/15). Let d = b - 3. Suppose -d*s + 280 = -0*s. Is 34 a factor of s?
False
Let d(h) be the first derivative of 4*h**3/3 - 5*h**2 + 8*h - 8. Let b be d(7). Suppose b = 4*q + 26. Is q a multiple of 3?
True
Let p(i) = -i**2 - 11*i. Let f be p(-11). Suppose -j - 2*j + 6 = 4*l, f = 3*l - 3*j - 15. Is 4*26/l*3 a multiple of 13?
True
Suppose 3*i + 2*i - 5*q - 10 = 0, 0 = -i + 3*q. Let z be 1/(-2) - i/2 - -19. Suppose 57 = z*r - 14*r. Does 19 divide r?
True
Let b(c) = 5*c - 250. Let q be b(49). Let h(a) = 13*a**2 + 28*a + 104. Is h(q) a multiple of 9?
False
Suppose -8*o = -1 - 55. Suppose 2*n - o*m - 184 = -2*m, 4*n - 382 = 3*m. Is n a multiple of 10?
False
Suppose -9*p + 16 = -17*p. Let n be 1 + (p/(-2) - 0). Suppose -2*u - 304 = -5*x, 5*u = n*x + 4*u - 121. Is 19 a factor of x?
False
Let s(r) = 5*r**3 + 4*r**2 + 7*r. Let w be s(-4). Let m = w + 340. Is m a multiple of 7?
True
Suppose 0 = -4*d - w + 123464, 36866 = 3*d - 2*w - 55710. Is 32 a factor of d?
False
Let i(n) = 28*n**2 - 9*n. Let j(h) = -h**2 + 2*h - 1. Let q(a) = i(a) + 3*j(a). Is q(-2) a multiple of 23?
False
Let z = 141 - -75. Suppose -5*n = j - 0*j - z, -4*n + 171 = -j. Does 9 divide n?
False
Let f be (-1 - -3) + (-16)/(-8). Let u = 249 - f. Is u a multiple of 49?
True
Let z(h) = -h**3 - 14*h**2 - 31*h + 10. Let v be z(-13). Does 4 divide 6/52*v - 24/156?
True
Let s be 3 - 11/3 - (-2230)/15. Suppose -3*b + z = -s, -b - 8*z + 4*z = -71. Is b a multiple of 5?
False
Suppose -2*f + 5*q + 48052 = -917, 5*q = 5*f - 122370. Does 19 divide f?
False
Let g(z) = 46*z - 22. Let x be (3 + -4 + 14)*9/9. Is 32 a factor of g(x)?
True
Let c = -3969 - -10815. Is c a multiple of 14?
True
Let i(u) = -155*u + 10. Let p be i(2). Let w = p + 786. Is w a multiple of 30?
False
Let p(y) = 131*y**2 + 28*y + 93. Is p(-4) a multiple of 20?
False
Is 29 a factor of 86439*-19*8/(-456)?
False
Let n be (4 - 9) + 0 + 35/5. Suppose 163 + 64 = 5*b - x, 0 = -3*b + n*x + 139. Does 9 divide b?
True
Suppose 0 = 4*g - 18*g + 12544. Let v = g - 520. Is 17 a factor of v?
False
Let z = 1738 - -2971. Is z a multiple of 13?
False
Let n be 2*(-8)/(6/15 + 0). Suppose 1801 = -2*f - 4791. Is 17 a factor of 4/(-10) + 4 + f/n?
False
Suppose f - 5*b - 329 = 0, b + 67 = -f + 426. Suppose 3*k - 42 = f. Is 4 a factor of k?
True
Let c(h) = -h**3 + 7*h**2 - 2*h + 7. Let g be ((-12)/15)/((-2)/(-5)). Let x be 2 - (-3)/(-6)*g. Is 11 a factor of c(x)?
False
Let a = -14591 + 16265. Is 19 a factor of a?
False
Let a = -68 + 44. Let l be -6*(44/(-6) - 16/a). Let r = l - 30. Is 5 a factor of r?
True
Let k be (-7 - -8) + (-6)/2 + 23. Suppose 8*m + k = 629. Let a = -41 + m. Does 3 divide a?
False
Let w = 5 - 15. Let q(x) = -x**2 - 12*x - 5. Let y be q(w). Suppose 0 = 8*b - y*b + 847. Is b a multiple of 13?
False
Let g(l) = -l**3 - 8*l**2 - 13*l + 22. Let b be g(-5). Is 10 a factor of ((-4)/(-3))/(3/(159 + b))?
False
Let i(b) = -8*b + 8*b**2 - 1 - 4 - 42*b**3 + 45*b**3. Is 15 a factor of i(2)?
False
Suppose 2*q = -5*n + 317, 0 = -4*n + 4*q + 256 + 20. Let l = 27 + n. Suppose -4*k = -4*v - 0*v - 356, 2*v - l = -k. Is 30 a factor of k?
True
Let m(h) = -13*h - 39. Let i be m(-17). Let g be (i/21)/(2/36). Suppose 11*r = 7*r + g. Is 14 a factor of r?
False
Let z be (-369)/(-33) - (-18)/(-99). Let k(c) = 2*c**2 - 23*c + 22. Does 2 divide k(z)?
False
Let f be 5 + 27/18 + (-5)/2. Suppose -9*t + 6*t + 1065 = 5*z, -f*t + 20 = 0. Does 15 divide z?
True
Does 148 divide ((-354)/295)/((8/(-88056))/(5/3))?
False
Suppose 2 = m, 0 = 4*u + 2*m + 173 - 977. Let b = u + -119. Is 9 a factor of b?
True
Suppose 2*w = -d - 0*w + 6, -5 = 5*w. Let f be ((-414)/(-1188) - (-2)/(-12)) + 860/110. Suppose 0 = -d*u - f*u + 3296. Is 40 a factor of u?
False
Suppose -2*u + 7*u = b + 18, 5*b = 5*u - 10. Suppose 3*d - 5*w - 111 = -20, 0 = -b*d + 4*w + 64. Suppose d*h = 6*h + 3296. Is 31 a factor of h?
False
Suppose 0*y + 3*y - 2*r + 2165 = 0, -y - 722 = -r. Let o = y - -1178. Is 54 a factor of o?
False
Let m(p) = 380 - p**3 - p - 236 - 195 + 24*p**2. Does 9 divide m(23)?
False
Let q(t) = 17*t**2 + 36*t - 69. Does 4 divide q(-10)?
False
Suppose -239*v + 242*v = 7821. Is 33 a factor of v?
True
Let h(p) = -2*p**3 - 43*p**2 - 23*p + 12. Let s be h(-21). Suppose 0 = 44*b - s*b + 1230. Is b a multiple of 41?
True
Suppose 0 = -0*t - t + 36. Let q be 1400/(-77) + (10/55 - 0). Does 9 divide (-4)/q - (-2908)/t?
True
Let u(k) = 133*k**3 + 3*k**2 - 2*k - 1. Let j be u(1). Let p be (-38)/j + (0 - 1236/(-14)). Suppose 6*t - 242 = p. Does 5 divide t?
True
Let s(x) = 1731*x - 3186. Does 23 divide s(25)?
True
Let i(o) = -o**3 + 19*o**2 + 36*o - 25. Let p be i(17). Suppose p = 2*j + 3*x, 0*x = 4*x + 20. Is j a multiple of 59?
True
Suppose 70*z - 10544 = -5*n + 66*z, -3*n + 6321 = -3*z. Does 17 divide n?
True
Suppose -1036 = -30*d + 29*d + 2*k, 0 = -d + 3*k + 1034. Is 26 a factor of d?
True
Let i(b) = 2*b**3 - 4*b**2 + 12*b - 42. Does 6 divide i(9)?
True
Suppose -2*g - 32 = 3*n, -3*n - 4*g = -3*g + 28. Let r(o) = 40*o**2 + 2*o + 2. Let f be r(-1). Let i = f - n. Is i a multiple of 12?
True
Let u = -1149 + 6365. Is 23 a factor of u?
False
Let c(s) = 22*s**2 - 8 - 3*s + 2 - 15. Is 13 a factor of c(-4)?
False
Let l be (-49)/14*(-2 + 0). Suppose l*d - 6 = 9*d. Does 10 divide (6/(-5))/(d + 294/100)?
True
Let w = -2530 + 6178. Does 17 divide w?
False
Let w(o) = 3*o**2 - 11*o - 1. Let u(y) = -6*y**2 + 23*y + 1. Let g(p) = -3*u(p) - 7*w(p). Let d(v) be the first derivative of g(v). Is d(-2) a multiple of 3?
False
Let s(t) = t**2 - 12*t + 12. Let i be s(13). Let x be -5*((-710)/i 