 = 0. Is s a multiple of 80?
False
Suppose -22 = 15*o + 38. Let s(u) = 4*u + 37. Does 13 divide s(o)?
False
Is (12/34)/((-96)/(-1004496)) a multiple of 13?
False
Suppose 0 = 4*r - 4*i - 4, 4*i + 6 = -3*r - 12. Does 50 divide 218/(r/17 - (-288)/136)?
False
Let g = 464 + -467. Is (-12471)/(-12) + g/(-4) a multiple of 52?
True
Let y(r) = r**2 + r + 1. Suppose -3*o - 2*w + 5 = 0, 4*w + 15 = o - 10. Let a(i) = 2*i**2 - 19*i - 5. Let d(v) = o*y(v) - a(v). Is 7 a factor of d(-10)?
True
Suppose w + x - 1 = 0, 4*x = -5*w + 2 + 2. Suppose 41 = j + 2*d - 31, w = -5*j + 5*d + 345. Is j a multiple of 29?
False
Suppose 2868 = l + 2*k, 5*l + 153*k = 149*k + 14376. Does 11 divide l?
False
Let t(k) = 3*k + 5. Let n be t(-7). Let f be -2*(-3)/(-48) - 162/n. Is 1404/f - (-4)/(-10) a multiple of 20?
True
Is -3 - (2/19 + 1 + 286904/(-38)) a multiple of 14?
True
Suppose -4*y - 2*r + 38 = 0, -5*y - 5*r = -45 + 5. Let q(f) = f**2 + 15*f - 52. Is q(y) a multiple of 13?
True
Suppose -4*j = d + 1228, -j - d + 302 = -2*j. Let k = j + 551. Does 49 divide k?
True
Let m(a) = 2*a**2 + 38*a - 170. Suppose 9*q - 35 = 10. Is 5 a factor of m(q)?
True
Suppose 12*k + 4*x - 72564 = 8*k, 126981 = 7*k + 4*x. Does 11 divide k?
True
Suppose -2516 = -3*d + 5152. Is 29 a factor of d?
False
Suppose -4*r = -8*r + 4*n + 4, 4*n = -r - 4. Suppose 4*q = -5*u + 2515, r = u - 4*q - 97 - 382. Does 13 divide u?
False
Let v(b) = 147*b**3 - 32*b**2 + 74*b - 26. Is v(7) a multiple of 71?
True
Let y(a) = -66*a - 155. Let v(i) = -13*i - 31. Let u(c) = -11*v(c) + 2*y(c). Let g be u(-8). Let m = 141 + g. Is 28 a factor of m?
True
Let z = 988 + 5057. Is 139 a factor of z?
False
Let i(r) = -r**2 + 19*r + 122. Let p be i(24). Suppose -94 - 1130 = -p*s. Is 25 a factor of s?
False
Let c = -118 - -118. Suppose c*v = v - 175. Is v a multiple of 25?
True
Let l(q) = 12*q**3 - 4*q**2 - 30*q - 6. Let t(d) = 5*d**3 - 2*d**2 - 13*d - 3. Let c(g) = -3*l(g) + 7*t(g). Let b = -11 - -8. Is 2 a factor of c(b)?
False
Let h(t) be the third derivative of -t**4 + 8*t**3 - 2*t**2. Suppose -q + 1614 = 1625. Does 39 divide h(q)?
True
Is -426*81*4/(-6) a multiple of 18?
True
Let j(m) = -6*m**2 + 12*m**3 + 8 - 6*m**2 - 13*m**3 - 1. Let c be j(-12). Suppose -10*w + 108 = -c*w. Is 16 a factor of w?
False
Let q(s) = 2*s**3 + 79*s**2 + 325*s - 72. Does 56 divide q(-33)?
True
Let i(j) = -429*j + 145. Let z be i(-3). Let m = -728 + z. Does 44 divide m?
True
Let o = 137369 - 95612. Does 8 divide o?
False
Is 676214/182 - 6/13 a multiple of 5?
True
Suppose 3*f - 5*w = 90765, 0 = -0*f - f + 2*w + 30256. Is f a multiple of 22?
True
Suppose -2*g = u - 11, -g + 28 + 9 = 2*u. Let s = -2 + u. Suppose -62 = -s*m + 17*m. Is m a multiple of 7?
False
Let v = 48 - 44. Suppose -5*t - 8 = -0*q - q, -v*q = -4*t - 16. Suppose -4*k = -q*k - 80. Is k a multiple of 17?
False
Let c(s) = 6*s**2 + 43*s - 125. Is 33 a factor of c(14)?
False
Let k be -3 + 0 + 420/(-6). Let b = 94 + k. Let j(t) = -t**2 + 28*t - 20. Does 14 divide j(b)?
False
Let c = 78 + -62. Let q be (-1 + (-15)/(-10))/(2/c). Suppose q*m = p + 92, -4*p - 104 = 2*m - 7*m. Does 12 divide m?
True
Let y be (584/10)/(1 - 2055/2025). Is 5 a factor of (y/(-7))/2 + 28/(-49)?
False
Let y = -22394 + 29147. Is y a multiple of 40?
False
Does 206 divide (-1133)/(-22)*(595 - -45)?
True
Let a(c) = -33*c - 9. Let q be a(-3). Let b be ((-1)/(-2))/(87/q + -1). Let r = 39 + b. Is 24 a factor of r?
True
Suppose 2633 + 2105 = -9*l + 24475. Is 12 a factor of l?
False
Let u be 4*3/(-12)*-113. Let k = 119 - u. Is (8092/(-51))/((-4)/k) a multiple of 34?
True
Let j(w) = -11*w + 168. Let i be j(9). Suppose -51*p - 9414 = -i*p. Does 11 divide p?
False
Let i(j) = -55*j + 11. Let p(y) = -56*y + 10. Let r(b) = 5*i(b) - 6*p(b). Let m be r(8). Suppose m - 53 = 5*d. Is 6 a factor of d?
False
Suppose -11*o - t + 23799 = 0, 2*o = -4*t + 2786 + 1522. Is o a multiple of 5?
False
Let g(l) = -104*l - 206. Let d be g(-5). Suppose -5*f - 2*q = -1156 - d, -3*q = -3*f + 882. Does 14 divide f?
True
Let r be (2/(-4))/((-3)/(-60)). Let m(a) = -4*a**2 + a - 7. Let s(y) = y**2 + y + 1. Let b(p) = m(p) + 5*s(p). Is 31 a factor of b(r)?
False
Let o = -192 - -198. Suppose 2*g = -4*f + 506, 10*g - 2*f = o*g + 972. Is 7 a factor of g?
True
Suppose 1416 = 3*f - 0*q - 3*q, 10 = -2*q. Let h = f + 16. Is h a multiple of 21?
True
Suppose 0 = 8*t + 3275 + 1621. Let b = -92 - t. Does 20 divide b?
True
Let q = 991 + -533. Suppose 4*v + 737 = 3*l, q = 2*l + v + 3*v. Suppose 5*i + 2*n = -0*i + l, -n + 144 = 3*i. Is i a multiple of 4?
False
Suppose 2*i = 4*s + 111524, 4*i - 3*i - s = 55757. Is 92 a factor of i?
True
Let j(t) = -26*t - 36. Does 96 divide j(-6)?
False
Let l be (199 - 203) + 0/(-2) + 0. Is (-4 - -2)/(l/490) a multiple of 7?
True
Suppose -11*l + 8*l + 3849 = 0. Suppose 0 = -4*r + 3*q + 1040 + 261, -l = -4*r - 3*q. Does 19 divide r?
True
Let g = -245 + 337. Let t = -47 + g. Is 15 a factor of t?
True
Suppose 64*c - 161*c + 102210 = -191215. Is 13 a factor of c?
False
Let f be (-1 + (-15)/(-6))/((-3)/124). Let u = f - -287. Is 32 a factor of u?
False
Let m be 20/(-5)*2/(-4). Suppose -m*y - 1 = -13. Let d = y + 28. Is 17 a factor of d?
True
Let i = -3064 - -17290. Is i a multiple of 33?
False
Suppose -5*d + 2*t + 3 = -13, 3*t = 3*d - 15. Suppose -5*r - 46 + 11 = -5*h, -3*h - d*r = -1. Is h a multiple of 3?
True
Suppose 14*v = -6*v + 140. Let c(h) = -3*h + 16 + 3 + 4*h - 5. Does 16 divide c(v)?
False
Suppose -351*b + 2941674 + 653970 = 0. Is b a multiple of 26?
True
Let b = 196 - 304. Is (-77490)/b + (-10)/4 a multiple of 55?
True
Suppose -w - 4*w = -20. Suppose 0 = w*v - n - 891, 2*n - 667 = -3*v + 3*n. Does 14 divide v?
True
Let j(t) = -5*t**2 - 10*t + 148 + 6*t**2 - 150. Let z be j(20). Suppose 6*g + z = 15*g. Is 11 a factor of g?
True
Suppose -5*v = 5*a - 0*a - 110, 2*v = -5*a + 116. Suppose 16*w - a*w = -1912. Is 7 a factor of w?
False
Let m(h) be the second derivative of h**5/20 - h**4/3 + h**3/6 - 3*h**2 - 2*h - 99. Is 8 a factor of m(5)?
True
Let n = 18663 + -5268. Is 155 a factor of n?
False
Let v(j) = -13*j + 57. Let i be v(4). Suppose w - 280 = 5*b - 1136, 0 = i*b + w - 854. Is b a multiple of 14?
False
Let r(t) = t**3 - 24*t - 3. Let s be r(5). Suppose -s*v - 37*v + 2808 = 0. Is v even?
True
Is 16 a factor of -7 - -3*13023/27?
True
Suppose -s = -2*x + 3*s + 690, 2 = -2*s. Suppose 7*d = -6 - 10 + 2. Is 11 a factor of (-4 - d)/((-14)/x)?
False
Let w = 92 + -87. Let o(n) = 91*n - 167. Does 6 divide o(w)?
True
Let t(x) = 427*x**2 + 399*x + 2441. Does 17 divide t(-6)?
True
Let z = 196 - 189. Suppose -3*v = -z*v + 340. Is 7 a factor of v?
False
Suppose -3*x + 3*o = x - 5841, 3*o + 1449 = x. Is x a multiple of 4?
True
Suppose 27*w = 57590 + 88696. Suppose 0 = -10*x - 4*x + w. Does 11 divide x?
False
Let b = 660 + -630. Is (-4620)/(-75)*b/3 a multiple of 44?
True
Suppose -j = x - 128, -5*x + 7*j = 4*j - 624. Suppose 0 = 5*s - 77 + 457. Let g = x + s. Is g a multiple of 10?
True
Suppose -36*g + 6773 = -8923. Suppose -22*j = 4*b - 24*j - g, 0 = -b + j + 108. Is 6 a factor of b?
False
Suppose -5*j - u + 11 = 0, 0 = -9*j + 5*j - 5*u + 13. Suppose k = -b + j + 27, -5*b = -4*k - 127. Is b a multiple of 5?
False
Is ((18 + -16)/18 - 41921/(-9)) + -2 a multiple of 12?
True
Let m = -16 + 14. Let w(a) = -61*a - 29. Does 4 divide w(m)?
False
Let y(n) = -171*n**3 - 19*n**2 - 128*n - 60. Does 30 divide y(-5)?
True
Let c(p) = 3*p**3 - 21*p**2 - 6*p - 5. Let z be 5 + (10 - (-18)/(-3)). Is 14 a factor of c(z)?
False
Suppose -4*y = -41 + 13. Let k(s) be the first derivative of -s**4/4 + 7*s**3/3 + 5*s**2/2 - 11*s + 6. Is 12 a factor of k(y)?
True
Suppose 5*c = -10, 3*t - 3*c - 147 = -708. Let w = t + 272. Is w a multiple of 30?
False
Suppose 101*z = -133*z + 453960. Is z a multiple of 21?
False
Let m = 451 - 246. Let p = -111 - -1. Let u = m + p. Is 19 a factor of u?
True
Let v = -16399 + 32281. Does 63 divide v?
False
Suppose j - 4*s = 4681, 14085 = -0*j + 3*j + 2*s. Is j/52 - 6/(-8) a multiple of 20?
False
Suppose 0 = 36*g + 57546 - 102616 - 129062. Is g a multiple of 35?
False
Suppose 0 = 4*c - 64*o + 67*o - 34929, -2*c + 3*o + 17487 = 0. Does 42 divide c?
True
Does 9 divide (-2850)/3*-5 - (6 - 8/(-8))?
True
Suppose -588*i = -593*i + 3*j + 64969, -2*j - 519