ppose 4*r = 2*a - 50, c = 4*a - r - 57. Is 20 a factor of a?
False
Suppose 5*r - 4*c = -2*c - 101, 5*r + 115 = -5*c. Suppose -25*t - 132 = -28*t + 3*n, -3*t - 4*n + 153 = 0. Let m = r + t. Does 13 divide m?
True
Suppose 0 = -2*q - 2*f + 18, -5*f = -f - 16. Suppose 0 = -q*o - 113 + 333. Suppose -4*w - o + 356 = 0. Is 13 a factor of w?
True
Suppose 2*r + 244 = 2*y, 5*y + 11*r = 7*r + 619. Is 18 a factor of y?
False
Suppose 0 = -t, -4*n + 0*n + 4*t = 1796. Let j = 206 - n. Is 15 a factor of j?
False
Suppose 3*h - 4*q = 204, 0 = -5*h + 4*q - 135 + 475. Suppose -3*k = -2*t + 1013, t - k - 438 = h. Is 22 a factor of t?
False
Suppose 0 = -3*u - 120 - 24. Let o = u - -75. Suppose 15*q - o = 14*q. Does 18 divide q?
False
Is 6087 + (-27)/((-189)/70) a multiple of 7?
True
Is 66 a factor of 2644 + 12*6/8 + 1?
False
Let z = -6885 + 8483. Does 12 divide z?
False
Does 72 divide 60468/10 + 29/((-145)/(-6))?
True
Let p(w) = -3*w - 58. Let s be p(-21). Suppose 5*t - 13 = -12*j + 13*j, -s*j = 3*t + 9. Does 5 divide 6/t - (1 - 63)?
True
Suppose 2*l - 4*s = -2*l - 28, -2*s + 8 = 0. Let f be 0 + -3 - (l - 170). Suppose 2*w + 0*w = -4*r + f, 0 = -3*r + w + 125. Is 9 a factor of r?
False
Is (-35 + 38)/((-2)/(-1002) + 0) a multiple of 9?
True
Let t(f) = 8*f**2 + f - 30. Let a(g) = -g**3 - 3*g**2 + 2*g - 2. Let u be a(-4). Does 11 divide t(u)?
True
Let y(a) = 2*a**3 - 8*a**2 + 7*a + 27. Let z(i) = -2*i**3 + 13*i**2 - 7*i + 11. Let k be z(6). Does 7 divide y(k)?
True
Suppose -89*h - 162627 = -9*h - 2009667. Is 176 a factor of h?
False
Let n(p) = 6*p + 32. Let y be n(-6). Let g be (-11)/y + 1/4. Suppose 14 = g*j + 2. Is j even?
True
Is ((-18)/(-10))/((-46)/(-50370)) a multiple of 6?
False
Let m(d) = -d**2 + 43*d - 178. Let b be m(5). Suppose 4*h - 4*z = 1300, -9*z = -12*z + b. Is h a multiple of 9?
False
Let q = 193 - 459. Let s = -185 - q. Suppose 22*w - 19*w = s. Is w a multiple of 4?
False
Let p(n) be the second derivative of n**4/12 - 11*n**3/6 + 2*n**2 + 75*n. Is 7 a factor of p(-12)?
True
Let g(v) = -101*v - 999. Does 30 divide g(-13)?
False
Suppose 6*g = 5*g + 2*k + 29114, 4*g - 5*k = 116468. Is g a multiple of 87?
False
Let p(h) = 10*h**2 + 19*h + 2. Let g be p(-11). Let s = g + -415. Is 14 a factor of s?
True
Let p(u) = -u + 1. Let i = -29 - -27. Let t be p(i). Suppose t*g = -35 + 335. Is 25 a factor of g?
True
Is 57 a factor of -2 + 13 + -8 + 738?
True
Let t(a) = 16*a**3 + 10*a**2 - 21*a + 116. Is t(7) a multiple of 123?
False
Let m(v) = 13*v**2 - 76*v + 109. Let t be m(4). Suppose d + 3*q - 24 = 0, -2*d - 3*q + 33 = -0*q. Suppose 284 = t*j - d*j. Is 9 a factor of j?
False
Suppose 0 = -30*b + 38*b - 10864. Is 97 a factor of b?
True
Suppose 4*v + 27*v = 605616. Is v a multiple of 13?
False
Let n = -332 + 361. Suppose 23049 = n*i - 9895. Is 71 a factor of i?
True
Let w be 20/10 - 15*2. Does 3 divide ((-375)/(-10))/1*w/(-5)?
True
Let c be 1306/14 + (-14)/49. Let b = -95 + c. Does 13 divide (b + 4 + -1)/((-3)/(-408))?
False
Let r = 591 + -193. Let k = r - 262. Is k a multiple of 17?
True
Let o be -2 + (-20)/(-5) + -37. Let a = -30 - o. Suppose a*h = 5*d + 3*h - 148, -146 = -5*d + 4*h. Is 14 a factor of d?
False
Let d be 1 - 2 - (-3)/(12/4). Suppose d = 5*u - 3*n - 833, 0*u - 5*u + 849 = n. Does 5 divide u?
False
Suppose -27*j = 4*d - 29*j - 37530, 10 = -2*j. Is d a multiple of 20?
True
Suppose -4*p - 4 = -5*g - 13, p - 1 = g. Let i(t) = -t**3 - 3*t**2 + 2*t. Is 8 a factor of i(p)?
True
Suppose 3*b + 28 = 2*b - 5*p, -65 = 3*b - 4*p. Let z = b + 28. Suppose 0 = 3*k + z*s - 87, -k - 2*k + 87 = -4*s. Is 5 a factor of k?
False
Let u(b) be the third derivative of 41*b**6/30 + b**5/60 - 5*b**4/24 + b**3/2 - 19*b**2. Suppose -4*w + 2*g = -0*g - 8, -5*g = -2*w + 12. Does 12 divide u(w)?
False
Let x = -188 - -495. Let v = x - 120. Suppose -3*h = -4*b - h + 762, -3*h + v = b. Is b a multiple of 19?
True
Let a(o) = 18*o**3 - 5*o**2 + 15*o - 104. Is 18 a factor of a(6)?
False
Let y(k) = -k**2 + 3*k + 2. Let l be y(3). Suppose 0 = -l*f + 24 + 6. Let p = 29 + f. Does 8 divide p?
False
Suppose 3*t = -0*t + 42. Suppose -t*d + 15 = -9*d. Suppose d*v = -0*v + 39. Is v a multiple of 2?
False
Suppose -4*x - 26 = -3*p, -5*p = 5*x - 2*x + 5. Let c be 22 - (p/(-3) + (-8)/(-12)). Does 21 divide ((-4)/2)/(c/(-957))?
False
Let z(w) = -2*w**2 - 6*w - 10. Let c be z(-5). Let g = 144 + c. Does 10 divide g?
False
Suppose 5*u - 17 = -7, 0 = 2*d + 5*u - 63514. Does 27 divide d?
True
Let g = -10643 + 17741. Is g a multiple of 92?
False
Let j be ((-43 + 5/5)*-3)/1. Let g = -105 + j. Does 7 divide g?
True
Suppose w - 35438 = 3*d - 111090, d = 5*w + 25194. Does 57 divide d?
False
Suppose -5*i + 71 = 361. Let p = -68 - i. Is p/15 - (276/(-9))/1 a multiple of 10?
True
Let v(q) = 46*q + 195. Does 4 divide v(-2)?
False
Suppose z = 2*g - 407, -2*z - 151 + 549 = 2*g. Suppose 10 = -5*b, -3*d + 2*b - 6*b + g = 0. Is -1*(2 - d) + 4 a multiple of 24?
True
Suppose 11*g - 95359 = -19921. Is 5 a factor of g?
False
Is (-176)/4*4522/(-57)*27/12 a multiple of 42?
True
Let o = -208 + 973. Suppose -5*g = n - 235, 2*g = -3*n + 7*g + o. Does 17 divide n?
False
Suppose 12*l - 5*l = 14. Suppose -2*y - y = -l*p - 583, 5*p + 965 = 5*y. Let g = y - 106. Is g a multiple of 15?
False
Suppose 2*d - 45081 = f, -2*d - 5*f + 52186 = 7111. Suppose -84*n - d = -98*n. Is n a multiple of 23?
True
Let i = -103 + 87. Let b(x) be the first derivative of -x**4/4 - 5*x**3 + 15*x**2/2 + 24*x + 7. Does 8 divide b(i)?
True
Let y(b) = -b - 1. Let c(l) = -200*l - 14. Let t(g) = -c(g) - 10*y(g). Let m be t(3). Suppose 0 = -4*x - 2*d + m - 64, 5*x - 755 = d. Is x a multiple of 29?
False
Let w(q) = 3*q + 30. Let v be w(-7). Is v/(126/1504) - 8/(-14) a multiple of 7?
False
Let i(k) = 69*k**2 - 17*k - 66. Does 14 divide i(-4)?
True
Suppose 10 = -2*h, -3*b = -8*b + 3*h + 24625. Suppose 14*y - 8168 = b. Is y a multiple of 13?
False
Suppose 5*r + 0*r = 5*h - 15, r = -h - 9. Let n = -6 - r. Suppose n = -l - 1, -3*l = k - 6*k + 523. Does 26 divide k?
True
Suppose -1243 = -28*k + 1389. Suppose -5*x + 991 = h, x - 2*h + k = 301. Is 2 a factor of x?
False
Let l = -28 - -47. Let t = l + 94. Does 13 divide t?
False
Let a(r) = -20 - 2952*r - 1 + 2880*r. Is a(-7) a multiple of 42?
False
Suppose 4 = 9*t - 8*t. Let o = -30 - -32. Suppose -t*c = -o*c - 40. Is 20 a factor of c?
True
Suppose -2*s + 5927 = p, 2*s + 185*p - 5885 = 190*p. Does 148 divide s?
True
Let p(z) = -8*z + 9. Let h be p(0). Suppose h*a = -a + 12240. Suppose -a = 2*l - 10*l. Is l a multiple of 19?
False
Suppose -3*s - 11 = 5*r - 5, -5*s = 5*r + 10. Suppose r = -k + 25 + 18. Is k a multiple of 4?
False
Let s = 4 + -15. Let c = s - -14. Let u = 27 + c. Is 13 a factor of u?
False
Let k = -20 + 20. Suppose k = 3*x - 4*z - 74, 0*x - 2*x + 56 = -4*z. Is 3 a factor of x?
True
Suppose 20 = -4*l + 72. Let h(i) = -5*i + i - i - l + i. Is h(-12) a multiple of 16?
False
Let p(o) be the first derivative of 68*o - 26 + 69*o**2 + 65*o - 131*o. Is p(1) a multiple of 14?
True
Suppose 59*a - 57*a = 6. Suppose a*v + m - 749 = -117, 0 = -4*v - 4*m + 848. Suppose 0 = -2*t + 4*o + 10 + v, t + 2*o - 102 = 0. Is 21 a factor of t?
False
Let j(k) = -k**3 + 6*k**2 - 6*k - 6. Let n be j(5). Let x = n - -49. Let z = -30 + x. Is z a multiple of 3?
False
Let b be -3 + 1 + (-100)/(-20). Suppose 5*y + 525 - 4395 = -d, -b*d = 5*y - 3880. Is 24 a factor of y?
False
Let o(a) = 2*a**2 - a + 258. Let x be 4/(196/7) + (-2)/14. Is 43 a factor of o(x)?
True
Suppose 9 = 4*t - 5*f, 0 = -2*t - 5*f - 55 + 22. Let h be -288*(0 + 9/t). Suppose 4*a = 4*m + 1236, 4*m - h = -2*a - 0*m. Does 19 divide a?
False
Suppose 702 = 6*c + 3*c. Suppose 3*a + c = -3*u, 0*a + a = 3*u - 38. Is (a/(-1))/((2/(-1))/(-2)) a multiple of 6?
False
Suppose -97*x + 12 = -93*x. Is 2/x*((-4050)/(-5) + 6) a multiple of 17?
True
Suppose 25*w = -13*w + 103702. Is 68 a factor of w?
False
Let d(l) be the first derivative of -l**4/4 - 3*l**3 + 4*l**2 - 18*l - 7. Let k be d(-10). Suppose 3*j = k*w + j - 178, -2*j + 92 = w. Does 26 divide w?
False
Suppose -54*l = 44*l + 69584 - 2574268. Does 66 divide l?
False
Suppose -19*t = -26*t + 1302. Suppose -17*z + 19*z = t. Is 3 a factor of z?
True
Suppose -24*d = 54*d - 110*d + 680192. Is d a multiple of 186?
False
Suppose -u - 4*p