r**3 + 35*r**2 - 56*r + 322. Does 9 divide h(32)?
True
Let m be ((-7 + 12)/10)/((-2)/152). Let b = 38 + m. Does 4 divide 9*(b - -17*2/3)?
False
Suppose -97*n + 195367 + 2874004 = 0. Does 18 divide n?
False
Suppose j + 2*h - 24266 = 0, -7*j - 2*h - 121378 = -12*j. Does 106 divide j?
True
Let i(h) = -h**2 - 8*h + 32. Let o be i(5). Let g = o + 31. Let j(u) = -36*u + 12. Is j(g) a multiple of 6?
True
Let r be (-1 + -3)*1 - 18. Let g = r - -26. Suppose g*y = 2*i - 27 - 357, -3*y = 0. Is 28 a factor of i?
False
Let h = 2249 - -5373. Suppose 0 = -8*f + h + 2442. Is f a multiple of 16?
False
Let k(i) be the second derivative of 4*i**3/3 + 131*i**2/2 - 5*i + 9. Is k(14) a multiple of 34?
False
Suppose a - 3*z - 2*z = 383, -2*z + 404 = a. Suppose a = -57*r + 58*r. Does 22 divide r?
False
Let p = 467 + 3784. Is p a multiple of 39?
True
Let x(n) = 161*n + 475. Is 7 a factor of x(23)?
False
Suppose 130*f - 60*f = -83*f + 53091. Does 4 divide f?
False
Let z(f) = f**3 - 9*f**2 + 10*f - 10. Let p be z(8). Suppose -p*n + 3*n + 385 = -2*t, -475 = -4*n - 5*t. Let d = n - 72. Is d a multiple of 30?
False
Let o be 1 + (-2)/6 + 8/6. Suppose -o*g - 918 = -5*k, -174 = 7*k - 8*k - 2*g. Is k a multiple of 29?
False
Suppose -1 = 6*z - 5*z - x, -2*z - x + 7 = 0. Suppose 0*h - 40 = -r + h, -z*r + 81 = -h. Let i = -15 + r. Is i a multiple of 13?
True
Suppose 2 = 3*i - 2*i - 3*p, -p = -i + 12. Does 35 divide (-18 + i)/(2/(-70))?
True
Let g(o) = 4*o**3 + 6*o**2 - 4*o. Let s be g(-2). Suppose -5*r = 5*n - 835, 2*n + s*n + 338 = 2*r. Is r a multiple of 11?
False
Suppose -z + 1660 = -5*z. Let q be (-6)/2 - (z + -1). Suppose 11*j = 4*j + q. Is 13 a factor of j?
False
Let x(j) = -7*j + 81. Suppose -10*u + 13 = -77. Is 5 a factor of x(u)?
False
Suppose -5*m - 18180 = -58235. Does 33 divide m?
False
Let l(b) = -116*b - 2802. Does 106 divide l(-34)?
False
Let j be (-2)/6 + (-138628)/(-21) + -8. Suppose -319*f - j = -338*f. Is f a multiple of 8?
False
Let p be 3/(-5) - 3456/15. Let q = p + 291. Is 20 a factor of q?
True
Let d be 82/10 - (-6)/(-90)*3. Let m be 34/d - 1/4. Suppose -2*k + 214 = 2*w, 3*w - m*k - 319 = -9*k. Is 18 a factor of w?
True
Let y(w) = -31*w + 43. Let f = -284 + 275. Does 32 divide y(f)?
False
Let x = -31237 + 49635. Is 11 a factor of x?
False
Let u(c) = -c**3 + 31*c**2 + 56*c + 46. Let a be u(32). Let d = a + -468. Is d a multiple of 26?
False
Let h = -24143 - -37183. Is 16 a factor of h?
True
Suppose -3*o + 6*l - 218 = 4*l, 0 = -4*l - 8. Let x = o + 78. Suppose v - y = -v + 77, 2*v = x*y + 92. Is 6 a factor of v?
True
Let i be (-87 - -88)/(-1*(-2)/14). Suppose i*b = 4*b + 960. Is b a multiple of 16?
True
Suppose a - 15 = -3*w, -3*w + 15 = -a + 4*a. Suppose a = -7*g + 528 + 480. Is g a multiple of 72?
True
Suppose 372*r - 105269 = 75895. Is r a multiple of 4?
False
Suppose -16 = -2*j - 6, -202 = -3*v - 2*j. Suppose -873 = -36*z - 2997. Let u = z + v. Is u even?
False
Let y(a) = 7*a + 21. Let d = 10 + -4. Suppose -c + d*c - 5*m = 85, -5*c - 5*m + 105 = 0. Is y(c) a multiple of 12?
False
Suppose 3*j - 11*w - 59958 = -13*w, 2*j - 39987 = -3*w. Is j a multiple of 36?
True
Let r = 5129 - -5203. Is r a multiple of 28?
True
Let s = 26 - -150. Let a = 320 - s. Suppose a = 4*l - 2*c + 5*c, 5*c = -5*l + 185. Does 8 divide l?
False
Let v(q) = 45*q + 20. Suppose 4*x - 28 = 4*z, -2 - 2 = -4*x - 4*z. Is v(x) a multiple of 50?
True
Suppose 6*a = -18*a + 72. Suppose -5*s - 139 = -2*o, -o + a*s = -3*o + 99. Is o a multiple of 5?
False
Suppose -4*v - 155*w + 4524 = -151*w, 2*v - 4*w - 2268 = 0. Is v a multiple of 32?
False
Let v be 4 + ((-3)/6 - (-42)/(-12)). Suppose v = -7*n + 715 + 90. Is n a multiple of 41?
False
Let a = -665 + 52. Let v = 1093 + a. Is v a multiple of 11?
False
Suppose -31*v = -5682 - 17145 + 5002. Is v a multiple of 23?
True
Let y(n) = n**2 - 4*n - 8. Let m be y(6). Suppose -5*u + 1615 = 2*b + 621, u = m*b + 190. Is 33 a factor of u?
True
Let q be (38/(-57))/((-2)/3) - 14. Does 39 divide (-78 - -5)*q + -7?
False
Let w(n) be the first derivative of 80*n**3/3 - 15*n**2/2 + 4*n - 50. Is 49 a factor of w(2)?
True
Suppose 6*v - 3*v - 40 = -5*y, -2*y - 4*v = -30. Suppose 14*c - 19*c - y = 0. Does 9 divide -2 + c + 4 + 96?
False
Let c(y) = y**2 - 18*y - 20. Let z be c(18). Let h be (10/6)/(z/(-24)). Suppose -5*i + 2*b = -1155, 25 = h*b - 7*b. Does 15 divide i?
False
Suppose -k + 1 = 3. Let f be -1 + 2 - (k - -3) - -2. Is 13 a factor of f - 1*167/(-1)?
True
Let v(c) be the first derivative of c**3/3 - 27*c**2/2 + 52*c + 3. Let m be v(25). Suppose 2*o + 4*t = 36, 3*t + 99 - 35 = m*o. Is 11 a factor of o?
False
Suppose 49 = 7*h - 0*h. Let a = h - 1. Suppose -8*y + a*y = -252. Is 18 a factor of y?
True
Let r(u) = -3*u + 91. Let x be 4/(48/231) + (-1)/4. Is r(x) a multiple of 34?
True
Let p(u) = -u**3 - 21*u**2 - 4*u + 65. Let n be p(-21). Suppose -k - 2*h = -n, -h - 709 = -5*k + h. Is 11 a factor of k?
True
Let c(p) = 20 + 2*p**2 - 4*p**2 + 300*p - 265*p. Let j be c(18). Suppose -g + 117 = -j. Does 9 divide g?
False
Let y(p) be the first derivative of 2/3*p**3 - 7 - 4*p**2 + 17*p. Is y(3) a multiple of 2?
False
Suppose -10*s + 101302 + 139268 = 0. Suppose 15*w = -18*w + s. Is w a multiple of 9?
True
Let m(p) = p**3 + 19*p**2 - 19*p + 29. Let n be m(-20). Suppose -n*t + 913 = -851. Is t a multiple of 9?
False
Let a = -1188 - -2704. Does 16 divide a?
False
Let g be ((-46)/6)/(16/144). Does 14 divide (-21896)/g*((-10)/(-4) - 1)?
True
Let z = -22289 + 61297. Does 92 divide z?
True
Let j be ((-22)/11)/(1/(-2)). Let o(x) = x**3 - 3*x**2 - 2*x + 8. Let s be o(j). Suppose 3*h - 141 = 3*d, s = 5*h + 3*d - 179. Does 7 divide h?
True
Let u be 25/(-3)*(-7 - (-4 - 0)). Let v = 27 - u. Suppose -2*n = 8, -3*g + 4*n + 301 = v*g. Is g a multiple of 3?
True
Let f = -347 + 343. Is 27 a factor of f/22 - 15320/(-44)?
False
Let d(n) = n**2 - n + 3. Let w be d(0). Let v be w*12/(-9) + 14. Let f(h) = 4*h + 20. Is f(v) a multiple of 45?
False
Suppose -29 - 49 = -26*l. Suppose 4*c - 500 = -0*p - l*p, 2*c = -4*p + 250. Is c a multiple of 6?
False
Let o be (-95)/(-20) + (-2)/(-8). Suppose -o*b + 3 = 4*n - 340, 2*n = b + 189. Does 16 divide n?
False
Let w be (1/(-2 + (0 - -1)))/1. Let f(i) = -i**2 - 2*i + 2. Let h be f(w). Is 3*((94 - 2) + h) a multiple of 57?
True
Suppose 0 = -3*a - 304 - 215. Let d = a + 203. Does 4 divide d?
False
Suppose l + 3 = 3*l + g, 5*l = -2*g + 10. Let q be l - 12/(-1 + 3). Is 31 a factor of 65 - (2 + (-1 - q))?
True
Let d(b) = 9*b - 14. Let c be d(3). Suppose 11*h = c*h - 6. Suppose -2*x - 370 = -2*v - 6*x, h*v - 535 = 4*x. Is 42 a factor of v?
False
Let s(x) = -21*x + 23. Let c be s(-13). Suppose 5*j = k - 302, -c = -0*k - k + 3*j. Is k a multiple of 41?
True
Let y = -35123 + 90102. Does 44 divide y?
False
Is 151 a factor of ((-2516)/102)/((-3)/1224)?
False
Suppose 4*z + 4*d = 20, -8 - 17 = -5*z - 2*d. Suppose w + 8 + 15 = z*c, -4*w - 5*c = -33. Suppose -138 = -w*m + 130. Is 17 a factor of m?
False
Let x(k) = 92*k**2 + 19*k + 59. Is 10 a factor of x(-8)?
False
Let c(j) be the third derivative of -j**6/24 - j**5/20 - j**3/3 + 4*j**2 + 9. Does 37 divide c(-4)?
False
Does 54 divide (-4)/26 + (-90089244)/(-5733)?
True
Let s = -307 - -5923. Is s a multiple of 156?
True
Let f be (1/(-6))/(-1) + (-9680)/(-96). Let m = 167 - f. Is m a multiple of 2?
True
Let i be (231/28 + -9)/(2/(-8)). Suppose 5*d = i*w + 83 + 10, -2*w + 52 = 3*d. Does 3 divide d?
True
Suppose -639 = -i + 4*i. Let l = 233 + i. Does 5 divide l?
True
Let f = 27236 + -16076. Does 24 divide f?
True
Let z(f) = 18 - 6 - f + 11*f - 51. Does 7 divide z(6)?
True
Let n(y) = 2*y + 3. Let u be n(-20). Let o = u + 41. Suppose -36 = -o*v + 44. Is 19 a factor of v?
False
Let f(o) = -o**2. Let x(n) = n**3 + 4*n**2 + 3*n + 3. Let z(y) = -6*f(y) + x(y). Let h be 42/(-4) + (-6)/(-4). Does 19 divide z(h)?
True
Let o(j) = 2*j**3 - 9*j**2 + 7*j - 12. Let y be o(4). Suppose -8*t + 17*t - 576 = y. Is 16 a factor of t?
True
Let u(d) = d**3 - 23*d**2 + 19*d + 47. Suppose -92 = 12*p - 16*p. Is 22 a factor of u(p)?
True
Suppose -3*h + 5 - 11 = 0, 2*j - 2*h - 16 = 0. Is 32 a factor of (726/9 - j)*12?
True
Suppose t - 3*p + 22 = 0, 3*p + 2*p = -2*t - 22. Let f = 24 - t. Suppose -f = -z + 4*l, -15 + 49 = z - 2*l. Does 6 divide z?
Fals