
Suppose 0 = -8*s + 49536 - 2792. Suppose -13*u = -s + 1176. Is 42 a factor of u?
False
Let b(u) = 2*u - 38. Let c be b(0). Let p = 35 + c. Does 30 divide (-4)/6 + 1/p - -121?
True
Suppose -6*q = 469 - 28350 + 845. Is 40 a factor of q?
False
Suppose 0 = 40*w - 33*w - 28. Is 45 a factor of (-13 - 122)*(w - (-34)/(-3))?
True
Let a = -109 - -107. Does 44 divide (-2)/a - 652/(-6)*3?
False
Let u(p) be the third derivative of p**6/360 + 7*p**5/120 - 3*p**4/4 + 3*p**3 + 15*p**2. Let i(c) be the first derivative of u(c). Is 26 a factor of i(-11)?
True
Let i = -107 + 120. Let v(h) = 10*h - 58. Is 18 a factor of v(i)?
True
Let z(j) = 2*j**3 - j**2 + 3*j - 2. Let y be z(2). Let x(r) = 13*r - 17. Let g(b) = -7*b + 10. Let m(i) = -5*g(i) - 2*x(i). Is m(y) a multiple of 16?
True
Let b(a) = 23*a**2 - 7*a. Let w be b(2). Suppose s - 334 = -w. Does 32 divide s?
True
Let w(o) = 2*o**2 - 120*o + 2275. Is 13 a factor of w(58)?
False
Suppose v - 58 = -3*j, -5*v = 4*j - 340 + 72. Let b = v + -47. Suppose b*d - 10*d + 400 = 0. Is 5 a factor of d?
True
Let v(j) = 177*j + 1828. Is v(47) a multiple of 18?
False
Is 5370 + (-1)/((-10)/60) a multiple of 24?
True
Let m = -5 - -15. Suppose -m*x = 27 + 3. Does 34 divide x/(-9) - 407/(-3)?
True
Suppose -21*x - 18*x - 9070 = -40*x. Does 31 divide x?
False
Suppose 10*n - 5*u = 9*n + 269, 1022 = 4*n - 2*u. Suppose 5*m - 422 = 5*r + 188, 2*m - n = 4*r. Is 9 a factor of m?
True
Let h(s) = 5*s**2 + 2*s - 7. Let m(c) = -7*c**2 - 2*c + 6. Let q(o) = 3*h(o) + 2*m(o). Is 12 a factor of q(-8)?
False
Suppose -2536 = -8*w + 8056. Suppose 374 = 6*r - w. Suppose 4*o - m - 569 = 0, 2*o - r = m - 0*m. Is o a multiple of 43?
False
Suppose 29*c - 654175 = -78*c - 30*c. Does 25 divide c?
True
Is 11 a factor of (-1739074)/(-284) + (-10)/4?
False
Let t = -3811 + 6399. Does 4 divide t?
True
Let f = 677 + -675. Suppose 5 = -5*t, 2*t + 722 = 2*j + 3*j. Suppose -f*m + 106 = -j. Does 25 divide m?
True
Let a(d) = 3*d**3 + 33*d**2 - 29*d - 17. Is a(-9) a multiple of 3?
False
Is ((2 - 1) + 0)*(-25 - -20)*-1697 a multiple of 5?
True
Let i = -5352 - -6152. Is i a multiple of 4?
True
Let j(k) = 33*k**3 + 1 + 0 + 2 + 12 + 18*k**2 - 34*k**3 + 23*k. Let u = -24 + 43. Is 18 a factor of j(u)?
False
Let m(h) = 2*h**2 - 47*h - 88. Does 21 divide m(47)?
True
Let x = 60 - 57. Suppose -11*v + 8 - 8 = 0. Does 2 divide x + v*((-3)/(-3))/(-3)?
False
Let z(f) = -169*f + 500*f - 251*f + 58. Is 63 a factor of z(4)?
True
Let s = 674 + -985. Let b = s - -523. Does 4 divide b?
True
Let f be (-6)/27 - (-660)/54. Does 14 divide f/(-42) + (-492)/(-7)?
True
Let g(u) = -3*u. Let p be g(0). Suppose 1 = -m - 3*f, -m - m - f + 8 = p. Suppose 47 = m*h - 18. Is h a multiple of 13?
True
Suppose -375 + 387 = 6*y. Suppose 4*o - 770 = -y*f + 202, 1448 = 3*f - 4*o. Does 28 divide f?
False
Suppose 0 = 4*y + 511 - 1819. Let w = y - 210. Is w a multiple of 36?
False
Suppose 4*j - 4588 = -4*i, -2*i + 5*j + 1118 + 1211 = 0. Is i a multiple of 6?
True
Let c = -1022 + 1488. Let m = 1776 - c. Is m a multiple of 16?
False
Suppose -19*g - 1042 + 789 = -3901. Is g a multiple of 7?
False
Does 41 divide 24188/5 + (4 - (-133)/(-35))*2?
True
Let j be -18*((-12)/8)/(-3). Let y be j/15 - (-258)/5. Let u = -22 + y. Is u a multiple of 17?
False
Let h(l) = -6*l**2 + 7504*l + 5*l**3 - 7508*l + 10 - 3. Is h(5) a multiple of 33?
True
Is 4086/8*-9*760/(-342) a multiple of 45?
True
Suppose 45*b - 62*b + 208624 = 42*b. Is 16 a factor of b?
True
Is 32 a factor of ((-9075)/(-30))/((-2)/48*-2)?
False
Suppose 0 = -1297*i + 1290*i + 66052. Is 64 a factor of i?
False
Let f(j) = -418*j - 1064. Does 96 divide f(-20)?
True
Let y(c) = 136*c**2 - 54*c + 5. Is y(9) a multiple of 43?
True
Let r be (-76)/2 - 7/7. Is 5/(520/60096) + (-6)/r a multiple of 6?
False
Let d = 5 - -29. Let q = d - 30. Is (-1 + q + -4)*-11 a multiple of 11?
True
Suppose -28*s + 26*s - 560 = 0. Let n = s + 646. Suppose j = l - 5*l + 106, 4*l = 3*j - n. Does 20 divide j?
False
Does 5 divide (2*1)/6 - ((-2095786)/(-42))/(-31)?
True
Let p = 3228 + 539. Does 45 divide p?
False
Is (0 + 10)/(-20)*(-22159 + -11) a multiple of 12?
False
Let l(x) = -3*x**2 + 15*x - 10. Let u(z) = -9 + 0*z + 4*z**2 - 22*z + 24. Let k(m) = 7*l(m) + 5*u(m). Does 2 divide k(-4)?
False
Let i = 175 + -169. Let n(a) = 2*a**3 - 5*a**2 - 11*a + 6. Does 20 divide n(i)?
False
Suppose 126*c + 22064 = 131*c - 4*n, 4*n = 3*c - 13248. Does 29 divide c?
True
Let d = 103 - 58. Let y be -1*((-4)/(-18) - 325/d). Suppose 11*t - y*t = 192. Does 8 divide t?
True
Suppose 177*m - 123980 = 810580. Is 6 a factor of m?
True
Let i be 2/4 - 302/4. Suppose -2*j - 2*j + 360 = 4*c, -2*c + 356 = 4*j. Let g = i + j. Is 6 a factor of g?
False
Suppose 108620 = 13*g - 34891 - 114721. Does 66 divide g?
False
Let x(o) = 2*o**3 - 13*o**2 + 4*o - 13. Let n(w) = -w**2 - w - 1. Let a(d) = 2*n(d) - x(d). Let u be a(5). Suppose -6*m - u*m = -1332. Is 14 a factor of m?
False
Is (-28)/1120*-266810 + (-3)/(-4) a multiple of 4?
False
Suppose 4*s - 6 = -2*c + 5*s, 3*c + 4*s = 31. Suppose c*u - 206 = -j, -2*u + 35 + 45 = j. Suppose 6*v = 3*v + u. Is 14 a factor of v?
True
Let t(y) = -39 - 10*y + 7 + 24*y**2 - 23*y**2. Does 8 divide t(-8)?
True
Let f be 281/((-16)/10 - 87/(-145)). Let h = f + 713. Is 48 a factor of h?
True
Let r = -49 + 52. Suppose 5 = -5*v + y - r, -5*y = -4*v - 19. Is 4 a factor of 74 - (v + -4 + 9)?
False
Let r = -20087 + 36636. Does 13 divide r?
True
Let c = 17 - 42. Let u = c - -33. Suppose 0 = -0*m - u*m + 208. Is 3 a factor of m?
False
Let y(v) = -v**3 + 11*v**2 + 3*v - 28. Let o be y(11). Let t(w) = 4*w**3 + 7*w**2 - 8*w + 15. Does 25 divide t(o)?
True
Suppose 1202 + 3604 = -18*i. Let a = 277 + i. Is 6 a factor of a?
False
Suppose 0 = f + 5*f - 456. Suppose f = 2*r + 2*t - t, -5*r - t = -196. Let v = 53 - r. Is 2 a factor of v?
False
Let j(m) = 6*m**2 - 31*m + 319. Is j(23) a multiple of 9?
False
Let s(j) = 1759*j + 1. Let d be s(1). Suppose -12*a = -2*a - d. Does 44 divide a?
True
Let u(m) = 3923*m - 812. Does 13 divide u(3)?
False
Suppose 1778 = 3*h - 17*h. Let i = h + 232. Is i a multiple of 21?
True
Let f = -12 + 17. Suppose -6 = -f*p + 2*p. Suppose 5*w + p*w - 560 = 0. Is w a multiple of 8?
True
Is (-69111)/(-4) - (14 - (-162)/(-12))/(-2) a multiple of 53?
True
Suppose 37*h = 42*h - 9750. Suppose -6910 = -16*p - h. Is p a multiple of 12?
False
Let r = 29 + -10. Let x = r - 25. Let g(z) = 3*z**2 - 12. Is g(x) a multiple of 19?
False
Suppose 7*y - 386 = -8. Suppose -4*i = -5*b + 479, y = b + 5*i - 65. Does 11 divide b?
True
Suppose 680 = -q - 3*q. Suppose 5*d + 54 = -316. Let p = d - q. Does 16 divide p?
True
Let u = 20253 + -17280. Is 8 a factor of u?
False
Let i(r) = 26690*r**2 - 300*r + 301. Is i(1) a multiple of 21?
True
Let u = -346 - -451. Suppose u*h - 107*h = -266. Does 16 divide h?
False
Let b be 3/12 + 7 + 7940/(-16). Let d = b + 529. Is 5 a factor of d?
True
Let x be 26/(-78) + (-1957)/(-3). Suppose -2*g = -4*y + 209 - 541, 4*g - x = 2*y. Does 27 divide g?
True
Is 51 a factor of ((8768/(-12))/4)/((-252)/9639)?
True
Suppose 2*q = -2*q + 5*j - 2, 2*j - 8 = -2*q. Let i be 5 + -1 - (0 + q)/(-2). Suppose 0 = -i*s + 3*f + 164, 0 = 5*s - 3*s - 4*f - 74. Is 8 a factor of s?
False
Suppose 173*r - 1995558 = -94*r. Is r a multiple of 74?
True
Let g(j) = 4*j + 4. Let a be (-3)/9*2*3/(-1). Suppose 1 + 9 = a*s. Is 24 a factor of g(s)?
True
Let s = -284 + 584. Let k = s + -781. Let y = -161 - k. Is y a multiple of 31?
False
Suppose l + 2*f = 9, -l + 3*f - f + 9 = 0. Suppose 40 - l = 5*i + 4*r, 4*i - 32 = -5*r. Suppose 0 = i*v - 15, -5*d + 104 = -3*v - 51. Is d a multiple of 8?
False
Let b(q) = -7*q**3 - 76*q**2 + 86*q + 57. Does 76 divide b(-17)?
False
Let j = -13647 + 16923. Is j a multiple of 273?
True
Let b be -60*(6/18)/(4/6). Let d(q) = -q - 8. Does 22 divide d(b)?
True
Let l = -592 - -592. Suppose -4*f + 3209 = -3*o, 3*f + 2*o - 474 - 1920 = l. Is f a multiple of 49?
False
Let u = -1629 - -10125. Does 177 divide u?
True
Suppose 6*j - 764 = -2720. Does 18 divide 12/(-6) + 1/((-2)/j)?
False
Let h be (32/(-4))/4*-5. Suppose h*a = -9*a + 3610. Is a a multiple of 13?
False
Suppose 32 + 38 = -5*m + 4*y, 5*y - 65 = 4*m. Is 16 a factor of m*(-26)/3*3?
False
Let s(n) = 1900*n - 4400. Is 100 a factor of s(22)