ue
Let s(w) = -127*w**2 - 11*w - 1. Let t be s(-2). Let y = -199 - t. Is y a multiple of 24?
True
Let t be 3*1028/12 - 6/2. Suppose -t = -8*p + 186. Is 28 a factor of p?
False
Let i be 3*1*(20/(-12) + 5). Suppose -3*g - g + 20 = -j, 2*g + j - i = 0. Suppose 0 = -2*d - 3*m - 12 + 43, d - 48 = g*m. Is 6 a factor of d?
False
Suppose 5*h + 0*x - 3*x = 30, 2*x = -3*h + 18. Suppose -h*m + 365 + 457 = 0. Let w = 37 + m. Is w a multiple of 29?
True
Let c be -4*(12/(-7) - (-12)/(-42)). Suppose u - 4 = 4*a + 6, -a - 5*u = -c. Is 11 a factor of a/(-9) + 1655/45?
False
Let v(t) = 7*t + 47. Let k = 49 - 40. Is v(k) a multiple of 31?
False
Let a = 73 + -83. Suppose 0 = -4*c + 11 + 37. Does 7 divide 153/c*(-6 - a)?
False
Let n = 27106 + -19374. Is 10 a factor of n?
False
Suppose -3*u - 28143 = -2*z, -147*z + 144*z - 5*u = -42262. Is z a multiple of 57?
True
Suppose 3*z + 740 = 7*z. Suppose 0*h - h = -z. Does 22 divide h?
False
Let a = 566 + -254. Suppose 0 = -5*i - 0*i + 3*q + a, -4*i + 4*q = -256. Does 30 divide i?
True
Suppose -4*b + 4 = -3*p, -5*b + 1 = -3*p - 7. Suppose 0 = -p*u - 0*u + 1172. Suppose 0*n - 5*t = -4*n + u, 0 = 2*n + t - 143. Does 36 divide n?
True
Let m be -3 - (0 - (7 - 1)). Does 37 divide 3 + 364 - (m/(-1) - 0)?
True
Let c be (-64)/(-40)*(-5)/(-2). Suppose -2*y - u = -351, u + 168 = c*y - 3*y. Is 19 a factor of y?
False
Suppose -5*c - 3*m + 6*m + 546 = 0, -3*m - 6 = 0. Let b = c - 108. Suppose -2*q = b, 5*v + 2*q - 82 = 218. Is v a multiple of 44?
False
Suppose -10*i + 153 - 2305 = -3*p, 0 = -3*p + 4*i + 2128. Is p a multiple of 16?
True
Let v(y) = -y**2 - 4*y - 6. Let b(f) = f. Let m(o) = -5*b(o) + v(o). Let u be m(-8). Suppose -u*n = 2*n - 276. Is 23 a factor of n?
True
Suppose -x - 2*p = -0*x + 12, -x - 4*p = 22. Let y be (-7)/4 - (-1)/(-4) - x. Suppose 0 = 5*h - y*h - 65. Does 9 divide h?
False
Let o(t) = -4*t - 55. Let p be o(-17). Suppose p*x - 4117 = 2903. Is 10 a factor of x?
True
Let u(p) = p - 9. Suppose 0*h = -k - 5*h, 0 = 4*k - 4*h - 24. Let t be u(k). Let v(m) = -m**3 + m**2 + 8*m + 4. Is v(t) a multiple of 13?
True
Let s(i) = 33*i**2 - 24*i - 216. Is 33 a factor of s(-9)?
True
Let m(n) = -n + 10. Let f be m(5). Suppose o - 399 = -3*t, t + 1636 = 4*o + f*t. Is o a multiple of 14?
False
Let u = -173 - -232. Suppose 0 = j + u - 361. Does 20 divide j?
False
Let q = -17285 + 18575. Is q a multiple of 15?
True
Suppose 2*o = -d + 28, -19*o + 22*o = -2*d + 54. Is 4 a factor of -1*(d/60)/(1/(-10))?
True
Let r = 472 + 64. Suppose 192 = 4*n - 3*p - r, 4*p = -2*n + 342. Is n a multiple of 16?
False
Let n be (-951)/(-12) - (11/(-4) - -2). Suppose 0 = 4*s - 5*m - n, -m - 4*m - 35 = -s. Is 15 a factor of s?
True
Let q(t) = -1116*t - 1426. Is q(-9) a multiple of 14?
False
Let w = 30845 + 12381. Is 29 a factor of w?
False
Let m = 12293 - 5205. Is m a multiple of 8?
True
Suppose w = 4*l + 29551, -w + 88629 = 2*w - 4*l. Is w a multiple of 59?
False
Let v(p) = 3598*p - 10364. Does 6 divide v(5)?
True
Suppose -7*w + 72 = -26. Suppose 5*d - 3*p - 27 = 0, -p = 4*d - w + 6. Suppose d*m - 318 = -4*z, 0*z + 3*z - 232 = m. Is z a multiple of 6?
True
Let h be 667 - 0/(6/(-9)*6). Let r = 757 - h. Is 5 a factor of r?
True
Suppose 44471 + 30900 = 29*w. Does 51 divide w?
False
Suppose 7*o - 2*o - 305 = 0. Suppose 2*p + o = 143. Suppose t - p = -0*t. Does 17 divide t?
False
Suppose 0 = 3*u - 15, -7*u = 4*b - 2*u + 32775. Is 4*(-3)/78 + b/(-65) a multiple of 15?
False
Let t = 2228 + 4328. Does 99 divide t?
False
Suppose 5*x - 10953 = q, 96*x - 10961 = 91*x - 3*q. Is 24 a factor of x?
False
Let v(z) = -3*z**3 - 2*z**2 - z + 6. Suppose 5*k - 452 + 142 = 0. Let i = k + -65. Is 12 a factor of v(i)?
True
Let n(t) = 33*t + 43. Is 2 a factor of n(5)?
True
Suppose -12*k + 84 = -16*k. Let r = -1 - k. Suppose 5*b - 3*s - 210 = 0, 5*s - r = s. Does 9 divide b?
True
Let n(g) = -2*g**3 - 3*g**2 + 5*g - 5. Is 6 a factor of n(-6)?
False
Let v be -3 + (-6)/9*-12. Suppose 5*s = 27 - 7, v*g - 2*s - 132 = 0. Suppose t + 3*r - 7*r - g = 0, 0 = -2*t + 3*r + 41. Is 16 a factor of t?
True
Suppose 12 + 31 = t. Let b be (-21)/6*4/7. Let l = t + b. Is 26 a factor of l?
False
Suppose 22*q + 10809 = 103473. Is 13 a factor of q?
True
Let b be -15*(-4)/(-7)*21/18. Let c be ((-4)/b)/(4/20). Suppose d - 1201 = -5*x, -3*x - c*d = d - 723. Is x a multiple of 30?
True
Let o(m) = m**3 - 6*m**2 - m + 8. Let x be o(2). Does 6 divide -2*(-35)/x + 49?
True
Let x(w) be the third derivative of -w**5/60 + 2*w**4 + 5*w**3/6 + 2*w**2 - 51. Does 20 divide x(33)?
True
Let x = -501 - -594. Suppose a - 43 = x. Is 17 a factor of a?
True
Let s(n) = n**3 - 7*n**2 - 11*n + 17. Let f be (0 + (-6)/(-8))/((-67)/(-268)). Let z = 6 + f. Is s(z) a multiple of 20?
True
Let s = 227 - 159. Let r = 116 - s. Suppose -2*n = n - r. Does 8 divide n?
True
Suppose 7*w = -4*j + 4*w + 5, -3*j = 3*w - 3. Suppose 3*f + 2*x + j*x = 518, 0 = -4*x - 4. Is 87 a factor of f?
True
Let i(z) = 683*z - 174. Let p be i(6). Suppose l - p = -4*o, -2*o + 4*l + 1976 = l. Is 11 a factor of o?
False
Let i = -35 - -30. Let g be (528/(-30))/((-1)/i). Let w = 126 + g. Is 9 a factor of w?
False
Suppose c + 2112 = b - 15462, -5*c + 15 = 0. Is 63 a factor of b?
True
Let h(s) = 154*s**2 - 125*s + 839. Does 5 divide h(7)?
True
Let v = -51 + 53. Suppose 0 = -v*t + 10, f + 2*f + t - 11 = 0. Suppose -i + 10 + 11 = 2*c, -4*i + 64 = -f*c. Is 2 a factor of i?
False
Let o = 62 + -58. Suppose o*j = -y + 644, -j = -y + 4*y - 150. Let p = j - 103. Is 10 a factor of p?
False
Suppose -23*t - 13745 = -c - 18*t, 5*t - 68815 = -5*c. Is c a multiple of 43?
True
Suppose -12 = 5*y + 8, 0 = -5*o - 2*y + 368152. Does 52 divide o?
True
Let u = -3404 + 3321. Let g = 113 + 60. Let w = u + g. Does 18 divide w?
True
Suppose -49660*d + 49670*d = 90000. Is 300 a factor of d?
True
Suppose -792 = -0*b - 5*b + 2*a, -b + 176 = 4*a. Suppose 1010 + b = 18*t. Is 2 a factor of t?
False
Is 16/((9/(-84))/((-11)/((-132)/(-162)))) a multiple of 18?
True
Let v(u) = 9*u - 10. Let t(k) = 5*k - 5. Let b(x) = 5*t(x) - 2*v(x). Let c(j) = -8*j + 4. Let m(r) = 5*b(r) + 4*c(r). Does 3 divide m(7)?
True
Suppose 2*m + 152 = f - 3*f, 0 = -2*f - 3*m - 153. Does 13 divide 4288/10 + (-15)/f?
True
Let h(v) = v**3 + 11*v**2 + 3*v + 25. Let r be h(-11). Let y = 201 - r. Suppose 5*z - y = 526. Is z a multiple of 7?
True
Suppose -22 = 3*h + 2*u, -2*h = 2*h - 2*u + 34. Let i be (-7194)/(-9) + h/6. Suppose 3*q + i = 9*q. Is q a multiple of 14?
False
Suppose -s - s + 52 = 0. Let b(z) = 8*z**3 + 3*z**2 - z - 1. Let i be b(1). Let x = s - i. Does 6 divide x?
False
Suppose 60*z - 64*z - 5 = -r, 9 = -5*r + 3*z. Is ((-68)/r)/((-28)/(-714)) a multiple of 17?
True
Suppose -310 = 18*h - 23*h. Suppose -v + 22 = -h. Is v a multiple of 4?
True
Suppose 0 = -3*g, -2*g - 3 = -2*b + 5. Let j(w) = 86*w + 11. Let z be j(b). Let q = z + -247. Is q a multiple of 9?
True
Let s = 52318 - 36400. Is 7 a factor of s?
True
Let u be ((-22)/99*3)/((-2)/(-213)). Let z = 146 + u. Is z a multiple of 54?
False
Let d be (-546)/(-65)*290/4. Let n = -186 + d. Is n a multiple of 9?
True
Let x = 232 - 198. Suppose 0 = -39*r + x*r + 5500. Is 11 a factor of r?
True
Let j(s) = s**3 + 21*s**2 - 21*s + 24. Let q be j(-22). Suppose -4*u = -2*u - d - 37, 17 = u - q*d. Is 6 a factor of u?
False
Let a(h) = 2*h**2 - 30*h + 12. Suppose 7*p = 14 + 105. Let r(t) = t**2 - 18*t + 32. Let l be r(p). Is 3 a factor of a(l)?
True
Let u = -16 - -20. Suppose 1834 = -4*l + 2*j, -l = 4*l + u*j + 2299. Let v = -267 - l. Does 16 divide v?
True
Let a(g) = -9*g + 40. Let k be a(5). Let p = k + 3. Is (-250)/p*((-12)/4 - -4) a multiple of 25?
True
Let j(t) = t**3 - 4*t**2 - 4*t - 3. Let f be 1*12/(-8)*70/(-21). Let p be j(f). Suppose -p*r - 143 = -2*y - 35, 5*r = 2*y - 105. Is y a multiple of 12?
False
Let v(o) = 62*o**2 - o - 3. Let t be (-10)/4*128/320. Does 12 divide v(t)?
True
Let q be 88/(-20) + 4 + 446/(-10). Let u = -42 - q. Suppose 147 = 5*y + u*x, -2*y + 3*x = -53 - 10. Is y a multiple of 5?
True
Suppose 6*u - 25260 = -14*u. Suppose 0 = -3*a + u + 1398. Is a a multiple of 10?
False
Let g(c) = 2806*c - 6788. Does 76 divide g(3)?
False
Let t(q) = q**3 + 28*q**2 + 35*q + 161. Let d be ((21/2)/7)/(33/(-572)). Does 58 divide t(d)?
False
Let j(k) = 25 - k**2 + 5*k**2 