 3*s - 92 = -2*a. Suppose -z - 7*g + 5*g = -a, -3*g + 208 = 4*z. Is 3 a factor of z?
False
Suppose -16*x = 2*p - 17*x + 329, -5*x = -25. Suppose 2*g + 0*g = 544. Let j = g + p. Does 22 divide j?
True
Let m = 88 - 15. Let l = m + 17. Is l a multiple of 9?
True
Let s = 1366 + -835. Is s a multiple of 14?
False
Let z(u) be the third derivative of -17*u**5/120 - 5*u**4/12 + 19*u**3/3 - 38*u**2. Let p(j) be the first derivative of z(j). Is 2 a factor of p(-2)?
True
Let l = -73 + 75. Suppose h + 20 = i, 7 = -l*i + 3*h + 51. Is i even?
True
Let d(i) = -1904*i - 4500. Does 12 divide d(-15)?
True
Does 42 divide 32*18/21*(-25)/((-75)/2646)?
True
Let n = 60 - 49. Let v = n - 8. Suppose 0*d = v*d - 360. Is 24 a factor of d?
True
Suppose 0 = -s + y + 9301 - 209, -4*y - 9077 = -s. Is 24 a factor of s?
False
Suppose -5*s + 98 = 93. Is 21 a factor of 16*(18 - (-2)/(-8*s))?
False
Suppose -757 - 3442 = -17*j. Suppose 5*y = j + 1153. Is 56 a factor of y?
True
Let d = -15 + 22. Suppose 0 = -10*y + d*y + 57. Suppose -4*j + 188 = 5*f, f - y = j + 15. Is 12 a factor of f?
True
Suppose 10*h = -56 - 224. Is 2/8 - (-49)/h*-25 a multiple of 15?
False
Suppose 2*j + 2*d - 24 = 0, -d - 18 = 12*j - 14*j. Suppose g + 2*c = -7, c - j = -5*g - 0*g. Suppose -128 = -g*b + u, -4*b = 4*u - 0*u - 192. Does 4 divide b?
True
Let t = 516 - -276. Suppose -t = -4*w - 2*w. Suppose -4*q + w = -0*q. Does 7 divide q?
False
Let q = -17924 - -31245. Is q a multiple of 11?
True
Suppose -4*g + 411*w - 412*w = -13410, 10080 = 3*g - 3*w. Is g a multiple of 45?
False
Let p be ((-3)/6)/((-3)/324) + -1. Let w = p + 407. Does 15 divide w?
False
Let m = -56 + 61. Suppose -6*q - m = 19. Is ((-1 - q) + -6 - -3) + 56 a multiple of 14?
True
Suppose w + 2*h = 1156, 5*h - 986 = 3*w - 4465. Is 6 a factor of w?
True
Suppose 114*d - 71184 = 53*d + 37*d. Is d a multiple of 12?
False
Suppose 0 = -6*g + g - 2*o - 35, 5*g + o = -35. Let j be (-2)/(-8)*2*(11 + g). Suppose -y - 1187 = -5*u, 0 = y - j*y + 3. Is u a multiple of 14?
True
Suppose -19*i + 22*i - 297 = 0. Suppose -5*u - i = 171. Let y = 38 - u. Does 23 divide y?
True
Let l = -37 + 40. Suppose -5*r - 2*w = 552 - 7352, 4*w = -l*r + 4066. Suppose -5*m + r = m. Is m a multiple of 21?
False
Let j = -8 - -36. Let m = 658 + j. Does 30 divide m?
False
Let j be -27 + 7 + (0 - (-1 - -2)). Let s(u) = -u**2 - 41*u + 5. Is 38 a factor of s(j)?
False
Suppose 0*s = -s + 48. Let q = -46 + s. Suppose 10 = 2*r + q. Does 3 divide r?
False
Let g(v) = 295*v**3 + 16*v**2 - 18*v + 8. Is 6 a factor of g(2)?
False
Suppose g - 9 + 3 = 0. Suppose u = g*u - 1170. Is 13 a factor of u?
True
Suppose -9 + 3 = 4*d - 2*o, 3*o - 9 = -4*d. Suppose d = 8*k - 3*k - 1520. Suppose y - 2*c - 25 = 34, -5*y = -c - k. Is y a multiple of 7?
False
Suppose 0 = w + 2*s - 28617, 53*s - 48*s - 85854 = -3*w. Is w a multiple of 47?
True
Suppose -n - 2295 = -4*n. Suppose s - n = -14*s. Is 24 a factor of s?
False
Let m = -1713 - -839. Let v = m + 1830. Is 4 a factor of (-3)/(-15) + v/20?
True
Does 19 divide (1839/2)/(7/84) + 5?
True
Let y = -1174 - -3096. Is 14 a factor of y?
False
Suppose 9*i - 156 + 138 = 0. Suppose 709 = 3*d - i*j, -j = -3*d - 3*j + 713. Is d a multiple of 9?
False
Suppose -2 = 6*s + 4. Is (-10 - 25)*-1 + 1*s a multiple of 17?
True
Is ((-1)/2)/((12/(-376))/(-4 + 49)) a multiple of 5?
True
Suppose -10*n + 9*n = -4. Suppose n*a + 540 = -224. Let d = a + 285. Is 47 a factor of d?
True
Suppose b + 567 = 4*l - 5304, 3*b + 7344 = 5*l. Is l a multiple of 27?
False
Suppose 11*r + 48026 + 62744 = 33*r. Is 76 a factor of r?
False
Let b = -687 + 692. Suppose -3*n + 312 = 5*x, 260 = 5*x - b*n - 20. Is 4 a factor of x?
True
Let g = -7587 - -11223. Is g a multiple of 36?
True
Suppose -35*u + 75 = -30*u. Does 42 divide (-147)/((u - 12)*1/(-9))?
False
Let p = 8361 - 4491. Is 15 a factor of p?
True
Suppose 7*j - 57562 = -6410 + 52392. Is 54 a factor of j?
False
Let o be (108/(-45))/(0 - 2/15). Does 23 divide (64 + -1)*(192/o - 2)?
False
Suppose 3*d - g + 484 = -6*g, -152 = d - 3*g. Is 20 a factor of 1 - (-1)/(-2)*d?
True
Let z = 26423 - 2295. Is z a multiple of 32?
True
Suppose -4382*m + 4416*m - 1863948 = 0. Is m a multiple of 37?
False
Let v = -480 + 519. Let h be 1 - (2 - (12 + -2)). Let g = v - h. Does 8 divide g?
False
Let w = -3314 - -29682. Is w a multiple of 128?
True
Let w(i) = 11*i**2 - 15*i + 46. Let s = -277 - -284. Is w(s) a multiple of 16?
True
Suppose -7*l + 20*l - 39 = 0. Is 857 + -3 - (3 + 0 - l) a multiple of 29?
False
Let f be ((-15)/6 + 1)*24/(-9). Let k be (4480/49)/5 + f/(-14). Suppose 4*i = -2*r + 76, -3*r + k = 5*i - 91. Is r a multiple of 27?
False
Suppose 0 = -5*n + 67*n - 179614. Is 35 a factor of n?
False
Let c(b) = 8*b**2 + 24*b - 1. Let o(i) = 1. Suppose 1 = 5*v - 4*s, -3*v = -0*v + 5*s - 8. Let t(j) = v*c(j) - 5*o(j). Does 17 divide t(-5)?
False
Suppose 4*p - 34 = 2*b, 0*p - 3*b + 30 = 3*p. Let y = -182 + 194. Let d = p + y. Is 21 a factor of d?
True
Is (3 - 10 - 8)/((-3696)/3689 + 1) a multiple of 10?
False
Let x = -74 + 122. Suppose 5*b - 53 = -2*q, 2*q + 2 - x = 2*b. Is q a multiple of 3?
True
Let v = -167 + 182. Does 33 divide 18/27 - (-8135)/v?
False
Is (-1057 - -1)/(30/(-100)) a multiple of 16?
True
Let a = -475 - -335. Is a/3*8/((-96)/90) a multiple of 6?
False
Suppose 93*c + 5*r - 10147 = 89*c, -2*c + 5049 = -r. Is 24 a factor of c?
False
Suppose 0*y - 3*y + 2*n = -8892, 5*y - 2*n = 14816. Is y a multiple of 18?
False
Suppose 3*c = 7*c - 4*n + 40, 4*c + 45 = 3*n. Let w be (0 - -1)*(c - -25). Suppose -w + 2 = -l. Is 8 a factor of l?
True
Let b(l) = -14*l - 168. Let j be b(-32). Suppose 0 = v - 3*q - 169, -5*v + 523 + j = -q. Is 7 a factor of v?
False
Let n(o) = -o**2 - 13*o + 10. Let x be 2 - -4 - (1 - 2). Let a = x - 16. Is 25 a factor of n(a)?
False
Let w(o) = 29*o**2 - 2656*o - 189. Does 77 divide w(94)?
True
Let b(w) = -14*w + 2. Let h be b(-1). Is (h/18)/(-4) - 2216/(-9) a multiple of 12?
False
Suppose 0 = n - 8, 90*n = -4*k + 95*n + 112592. Does 167 divide k?
False
Let j(g) = -1494*g + 4214. Is 44 a factor of j(-9)?
False
Let a(d) = d**3 + 5*d**2 - 2*d - 10. Let v be a(-4). Suppose 13*p = v*p - 280. Is 68 a factor of p?
False
Let u = -2595 + 3224. Is u a multiple of 17?
True
Let v(p) = 16*p**2 - 176*p + 855. Does 9 divide v(5)?
False
Let a be 8/(-76) - 600/76. Let o(v) = -3*v - 21. Let s be o(a). Is 4/10 - (s + 133/(-5)) a multiple of 8?
True
Let r = -622 - -5104. Does 27 divide r?
True
Suppose 13*o - 11*o = -10. Let y be 4/(-10) - 52/o. Suppose -y*b + 476 = -6*b. Is 32 a factor of b?
False
Let n(i) = -i**3 - 17*i**2 + 15*i + 10. Let k be n(-18). Suppose q - 37 = -c - 14, -k = -3*q - 4*c. Is 7 a factor of q?
True
Suppose -3*m - 5*z + 4908 = 1863, z = -4*m + 4094. Is 5 a factor of m?
True
Let m(z) = 28*z**2 - 492*z + 57 - 13 + 16 + 447*z - z**3. Does 5 divide m(26)?
False
Let m = -217 - -333. Let p = 732 + -640. Suppose -8*v = -p - m. Does 26 divide v?
True
Let n(o) be the third derivative of -o**4/24 - 13*o**3/6 - 18*o**2. Let k be n(-17). Suppose 5*y + 0*w = k*w + 595, -350 = -3*y + w. Does 23 divide y?
True
Let l be (-2)/7 - (-644)/196. Suppose 3*b = g + 8, 5*g - 2*b = l*g. Suppose -5*s = g*f - 233, s - 5*s = -3*f + 136. Does 13 divide f?
True
Let h(u) = -10*u**3 - 14*u**2 + 12*u - 109. Does 202 divide h(-8)?
False
Let m(a) = 244*a - 410. Is m(11) a multiple of 65?
False
Let u be (10/(180/189))/(2/4). Is (-6)/u - (-3720)/35 a multiple of 14?
False
Let s(w) be the second derivative of -7*w**4/12 + 5*w**3/6 + 2*w**2 + 8*w. Let h be s(-1). Let d(c) = -29*c - 15. Is d(h) a multiple of 19?
False
Suppose -800 = -156*h - 176. Let u = -2 - -6. Suppose 3*r = h*s - 5*s + 268, 5*s - 1329 = -u*r. Is s a multiple of 13?
False
Is 15 a factor of ((11/33)/((-1)/(-6)))/(10/85275)?
True
Let l = 4043 - 2741. Suppose 111*q = 108*q + l. Is q a multiple of 14?
True
Let o(p) = 35*p - 4. Suppose 5*k + s = -217, -k - 3*s - 45 = -2*s. Let v = -41 - k. Is o(v) a multiple of 9?
False
Suppose 0 = -67*r - 883 - 55. Let h = 12 - 32. Let k = r - h. Is 2 a factor of k?
True
Let z = -560 + 262. Let c = 482 + z. Suppose 2*f + 5*i = f + c, -4*f + 824 = -2*i. Is 12 a factor of f?
True
Let j = 94 - 92. Let d(s) = 2*s**3 - 3*s**2 - 90*s - 3*s**2 + 3*s**2 + j + 92*s. Is d(4) a multiple of 15?
T