10142/198 a multiple of 17?
True
Let p(m) = m**2 - 4*m - 6. Let f be p(4). Let g = 1 - f. Is 7 a factor of g?
True
Let k = 1741 - 247. Does 18 divide k?
True
Suppose 7*g = 8*g - 4*f - 1140, -2244 = -2*g - 4*f. Does 47 divide g?
True
Let v be (-3)/9*3 - -31. Suppose -4*u + 5 = 5*l - 33, -3*u + v = 3*l. Let n = u - -28. Is 21 a factor of n?
False
Let w be 4/(-18) + 48/(-27) + -118. Let h = 199 + w. Is h a multiple of 9?
False
Suppose 6 = -3*v + 2*v. Let p = 11 + v. Suppose -p*a + 27 + 48 = 0. Is 5 a factor of a?
True
Suppose -2*p + 16 = 3*w, -2*p = 2*w - p - 10. Is (w - 16)/(-4) + 23 a multiple of 13?
True
Suppose -4*z - 5*l = -91, -4*z + 0*l + 70 = -2*l. Let x = z - 54. Let p = 87 + x. Does 9 divide p?
False
Suppose 0*y + 4*g = -2*y, -2*g = -4*y. Suppose y = -w + p + 165 - 52, 0 = 5*p - 25. Is 22 a factor of w?
False
Does 25 divide 1925/(-2)*23/(161/(-14))?
True
Let g = 4284 - 1686. Is g a multiple of 53?
False
Suppose -4657 = -10*y - 857. Is y a multiple of 19?
True
Is 55/(-50)*-228 + 48/40 a multiple of 18?
True
Let t be (-3 - -8)*(-2 + 4). Let g = 13 + t. Is g a multiple of 10?
False
Let b(k) = -k + 1. Let r(c) = -6*c + 11. Let w(a) = 2*b(a) - r(a). Let n(g) = 5*g - 10. Let h(l) = 2*n(l) - 3*w(l). Does 3 divide h(0)?
False
Is -4 - (5 - (2367 + 2)) a multiple of 22?
False
Let a = 2252 + -1550. Is 10 a factor of a?
False
Let u(q) = -q**3 - 6*q**2 + 10*q + 40. Suppose -21 = 9*i + 51. Is 21 a factor of u(i)?
False
Does 55 divide 6/(144/930)*(5 - 1)?
False
Suppose -559 = -10*b + 4501. Does 23 divide b?
True
Suppose -7*z = 528 - 2642. Is z a multiple of 63?
False
Let x be 5/15 - (-53)/3. Suppose x*s = 24*s - 930. Does 19 divide s?
False
Let w = 1267 - 761. Is w a multiple of 37?
False
Suppose -8 = 2*v + 8. Does 27 divide 12/v + (-542)/(-4)?
False
Suppose -4 = -5*n + 6. Suppose -n*f - f = -189. Does 18 divide f?
False
Let f be 100/(-2)*45/(-18). Is 22 a factor of 6 + f - (1 - 1)?
False
Suppose 142241 + 77407 = 48*u. Does 8 divide u?
True
Let n(f) = 2*f - 20. Let q be n(18). Is 34 a factor of q/(-4)*(-10 - 0)?
False
Let d = -111 + 202. Does 5 divide d?
False
Let v = 2461 + -557. Is 16 a factor of v?
True
Suppose 6 = -4*d + 318. Let q = -149 + d. Let x = -28 - q. Does 11 divide x?
False
Suppose 893 = h - 316. Suppose 240 = 9*l - h. Does 23 divide l?
True
Suppose 1155 = 15*m - 4*m. Does 15 divide m?
True
Let y(l) = -l. Let v(t) = 6*t + 6. Let s(w) = -2*v(w) - 4*y(w). Let x be s(-7). Is ((-27)/(-12) + -1)*x a multiple of 13?
False
Let v be (-30)/24*(2 - 6). Suppose v*m + 128 = 7*m. Is m a multiple of 8?
True
Suppose 0*f - o + 7 = -f, 5*f = 4*o - 30. Is 6*(-9)/4*f a multiple of 3?
True
Let s be (-2)/(-10) - (-36)/45. Is 1/(s*(-4)/(-112)) a multiple of 7?
True
Suppose 0 = -4*w + 930 + 438. Is w a multiple of 11?
False
Let m be (2 + 28/(-8))*-2. Suppose 0 = -2*q + m*q - 61. Is 8 a factor of q?
False
Suppose y + 5*p - 11 = -y, -3*y = 3*p - 12. Suppose 124 - 7 = y*x. Is 39 a factor of x?
True
Suppose -7*q = 462 - 1442. Is q a multiple of 20?
True
Let q(d) = d**2 - 52*d - 100. Does 31 divide q(64)?
False
Let c be (1 - 4)/3*-2. Let p = 4 - c. Suppose -5*t - l + 60 = 0, -t + 27 = p*l + 6. Is 7 a factor of t?
False
Suppose -2144 + 6554 = 9*d. Does 98 divide d?
True
Suppose -22*z + 21*z = -374. Is 17 a factor of z?
True
Let c = 15 - 9. Let a(h) = h**2 - 2*h + 10. Let g(w) = w**2 - 2*w + 9. Let o(q) = -3*a(q) + 4*g(q). Is 10 a factor of o(c)?
True
Let c(z) = 2*z**2 + 3*z - 1. Suppose 9 = -4*u - 11. Does 17 divide c(u)?
True
Suppose 19*k - 22*k + 555 = 0. Is k a multiple of 9?
False
Let v(o) = o**3 - 6*o**2 - 7*o - 8. Suppose 0*k + 14 = 2*k. Let c be v(k). Does 4 divide 4 - c - (-3)/(-1)?
False
Does 33 divide -2 + (-8)/(-3) - 295/(-3)?
True
Let j(x) = 3*x**3 + 7 - x**3 - 3*x**3 + 2*x**2 + 4*x - 3*x. Does 3 divide j(0)?
False
Suppose 30*r - 13468 = 2*r. Is 53 a factor of r?
False
Let q(o) = -62*o - 96. Is q(-7) a multiple of 6?
False
Suppose 0 = -125*z + 127*z. Let b(p) = 33 + 6 - p + 9 - p**2. Does 24 divide b(z)?
True
Is 2 a factor of ((-2 - -9)/28)/((-1)/(-412))?
False
Let k = 734 - 344. Is k a multiple of 9?
False
Let o = 742 + -623. Is o a multiple of 5?
False
Let k(v) = -v**2 + 4*v + 5. Let h be k(6). Let n be 0/h*1/(-2). Suppose -s + u + 12 = n, 4*u = s - 0*u - 24. Does 6 divide s?
False
Let l be (10 + -2)/((-4)/(-2)). Suppose -4 = 2*z + 2*z. Is 6 a factor of (-4 - l)/z + -2?
True
Suppose -2*x + 3*k = 513, 3*k + 976 = -4*x - k. Let z = 26 - x. Suppose -4*c = c - z. Is 19 a factor of c?
False
Let v(s) = -49*s - 3. Suppose d - 5*d = 4. Let q be v(d). Suppose 2*a = q + 44. Is 30 a factor of a?
False
Let c = 3993 - 2599. Is c a multiple of 41?
True
Suppose -3*m = -9 - 9. Suppose 3*f = m*j - j - 105, 5*j - 85 = -f. Suppose -4*a - 44 = -3*l + j, a = -2*l + 56. Is l a multiple of 13?
True
Let l(x) = x**3 + 13*x**2 + 9. Let p(q) = q**2 - 3*q - 2. Let u be p(-6). Suppose b + u = -6*y + 2*y, -5*b + 13 = -y. Is l(y) a multiple of 5?
False
Let c(z) = -4*z**2 - 4*z - 2. Let f(h) = -3*h**2 - 5*h - 2. Let j(p) = -2*c(p) + 3*f(p). Let l = -11 - -6. Is j(l) a multiple of 3?
False
Let d = -4 + 28. Suppose 2*c = 0, 3*o + c = 2*o + d. Is 8 a factor of o?
True
Suppose 8*t = 12*t - 5*z - 5992, -2*t - 3*z = -3018. Is t a multiple of 47?
False
Let x = -642 + 1256. Is 10 a factor of x?
False
Suppose 4*u - 1468 = -s + 2*u, 0 = 2*u - 10. Is 16 a factor of s?
False
Is 9440/50 + 2/10 a multiple of 24?
False
Let j(p) = -7*p - 22. Let n be j(-4). Suppose 588 = n*d - 84. Does 24 divide d?
False
Is 26 a factor of (7 - (-365 - -8))*(-6)/(-7)?
True
Let n be (4/6)/(8/36). Suppose -12 = -8*a + 2*a. Suppose 0 = z - n*c - 27, a*z - 44 = 2*c - c. Does 6 divide z?
False
Let j = -82 + 76. Let o(u) = 4*u**2 + 7*u - 5. Is 19 a factor of o(j)?
False
Suppose 1831 = 3*l - 0*n + n, 1841 = 3*l - n. Does 12 divide l?
True
Let a = 481 + -440. Is a a multiple of 2?
False
Let d = 250 - 379. Let x = 184 + d. Is x a multiple of 11?
True
Is 29 a factor of ((-58)/8)/(-1 - 460/(-464))?
True
Suppose -4*m = 43 + 117. Let b = 13 - 83. Let v = m - b. Is v a multiple of 10?
True
Let a(m) = 2*m + 5*m + 13*m - 12. Is a(4) a multiple of 17?
True
Is (-4 - 99/(-4)) + 18/(-24) a multiple of 10?
True
Let l(h) = -4*h**3 - 8*h**2 + 14*h + 38. Is l(-7) a multiple of 8?
True
Suppose 0 = 14*b - 5*b - 1278. Does 7 divide b?
False
Let h(u) be the second derivative of 3*u**2 + 1/2*u**4 + 0 + 0*u**3 + u - 1/20*u**5. Is 3 a factor of h(6)?
True
Let o(b) be the first derivative of b**4/4 + b**3 - b**2 + b - 12. Is 3 a factor of o(-3)?
False
Let w = 37 + 43. Is w a multiple of 20?
True
Suppose -4*n = -6*n + 18. Suppose 0 = 6*y - n*y + 72. Does 13 divide y?
False
Is 8 a factor of 10/55 + (-5270)/(-55)?
True
Let k(r) = -78*r + 48. Is 60 a factor of k(-4)?
True
Let j(z) = -37*z**3 - z**2 - z - 1. Suppose -7 = -4*u - t, 0*u - 4*u + 2*t = -10. Suppose 0 = h - 0*d + 4*d + 1, u*h + 3*d = -2. Is j(h) a multiple of 13?
False
Suppose 3*i = -15, -3*u = -4*i - 2154 - 626. Does 56 divide u?
False
Suppose 17*x - 10*x - 2527 = 0. Is x a multiple of 17?
False
Let u be 4/(-5) - 38346/55. Is 14 a factor of u*(27/(-6) + 4)?
False
Let h(v) = v**2 + 5*v + 6. Let t(z) = z**2 + 9*z - 14. Let w be t(-10). Let s be h(w). Suppose 4*l - 2*l = -m + 18, m - s*l = 30. Is 8 a factor of m?
True
Let x(s) = 714*s - 62. Does 65 divide x(3)?
True
Let r(y) be the first derivative of -5 - 2*y - 2*y**2 - 3*y - 2*y**2 + 2*y. Does 10 divide r(-3)?
False
Let r = 3 + -1. Is 2 a factor of (-1)/(r - 69/33) + 2?
False
Let i be (72/(-10))/(4/20). Let y be (-117)/i - (-1)/(-4). Suppose -y*d = -0*d - 192. Is 12 a factor of d?
False
Suppose 3*h + 5*m = 17, -7*h + 7 = -4*h - 5*m. Suppose -c = x, -2 = h*x + 5*c - 0. Is 6 a factor of (x/3)/((-6)/(-135))?
False
Let t = -16 - -14. Let a be 18*t/(12/(-2)). Is 5 a factor of (a/2)/(15/50)?
True
Does 3 divide (-573)/(-27) + 3 - (-4)/(-18)?
True
Let l(f) = 4*f - 46. Is 4 a factor of l(53)?
False
Suppose -15*h + 17*h = -28. Let w be (7 + h)*(-6)/14. Suppose r = i + 42, w*r + i = -0*r + 126. Is 6 a factor of r?
True
Is 6 a factor of (27/(-6))/((-33)/902)?
False
Let y be 196 - (1 + -2)*-4. Suppose -y = 5*b - n - 916, n + 148 = b. Does 12 divide b?
True
Let r be (-18)/(-5) - ((-108)/(-30) + -3). Suppose r*u + 216 = 5*u. Is u a multiple of 12?
Tru