ple of 35?
True
Let j = 1535 - 2793. Let l = j - -1927. Is l a multiple of 51?
False
Let s = 27377 + -15071. Is 7 a factor of s?
True
Let u = 67458 + -47776. Is u a multiple of 28?
False
Let j be -2 - -9 - (1 + 3). Suppose j*d - 420 = 207. Suppose -x + 61 = c - 12, d = 3*x + 5*c. Does 6 divide x?
True
Let j(t) = 4*t - 9. Let i be j(6). Suppose -i = -8*v + 1. Suppose -2*d = 2*f - 126, -v*f = d - 3*d + 130. Is d a multiple of 5?
False
Does 15 divide 56280/126*270/8?
True
Suppose 2*r + 194 = -206. Let c(k) = -k**3 - 8*k**2 + 20*k + 9. Let x be c(-12). Let f = x + r. Is 19 a factor of f?
False
Let u(q) = 919*q**3 - 15*q**2 - 6*q + 11. Let z(t) = -460*t**3 + 8*t**2 + 3*t - 6. Let k(r) = -6*u(r) - 11*z(r). Is k(-1) a multiple of 23?
False
Let u = -555 + 562. Suppose 0 = -3*f + 5*i + 864, -u*f + 9*f - 4*i = 576. Is 20 a factor of f?
False
Is 532/798*(1 + 28880)/3 a multiple of 15?
False
Suppose -5*o - 294 = -7*u + 3*u, -77 = -u + 3*o. Is u even?
False
Let v(g) = -8*g + 49. Let m(a) = 16*a - 98. Let t(f) = 3*m(f) + 7*v(f). Does 11 divide t(-20)?
True
Is 102 a factor of 0 + (-97982)/(-10) - (-36)/(-30)?
False
Suppose -12*d = -2*d - 120. Let w(p) = 2*p**3 - 21*p**2 - 3*p + 19. Does 30 divide w(d)?
False
Let z(q) = -403*q**3 - 18*q**2 - 39*q + 30. Let m(g) = 203*g**3 + 8*g**2 + 19*g - 15. Let f(k) = 9*m(k) + 4*z(k). Does 43 divide f(1)?
True
Suppose -5*f = -2*x - 2*f - 11, -5 = -f. Let z(n) = 8*n - n**x + 5*n**2 + n - n**2. Is z(-7) a multiple of 20?
False
Suppose 0 = 13*r - 5*r + 8. Is 15 a factor of (r + -2 - 11/(-3))*90?
True
Suppose -b - 21 = -2*b. Suppose b*q = 22*q - 28. Is 7 a factor of q?
True
Let u(i) = -i**2 - 25*i - 38. Let b be u(-23). Suppose 5*w - 7 = b. Suppose -w*d = -f - 40 - 22, d + 3*f = 14. Is 4 a factor of d?
True
Suppose 2*r + 14422 = z - 2600, 5*z = -2*r + 85134. Does 32 divide z?
False
Suppose -4*c - 3*g - 297 = 0, -5*c + g = -147 + 504. Let v = 99 + c. Is 9 a factor of v?
True
Let v be (3 - 1 - (-42)/(-15))*5. Let p = v - -11. Let n = 10 + p. Is 2 a factor of n?
False
Suppose -29*r + 37*r = 40. Suppose -p = 5*y - 209, -4*p + 916 = 9*y - r*y. Is p a multiple of 26?
True
Let d = -100 - -69. Let r(o) = -2*o**3 + 10*o**2 - 5*o - 3. Let x be r(5). Let s = x - d. Is 2 a factor of s?
False
Is 63 a factor of -14018*(18/(-48))/(18/24)?
False
Let j be (-2 + 1)/1 + 8/4. Suppose b + 11 = -j. Does 7 divide ((-36)/b)/((-3)/(-40))?
False
Suppose 3*c + 5*l - 240 = 7*c, -c - 60 = -5*l. Let g = c + 234. Does 7 divide g?
False
Let v(w) = w**3 - 7*w**2 + 37*w + 12. Let l(k) = 2*k - 16. Let n be l(11). Is 31 a factor of v(n)?
False
Does 166 divide (704/(-144) - 8/18)*-2988?
True
Let o(g) = 24*g + 36. Let c(z) = 16*z + 24. Let d(u) = -7*c(u) + 5*o(u). Let x be d(2). Suppose 30 = l - 5*v, -5*l - 3*v + 66 = -x. Is 4 a factor of l?
True
Suppose r - 284 = -y, 5*r + 242 + 642 = 3*y. Suppose t - y = 115. Is t a multiple of 31?
True
Let u be 24630/75 + ((-2)/5 - 0). Suppose 3*k = 5*p + u, 0 = 4*k - p + 6*p - 379. Suppose -3*d + 31 = -k. Does 7 divide d?
False
Let w(p) = 34*p**3 - 2*p**2 + 28*p - 38. Is w(7) a multiple of 38?
False
Suppose 0 = 3*r + 19*u - 18*u - 954, -5*u = -3*r + 954. Is 13 a factor of r?
False
Suppose -8*p - 12 = -14*p. Suppose 3*c - 3*k - 950 = k, -636 = -p*c + 2*k. Is 23 a factor of c?
True
Suppose -180 = -6*o + 26*o. Let l(z) = 12*z**2 + 22*z - 20. Is l(o) a multiple of 26?
True
Suppose -18*t - 1206 = -40896. Is 4 a factor of t?
False
Suppose -4*r - 3*b - 2*b = -6, -2*r + 4 = 2*b. Suppose -10*d - 750 = -13*d. Suppose 0 = -r*g - 2*w + 500, w = -g + 3*g - d. Is 21 a factor of g?
False
Is -54*((-187)/22 - -2) a multiple of 39?
True
Let q be (10 + 1 + -3)/((-6)/(-156)). Let h = q + -65. Does 11 divide h?
True
Let k = -83988 - -126074. Does 74 divide k?
False
Let g = 1614 - -7276. Is g a multiple of 35?
True
Suppose 0 = 36*k - 127585 - 128915. Is 57 a factor of k?
True
Let x(q) = 1489*q**3 - 3*q**2 + 2*q + 2. Is x(2) a multiple of 17?
False
Let s = -132 + 612. Suppose -3*f + 4*l = -2*f - s, 2*f - 960 = 4*l. Is f a multiple of 15?
True
Let n(i) = -168*i - 506. Let j be n(-3). Let s(v) = -3*v - 30*v**3 - v**2 + 2*v - 1 + 3. Is s(j) a multiple of 24?
True
Suppose 0 = -242*j + 228*j + 140. Is 13 a factor of (-870)/(j/(-5)) + (-1 - 0)?
False
Suppose 0 = 22*g + 16225 - 19129. Does 4 divide g?
True
Let i = 149 + -146. Suppose i*s - 11*s = -3000. Is 15 a factor of s?
True
Let k(v) = -73*v**2 - 5*v - 6. Let j be k(6). Does 18 divide j/(-14) + (-3 - 95/(-35))?
False
Let v = 300 - 292. Is (5 - (-39)/(-8)) + 1599/v a multiple of 18?
False
Let k = 10 + 0. Suppose 6*d = k*d - 144. Is 7 a factor of 0 + (3 - 4) + d?
True
Let o(f) = 13*f + 11. Let z(y) = -25*y - 22. Let l(m) = -m**2 + 7*m - 7. Let r be l(5). Let g(u) = r*z(u) + 7*o(u). Does 30 divide g(15)?
False
Let g(r) = 9*r + 102. Let w be g(-11). Let a(p) = 22*p + 31. Is 31 a factor of a(w)?
False
Let k(w) = -w**3 + 6*w. Let p(q) = -2*q**3 - q**2 + 12*q. Let m(b) = -7*k(b) + 3*p(b). Suppose -79*g - 99 + 573 = 0. Is 12 a factor of m(g)?
True
Suppose -3*m = 7*o - 11*o + 3, 0 = 3*m + 3*o - 18. Suppose 4*r - b = 1985, m*r = 5*r - 4*b - 982. Is 18 a factor of r?
False
Suppose 100*i = 110*i - 20. Suppose 4*o + i*t = -3*t + 97, -5*o + 125 = 5*t. Is 16 a factor of o?
False
Let t(a) = -2*a**2 - 33*a - 40. Suppose -47*r + 59*r + 120 = 0. Is 5 a factor of t(r)?
True
Suppose -6610 = -23*w + 1739. Let f = -323 + w. Does 17 divide f?
False
Suppose 3*z = 15, -5 = -p - 5*z + 408. Suppose -5*i + p = -132. Is i a multiple of 58?
False
Suppose 27*b + 726108 = 115*b - 2428340. Does 18 divide b?
False
Let d be (-69)/15*1 - (-42)/(-105). Let l(u) = 12*u**2 + 2*u + 16. Is l(d) a multiple of 17?
True
Let g be -6 - -7 - (-1 - 4). Let u(y) = 20*y - 15. Let c be u(g). Let t = 217 - c. Is 4 a factor of t?
True
Let h(t) = -t**3 - 46*t**2 - 301*t - 155. Is 91 a factor of h(-49)?
False
Suppose -10 = o + 21. Let y = o + 9. Let f = -7 - y. Is 7 a factor of f?
False
Let n(h) = 4*h**2 - 8*h + 6. Let p be n(5). Suppose -9*d = p - 1650. Does 22 divide d?
True
Let c be (-68)/(-102) + 1232/6. Let w = c + -106. Is w a multiple of 16?
False
Suppose 54 = 10*q - 6. Let m = q - 1. Is 108/m - (-24)/(-40) a multiple of 3?
True
Suppose 0 = -4*w - 4*t + 123916, -135*w + t - 92939 = -138*w. Is w a multiple of 128?
False
Let o = -14 + 19. Suppose -67 = -o*u + 98. Let m = u - -2. Is m a multiple of 5?
True
Let y = 5438 - -2010. Is 133 a factor of y?
True
Suppose 4*w - 98 = -10*w. Let j(h) = -h**3 + 7*h**2 + 2*h - 15. Let x be j(w). Does 7 divide (-3 + x)/(-2)*363/22?
False
Let g(c) = c**2 + 192. Let k be g(0). Suppose 6*y - k = -2*y. Suppose 9*p = 7*p + y. Is p even?
True
Let y be 28/6 + (-5)/(-15). Suppose w - 3 + 1 = 0, -2*v - y*w + 2 = 0. Let r(f) = 2*f**2 + f - 6. Does 11 divide r(v)?
True
Suppose -9 = -4*n + i, 5*i = -5*n - 0*n + 30. Suppose -266 - 106 = n*s. Let d = -98 - s. Is d a multiple of 17?
False
Let j be (-4)/(1 - 0) + 10. Is 6 - (5 - (811 - j)) a multiple of 13?
True
Let z(s) = 2*s**2 - 13*s + 5. Let k(a) = -3*a**2 + 25*a - 11. Let n(t) = -3*k(t) - 5*z(t). Suppose -11*j - 52 = 36. Does 6 divide n(j)?
True
Is 12 a factor of 7744/24*(394/11 - 8/(-44))?
True
Let r(m) = m**2 - 10*m + 4. Let z be r(9). Let y(a) = 14*a**2 + 18*a + 6. Is y(z) a multiple of 10?
False
Let m(b) = -3*b**3 + 3*b**2 + b - 6. Let g(s) = 20*s**3 - 20*s**2 - 6*s + 37. Let y(o) = 6*g(o) + 39*m(o). Is 36 a factor of y(4)?
True
Let f(y) = 188*y + 771. Does 45 divide f(11)?
False
Suppose -5*y = 4*w - 1043, -199*y + 201 = -198*y - 3*w. Is 3 a factor of y?
True
Let s(k) be the second derivative of 5*k**3/6 - 21*k**2/2 + k. Let u = 205 - 195. Is s(u) a multiple of 29?
True
Let g(b) = b**2 + 52*b - 1775. Is 55 a factor of g(98)?
True
Suppose -303663 = -160*s + 18417. Does 2 divide s?
False
Let z(w) = 7664*w - 2237. Is 57 a factor of z(4)?
False
Let o(v) = -27*v**2 - 11*v + 12. Let k(f) = 61*f**2 + 23*f - 24. Let t(s) = -3*k(s) - 7*o(s). Let l(z) = 4*z**3 - 1. Let n be l(1). Is 6 a factor of t(n)?
True
Let t(k) = 169*k**2 + 53*k + 14. Is t(-4) a multiple of 95?
False
Suppose -3*b - 3*l = -12 - 228, 4*b + 3*l - 315 = 0. Does 54 divide (-7552)/(-10) - (-60)/b?
True
Let w = -2140 - -3064. Let l = w - 504. Is l a multiple of 15?
True
Let h(u) = u**3 + 25*u**2 + 22*u - 142. Suppo