tor of b(4)?
False
Let q(w) be the second derivative of -7/2*w**2 + 11/12*w**4 + 6*w - 4/3*w**3 + 0. Does 8 divide q(-2)?
False
Suppose 0 = -12*k + 11*k + 4*w + 1865, 2*k + w - 3766 = 0. Is k a multiple of 33?
True
Suppose 0 = 211*z - 207*z - 4128 - 4216. Is 7 a factor of z?
True
Let z(u) = -14*u**2 + 11*u + 112. Let c(p) = 5*p**2 - 4*p - 37. Let f(i) = -11*c(i) - 4*z(i). Let o be (-8 + 10)*(-22)/4. Is 20 a factor of f(o)?
True
Let l = 969 + 3586. Is 34 a factor of l?
False
Suppose -1660 = 8*c - 13*c. Suppose 0 = 6*g - 208 - c. Does 18 divide g?
True
Let n be ((-1)/(-2))/((-1)/(-4)). Let a = n - 6. Does 26 divide 4 + 0/a + (-180)/(-4)?
False
Does 24 divide (4527/(-18))/(2/(-20)) - -3?
False
Suppose 0 = -37*w + 31*w + 22608. Is 45 a factor of w?
False
Let b(i) = 4*i - 43. Let l be b(10). Let t be ((-5)/(-3))/(11/l - -4). Suppose t*p = 282 + 323. Does 9 divide p?
False
Suppose 3*c + 0*d = -2*d + 2822, 4*c - 3768 = -4*d. Let s be -58*(-3 - 15/(-6)). Suppose -s*h = -22*h - c. Is 31 a factor of h?
False
Let j = -194 - -239. Let y = j - -171. Is 36 a factor of y?
True
Let k = -93 + 98. Suppose 30 = 10*z - k*z. Suppose 4*v - 2*h + 138 = z*v, -v = 5*h - 65. Is 14 a factor of v?
True
Suppose -1210 + 5260 = 6*h. Suppose h - 35 = 4*l. Does 3 divide l?
False
Suppose -181*u - 24840 = -186*u. Does 24 divide u?
True
Suppose 0 = 11*q - 6*q - 660. Suppose 0 = 5*u - 3*b - 182, -q - 22 = -5*u - 4*b. Is 13 a factor of (3/2)/(1/u)?
False
Let g = 4531 + 9159. Is g a multiple of 10?
True
Suppose 370946 = 141*w - 267220. Does 62 divide w?
True
Suppose -4*q + 9*k - 10*k + 6125 = 0, -5*q = k - 7655. Is q a multiple of 34?
True
Suppose 4*f + u + u = 0, -5*f - 2 = 3*u. Suppose 7 = o - 4*s + 8*s, f*o - 10 = -4*s. Suppose 0 = 5*k + 2*i - 28, 5*k + 16 = -o*i + 48. Is 3 a factor of k?
False
Let n = -2716 - -4392. Is n a multiple of 11?
False
Suppose -3*x + 5*l + 974 = -4238, 5*l - 5162 = -3*x. Does 19 divide x?
True
Let t(r) = 26*r - 7. Let y be t(2). Is 27 a factor of (-6)/y - (-7294)/30?
True
Suppose -5*u = 3*o - o - 32, 2*u + 4*o - 16 = 0. Let a(l) = -12*l + 18. Let d(x) = -11*x + 17. Let r(k) = 5*a(k) - 6*d(k). Is r(u) a multiple of 8?
True
Let g = 48 - 43. Suppose 0 = f - g - 1. Suppose -13 = f*v - 157. Does 16 divide v?
False
Let i(p) = -p**3 - 6*p**2 + 15*p + 9. Let u be i(-8). Let s(y) = u*y - 30*y + 37 - 5*y. Does 11 divide s(-7)?
False
Suppose 5*s - 212 = -42. Let v = 37 - s. Suppose 0 = v*w - 10*w + 154. Does 11 divide w?
True
Suppose 4*u + 12*u = -10*u + 304590. Is 21 a factor of u?
False
Let g be (-4 + 0 - (-7 + 3))*1. Suppose 3*h = -2*x - x + 489, 0 = 3*x - 3*h - 459. Suppose g = 4*r - 4*a - 606 - x, r + a = 189. Is 19 a factor of r?
True
Let m = -11 - -13. Suppose -z + 6 = m*z. Suppose 0 = -z*b + 80 - 28. Is 11 a factor of b?
False
Let d(b) = -248*b + 3. Let a be d(-1). Suppose -i + a = 4*t, t + 4*i - 74 = -0*i. Let u = -35 + t. Is 13 a factor of u?
False
Suppose 0 = -10*u - 6*u + 2720. Is 10 a factor of (-50 + u)/((2/1)/4)?
True
Suppose 113*k - 87*k + 1040 = 0. Let a = 294 - k. Is a a multiple of 41?
False
Suppose 3*w - 4*r = -r + 5538, 3*r - 5550 = -3*w. Suppose -14*g = -22*g + w. Is g a multiple of 11?
True
Let w(r) = 3*r**2 + 50*r + 35. Let p be w(-16). Suppose g - 3*x = 19, g + g = p*x + 44. Is 5 a factor of g?
True
Let b be 2 + 2 + -1 + -3. Let u be (-37)/(-3)*(2 + (b - -1)). Let i = 48 - u. Is 4 a factor of i?
False
Let o be (1/2 + -2)/(2/(-20)). Suppose o*x - 10*x = 1875. Does 64 divide x?
False
Let p(w) = -49*w - 79. Does 86 divide p(-17)?
False
Suppose 2*k = 4*d - 2, 4*k = d + 27 - 10. Suppose 3*f - 5*g = 117, k*f - 4*g - 104 - 104 = 0. Is f a multiple of 6?
False
Let w be -1*255/(-12) + (-15)/60. Is 38*w/18*3 a multiple of 19?
True
Let y(z) be the first derivative of -77*z**2/2 - 60*z - 122. Does 19 divide y(-5)?
False
Suppose -2*g - 2*g - 1476 = 2*c, g + 2980 = -4*c. Let l = c - -1152. Is 58 a factor of l?
True
Let u(q) = q**2 - 2*q + 37. Suppose -26 = -3*p - d, p + 9 = 3*p - d. Is u(p) a multiple of 6?
True
Suppose 4*b - 40 = -2*t, 0*t + 4*t = -b + 10. Suppose 39 = -0*j + 13*j. Let u = b - j. Does 7 divide u?
True
Let u(d) = -2*d**3 + 5*d**2 - 3*d. Let c be u(3). Let w = -102 + 180. Let m = w + c. Is 20 a factor of m?
True
Let i be 4/10 - 3402/(-70). Let x be ((-4)/(-22) + 81/(-22))*-2. Let j = i - x. Is 7 a factor of j?
True
Suppose 0 = q - 4*u - 8, 20*u - 17*u - 6 = 0. Suppose -4*c + q = 0, 12*r - 16*r = -2*c - 4160. Is 27 a factor of r?
False
Let x = -8 - -12. Suppose j = 5*d + 77, 2*d - 28 = 3*d + x*j. Is 35*2*d/(-20) a multiple of 28?
True
Suppose 3*j = -17 + 26. Suppose j*r = 668 + 277. Does 35 divide r?
True
Suppose o = 4*o + 5*t - 599, -5*o = -3*t - 1055. Let s = -112 + o. Is s a multiple of 3?
True
Suppose -3*s - 2*s + 19146 = 2*t, 4*t - 3840 = -s. Let b = s - 2356. Is 29 a factor of b?
False
Let y(d) = d**2 - 3*d - 10. Let s = -10 + 13. Suppose -5*h = n - 3, -2*n - 24 = -s*h - 2*h. Is y(n) a multiple of 11?
False
Suppose -5*l = -2*j + 14, 5*j = -2*l - 3 + 9. Suppose 0 = -5*w + 5*t + 5, 4*w + 2 = -0*w - 2*t. Suppose -d + 47 = -j*b, w = 5*b + 28 - 3. Does 17 divide d?
False
Suppose -3*b + 48910 = 5*w, -w + 2468 = -7*b - 7314. Is 4 a factor of w?
False
Suppose 5*r - 236 = r. Let l = r - 42. Suppose l + 137 = 2*n. Is n a multiple of 16?
False
Let g(d) = -424*d + 703. Does 6 divide g(-12)?
False
Let k = -339 + 363. Is 39 a factor of k/4*1183/26?
True
Let y(k) = -144*k - 1248. Is 22 a factor of y(-16)?
True
Let q be (-24)/30*((-9)/(-6) - -1). Let d(x) = -x - 1. Let w be d(q). Does 3 divide 30*w + 8 + -11?
True
Let v(z) = -4*z**2 - 10*z - 6. Let m be v(-2). Is 99 a factor of 93*((0 + m)*-3 - 2)?
False
Let x(l) = -21 + 3*l - 270 - 6*l - 14*l. Is x(-41) a multiple of 14?
True
Let o be 576120/420 - ((-12)/21)/2. Suppose -15*b + o = -b. Does 98 divide b?
True
Suppose 810*w - 669456 = 786*w. Is 33 a factor of w?
False
Let s(q) = -1. Let v(t) = -t**2 + 10*t - 8. Let g(y) = -4*s(y) - v(y). Let x be g(8). Does 5 divide 15/20 - 97/x?
True
Suppose 16*w - 1224 = -440. Suppose 0 = -4*m + 955 + w. Is m a multiple of 4?
False
Let a(h) be the first derivative of h**4/4 - 8*h**3/3 + 9*h**2/2 - 5*h + 14. Let u be a(7). Suppose -168 = -11*f + u*f. Is f a multiple of 12?
True
Let d(g) = -10*g - 12. Let r(m) = -29*m - 36. Let i(t) = -8*d(t) + 3*r(t). Let p be i(-8). Let q = 50 + p. Is 25 a factor of q?
False
Let w(o) = -30*o - 13. Let b be w(-1). Let d = b + -15. Suppose 2*v + y - 586 = 0, d*v - 4*y = -0*v + 576. Is v a multiple of 41?
False
Let w be -4 + (126/(-56) - (-2)/8). Let g be (-48)/36 - 2120/w. Suppose 5*f - g = f. Is 22 a factor of f?
True
Suppose 181 = 2*q - 143. Suppose -11*l + q = -2*l. Is 10 a factor of ((-20)/3)/((-6)/l)?
True
Let s(p) = 6*p**2 + 42*p + 33. Let r be s(16). Suppose -3*v + 2*c + r = 0, -v - 3*v = -4*c - 2988. Is v a multiple of 55?
False
Let u = -7609 + 13070. Is 7 a factor of u?
False
Let x = -240 + 377. Let j = 431 - x. Does 7 divide j?
True
Suppose 4*x - 4*u = -120, 43 + 117 = -4*x - 4*u. Let g = 378 - x. Does 23 divide g?
False
Suppose -15*y + 50633 = -75*y + 204293. Is y a multiple of 2?
False
Let g = -248 + 232. Let z(r) = -r**3 - 14*r**2 + 11*r - 67. Is 19 a factor of z(g)?
False
Let h = -54 + 61. Suppose -10*v + 1326 = -h*v. Is v a multiple of 13?
True
Let l(c) = -180*c**2 + 2*c**3 + 93*c**2 + 93*c**2 - 3*c + 4. Let a be l(-8). Let y = a + 884. Is y a multiple of 17?
True
Is 63 a factor of 11340/4*(7 - (-1 + 7)*1)?
True
Let z(o) = 173*o**2 + o - 1. Let b(j) = -5*j**2 + 22*j + 20. Let x(c) = c**2 - c. Let k(i) = b(i) + 4*x(i). Let q be k(19). Does 25 divide z(q)?
False
Suppose 20518 - 2339 = o - 5*c, -5*c + 36253 = 2*o. Is 21 a factor of o?
True
Is (75784065/(-855))/(7/(-3)) a multiple of 152?
False
Let i(n) = -n**3 - n**3 + 1 + 3*n**3 - 7*n + 3*n**2. Is 17 a factor of i(4)?
True
Suppose -2*r + 5*r + 1 = -2*n, -2*n + 2*r = -24. Let d(a) = a**3 - 6*a**2 - 6*a - 5. Let q be d(n). Suppose -q*w + 1204 = 5*w. Is w a multiple of 35?
False
Let l(u) = -12*u**3 + 42*u**2 + 50*u - 71. Let i(x) = -5*x**3 + 21*x**2 + 24*x - 36. Let o(v) = 5*i(v) - 2*l(v). Is o(16) a multiple of 36?
False
Let z be 1041/(-30) - 21/70. Let v(x) = x**3 + 36*x**2 + 30*x - 99. Does 30 divide v(z)?
False
Suppose 5*w + 24701 = s, -215*s + 213*s + 3*w + 49388