ose -507 = -2*w + y, -w + 14 + 217 = 4*y. Suppose -1252 = -11*b - w. Does 7 divide b?
True
Suppose -78*w + 11079 + 695 = -49*w. Does 29 divide w?
True
Suppose 29*m + 300 = 19*m. Let f = m + 26. Is (-114)/f*28/42 a multiple of 19?
True
Let g = 721 + -417. Let z = -279 + g. Does 5 divide z?
True
Let r be (0 - (6 + 0))/1. Let a be (-4)/r*(-2 - (-39)/6). Suppose -a*h + i + 12 = 4*i, -52 = -3*h + 5*i. Is h a multiple of 3?
True
Let x(c) = 3*c**3 + 4*c**2 + 9*c + 23. Let s(f) = 7*f**3 + 10*f**2 + 18*f + 47. Let u(b) = 2*s(b) - 5*x(b). Is 14 a factor of u(-9)?
False
Let p(y) = y**3 - 14*y**2 - 15*y. Let x = -13 + 28. Let s be p(x). Suppose -4*u + 225 = -b, s = 4*u - u + 4*b - 145. Does 24 divide u?
False
Suppose 177 = 2*t + 5*q, 11*q - 6*q = -5*t + 450. Let g = 252 - t. Is g a multiple of 42?
False
Let g(u) = -13*u + 8. Let x be g(6). Let p be 1/((-4)/40) - (-2 + -1). Does 12 divide (x/(-7))/((-2)/p)?
False
Suppose -6 = -2*b + 3*y, 0 = -3*b + 3*y - 0*y + 9. Let l be (4 - b - 23)*-7. Suppose l = 3*f - f. Is 8 a factor of f?
False
Let f = 36 - 31. Suppose -927 = -5*d - 3*s, 6*d - 3*d + f*s - 553 = 0. Does 7 divide d/9 + ((-4)/6 - -1)?
True
Let o(n) = -16*n + 101. Let w be o(5). Is 13 a factor of (-182)/21*w/(-2)?
True
Does 10 divide (-1190)/340 + 11/2 + 7528?
True
Let t(u) = -u**2 - 11*u - 10. Let h be t(-10). Suppose h = 7*y + y + 1352. Let d = 247 + y. Is d a multiple of 6?
True
Let s = -13615 + 23659. Is 108 a factor of s?
True
Let f(m) = 23*m**2 - 25*m - 913. Is 100 a factor of f(-34)?
False
Suppose 36 - 11 = 2*v + 3*g, 0 = 2*g - 10. Suppose v*y + 10 = m + 9*y, -m + 25 = y. Let k = 44 - m. Does 3 divide k?
False
Let u(v) = -306*v + 1088. Does 36 divide u(-54)?
False
Let c(f) = -f**3 + 7*f**2 - 10*f + 4. Let v be c(5). Suppose 4*l = v*o + 2816, 0 = -0*l - 4*l - 2*o + 2792. Does 50 divide l?
True
Let h(y) = 58*y + 8531. Is h(93) a multiple of 19?
False
Suppose 5*k = -u - 8, 0*k = -k + 2*u + 5. Suppose -10*a - 82 = 28. Is (-8 - a)/(11/(-12) - k) a multiple of 8?
False
Is 22 a factor of 0 + -9 + 1594 + 8 + 13?
True
Let t be -4 + 7 + -6 + 3. Suppose t = 4*n + 83 + 49. Is 5 a factor of n/(-1*(-4 - -5))?
False
Let t = -54456 - -92194. Does 12 divide t?
False
Let w = 175 + -133. Suppose -3*y + 5*l = -8 - w, -5*l + 125 = 4*y. Does 25 divide y?
True
Let z(t) = -t**3 - 17*t**2 - 8*t - 8. Let j be z(-7). Let o = 496 + j. Does 27 divide o?
True
Suppose -2*v + 3696 = -5756. Is 11 a factor of v?
False
Suppose 3*j - 2 + 26 = 0. Let c be 42*20/16 - 4/j. Let s = c - 31. Is 6 a factor of s?
False
Let s(a) = -45*a**3 + 3*a**2 - 14*a + 9. Let v(i) = i**2 - i - 1. Let h(r) = -s(r) - 6*v(r). Is 19 a factor of h(2)?
True
Does 27 divide (-4 - -10277) + (-14 - -23) - -5?
True
Let c(j) be the third derivative of 7*j**5/60 - 17*j**4/24 + 4*j**3 + 34*j**2 - j. Is 23 a factor of c(12)?
True
Does 21 divide (-1659264)/(-27) + 12*6/(-324)?
False
Suppose -u - 16527 = 323*l - 327*l, -l + 2*u + 4123 = 0. Is 102 a factor of l?
False
Let g(w) = w**3 + 5*w**2 + 5*w + 5. Let m be g(-4). Let f(q) = q**3 + q**2 - 15*q + 23. Let u be f(4). Does 5 divide 5 - (5 - u) - m*-2?
True
Is 11 a factor of -9 + 7235 + 3 + -24?
True
Let b(t) = 1044*t**2 + 16*t - 22. Is b(2) a multiple of 14?
True
Suppose -g - 5 = l + 4*g, 3*l - 4 = 4*g. Suppose 2*a + 730 = 4*p, 3*a + 540 = 3*p - l*a. Suppose 0 = -t - 4*t + p. Does 20 divide t?
False
Suppose 0 = 3*k + 2*k - 2*j - 913, 0 = 3*k - 4*j - 545. Suppose 4*x = 2*x + a + 354, x - k = 2*a. Does 7 divide x?
True
Let w be ((-20)/(-6) - -1)*3. Suppose 2*q = -w*g + 16*g - 943, -5*q - 310 = -g. Is g a multiple of 46?
False
Let m(y) = 1094*y - 8876. Is m(18) even?
True
Let q(x) be the second derivative of -13*x**3/6 + 5*x**2/2 + 12*x. Let b be q(-7). Let n = b + -32. Does 10 divide n?
False
Suppose 3*b + 1107 = -2*v, 4*b = 4*v + v - 1453. Let y = 596 + b. Does 12 divide y?
False
Suppose -21*o = -20*o - 16. Suppose -2*m - 13 = -b, 13*m = 5*b + o*m - 117. Does 9 divide b?
False
Suppose 0 = -3*z + 63*z - 471420. Does 9 divide z?
True
Suppose 1 = n - 2. Suppose -41 = n*a - 158. Let u = a + -24. Is u a multiple of 15?
True
Suppose 16*p - 88 = 20*p. Let n = p - -26. Suppose -n*c + 192 = 3*d, d - 4*c - 56 = -8. Is d a multiple of 20?
True
Let a(u) be the first derivative of -1/4*u**4 + 3*u**2 + 28 + 4*u**3 + 3*u. Does 26 divide a(9)?
False
Let p(q) = -76*q + 57. Suppose 104 = -10*n - 3*n. Is p(n) a multiple of 35?
True
Let o(r) = -8*r - 33. Suppose -5*t + 24 = -2*x - 0*t, 0 = 4*x - t + 48. Is o(x) a multiple of 9?
True
Let b = -2954 - -3474. Does 52 divide b?
True
Suppose -2*l + 344 = 346, -l = -5*z + 6916. Is z a multiple of 62?
False
Suppose -891*i = -842*i - 546301. Is 331 a factor of i?
False
Let z be 2 + (5 + -6 - (0 - 0)). Let x(i) = -8*i + 5*i - 3 + 3*i + 8*i. Is x(z) a multiple of 5?
True
Suppose 0 = 10*z - 56 - 14. Suppose z*u - 13*u + 30 = 0. Suppose -r - u = -2*r. Is r a multiple of 3?
False
Let c be 183/(-244)*(-4*1)/(-1). Is 26 a factor of c*(48706/21)/(-7)?
False
Suppose -y = g + 17 - 60, y = 0. Let r = g - -66. Is 7 a factor of r?
False
Suppose 4*b + v - 204 = -2*v, 4*v + 16 = 0. Let u = -22 + b. Suppose -o + u = -5*g, 2*o - 9 = -4*g + 13. Is o even?
False
Let q(m) = -7*m - 10. Let v be q(-7). Let i = v + -138. Let h = -53 - i. Is h a multiple of 23?
True
Let y be (-30*7/(-21))/(4/(-46)). Is 71 a factor of (-18102)/(-15) + (-23)/y?
True
Let s(b) = -b**2 - b + 2. Let x(t) = t**2 + 4*t - 15. Let q(r) = -4*s(r) - x(r). Is q(6) a multiple of 20?
False
Let g = -20 - -233. Suppose 214*v - g*v - 387 = 0. Is 11 a factor of v?
False
Suppose -2*j + 8 = 3*p, 4*p + 3*j + 18 = 7*p. Suppose -2*f - 36 = 3*g, -f - g = p*g + 18. Let b(x) = x**3 + 18*x**2 - 7*x - 11. Does 23 divide b(f)?
True
Suppose 24*p = 32236 + 41492. Is 14 a factor of p?
False
Let o(r) = r**2 + 37*r + 7218. Is o(0) a multiple of 11?
False
Let a be (0/(-10 + 4))/(-1). Suppose 9*c - 1726 - 848 = a. Does 13 divide c?
True
Let c = 25 - 37. Let k(s) = s**3 + 12*s**2 - 11*s - 27. Is 32 a factor of k(c)?
False
Suppose -5*y + 98 - 158 = 0. Does 32 divide (-4225)/y + 7/(-84)?
True
Let y be (-12)/(-15)*(-4765)/(-2). Suppose d + 3*a = 1886, -d = -0*d - 2*a - y. Suppose 0*o = 13*o - d. Does 30 divide o?
False
Suppose 0*i = 4*i - 184. Let o be 34/30 + -1 - 1428/(-765). Suppose -5*w = 3*a - 214, -o*a + w + i = -88. Does 34 divide a?
True
Suppose 15203 = -16*z + 19337 + 35162. Is 6 a factor of z?
False
Let s(h) = 237*h**2 - 20*h - 109. Let c be s(-8). Suppose 23*m - c - 14037 = 0. Does 53 divide m?
True
Let r be 2/11 + 37472/88 + -2. Suppose -4*w = 4*n - r, -3*w + 6*w + 202 = 2*n. Does 26 divide n?
True
Let b be -5*(-8)/10 - -99. Suppose -w + 0*s + 3*s + b = 0, 3*s = -15. Is 10 a factor of w?
False
Suppose -3*c + 12*s + 44367 = 0, 4*s = 6*c - c - 73833. Is c a multiple of 28?
False
Suppose 5*d - 3*f - 4830 - 37114 = 0, 0 = -4*d - 2*f + 33564. Does 9 divide d?
False
Suppose 0 = -86*i + 77*i + 2529. Let s = 42 + i. Is s a multiple of 7?
False
Is (-2)/(-8) - (-3 + (-178607)/52) a multiple of 191?
True
Suppose 50*p = 4*a + 51*p - 77414, -2*a = -2*p - 38722. Is 79 a factor of a?
True
Is 6 a factor of (-431)/(-2) - ((-456)/48 - -8)?
False
Let i(c) = -c**3 + 6*c**2 + 2*c + 9. Let a(y) = 4*y + 6. Let k be a(-3). Let g be i(k). Suppose -368 = -4*t + 3*m + 197, g = 3*t + 3*m. Does 16 divide t?
False
Suppose 4*z + 5*p = 3310, 4*z + 2*p = 1465 + 1851. Let v = -494 + z. Is 15 a factor of v?
False
Let k = -11 - -36. Is 5*85/k*(14 + -1) a multiple of 23?
False
Let n(y) = -2*y**2 + 3. Let c = 42 - 35. Let u be n(c). Let b = -65 - u. Does 22 divide b?
False
Let b(v) = 5*v - 2. Let a be b(-5). Let u be (-5 + 0 + -4)*26/39. Does 44 divide 1/(a/(-7068)) + u/(-27)?
False
Suppose 18*z + 38580 = 19*z. Suppose 0 = -0*q - 30*q + z. Is q a multiple of 15?
False
Suppose 0 = 4*a + 4*q - 2*q - 362, 2*a = -3*q + 183. Let d = 264 - a. Is d a multiple of 29?
True
Let j(a) = 7*a**2 + 2*a + 74. Is 39 a factor of j(-8)?
False
Suppose 17*b + 90664 + 61826 = 0. Is 16 a factor of (b/161)/((-6)/28)?
False
Let t = 34 + -34. Suppose t = a + 1, -3*w = -4*a - 8 - 8. Suppose -226 = -5*m + w*u, -138 = -3*m + 2*u + u. Is m a multiple of 12?
False
Let l be 36/54 + ((-4)/(-3))/(-2). Let n be (-15)/(3/(-1)) - l. Suppose 3*m - 2*c = -3*c + 188, 3*m = n*c + 176. Is 1