*c - j = b. Suppose -p + 35 + c = 0. Is p a multiple of 17?
True
Suppose -179780 = 12255*f - 12265*f. Is 101 a factor of f?
True
Let p(c) = 6*c + 30. Let j be p(14). Suppose -6*v + 432 = j. Is 2 a factor of v?
False
Suppose 6 + 14 = -4*f. Let a be 232/(-56) - (-5)/35. Is 448/a*(f + 4) a multiple of 7?
True
Let h = -1872 + 6006. Is h a multiple of 45?
False
Let h be 59/4 + (6 - -2)/32. Suppose h*t - 5096 = 2*t. Is t a multiple of 49?
True
Let t(o) = o**2 - 111*o - 400. Is t(-89) a multiple of 174?
True
Suppose -p + 226 = -3*r, -5*p + 14 - 234 = 3*r. Let o = -115 - r. Let a = -26 - o. Does 14 divide a?
True
Let p(m) = 295*m**2 - 151*m + 4. Does 130 divide p(-4)?
False
Suppose -4*i = -11 - 9. Suppose 352 = -4*x + 4*l, -i*x - 3*l = -0*l + 480. Let z = -11 - x. Is 26 a factor of z?
False
Let v = 2702 + 7299. Is 16 a factor of v?
False
Suppose -6*d - 247 - 233 = 0. Let a be 150/d + 2/(-16). Does 32 divide -147*-1*a/(-3) + -2?
True
Suppose -p - p - 4 = 0. Let x be -6*4/(-12) - p. Is (-1*(2 - x))/((-14)/(-623)) a multiple of 4?
False
Let c be (0 + (-36)/(-42))*1582. Suppose 4*t - 2120 = -4*r, 5*r - 1294 = -2*t + c. Does 10 divide r?
True
Let p be 9 - 2 - (5 - 4)*1. Suppose p = 4*y + 2*m - m, -4*m = 5*y - 13. Suppose 0 = -b + 1 + y, -3*b = 5*i - 101. Is i a multiple of 11?
False
Let o = -23 - -27. Suppose o*b = 16*b - 120. Suppose 200 + b = s. Is s a multiple of 46?
False
Let r(i) = 4*i + 61. Let u be r(-15). Does 13 divide 634 - (-1 + -2)*u?
True
Suppose 3*d + 243085 = -995081. Does 49 divide (-1)/(-6) - d/324?
True
Suppose -57*m = 4*n - 58*m - 303, 2*n - 2*m - 156 = 0. Is 2 a factor of n?
False
Let t = 4006 + -787. Is t a multiple of 4?
False
Suppose -10*f + 10 = -0*f. Let o be (f/(10/4))/((-1)/(-10)). Suppose 3*n - 3*u - 1400 = -2*n, u = -o*n + 1103. Does 24 divide n?
False
Let o(z) = -112*z**2 + z. Let x be o(1). Let c = -83 - x. Let t = 87 + c. Is t a multiple of 5?
True
Suppose 3*q + 3*t = 7225 + 10010, -17239 = -3*q - t. Does 7 divide q?
True
Suppose -185*q - 2*r = -186*q + 476, 0 = -q - 4*r + 440. Does 118 divide q?
False
Let y(s) = 6*s + 30. Let w be y(8). Does 6 divide (11/(-3) + 3)/((-4)/w)?
False
Suppose 0 = -4*r - 5*v + 938, -3*v - 861 = -3*r - 144. Let s = r + -114. Is s a multiple of 4?
False
Suppose -593 = 2*k - 4*h - 3315, k = -3*h + 1381. Does 37 divide k?
True
Let q(h) = 482*h**3 - 8*h + 7. Let r = -360 + 361. Is q(r) a multiple of 13?
True
Suppose 5*l + 2*r - 4 - 2 = 0, -2*r = -2*l + 8. Let x = -20 + 27. Suppose x = 2*j - 4*i - 39, -42 = -l*j + 3*i. Is 11 a factor of j?
False
Suppose -27*q - 50 = -37*q. Suppose -4*y - 1138 = -q*i + 1065, -1325 = -3*i + 4*y. Does 40 divide i?
False
Suppose 16*j = -18*j + 24344. Suppose 0 = 5*x - 3391 + j. Is x a multiple of 39?
False
Let d = 3624 - -2602. Is 22 a factor of d?
True
Let f = 41073 - 30417. Is 18 a factor of f?
True
Let b(r) = 2 + 2154*r - 22 - 1518*r. Does 11 divide b(1)?
True
Let r = 12010 + -8838. Is r a multiple of 17?
False
Let c be ((-96)/40)/(10/(-25)). Let o(s) be the second derivative of 5*s**4/12 - 7*s**3/3 + 19*s**2/2 + 2*s. Is o(c) a multiple of 32?
False
Let g(k) = k**3 - 7*k**2 - 10. Let v be g(7). Let h(l) = -504 - 13*l - 509 + 4*l + 998. Does 29 divide h(v)?
False
Suppose -4*p + 2*s - 62 = 0, -5*p + 5*s - 25 = 40. Is -3*(2 - (-2544)/p) a multiple of 12?
False
Suppose -p + 201*y - 196*y = -1032, -4*y = 4*p - 4032. Does 46 divide p?
True
Let g(n) be the first derivative of -n**3/3 - 11*n**2 - 8*n + 35. Does 15 divide g(-18)?
False
Is 12490 + -20 + 25 + -12 a multiple of 23?
False
Let u(v) = -522*v**2 + 1. Let m be u(-1). Let d = 745 + m. Is d a multiple of 16?
True
Suppose 370 = 5*g - 0*g. Let m(r) = -r**3 + 7*r**2 + 9*r + 3. Let f be m(7). Let b = g - f. Is b a multiple of 4?
True
Suppose -2*l - 3*c + 994 = 0, 2*c - 489 = -5*l + 1985. Suppose a - 5 = 0, 0 = 4*w - 5*a - l - 273. Suppose 45*n - 43*n = w. Is n a multiple of 9?
True
Is 80/((-280)/(-35)) + 17510/1 a multiple of 15?
True
Let n be (-286)/(3 + (-3 - 2/4)). Suppose -j = 5*s + j - 566, -5*s + j + n = 0. Is 57 a factor of s?
True
Let j(a) = 393*a**2 + 34*a - 289. Does 52 divide j(9)?
False
Let y(r) = r**3 + 43*r**2 + 33*r + 312. Does 99 divide y(-26)?
False
Suppose -4*r + 4*o + 318 = -2*r, o = -4*r + 627. Let s = 633 - r. Suppose 3*x - s = -x + g, -g = -x + 116. Does 30 divide x?
True
Suppose -2*n - 27329 = -5*r + 35304, 4*r - 3*n = 50112. Is 167 a factor of r?
True
Let u = 25918 - -17143. Is u a multiple of 289?
True
Let f(z) = 7759*z + 3841. Is 12 a factor of f(8)?
False
Let w be 1/(-5) - (-1463)/(-35). Let p = w - -57. Suppose -p = -3*v + 165. Is 10 a factor of v?
True
Is (4472/3)/(277/2493) a multiple of 157?
False
Suppose 3304 = 4*i - 4076. Is 6 a factor of i?
False
Let v(s) = -3*s - 25. Let p be v(-9). Let j(a) = -3*a**2 - 19*a + 128 - 148 + 7*a + p*a**2. Is j(-8) a multiple of 3?
True
Suppose -2*w - 911412 = -11*w - 45*w. Does 10 divide w?
False
Suppose 0 = -51*n - 31*n + 170683 + 113447. Is n a multiple of 38?
False
Is (23764 - 1) + (-125 - -124) a multiple of 8?
False
Let b be ((-18)/(-6))/(9/15). Let u be 339/(-12) + b + (-2)/(-8). Is (u + -4 + 6)*-11 a multiple of 29?
False
Suppose b + 73 = -17. Let q = b + 87. Does 53 divide (108 + 2)*(-2 - q)?
False
Let m(p) = p**3 + 11*p**2 + 6*p + 16. Let g(w) = 2*w**3 + 21*w**2 + 12*w + 33. Let z(i) = 2*g(i) - 5*m(i). Let n be (-5 + 6)/(4/(-52)). Does 16 divide z(n)?
True
Let l(u) be the first derivative of 409*u**2/2 - 19*u + 16. Is 13 a factor of l(1)?
True
Let n(v) = 2 - v + 0 + 3 - 7. Let q be n(-8). Suppose t = q*t - 755. Does 39 divide t?
False
Let r(k) = 126*k - 3 - 2 - 124*k + 31*k**2 + 0. Is 26 a factor of r(-2)?
False
Let c(b) = 91*b**2 - 4*b + 3. Let m = 15 - 29. Let i be (m/(-28))/(1/2). Does 22 divide c(i)?
False
Suppose 4*p + 5*u = 901, -9*p + 1080 = -4*p - 3*u. Is p a multiple of 15?
False
Let l(d) = -d**3 - 8*d**2 + 3. Let h be l(-8). Let g(s) = 9*s - s**3 + 1 - h + 11*s**2 - s**3 + 3*s**3. Does 6 divide g(-10)?
False
Suppose -5*w - 14 = 3*s - 0*w, 0 = -3*s + 4*w - 5. Let f be -3 - -56 - (s - -2). Does 10 divide (-2016)/f*6/(-4)?
False
Let w(p) = 6*p**3 - 13*p**2 + 103*p - 19. Is 15 a factor of w(8)?
True
Let h(t) = 344*t**2 + 175*t - 346. Does 19 divide h(2)?
False
Suppose 16081*d - 15061 = 16066*d + 38564. Is 7 a factor of d?
False
Suppose 0*a = 5*a - z - 2587, -5*a - 5*z + 2605 = 0. Let n = a + -320. Is n a multiple of 22?
True
Suppose -5 - 1 = -3*a - 3*m, -4*a + 5*m = -17. Suppose -4*v = g - 838, a*g + 138*v = 134*v + 2538. Is g a multiple of 5?
True
Let g = 961 + 1048. Is 4 a factor of g?
False
Let a(d) = 2*d - 8. Suppose -4*g = -2*g - 8. Let u be a(g). Suppose 2*l = -3*l + 2*z + 99, u = 3*l - z - 60. Does 3 divide l?
True
Suppose 49*t + 34*t - 285714 = 9*t. Is 11 a factor of t?
True
Let p(a) = 28*a + 93. Let x(q) = 58*q + 187. Let u(l) = -9*p(l) + 4*x(l). Is 14 a factor of u(-8)?
False
Let v(f) = -5*f + 7. Let b be v(1). Suppose u + 128 = -b*r + 424, 0 = 4*u + 4*r - 1172. Is 18 a factor of u?
False
Suppose -5966 = -7*s + 24267. Is s a multiple of 22?
False
Let d(v) = 9*v + 4651. Is d(-77) a multiple of 9?
False
Suppose 67*j = 29*j - 70*j + 878148. Does 47 divide j?
True
Suppose 6*o + 8814 = -5*y + 24180, 5*y - 15355 = 5*o. Is 64 a factor of y?
True
Let a(w) be the second derivative of w**5/20 - 3*w**4/2 - 16*w**3/3 + 17*w**2/2 + 32*w. Let t be a(21). Suppose t = 5*y + 223. Is y a multiple of 12?
False
Suppose -2*m = -5*h - 59, -4*m + 5*h = 57 - 180. Suppose -5009 = m*l - 14929. Does 17 divide l?
False
Let o be (-7)/(((-20)/(-64))/(-5)). Does 7 divide ((-21)/2)/(((-21)/o)/1)?
True
Suppose 2*s - 3*s - 2*o - 13 = 0, 5*s + 70 = -5*o. Let r be (-6)/(-45) - (-317)/s. Is (r/12 - -2) + (-294)/(-8) a multiple of 23?
False
Let r(l) = -l**3 + 6*l**2 + 7*l + 2. Let v be r(7). Let c be (v + 0 + -1)*114. Let b = c + -65. Does 7 divide b?
True
Let s(p) = 28*p - 4*p**3 - 42*p + 8*p**2 + 5 + 3*p**3 + 2*p**3. Is s(5) a multiple of 11?
False
Let g(p) = p**3 - p**2 - 3*p + 8. Let i be g(2). Suppose -h + i*h - 1518 = -v, -591 = -2*h + 5*v. Does 39 divide h?
False
Suppose -321*m - 44160 = -345*m. Is m a multiple of 23?
True
Suppose -3550 = 6*n - n. Let w = 435 + n. Is (5 - 4)/((-5)/w) a multiple of 10?
False
Suppose 5*l = 33 + 22. Let y = 11 + l. Suppose 0 = -2*c