s 23 a factor of 0 + 56/(-8) + 3684 + (-15)/(-5)?
True
Let y(z) = 45*z**3 - 29*z**2 - 12*z + 20. Does 7 divide y(6)?
True
Let v(a) = 19*a**2 + 40*a - 620. Does 26 divide v(30)?
True
Suppose 2*z - 1924 = -2*r, -2*r + 3*z - 479 = -2393. Let h = r - 520. Does 22 divide h/12*9/3?
True
Let p(d) = -2740*d + 14085. Does 15 divide p(-9)?
True
Suppose 0 = 99*p + 36976 - 315562. Is 42 a factor of p?
True
Suppose 5*r = -3*p + 957, 586 = 4*p + 5*r - 695. Does 4 divide p?
True
Suppose 198*k + 5*x + 21080 = 199*k, 5*x = -4*k + 84145. Does 61 divide k?
True
Suppose 1711*x - 1686*x = 1470600. Is 114 a factor of x?
True
Suppose 0 = -3*q - 3*n + 23514, 9*n = 4*q - 1167 - 30250. Is q a multiple of 42?
False
Suppose 4282*y + 46192 = 4287*y + 2*d, -8 = 2*d. Does 33 divide y?
True
Let a(v) = -217*v - 7. Let x be a(-1). Suppose 6*t + 5*p = 5*t + x, t = p + 204. Is t a multiple of 5?
True
Let y(d) = 524*d**2 - 14*d + 40. Is y(2) a multiple of 18?
False
Let r be (168/(-18))/(24/(-9) - -2). Let u be (-134)/(-12) - r/84. Suppose u*z + 197 = 1319. Is 21 a factor of z?
False
Suppose -14319 = -2*p + 5*v, -p + 2*v = 3652 - 10812. Is 64 a factor of p?
False
Suppose -4*y = 2*x - 131694, -y - 254*x + 32936 = -256*x. Is 101 a factor of y?
True
Suppose 0 = 5*t + 35*t - 480. Suppose t*n - 2175 = 5445. Is n a multiple of 14?
False
Let o(z) = 10*z - 236. Let y be o(25). Let s(h) = h**3 - 9*h**2 - 27*h - 13. Is 9 a factor of s(y)?
False
Is 19 a factor of (360/63 - (-5 + 11))/(4/(-70826))?
False
Let m(i) = -14*i + 4. Let c(j) = j**2 + j + 4. Let u be c(3). Suppose -13*q = -u*q - 3. Is m(q) a multiple of 9?
True
Let i = -549 + 995. Let g = i + 139. Suppose -4*c + q - 102 + g = 0, -4*c + 4*q = -492. Is 12 a factor of c?
True
Let k(l) = 5*l**2 - 3*l + 2. Let a be k(1). Does 30 divide (4 + 1 + -3)/(a/538)?
False
Let t(c) = c**3 + 41*c**2 - 18*c - 535. Is 7 a factor of t(-40)?
True
Suppose -878 + 311 = 3*j. Is 20*(j/(-6) + 2 + -7) a multiple of 22?
False
Is 10 a factor of (-64022)/51*((-7)/2 + 2)?
False
Is 16 a factor of (39/(-52))/(18/(-48312))?
False
Let m(k) = 9*k**3 - 6*k**2 + 17*k + 33. Let x(f) = 5*f**3 - 2*f**2 + 8*f + 17. Let h(b) = -6*m(b) + 11*x(b). Does 43 divide h(-7)?
True
Is 30 a factor of ((-107)/(-2))/(544/(-136) + 265/66)?
False
Let q = 695 + -700. Is 64 a factor of 253 + (q - -3) + (3 - -2)?
True
Is (-2)/((-8)/5924) + 16 + -22 a multiple of 38?
False
Suppose -3 = -v - 75. Let k be (v/(-54))/(2/(-15)). Let p(r) = r**3 + 11*r**2 + 3*r - 24. Does 20 divide p(k)?
False
Suppose 193723 + 390827 = 90*y. Is y a multiple of 67?
False
Suppose -4*j - 53 + 61 = 0. Suppose -516 = -5*q + f, q + 4*f = -j*q + 328. Is q a multiple of 8?
True
Suppose 3*x + 2*v = 10, 0*x - 2*x + 5*v - 25 = 0. Suppose g + 5*z - 230 = x, 2*g - 3*g - 4*z + 228 = 0. Is 55 a factor of g?
True
Let i be -30*(-32)/(-2 + -2)*-1. Suppose 2*o + 64 + 324 = 5*b, -3*b + i = -3*o. Suppose -5*p + b = 6. Does 14 divide p?
True
Let h be (-310)/70 - (-3)/7. Let w be 4/((-2)/(-4)*h/38). Let q = 202 + w. Is q a multiple of 18?
True
Let b(n) be the first derivative of -n**4/2 - 3*n**3 + 5*n**2 + 3*n - 5. Let z be b(-8). Suppose 0*i + 5*i - 533 = -4*r, 2*i = 3*r - z. Is 13 a factor of r?
False
Suppose -393 = 2*d + 305. Let v = 538 + d. Is 9 a factor of v?
True
Is 103215/6 + (-22)/44 a multiple of 47?
True
Suppose 5*n + 45716 = 3*d, d - 9144 = -n + 2*n. Does 28 divide n/(-56) - 6/(-8)*1?
False
Let p = 48 - 43. Suppose p*n - 4 = -4. Suppose 3*y - 159 = -n*y. Does 11 divide y?
False
Suppose 0 = 4*z - 5*m + 344, 2*m - 12 = -m. Let k = 192 + z. Is 37 a factor of k?
True
Let n(h) = -64*h + 86*h - 33 - 43*h. Is 32 a factor of n(-17)?
False
Suppose -4*i + 8397 = -8523. Is i a multiple of 94?
True
Suppose -17*j + 22*j - 60 = 0. Suppose -j*x = -17*x + 215. Is x a multiple of 2?
False
Let y(p) = p**3 - 13*p**2 - 28*p - 24. Let k be y(15). Let n(i) = 26*i + 28. Is n(k) a multiple of 22?
False
Suppose 15 = -o + 5*d + 47, -2*o + 32 = -2*d. Let a = 528 + o. Is 54 a factor of a?
True
Suppose 2*k - 4*m - 9598 = -1234, 2*k - 8359 = -m. Is k a multiple of 4?
True
Let f(j) = -371*j + 971. Is 54 a factor of f(-6)?
False
Let t be (2225/5 - -2)*(-20)/3. Does 9 divide (4/(-8))/(5/t)?
False
Suppose -2*j + 208 = 2*r, r + 40 = -5*j + 560. Suppose j + 92 = 2*q. Is 42 a factor of q?
False
Suppose -121 + 296 = q. Let l = q - -525. Does 25 divide l?
True
Let q(s) = -s**2 + 19*s - 34. Let i be q(17). Suppose 8*h - 10 - 6 = i. Is (h + -2 + -63)*3/(-9) a multiple of 7?
True
Suppose 531*u + 7380 = 561*u. Is 3 a factor of u?
True
Let v be (-15)/(-35) + (-109)/(-7). Let c be (-19 + v)*1/(-1). Suppose c*r + 1 = 55. Is r a multiple of 2?
True
Let t = 3 + 75. Suppose 0 = -7*w + t + 874. Is 11 a factor of w?
False
Let d be 6/(36/2865)*4. Suppose 25*x - d - 17290 = 0. Does 24 divide x?
True
Let b be 185 + 6 + -1 + -1. Let m = -26 - b. Let n = -135 - m. Is 20 a factor of n?
True
Let w be (-3)/1 - (-4 - 6). Let d be w*(5 + -4 + 0). Suppose -2*i = d*i - 162. Is i a multiple of 12?
False
Let q(s) = 922 - 1761 + 921 + 18*s. Is q(39) a multiple of 25?
False
Suppose 11*z + 7150 = -0*z. Let s = z - -1166. Is s a multiple of 16?
False
Suppose 5*z - 201 - 527 = -2*r, 3*r + 3*z - 1074 = 0. Suppose 0 = -p + 5*o + 194, o - r - 12 = -2*p. Is 7 a factor of p?
False
Let z be 1 - ((4 - 4) + (-1)/1). Let m be (-9)/(-36) - (-1 + z/8). Let v(o) = 2*o**2 + 2*o - 1. Is 2 a factor of v(m)?
False
Let d(x) = -2*x**2 - 25*x - 58. Let s be d(-14). Let c = 119 + s. Let y = 49 - c. Is 30 a factor of y?
True
Suppose -2*z - 2*p - 2*p = -22, 0 = -2*p + 2. Let d be (-4)/((-12)/(-9) - (-6)/z). Does 23 divide d*(-1)/(-7) - (-1956)/84?
True
Suppose 0 = 185*h - 190*h + 180. Suppose h*o - 732 = 24*o. Does 2 divide o?
False
Suppose 160*w - 30492 = 157*w + 4*s, -10156 = -w + 4*s. Is w a multiple of 6?
False
Suppose -8*d + 95 = -27*d. Let x(j) = -j**3 + j**2 + 7*j - 10. Is 2 a factor of x(d)?
False
Let z(t) = -6*t + 860. Does 23 divide z(-33)?
True
Suppose -4*q - 313*w = -309*w - 31440, -5*w = q - 7884. Is 34 a factor of q?
True
Let h(y) = -2*y - 3*y + 4*y + 11 + 5. Let r be h(27). Let k = r + 32. Is k a multiple of 16?
False
Suppose -88*h + 142075 - 9601 = -194886. Does 24 divide h?
True
Suppose 5*x - 15 = -2*l - 4, 0 = -3*l - 3*x + 12. Suppose -15 = -l*i, k = -2*k - i + 62. Does 3 divide k?
False
Let c(i) be the second derivative of -25*i**3/3 - 20*i**2 - 8*i. Let w be c(-10). Let x = 736 - w. Is x a multiple of 20?
False
Let d(r) = r**3 + 2*r**2 - 30*r - 152. Let s be d(-5). Suppose 2*n + 372 = -2*x - 0*x, 5*n - 3*x + 938 = 0. Let w = s - n. Does 22 divide w?
True
Let b = -98 - -205. Let w = 125 - b. Suppose 13*d - w*d = -355. Is d a multiple of 12?
False
Suppose 6*p + 119 = 143. Suppose -p*a - a = -800. Is a a multiple of 40?
True
Suppose 0 = -9*y + 10*y - 16. Suppose y = -2*a - 4*f - 0, 20 = -2*a - 5*f. Suppose a = -8*g + 41 + 431. Is 5 a factor of g?
False
Let n(x) = -x**3 - 35*x**2 - 2*x - 23. Let o be (12/18)/(-1*6/315). Does 47 divide n(o)?
True
Suppose 0 = 7*f - 476 + 441. Let w = 25 + -33. Is ((f/(-1))/(w - -9))/(-1) a multiple of 5?
True
Let q = -85 + 85. Suppose k - 68 - 27 = q. Is k a multiple of 19?
True
Let r = 8773 - 5614. Does 9 divide r?
True
Does 43 divide -1*(-5236 - (-6 + 21))?
False
Let a be 12/3 - -37 - 1. Let l = 86 - a. Let w = -30 + l. Is w a multiple of 5?
False
Let f = -263 - -274. Suppose 0 = 10*s - f*s + 197. Is 11 a factor of s?
False
Let v(a) be the third derivative of -a**4/4 - 5*a**3 - 16*a**2. Let k(m) = m. Let l(x) = -3*k(x) - v(x). Does 14 divide l(0)?
False
Suppose 3*s - 9*m + 14*m - 8495 = 0, 2*m = -10. Is s a multiple of 142?
True
Let m = 13202 - 8365. Is m a multiple of 58?
False
Let b = 424 - -56. Does 40 divide b?
True
Let p = 18763 - 17728. Is p a multiple of 69?
True
Let b(d) = 7*d + 17. Let s be b(-2). Suppose 5*i + 165 = 5*m, 5*i = 3*m - 10 - 83. Suppose 0 = 2*w - s*p - m, 3*w - p = -2 + 70. Is w a multiple of 6?
True
Suppose 0 = 2*g + 5*b - 6007, b = 2*g - 8401 + 2400. Is g a multiple of 16?
False
Suppose 0 = 5*x + 2*u + 3799, 10*x - u = 7*x - 2275. Let s = x - -858. Is s a multiple of 4?
False
Let f(v) = -2*v**2 + 29*v - 6. Let i be (7 - 3)*14/4. Let g be f(i). Suppose 0 = 3*o, 3*r = g*r - 4*o - 505. Is 25 a factor of r?
False
Suppose -5*z = -10, -4*o + 2*