1761 = 1100, -2*g - 5*t = -1139. Suppose 0 = -8*r + 9*r - g. Does 26 divide r?
True
Suppose 0 = 2*d - g + 741 - 2233, -d + 2*g + 749 = 0. Is 149 a factor of d?
True
Suppose -36954 - 582 = -24*b. Let w = -934 + b. Is w a multiple of 21?
True
Suppose -2*c - 1672 = -4*w, -5*w - 3131*c + 2081 = -3129*c. Does 2 divide w?
False
Let n = 10561 + -5577. Is 89 a factor of n?
True
Suppose 292 - 1148 = -2*a. Does 107 divide a?
True
Suppose i + f - 2 = 0, 4*i + 4*f = 6*f - 16. Let q be ((-4)/(-8)*i)/((-2)/186). Let c = 244 - q. Does 21 divide c?
False
Let w = 134 - 139. Let b(m) = -3*m**3 + m**2 + 9*m - 4. Is 39 a factor of b(w)?
True
Let u(m) = -m**3 + 4*m**2 - 2*m + 2. Let o be u(4). Is 41 a factor of ((-164)/o)/(1 - 5/6)?
True
Let u be 10/(-3)*(1350/(-12))/(-5). Let h = u - -105. Is 25 a factor of h?
False
Suppose -2*w + 19615 = -3*a + 91594, w - 120004 = -5*a. Is 103 a factor of a?
True
Is 388410/(-275)*25/(-3) a multiple of 36?
False
Suppose -589 = -5*p - 69. Is 39 a factor of 16/p - 830/(-13)?
False
Let v(n) = -n**2 + 40*n + 12. Let r be v(14). Suppose -4*x + 2*m + 714 = 0, r = -4*x + 3*m + 1087. Is 30 a factor of x?
True
Let u(r) = -r**2 - 29*r - 62. Let d(h) = -h**3 + 19*h**2 - 16*h - 17. Let c be d(18). Let p = 0 - c. Does 8 divide u(p)?
True
Is 7 a factor of 1258*(4 + (-98)/28)?
False
Let r = 258 - 240. Let a = 850 + r. Is a a multiple of 9?
False
Let x(z) = -27 - z**2 + 9*z + 18*z - 22 + 3. Let a be x(9). Suppose -8*m = -a - 52. Is m a multiple of 17?
False
Suppose -5*f + 2*c + 22149 = 0, 5*f - 5*c = -0*c + 22155. Is f a multiple of 155?
False
Let u(p) = -43 - 65*p - 78 + 89 - 44. Is 23 a factor of u(-4)?
True
Suppose -70*j + 66*j + 3144 = 0. Suppose 4*n + j = 7*n. Is n a multiple of 5?
False
Let c(d) be the second derivative of 0 + 3/2*d**2 + 4*d - 1/2*d**3 + 1/6*d**4. Does 4 divide c(3)?
True
Let f be 0 + -3 + (8 - -1). Suppose f*u + 199 = -401. Let a = u + 207. Does 12 divide a?
False
Suppose 4*n = 29*f - 27*f - 19968, -3*n + 29916 = 3*f. Is 58 a factor of f?
True
Suppose -5*q = -3*a - 150, 0 = q - 3*a + 32 - 74. Suppose -q*p + 3420 = -7*p. Does 19 divide p?
True
Suppose 2609 - 10134 = -175*z. Does 25 divide z?
False
Let a(v) = v. Let d(n) = -38*n + 1. Let x(t) = 6*a(t) + d(t). Let q(s) = 128*s - 4. Let k(o) = -4*q(o) - 18*x(o). Is k(3) a multiple of 19?
True
Suppose -4*r = 2*v - 8*r - 46, 4 = r. Suppose -v*y + 278 + 280 = 0. Is 9 a factor of y?
True
Let i be 54/162 + (-40)/(-6) + -1. Suppose 5*a = 5, 5*j + 5*a = i*j + 8. Does 7 divide (-9)/(-15) - j/(60/1888)?
False
Is 20/6*(-3410256)/(-920) a multiple of 4?
True
Suppose -x = -20*j + 19*j + 647, -3*x = -5*j + 3227. Is j a multiple of 26?
False
Suppose 21 = 3*o + 3*n, 0 = 13*o - 10*o + n - 17. Suppose -o*x + 6400 = 2405. Does 21 divide x?
False
Suppose -9*a = -11*a + 12. Suppose 0 = 8*k - a*k - 6. Suppose -3*c = k*n - 5*c - 70, n + 3*c = 16. Is n a multiple of 10?
False
Let k = 20545 - 8289. Does 66 divide k?
False
Suppose 0 = -2*t - t - c + 115, -2*c + 119 = 3*t. Suppose t*b - 33*b = 12. Suppose -5*p - 134 = -b*l, -6*l + 4*l = 5*p - 56. Is 5 a factor of l?
False
Let b = -25 - -24. Let k(s) = -28*s - 12. Is k(b) a multiple of 8?
True
Suppose 149 = o - 54. Is o a multiple of 65?
False
Let m(d) = 4*d**3 - 26*d**2 + 37*d - 118. Does 131 divide m(17)?
False
Suppose -187356 = -47*c + 262857. Is c a multiple of 16?
False
Let u = 457 - 160. Suppose 4*f + n - 754 - u = 0, 2*f - 533 = -3*n. Does 6 divide f?
False
Suppose -b = -3*z + 632, -2*b - 3*b = 3*z - 602. Let k = z + -85. Is k a multiple of 18?
False
Let l(h) = -67*h - 199. Let a be l(-3). Suppose 4*g - a*c - 2225 = -g, 0 = 2*g - c - 890. Does 26 divide g?
False
Let y(s) be the third derivative of -1/60*s**5 + 14*s**2 + 11/6*s**3 + 0*s - 25/24*s**4 + 0. Is 25 a factor of y(-13)?
False
Is 3 a factor of 48*1*(-40)/(-30) + 6?
False
Suppose 4*l = 20, 39316 = 3*r + 12*l - 13*l. Is r a multiple of 5?
False
Let y = -924 + 2004. Does 45 divide y?
True
Suppose -o = -3*c + 38021, 10*c + 4*o + 25334 = 12*c. Is c a multiple of 39?
True
Let t be 8/(-14) + (-143)/(-91). Let j be -1 + (-3)/(t*3/(-3)). Suppose j*b - 450 = -0*b. Is 25 a factor of b?
True
Suppose k + 10 = -3*i, -5*k + i + 0*i = -14. Suppose o + 5 = -k*n - 0, -o = n. Suppose o*b - 2*z = 990, -b + 221 = -0*b - 5*z. Is 14 a factor of b?
True
Let p = -4268 - -38900. Does 13 divide p?
True
Suppose -4*x - 375 = 737. Let p = 409 + -405. Is -3 - -1 - (p + x) a multiple of 34?
True
Suppose -l + 7*s + 52 = 5*s, -4*l - 5*s = -260. Suppose i - 3*i + 210 = 0. Let c = i - l. Is 5 a factor of c?
True
Let z(s) = -25*s + 19. Let v be -3 + 9/18 + (-10)/4. Is z(v) a multiple of 24?
True
Is 11 a factor of ((-848)/(-3))/(94/1551)?
True
Let n be (6/8)/((-3672)/736 - -5). Is 3 a factor of n/46*(-376)/(-6)?
False
Let x = 75 - 45. Suppose -4*w - 18 + x = 0. Suppose 2*g = w*g - 120. Is g a multiple of 14?
False
Suppose 0 = -5*k + 12 + 8. Let q be (2/(-2))/(0 - k/24). Suppose 2*p - 4*v = 216, q*p - 2*p + 3*v - 443 = 0. Is p a multiple of 22?
True
Suppose -10*d + 31*d = 20*d. Suppose -3*a + z - 186 + 1530 = d, -2*a = 2*z - 896. Is 27 a factor of a?
False
Suppose 0 = 4*j + n + 1103, -3*j - 820 = 2*n + 6. Let u = j + 480. Is u a multiple of 12?
True
Is 6 a factor of (9 - (-24)/160*-65)/((-3)/67896)?
True
Let r(t) = -7*t**2 - 11*t - 14. Let l(o) = o**2 - o + 1. Let w(x) = 5*l(x) + r(x). Let a be w(-7). Does 15 divide a + -1 - 64/(-1)?
False
Is ((-68632)/(-3730))/((-2)/(-3805)) a multiple of 46?
True
Suppose -8*s + 126 = -58. Suppose -4*b + 2*a + s = -3, -4*b - 5*a - 9 = 0. Suppose -t + 0*n = -n - 29, -b*t + 113 = -3*n. Is 5 a factor of t?
False
Is (-1)/(-2) - -1 - (68730/(-20) - 27) a multiple of 77?
True
Suppose -8*c + 85995 = -3*c + 5*i, -14*c - 2*i = -240846. Does 11 divide c?
True
Let g = 57 - -62. Suppose -4*m + g = -341. Is m a multiple of 12?
False
Suppose 6233 + 10 = 176*z - 173*z. Does 23 divide z?
False
Let j be 3 - (136/(-4) + -2). Let u = j + -92. Let d = u + 127. Is d a multiple of 11?
False
Suppose -2*u + 7*u = 0. Let n = 971 - 874. Suppose 4*q - n - 95 = u. Is q a multiple of 16?
True
Let z(x) = x**2 + 38*x + 72. Let v be z(-35). Is (v/(-22))/(3/576) a multiple of 12?
True
Let z = -9125 - -27113. Does 12 divide z?
True
Suppose -r + 4*r = 216. Let u = r + 42. Does 19 divide u?
True
Suppose 0 = -3*s - 2*t + 1083, 7*t - 3*t + 738 = 2*s. Suppose 0 = 352*m - s*m + 7183. Does 23 divide m?
False
Suppose -5*u + i - 11 = 0, 5*u + i + 17 = -2. Let s(q) = 66 - 4*q - 56 - 9*q - 4*q. Is s(u) a multiple of 17?
False
Let o(v) = v**2 + 2*v - 12. Let p be o(-5). Suppose 2*w - 210 + 10 = -2*a, -w + 102 = p*a. Does 9 divide w?
True
Suppose 40*r = 71*r - 42*r + 17963. Is r a multiple of 43?
False
Suppose -276*m + 271*m + 2*i = -902, -4*m - 4*i + 716 = 0. Is m a multiple of 36?
True
Let m(w) = -w**3 - 10*w**2 - 16*w. Let o be m(-2). Suppose o = -8*y + 3*y + 4*g + 2115, 3*y = -3*g + 1269. Is 3 a factor of y?
True
Let a = -461 - -291. Does 15 divide 1 + (-3350)/(-14) + a/595?
True
Suppose -40*g + 40290 = -25*g. Is g a multiple of 14?
False
Let y(o) = 49*o**2 - 11*o + 20. Let l be y(4). Suppose -115*b - l = -123*b. Is 5 a factor of b?
True
Let s = 46 + -42. Let t = s - 47. Let d = t + 108. Is d a multiple of 15?
False
Suppose 0 = -26*x + 31*x - 20, 0 = -5*q - 3*x + 12547. Does 23 divide q?
True
Suppose 0 = -4*j + 2*g - 556, 2*j + g = j - 133. Let w = -114 - j. Suppose -w*l = -18*l - 990. Is 33 a factor of l?
True
Let a = -47 - -44. Suppose -5*n - 46 = -2*u + 20, 0 = 3*n. Is ((-2)/1 - a) + u a multiple of 8?
False
Suppose 0 = 2*c + 2, -3*d + c = -8*d + 25644. Is d a multiple of 20?
False
Let h be -3 - (4/(-30) + 108978/(-90)). Let l = h - 851. Is 17 a factor of l?
True
Let b(f) = -2*f**2 - 3*f + 3360. Let k be b(0). Suppose 6*w = 27*w - k. Is 13 a factor of w?
False
Let q(p) = -p + 6. Let y be q(4). Suppose -y*o - 33 = -39. Is 27 a factor of (128 - -1) + o + 3?
True
Let g = -16 + 40. Let a = 171 - 27. Suppose a = 6*v - g. Does 22 divide v?
False
Let j be (-3 - (-6)/27) + (-30)/135. Does 44 divide (243 + -1)*(j + 5)?
True
Let o = -2137 + 2872. Does 21 divide o?
True
Let v(b) = 60*b**3 + 4*b**2 - 9*b + 13. Does 18 divide v(4)?
False
Let g(m) = -4153*m - 165. Is g(-6) a multiple of 11?
False
Does 60 divide ((-1650)/(-12))/11*4128/20?
