 -5087. Is 5 a factor of h?
True
Suppose 4*r = 8*r - 20, 0 = -3*w - 2*r - 38. Is (w/2)/2 + 199 a multiple of 13?
True
Suppose -213*q + 632281 = -23366 - 542691. Does 43 divide q?
False
Suppose -18 = -4*n + k + 26, 5*k = 5*n - 40. Let s(z) = -z**3 + 19*z**2 - 12*z - 4. Is s(n) a multiple of 20?
True
Let b(h) = 3*h**2 + 22*h - 196. Does 5 divide b(-21)?
True
Is 25 a factor of (-7591)/12*(-19 + 15 + 8)*-3?
False
Let k = -20 - -48. Suppose 4*m + 4*s = 352, m - 4*s = 116 - k. Suppose -122 = -5*b + m. Is b a multiple of 14?
True
Let r = -8698 - -9748. Is 57 a factor of r?
False
Suppose -3*f - 2*p = -88, 4*f + 0*p - 148 = 5*p. Let s = -254 + 281. Let g = f - s. Does 2 divide g?
False
Is (-4)/(-6) + 850889/1131 a multiple of 3?
True
Let o(v) = -8*v + 15. Let h be o(0). Does 28 divide ((-5950)/h)/(-17)*(-48)/(-1)?
True
Is 28 a factor of -3 + 14358/30 - 24/(-60)?
True
Suppose -504 - 1044 = -4*c. Suppose 3267 - c = 5*a. Is a a multiple of 15?
False
Suppose -4*a + 70 = v + 20, 10 = -5*v. Let d(i) = 21*i - 147. Does 18 divide d(a)?
True
Let v(h) = 5*h**3 - 28*h**2 + 21*h - 201. Does 17 divide v(16)?
True
Suppose -36 = -11*r + 85. Suppose -r*m = -164 - 826. Is m a multiple of 7?
False
Let p(j) = -j**3 - 9*j**2 - 29*j - 33. Let u be p(-9). Suppose u = 11*n - 8*n. Does 3 divide n?
False
Let l = 3845 - 1206. Is l a multiple of 14?
False
Let u(d) = -6*d + 21. Let l = 61 - 57. Let o be u(l). Let t(q) = 12*q**2 + 2*q + 10. Is t(o) a multiple of 28?
True
Suppose 6*i - 23 + 5 = 0. Suppose -4*d = i*u - 0*d - 28, d = -u + 10. Is 12 a factor of u?
True
Suppose l - g + 7 = -3*l, 5*l = -5*g - 40. Let i(k) = k**3 + 3*k**2 - 2*k + 2. Let m(z) = 2*z**2 - 2*z + 2. Let u(c) = l*m(c) + 2*i(c). Does 2 divide u(1)?
True
Let a = 36 + -6. Suppose 2 = 2*o - o, -2*g = 5*o + a. Is 23 a factor of 37 + g/((-15)/(-3))?
False
Let w = -1743 - -2965. Is w a multiple of 13?
True
Suppose -3*q = m - 1087, -3*m - 927 = 4*q - 4178. Does 46 divide m?
False
Let l be ((-41)/5)/((-6)/15)*2. Let h = l - 38. Suppose -12*s + h*s = -720. Does 5 divide s?
True
Let f(n) = n**3 - 8*n**2 + 11*n - 11. Suppose 13 = -3*k + 3*r - 263, 4*k = -r - 378. Let p = 101 + k. Is 3 a factor of f(p)?
False
Is 3 a factor of ((-5)/(-4))/((-1745)/(-17849256))?
True
Let q(v) = -v. Let o(n) = 133*n - 72*n - 3 + 86*n + 1. Let z(h) = o(h) - 6*q(h). Is z(1) a multiple of 13?
False
Let s = 244 + -236. Is 15 a factor of (30/(-8))/(9205/(-1148) + s)?
False
Let h(d) = -9*d**2 - 16*d - 37. Let p(m) = -5*m**2 - 8*m - 19. Let o(z) = 4*h(z) - 7*p(z). Let v be o(-2). Is 3 a factor of 2 + (-1 - -8) + v?
True
Let n = 432 - 226. Let h = n + -146. Is 20 a factor of h?
True
Suppose 34*s - 39*s + 60 = 0. Is s + -4 - 8*-139 a multiple of 97?
False
Suppose 5*a = -3*w + 109 - 26, 3*w = -12. Suppose 2*i - 119 = h, -20*i + 2*h + 55 = -a*i. Is 2 a factor of i?
False
Is 19 a factor of 2*8/(-32)*-1330?
True
Let m(p) = p**3 + 2*p**2 - 7*p - 7. Let n be m(-3). Suppose 632 = 4*j - 0*j - n*u, 2*u - 298 = -2*j. Is 6 a factor of j?
False
Suppose 98*p - 97*p = 58. Let r = p - 67. Is 12 a factor of 10925/207 + (-2)/r?
False
Suppose -43*k + 9*k = -192236. Is 72 a factor of k?
False
Suppose 58 - 30 = 7*v. Does 58 divide (27/2)/(-9) + 934/v?
True
Let b = 1696 - -2282. Is b a multiple of 26?
True
Let b(r) = r**2 - 4*r + 2. Let n be b(4). Suppose -493 = -n*l + d - 112, 378 = 2*l - 2*d. Suppose 2*f - l = y, 2*y - 480 = -3*f - 2*f. Is f a multiple of 32?
True
Let k(c) = 3*c**2 - 6*c - 10. Let f = -6 - -8. Let w be (-1)/2*2 + (-1 - f). Is k(w) a multiple of 10?
False
Let i = 188 - 195. Let p(f) = -2*f**3 + 2*f**2 + 36*f - 17. Does 15 divide p(i)?
False
Does 116 divide ((-3458)/56)/(-19)*(603 - 3)?
False
Suppose -34208 - 1082 = -10*a. Is a a multiple of 7?
False
Let n = 43 - -19. Suppose -4*g - y = -81 - n, y = 4*g - 145. Is g a multiple of 12?
True
Let r(g) = 497*g**2 - 7*g - 31. Is r(-4) a multiple of 21?
False
Let u be 2*2/(-12)*9/(-3). Let a be -4 - (u - 3)*6. Suppose 2*k + a = 104. Does 6 divide k?
True
Let s be (-4 - (-1338)/(-6))/1. Let o = s + 269. Is 7 a factor of o?
True
Let p be 1/3 + ((-56)/12)/(-1). Let j be ((-6)/p)/((-5)/(-150)). Let z = j - -59. Does 23 divide z?
True
Suppose 5*l + 30552 = 3*l + 10*l. Is l a multiple of 17?
False
Let g(a) = -3 + 8 + a + 9. Let f be g(-10). Suppose 3*w = -f*v + 655, -v - 440 = -2*w - 2*v. Is w a multiple of 38?
False
Let s(u) = 316*u**2 - 52*u - 154. Is 105 a factor of s(-3)?
False
Suppose -5*i = -0*t + 5*t + 15, -i - 1 = 2*t. Suppose t*c - 234 = 1340. Does 26 divide c?
False
Suppose 426 + 356 = 46*d. Let n(t) = -135*t + 2. Let l be n(-2). Is (2 - 33/(-6))*l/d a multiple of 24?
True
Let t(m) = m**3 - 45*m**2 + 109*m + 43. Let a be t(42). Is (6 - 0) + (26 - a) a multiple of 13?
False
Does 17 divide 1/(3/2)*(957 - -1356)?
False
Let y(t) = t**3 + 2*t**2 - t + 6. Let m be y(-3). Suppose 3*j + l + m*l + 136 = 0, -52 = j - 3*l. Let h = -24 - j. Is h a multiple of 2?
True
Suppose -4*r + 5*r = 2*i - 70, 0 = 5*i + 4*r - 188. Let y = i + -39. Does 3 divide 4 + -2 + y + 24?
False
Let k(x) = 16*x**2. Let v be k(-1). Suppose -v*y + 791 = -15*y + 5*u, -u + 3088 = 4*y. Does 71 divide y?
False
Suppose -14*d = -21*d - 70. Let i be d*(156/3)/(-2). Suppose 4*y - i = -4*p, 0*p + p - 2*y - 53 = 0. Is 21 a factor of p?
False
Let b(v) = 223 + 288 + 297 - 187 - 10*v - 71. Is 50 a factor of b(0)?
True
Let m = -452 - -109. Let g = -257 - m. Does 9 divide g?
False
Suppose 18*q - 21*q + 15 = 0. Suppose d + 20 = 5*d, -q*w + d = -5. Suppose 2*h - 100 = -4*u, -3*h + w*h + 64 = -5*u. Is 9 a factor of h?
True
Suppose 86*h = 87*h. Let c = 140 - 65. Suppose -4*m + c = -5*o, 0 = 2*m - h*o - o - 33. Does 5 divide m?
True
Let x(m) = 7466*m**2 + 33*m + 1. Does 126 divide x(-1)?
True
Suppose a - 4*g = 9 + 29, -2*g + 38 = a. Suppose -2*r = -4*p + 144, -3*r - 5 = 1. Let x = a - p. Is 3 a factor of x?
True
Let a(c) = 4*c - 33. Let k be a(3). Let v(b) = b**3 + 24*b**2 + 57*b. Is v(k) a multiple of 9?
True
Let g = -79 - -77. Let u(f) = 47*f**2 - f - 4. Is 62 a factor of u(g)?
True
Suppose 34797 = 5*h + 402*f - 401*f, -2*h + 2*f + 13926 = 0. Is 40 a factor of h?
True
Let h = -258 + 958. Let i = 34 - 25. Suppose -i*j + h = -983. Is j a multiple of 27?
False
Is 52 a factor of (-260)/(-200)*64*((-305)/(-2) + 0)?
True
Let n be -1*((-171)/6 + 4)*-4. Let z = n - -145. Is z a multiple of 19?
False
Let u(l) = 3*l - 9. Let i(r) = 6*r - 19. Let t(h) = 2*i(h) - 5*u(h). Let q be t(7). Does 37 divide 8/q - 781/(-7)?
True
Let a(j) = j**3 + 23*j**2 + 42*j + 51. Let i be a(-21). Suppose 2*o + 5*u - i = 276, 0 = 5*o + 4*u - 775. Does 8 divide o?
False
Let a = 5656 - 5122. Is 6 a factor of a?
True
Let g = 52347 + -38981. Does 78 divide g?
False
Let l = 54133 - 36733. Does 60 divide l?
True
Suppose 4723 - 12463 = -4*w - 4*y, 0 = 3*w + 5*y - 5817. Is w a multiple of 35?
False
Let a = 0 + 5. Suppose 5*u = -3*i - 20, -20 = a*u - 7*i + 2*i. Let t(x) = -7*x. Does 14 divide t(u)?
True
Let w(s) = 4*s**2 - s + 2. Let r be 1*6/2 + -1. Suppose -j - n - 3 = -3*j, 3*n - 7 = -r*j. Does 8 divide w(j)?
True
Suppose 3*b = 325 + 608. Let c = b - 161. Suppose c = -2*g + 7*g. Is 5 a factor of g?
True
Let i be ((-1)/(-3))/(2/(-9714)). Let m = -209 - i. Does 94 divide m?
True
Let s be (-2 - 2) + 17/(-1). Let g be (s/(-14))/((-3)/(-196)). Suppose -3*q + 0*k + g = 2*k, 5*k - 101 = -3*q. Is 32 a factor of q?
True
Let y(k) = -931*k**3 + 3*k**2 + 8*k + 5. Is y(-1) a multiple of 19?
True
Let r = 8456 + -4053. Is 17 a factor of r?
True
Suppose -5*l - 8 = -23. Suppose 49 = l*z + 4*p - 53, -2*z + 3*p + 51 = 0. Suppose 3*k + 7*k - z = 0. Is 3 a factor of k?
True
Let p(u) = 2302*u**3 + u**2 + 2*u - 1. Is p(1) a multiple of 36?
True
Let z(v) = -2004*v - 2142. Is 15 a factor of z(-3)?
True
Suppose -4*y = -3*k + 3 + 29, -y + 3 = 2*k. Suppose -28*g + 2856 = 4*h - 24*g, 5*h = k*g + 3579. Is h a multiple of 13?
True
Let i(o) = o**2 - 17*o + 9. Let p be i(17). Let n be 6/p - (-788)/6. Let y = n + -68. Does 15 divide y?
False
Suppose 5*u = -w - 14794 - 5009, -4*u + 4*w - 15852 = 0. Let z = -2395 - u. Is z a multiple of 18?
True
Let c(b) be the second derivative of 0 + 0*b**2 + 1/6*b**4 + b**3 - 2*b. Is 20 a factor of c(-8)?
True
Suppose 4*i - 2*p = 41310 - 10144, 0 = i + 4*p - 7814. Is 18 a factor of i?
True
Let d be