Let w be u(-5). Let n = w + -22. Is 10 a factor of n?
True
Let r(b) = b**3 - 26*b**2 + 1036. Is 42 a factor of r(28)?
True
Let p(d) = d**3 - 76*d**2 - 73*d - 164. Is 49 a factor of p(78)?
False
Suppose -875 = -2*i + 10*i - 3395. Is 3 a factor of i?
True
Suppose -2*n + 5*n = 4269. Let p = n - 849. Is 37 a factor of p?
False
Let q(g) = -520*g**3 + 2*g**2 + 2*g. Let l be q(-1). Let h = 739 - l. Is 11 a factor of h?
False
Let j = -3 - -5. Suppose 3*s + 2*q = -255, j*q - 3*q - 335 = 4*s. Let a = 117 + s. Is 34 a factor of a?
True
Let c = 4 - 1. Let z be (2*c/(-5))/((-3)/10). Suppose 0*n + z*n - 112 = 0. Is n a multiple of 28?
True
Let c(i) = 3059*i + 2883. Is c(3) a multiple of 134?
True
Let z = -400 + 399. Is 692 + 2 - (13/z - -10) a multiple of 17?
True
Suppose 0 = -8*z + 10*z - 30. Let j(g) = 2*g - 31. Let k be j(z). Let m(v) = 80*v**2 + 4*v + 2. Is 13 a factor of m(k)?
True
Let r(f) = 10*f - 134. Let a be r(21). Suppose 86*w = a*w + 6480. Is 16 a factor of w?
False
Let f(l) = -57*l + 8213. Does 24 divide f(77)?
False
Suppose -5*t - 5*p + 1585 = 0, -t + 218 = -3*p - 99. Let y = -44 + t. Is 13 a factor of y?
True
Suppose 0 = 158*i - 162*i - 1064. Let f = 343 - i. Is f a multiple of 18?
False
Let d = 2808 - 1850. Let l = 22 - -2. Is 8 a factor of d/12 - (-4)/l?
True
Let v = 5552 - 2276. Does 14 divide v?
True
Suppose -151773 = -172*b + 48*b + 1495939. Does 11 divide b?
True
Let n(z) = 3 - 8 - 2 - 16*z. Let m be n(-2). Does 18 divide 1/(4/3)*(95 + m)?
True
Suppose f - 11*d + 12*d - 2745 = 0, 5*d - 2725 = -f. Is f a multiple of 9?
False
Suppose -553 = -3*y + 41. Suppose -93*i + 92*i = -y. Is 6 a factor of i?
True
Suppose -23*b - 12*b + 49*b - 64022 = 0. Does 23 divide b?
False
Let y(x) = x**3 - 5*x**2 + 6*x - 2. Let i be y(3). Does 16 divide (-12)/i*(-1070)/(-20)?
False
Suppose 55 = 9*o - 53. Suppose -o*f = -10 - 14. Suppose -121 = -4*t + f*u + 3*u, -5*t + 2*u = -130. Is t a multiple of 12?
True
Let q(w) = 7*w**2 + 3*w + 19. Let b be q(9). Let s = 891 - b. Suppose -98 = 5*y - s. Is y a multiple of 9?
True
Let n = 2358 - 1520. Suppose 141 - n = 17*w. Let h = 374 + w. Does 30 divide h?
False
Suppose 356712 - 66179 = 118*u - 274569. Does 22 divide u?
False
Let y = -171 + 167. Let r = 46 + y. Is 14 a factor of r?
True
Suppose -2*u + 4*v - 10 = 0, v - 13 = -2*u + 2. Suppose 0 = u*b - 2*d - 740, b = 3*d - 7*d + 170. Is b a multiple of 44?
False
Suppose o - 2*f = 5046, -4*o - 6906 + 27075 = -3*f. Is o a multiple of 9?
True
Let b = -84 + 82. Is b + (138 - -1) + 0 + -4 a multiple of 29?
False
Is 12 a factor of 2/13 - (3788925/(-273) - -14)?
False
Let j = 386 - 384. Is 6 + 74 + -4 + (2 - j) a multiple of 19?
True
Let m = -188 - -189. Is ((-2184)/(-98))/(3/21*m) a multiple of 3?
True
Suppose -174080 + 8084 = -58*q. Does 140 divide q?
False
Let p = -72 + 52. Let l(t) = -t**3 - 21*t**2 - 34*t - 28. Does 12 divide l(p)?
True
Let h = 367 + -218. Let k be ((-259)/4)/(-4 + (-90)/(-24)). Let g = k - h. Does 15 divide g?
False
Let d = 347 - 340. Let l(n) = -n**3 + 12*n**2 - 21*n - 3. Is l(d) a multiple of 14?
False
Let g = 727 + -718. Suppose 42*m - g*m = 58344. Is m a multiple of 52?
True
Suppose 5*g = 4*g + 8. Suppose 0 = 4*u - g*u + 192. Is u a multiple of 14?
False
Suppose -5*g + 67386 = 4*q - 17626, -4*q + 68008 = 4*g. Does 10 divide g?
False
Let s(p) = 3*p + 11. Suppose 0 = -0*i + 24*i - 288. Does 2 divide s(i)?
False
Let p be (1 + 30/4)/(1/204). Let v = p - 835. Does 31 divide v?
True
Suppose 0 = -p - 4*d - 32, 4*p + 5*d + 153 = -8. Let b = p - -44. Suppose 4*q - 4*j = 284, b*q - q = -4*j - 80. Is q a multiple of 17?
True
Let c = -89 - -45. Suppose -5*u + 775 = 4*h + 155, 0 = h - 4*u - 176. Let n = c + h. Is n a multiple of 58?
True
Is 9 a factor of 22/((-660)/21105)*-18?
True
Let f be (-6)/(-8) + 6/(-24)*-9. Suppose -x - 342 = -2*u + u, -2*u + f*x = -687. Is u a multiple of 11?
False
Let a = -14293 + 26092. Does 39 divide a?
False
Let j = -150 + 263. Suppose j - 1053 = -5*b. Is 14 a factor of b?
False
Let g = 1364 - 503. Let a = g + -297. Is a a multiple of 15?
False
Does 32 divide (-192)/(-15)*(-69890)/(-116)?
True
Suppose 26 = -8*p - 22. Let g(b) = 7*b**2 - 7*b - 15. Let r be g(p). Does 3 divide (-13)/(-104) - r/(-8)?
False
Let m(k) = -4*k - 18. Let q be m(-9). Suppose 14*h - q*h + 564 = 0. Is (-3)/(h/(-33) + 4) a multiple of 3?
False
Let w = 35476 + -8546. Is 9 a factor of w?
False
Suppose q - 1580 = 3*c + 2*c, 0 = -3*q - 3*c + 4668. Does 13 divide q?
True
Let h = -169 + 172. Suppose 3*r + q - 517 = 0, h*r + 2*q - 356 = 159. Does 17 divide r?
False
Suppose 32*n - 112*n - 13*n + 32550 = 0. Does 70 divide n?
True
Let v be (4 + -8)*15*(-47)/(-4). Let i be 2/((-1)/5 + (-111)/v). Let y = -7 - i. Is y a multiple of 8?
True
Let k(x) = -6 - 3*x**2 + x + 9*x**2 + 0 + 1. Suppose 36 = -4*c - 2*c. Is k(c) a multiple of 46?
False
Let d = -111 - -113. Suppose 4*x + f - 241 = 0, -5*f - 118 = -d*x - 3*f. Suppose w = x + 45. Is w a multiple of 15?
True
Suppose 3*j = 4*p + 17344, 4*j - 2*p + 1729 - 24841 = 0. Does 152 divide j?
True
Let w = -1150 + 768. Let u = w - -802. Is 14 a factor of u?
True
Let o(w) = -5*w - 37. Let z be (-1)/7*-2 + (-141)/(-21). Suppose 0 = z*i - 2*i + 80. Is 43 a factor of o(i)?
True
Suppose -33*l = -28*l - 105. Let z = 83 + l. Suppose -38 = -2*c - 2*v, 2*c = -3*c - 2*v + z. Is 9 a factor of c?
False
Let q(g) = -g**2 + 2*g - 1. Let o(y) = 4*y**2 - 3*y + 12. Let z(r) = -o(r) - 6*q(r). Does 23 divide z(-6)?
False
Suppose 0 = 49*l - 53*l - 3*f + 96708, 4*f - 24190 = -l. Is l a multiple of 158?
True
Let k(c) = -c**3 - 21*c**2 - 37*c + 22. Let x be k(-19). Suppose 0 = -x*s - 9*h + 5*h + 263, -2*h + 89 = s. Is s a multiple of 5?
True
Suppose -15*f + 41676 = -1134. Suppose 4*z + 1226 = 2*t - f, z = 0. Is t a multiple of 34?
True
Suppose 5*x - 3*k = 2*k + 26125, 4*x + k - 20870 = 0. Is x a multiple of 17?
True
Let g be -41498*3/(-54) + 204/(-459). Suppose 204*i + g = 209*i. Does 10 divide i?
False
Suppose -5*j - 48 = -8*j. Let h(p) = -p**2 + 26*p + 18. Let n be h(18). Suppose -j*o = -13*o - n. Is o a multiple of 9?
True
Let d be (-3)/(-2)*910/15. Is 19 a factor of -1*4/(-2) + d?
False
Suppose 0 = 13*y - 9*y - 12. Suppose y*b - 1316 = -5*q - 421, q - 166 = 2*b. Is 22 a factor of q?
True
Suppose 5*x + 5*c = -0*x + 47665, -4*x = -4*c - 38076. Does 7 divide x?
False
Let j(r) = r**3 + 8*r**2 + 7*r - 13. Let y be j(-7). Let n = 354 - y. Suppose 0 = 5*k - 33 - n. Is 20 a factor of k?
True
Let t(q) be the first derivative of -1/4*q**4 + 44*q - 9 + 23/2*q**2 + 22/3*q**3. Does 14 divide t(23)?
False
Suppose -10*r = 10*r - 700. Suppose -9863 + 2303 = -r*w. Does 36 divide w?
True
Let t(z) = -z**3 + 39*z**2 - 71*z - 75. Let n be t(37). Suppose 223 + n = 7*b. Does 2 divide b?
False
Let s(g) = 16*g**2 + 6*g + 50. Let x be s(-6). Suppose -4*c - 2*p = -7*p - 2297, -c - 4*p = -x. Does 51 divide c?
False
Suppose 203 = -7*i - 413. Let f be 44 - 4 - 4 - 4. Let v = f - i. Does 12 divide v?
True
Suppose -5*i - 2*w + 31562 = -2180, 5*i - 33737 = 3*w. Is 10 a factor of i?
False
Suppose 4*o = 4*t + 28, -1 = -3*o - 2*t - 0*t. Suppose 4*c + 6 + 139 = w, -o*c = -4*w + 541. Suppose 0 = 2*i - w - 119. Does 18 divide i?
True
Let j(o) = 6*o**2 + 2*o + 1. Let t be j(3). Suppose 4*i - 59 = 3*u, 0*i + 112 = -4*u - 3*i. Let c = u + t. Is c a multiple of 6?
True
Let c = 16473 - 15868. Does 27 divide c?
False
Let f = 160 + -157. Suppose 2*a + d = 589, 3*d - 779 = -f*a + 97. Is a a multiple of 43?
False
Let m be (2 - 7) + 2 + (-450)/6. Is m/(-24)*14*6 - 3 a multiple of 10?
True
Let a(b) = -179*b - 182. Let w be a(-5). Let u = w - 403. Is 78 a factor of u?
False
Suppose -9*r = 19*r - 84. Is (-54210)/(-60) - r/2 a multiple of 82?
True
Let v = 19 - 46. Is v/2*(-2 + -2) a multiple of 9?
True
Let s be (-7*((-190)/35 + 4))/(-2). Suppose -w - 5*y + 8 = -2*w, 0 = -4*w + 2*y - 14. Is 11 a factor of w/15 + (-166)/s?
True
Is (314 - 37 - 17)*97/2 a multiple of 13?
True
Suppose -9*d + 68 = 23. Suppose -d*i + i = 3*b - 296, -4*b = -2*i + 126. Is i a multiple of 6?
False
Let y(x) = 2*x**2 - 3*x + 7. Let l be y(3). Let u(q) = 45*q - l - 1 - 11*q. Does 14 divide u(5)?
False
Let p be ((-4)/(-5))/(1/5). Suppose -3*g + 2*h = -12, -1 - 1 = -p*g - 2*h. Suppose -g*k - 330 = -x - 4*x, x - 48 = 4*k. Is 19 a factor of