7 = -5*m + 2*m. Suppose u - 704 = -m. Is u a multiple of 31?
True
Suppose 3*v - 4*v = -2*m + 4, 2*v + 4 = 3*m. Suppose 8 = -5*d + 6*d + a, 0 = d + v*a - 17. Suppose 4*o = 5*s - 150 + 827, d*s - 15 = 0. Does 27 divide o?
False
Does 24 divide (3 - -596)*(19 - (-3 - -11))?
False
Let b(f) = -f**2 - 13*f + 4. Let s be b(-13). Suppose 7*u - 2*u + s*y = 260, 4*u - 207 = -3*y. Is u a multiple of 14?
False
Suppose -7*t + 54 = 11*t. Suppose -3*c + 12 = 0, 3*w - 2*c = -t*c + 13. Suppose -13*o = -w*o - 1870. Does 14 divide o?
False
Let s(r) = 3*r + 27 - r - 12. Does 26 divide s(37)?
False
Let h be 247/3 - 2/6. Let t = -3883 + 3885. Suppose -5*b + 2*f + 677 = 0, 0 = 3*b - t*f - h - 325. Is b a multiple of 15?
True
Suppose 40*x - 6 = 37*x. Suppose -3*c = -3*u + 114, -x*u - 37 + 110 = -5*c. Does 2 divide u?
False
Suppose 0 = -0*l + l - 2*l. Let p be (l + 1)/(2/20). Does 11 divide -2 + 2 - (-10)/4*p?
False
Let a = -3833 + 14349. Is 12 a factor of a?
False
Let o be (20/6 - 4) + (-5572)/21. Suppose 0*c + 2*c = 4*r + 1006, 5*c + 5*r = 2470. Let h = o + c. Does 36 divide h?
False
Suppose 3*z = 3*b - 2*b - 13, 3*z = -4*b - 8. Let k be 29/3 - z/12. Is (k/(-6))/((-310)/(-105) + -3) a multiple of 4?
False
Let y(q) = 7*q - 3. Let d(u) = u**3 + 12*u**2 - 13*u + 8. Let m be d(-13). Suppose -m*a + 5 = -75. Is y(a) a multiple of 6?
False
Suppose 0 = 10*j + 1661 + 739. Let s = 372 + j. Is s a multiple of 6?
True
Let l(q) = 375*q - 849. Is 77 a factor of l(14)?
False
Let v(t) = 7*t - 2. Let o(d) = -2*d - 1. Let w(g) = -15*o(g) - 3*v(g). Is 12 a factor of w(7)?
True
Suppose -r = r - 10, -2*h = 5*r - 31. Suppose 0 = 5*s - y - 46, 6*s - h*y + 42 = 9*s. Is 5 a factor of s?
True
Suppose 0 = n + x + 29, 0*n - 90 = 3*n + 4*x. Let l = 20 + n. Is 16 a factor of 24/9*(18 + l)?
True
Let q(p) = p**2 - p - 2. Suppose -6 = 14*k - 17*k. Let t be q(k). Suppose -n = -h - 89, t*n - 85 = -n + 5*h. Is 15 a factor of n?
True
Let c be (3/2)/(-2 - (-535)/266). Let l = 18 + c. Is 19 a factor of l?
False
Suppose -2*w + 17 - 5 = 0. Let z(f) = -4*f + 3. Let s be z(w). Let u = -10 - s. Is u a multiple of 11?
True
Suppose 5*i + r = -0*r + 110, -r - 37 = -2*i. Is 16 a factor of 6/i + 2583/49?
False
Let z be 108 + 10 - (1 - -1 - -1). Let b = z + -116. Let q = b + 11. Is 2 a factor of q?
True
Suppose 0 = -35*y + 168 - 28. Suppose m = -3*m. Suppose -x + 4*a + 20 = m, y*x - 20 = -a + 77. Is 5 a factor of x?
False
Let q(l) = -135*l - 128. Let c be q(-9). Suppose 834 = h + 4*u, 3*u - c = -4*h + 2210. Does 14 divide h?
False
Does 37 divide ((-45516)/56 - (-4)/14)/(1/(-48))?
False
Suppose -150*f + 144108 = -41051 - 22291. Does 18 divide f?
False
Suppose 529 = -35*l + 42*l - 43823. Does 64 divide l?
True
Let d(h) = 3993*h + 1435. Is d(2) a multiple of 237?
False
Let y(a) = a**2 + 2*a - 4. Let k(t) = 3*t - 4. Let p(b) = -4*k(b) + 3*y(b). Is 30 a factor of p(9)?
False
Suppose -4*q = -2*g - 20, 9 = 2*q + 7. Is (-1710)/g + 16/64 a multiple of 47?
False
Is 36 a factor of (118/(-1003) + (-48)/459)*(0 - 61119)?
False
Let c be (-10 - (-5810)/10)*(-1)/(-1). Let r = c + -11. Does 16 divide r?
True
Suppose -5*p + 322 = -j, 3*p + 0*p + 5*j = 210. Let m = p - -157. Does 13 divide m?
False
Let n be 5 + ((-5579)/14)/((-3)/24). Suppose -14*r + n = 883. Does 5 divide r?
True
Let n(m) = m**2 + 13*m + 15. Suppose -3*h - 19 = 17. Let i be n(h). Suppose -o = i - 10. Does 7 divide o?
True
Suppose 104*r - 209*r = -93*r - 320544. Is r a multiple of 68?
False
Let s(q) = -228*q + 21 + 109*q + 109*q. Let u = -12 + 8. Does 28 divide s(u)?
False
Suppose 20*f - 8662 = 72138. Does 10 divide f?
True
Let b(i) = -i**3 - 10*i**2 + 34*i - 14. Let q be b(-12). Let s = 594 - q. Is 13 a factor of s?
True
Let a(w) = 2*w**3 + 4*w**2 - 10*w + 8. Let q be a(5). Suppose 8*r - 244 = q. Is r a multiple of 25?
False
Does 9 divide (0 + 82 + 5)*(4 + 78/9)?
False
Suppose m - 107122 = -5*p, 9 + 19 = 4*m. Does 29 divide p?
False
Does 5 divide (0 + (-1975)/(-10))*(-40)/(-4)?
True
Suppose -6759 + 14132 = 23*l - 17467. Does 135 divide l?
True
Let x = -374 - -2390. Let s = x + -1416. Is 38 a factor of s?
False
Let l(x) = -x**2 - 7*x + 1. Suppose 20 = 5*q - 15. Let d be l(q). Let o = -25 - d. Is 18 a factor of o?
True
Let b be (-16)/(-32) - 1/2. Is -16*((-100)/16 + b) a multiple of 5?
True
Let x(n) = -6*n - 32. Suppose -4*u - u - 49 = 4*p, 5*p + 20 = 2*u. Let s be x(p). Suppose 3*m = -s*j + 491 + 147, 0 = 2*j + 3*m - 316. Is 23 a factor of j?
True
Let j(c) = -c**3 + 23*c**2 + 2*c + 23. Let z = -204 - -72. Let s = -109 - z. Does 9 divide j(s)?
False
Suppose 20 = -u + 5*s, -2*s + 0 = 5*u - 8. Suppose -4*x - 4*c + 242 = -3*x, u = -3*x - 2*c + 746. Is 50 a factor of x?
True
Let d(l) be the second derivative of -l**3/6 + 9*l**2/2 - 34*l. Is d(1) a multiple of 8?
True
Suppose -5883 = -3*i - 3*w, 0 = -18*w + 19*w - 3. Is i a multiple of 22?
True
Let s = -3020 - -3677. Is 2 a factor of s?
False
Let k(q) = -q**3 - 4*q**2 + 5*q + 12. Let w(i) = -2*i + 7. Let p be w(6). Let u be k(p). Suppose -3*y + 372 = u. Is 40 a factor of y?
True
Suppose 0*a = a + 6. Let b(o) = -6 - 226*o + 381*o - 171*o. Is b(a) a multiple of 15?
True
Let f(l) = l - 1. Let r(m) = -197*m - 4. Let q(h) = -3*f(h) + r(h). Is 11 a factor of q(-1)?
False
Let s(z) = -z**2 - 41*z - 3. Let a be s(-41). Let c(l) = -8*l**3 - 3*l**2 + 2*l + 17. Is c(a) a multiple of 10?
True
Suppose -4*c + 20 = c. Is 21 a factor of (6 + c)*(126/(-15))/(-2)?
True
Let h = -108 - -102. Let r(n) = -n**3 - n**2 + 11*n + 8. Is r(h) a multiple of 15?
False
Suppose -33*g + 98312 = -4912. Is g a multiple of 169?
False
Let u(d) = -27*d - 35. Let a = 15 + -43. Let m be (a/(-6))/(2 + (-32)/12). Is u(m) a multiple of 14?
True
Suppose -5*o + 15 = 4*h + h, 3 = o. Let p = h + 176. Suppose 4*m - 352 = p. Is 12 a factor of m?
True
Let i be (6/4)/((-1)/(-2)). Suppose 4*r = -12, 0 = i*o - 0*o - 4*r - 1137. Suppose -5*m = 5*c - o, -5*c + 17 = m - 58. Is m a multiple of 24?
False
Let t = -365 - -85. Let u = -220 - t. Is 15 a factor of u?
True
Let v be 0 - -8 - 10512/(-18). Suppose -a + v = -2*y, -2*a - 2936 = -7*a + 4*y. Is 21 a factor of a?
False
Let h = 17059 + 1428. Is 139 a factor of h?
True
Let z(g) = 42*g**2 - 237*g + 23. Is z(8) a multiple of 20?
False
Suppose -4*i = -4*i - 71*i + 390642. Does 6 divide i?
True
Let j = 0 + 3. Suppose 0 = -3*v + g - 0*g - 16, j*g = v. Is 16 a factor of v/(-9) - (-2216)/24?
False
Suppose 12*l = -32*l + 66572. Is l a multiple of 17?
True
Let k be (2/4)/(1/4). Suppose 294 = k*w - 1202. Is 39 a factor of w?
False
Let b(y) = -304*y - 318. Is b(-54) a multiple of 95?
False
Suppose 0 = -3*h + 3*j + 501, 0 = -h + 5*j - j + 155. Let n = -305 + h. Let o = n - -194. Is 19 a factor of o?
False
Suppose -1917 = -13*z - 84. Suppose -5*p - 9110 = -5*b, 3*b + z*p - 145*p - 5462 = 0. Is 12 a factor of b?
False
Suppose -33165 - 134589 = -14*w + 50562. Does 69 divide w?
True
Let g = -256 + 244. Let s(c) = -4*c - 7. Is s(g) a multiple of 2?
False
Let o(v) = 335*v**3 + 143*v**2 - 142*v. Is o(1) a multiple of 7?
True
Let m = 7933 + -7353. Is 10 a factor of m?
True
Let q be (4 - (-23)/1)/(3/183). Suppose -3*r = -w + 321, -7*w + 2*w = -r - q. Is 55 a factor of w?
True
Does 6 divide 2268*1 + (-46 - (-46 + 6))?
True
Let y = 21332 - 2644. Does 256 divide y?
True
Let q be (1 + 0 + (-2)/4)*0. Suppose -4*w + 2*o - 5 + 3 = q, -4*w - 11 = -5*o. Let t(i) = 6*i**2. Is 6 a factor of t(w)?
True
Let k(r) = 7*r**3 + 5*r**2 + 277*r - 1343. Is k(5) even?
True
Let l = 25 - 33. Let j(r) = 2*r + 23. Let y be j(l). Let n(d) = -d**2 + 9*d + 2. Is n(y) a multiple of 5?
False
Suppose -3*t = -p - 169, 0 = 5*p + 5*t + 625 + 140. Let d be 1 + 4*125/2. Let g = d + p. Is 10 a factor of g?
False
Suppose g - 4*g = -3*t + 35403, 4*g = 2*t - 23592. Suppose -17652 - t = -22*y. Is 103 a factor of y?
True
Let a(w) = w**3 - 6*w**2 - 14*w + 18. Let j(r) = -2*r + 42. Let l be j(19). Suppose 0 = l*y + 2*v - 42, 3*y + y - 4*v - 12 = 0. Is a(y) a multiple of 17?
True
Let p(g) = 9595*g**3 + 14*g**2 - 13*g - 2. Does 117 divide p(1)?
True
Let o(p) = 352*p**2 + 33*p - 32. Let b = -117 - -118. Does 40 divide o(b)?
False
Let i = 297 + -165. Suppose i = 10*f + 12. Suppose -f*g = -10*g - 50. Is g a multiple of 3?
False
Suppose -4*b = -6*b, 4*j = b + 6056. Suppose o - q - 244 - 262 = 0, 