l?
True
Suppose 2*d = y - 402 - 1513, -2*y + 3*d + 3827 = 0. Is y a multiple of 11?
False
Suppose 2*d - u - 1550 = -2*u, 3*d + 3*u = 2322. Suppose 12*s - 606 = -3*t + 17*s, -4*t + d = 4*s. Does 12 divide t?
False
Let j(s) = 3*s**3 - 25*s**2 + 27*s + 15. Let x(p) = -7*p**3 + 51*p**2 - 55*p - 29. Let r(l) = 5*j(l) + 2*x(l). Is r(22) a multiple of 12?
False
Suppose 7*k + 26*w = 25*w + 403660, 4*k - w - 230655 = 0. Is 50 a factor of k?
False
Let h(a) = a**3 - 5*a**2 + 4*a + 1. Let j be h(5). Suppose -26*i + 180 = -j*i. Suppose z - i - 52 = 0. Does 11 divide z?
True
Let o(h) = -11*h. Let d be o(-6). Let j = d - 66. Suppose 2*n - 4*z - 72 = j, n - 5*z = -4*z + 41. Does 6 divide n?
False
Let s(o) = -o**3 - 3*o**2 + 3. Let j be s(-3). Let k = 47 - 19. Suppose t + j*t = k. Is t a multiple of 6?
False
Does 5 divide (2/4)/((-5)/(-67010)) + -20 + 24?
True
Let w = -734 - -759. Suppose -x + 2*n + 126 = 0, -21*x - 5*n = -w*x + 489. Is 29 a factor of x?
True
Let m(f) = -3856*f - 2572. Is 17 a factor of m(-4)?
True
Suppose 3*b + 7267 = u, 398*u - 397*u = 2*b + 7269. Is 146 a factor of u?
False
Let v(s) = -s**2 + 10*s - 7. Let n be v(9). Suppose -n*z = 3*j - 227 - 542, 0 = 3*j - 3. Does 54 divide z?
False
Suppose 0 = 218*t - 275847 - 391669. Is t a multiple of 33?
False
Suppose -3*t = -3*x - 6015, 2*t + 2*x - 1178 = 2844. Is 8 a factor of t?
True
Suppose -9*w - 319 = 401. Let r = 71 - 111. Let z = r - w. Does 20 divide z?
True
Let n(s) = -60*s**3 - 2*s**2 - 3*s - 2. Let h be n(-2). Suppose 15*g - h + 86 = 0. Suppose 0 = a + y - 51, -3*y = a - 29 - g. Is 25 a factor of a?
False
Let g = 29429 + -12399. Is g a multiple of 5?
True
Let j be ((-6)/6 - -1) + 688. Suppose -20*t + 19*t = -j. Is 80 a factor of t?
False
Let q(i) = 25*i - 297. Let c be q(12). Suppose u - 252 = -c*u. Is u a multiple of 4?
False
Let r = 211 + -232. Is r/(-35) - 247/(-5) a multiple of 11?
False
Suppose -3*i - 4*x + 31569 = 0, -43*x = -5*i - 38*x + 52650. Is i a multiple of 82?
False
Let j be 8/((-77)/(-55) + (-4)/10). Suppose -43*u + 38360 = -j*u. Is 69 a factor of u?
False
Is 9/((-216)/(-537736)) + 4/(-6) a multiple of 31?
False
Suppose 0 = m - 4*q + 9, -4*m + 3*q - 4*q - 87 = 0. Is (126 - 0)/(22 + m) a multiple of 5?
False
Let v = 652 - 630. Let g(p) = -2*p**2 + 53*p + 7. Is 18 a factor of g(v)?
False
Suppose -3*d = 3*w - 101001, 4*w = 831*d - 830*d + 134708. Is 127 a factor of w?
False
Suppose -4*m + 720 = -18*m + 1910. Suppose -141 = -7*h + 4*h. Let x = m - h. Is x a multiple of 19?
True
Suppose -w + 10 - 7 = 0. Suppose -w*c - 5*k = -c - 71, 5*k = -15. Suppose 143 + c = 3*i. Is 15 a factor of i?
False
Suppose 17 - 5 = -4*m. Let r be (18/(-15))/(m/(-60)). Is 30*2*r/(-30) a multiple of 8?
True
Let t(x) be the first derivative of -1/4*x**4 + 27 + 4*x**3 + 2*x - 7*x**2. Does 31 divide t(10)?
True
Suppose 67*n + 84039 = 228290. Is n a multiple of 22?
False
Let q(z) = 258*z**2 - 8*z + 3. Let g be q(-4). Let b = g + -2313. Is 25 a factor of b?
True
Suppose -4*d + 4*x + 96 = 0, -5*d = 2*x + 19 - 167. Suppose -d = -8*h - 4. Is 44/(-66) - ((-886)/h)/2 a multiple of 14?
False
Suppose -5*a + 1440 = -2*u, -u - 2*a = 3*a + 750. Let k = -603 - u. Is 13 a factor of k?
False
Let t(f) = 127*f + 106. Does 5 divide t(6)?
False
Let q be -10 - 8/(7 + -15). Let u(a) = -2*a**3 - 14*a**2 + 19*a - 16. Is u(q) a multiple of 5?
False
Let x(o) = 8*o - 32. Let g be x(4). Suppose -m = t - 43, -2*t = -g*m - 2*m + 70. Suppose 34*k - m*k + 840 = 0. Is k a multiple of 14?
True
Suppose 0 = -3*t + 5*n + 1458 - 553, 1230 = 4*t - 2*n. Let r = t - -262. Is r a multiple of 19?
False
Suppose -15 = -y + 5*n, 3*y + 2*n = -y + 16. Suppose -2*x - y*m + 100 = 0, 0*m = x + 5*m - 40. Does 15 divide x/(-100) + (-396)/(-10)?
False
Suppose -8*l - 18*l = -234. Let r(c) = 2*c**2 - c - 27. Is r(l) a multiple of 14?
True
Let g be (5 - 6)/(4 + (-1779)/444). Suppose -g*h = -150*h + 178. Is 10 a factor of h?
False
Let n be -2*(-2 + 11) - (-1 + -1). Let u be (n/(-24))/((-2)/(-9)). Suppose -298 = -2*q - 5*j, u*q - 2*j - 424 = 2*j. Is 16 a factor of q?
True
Suppose 0 = -2*v + l + 937, -2*l - 1533 = -2*v - 601. Let h = v + -286. Is h a multiple of 9?
False
Suppose 0 = 64*i - 133*i + 1784133. Is i a multiple of 13?
True
Let n = 1096 - 121. Let d be (-3)/(-1 - n/(-980)). Suppose -5*u - d = -3*k, 0 = -3*u - 5 - 4. Is 24 a factor of k?
False
Let g be (-6)/6 + (-1 - 1 - -144). Let r = g - 137. Does 10 divide 1*r/(-1)*-17 - 4?
False
Let w(i) = 122*i - 2*i**2 + 1 - 120*i + 10*i**3 + i**2. Let m be w(2). Suppose v - 10 = m. Does 7 divide v?
True
Suppose 2643 = 4*v - j + 852, -3*v = j - 1338. Let i = 481 - v. Is i a multiple of 17?
True
Suppose h = -3*g + 15, -7*g + 5*g = 2*h - 10. Suppose -f - 9 = -5*m, 3*f + g*m + 7 = -0. Is (-4)/f*6*4 a multiple of 24?
True
Let x = 87 - 81. Does 10 divide (155 + (4 - x))/1?
False
Let k(r) = r**3 + 25*r**2 + 25*r - 20. Let l(c) = 1. Let w(b) = -k(b) + 6*l(b). Let q be 1/(-2 - (-188)/96). Is w(q) a multiple of 25?
True
Let i = -728 - -1353. Suppose -3*o - 25 = -i. Does 21 divide o?
False
Let m = 1240 - 965. Suppose -16*k - m = -21*k. Is 5 a factor of k?
True
Suppose -t + 5*h + 595 = 0, t + 0*h - 541 = -4*h. Is t a multiple of 3?
False
Suppose -n + 2 = 3. Let f(l) = 99*l**2 + 2*l + 2. Let v be f(n). Let y = v - 53. Is y a multiple of 23?
True
Suppose -5*a + 1877 = -5*k - 34423, -2*a + 14536 = -4*k. Is 2 a factor of a?
True
Is (74/(-18) - (64/(-9) + 7))*-3052 a multiple of 56?
True
Let r(a) = 79*a**2 + 7*a. Let s(u) = -79*u**2 - 8*u. Let m be 1/(-6) - (-296)/48. Let h(k) = m*s(k) + 7*r(k). Is h(-1) a multiple of 26?
True
Suppose 2176 = 16*z - 13586 - 14974. Does 113 divide z?
True
Let v = 132 - 130. Suppose -7*w = -11*w - 5*o + 440, -v*w + 220 = 3*o. Is 25 a factor of w?
False
Suppose -2*w = -59 - 221. Suppose w = 7*l - 8*l. Does 18 divide -1 + -1 + l/(-7)?
True
Let r(q) = q + 12. Let d(f) = -f - 11. Let t(m) = -6*d(m) - 5*r(m). Let y be t(-2). Suppose -y*b - 4*k + 140 = 0, -b = -6*b - 3*k + 179. Does 16 divide b?
False
Suppose 9*t - 64 + 19 = 0. Suppose -t*m = -25, -3*y - 3*m = -2*y - 148. Is 16 a factor of y?
False
Suppose -2*r = 2*b - 20, 3*r + 1 = -5*b + 31. Suppose -9*k + r*k - 212 = -3*l, -5*l - 5*k = -350. Is l a multiple of 3?
False
Does 24 divide (-7*5184/(-588))/(2/175)?
True
Let w be -166*6/4 + 1 + 0. Let k = w + 315. Is k a multiple of 13?
False
Suppose -1356 = 5*w - 276. Suppose -3*t - 1533 = -5*y, -4*y + 34 = -5*t - 1182. Let u = w + y. Is u a multiple of 18?
False
Let c(k) = 25*k + 600. Let t be c(-24). Let u(b) = 12 + 2*b - 3*b + 14. Does 23 divide u(t)?
False
Does 13 divide (-8)/(-40)*(20 + 2915)?
False
Let l(b) = b**2 - 26*b + 1. Let q = 77 - 62. Let s be l(q). Let k = s + 313. Does 18 divide k?
False
Let f be (-21)/(-14)*-2*2. Is (-221)/(8/f - 1/(-3)) a multiple of 50?
False
Let m(g) = 13*g + 82. Let h be m(-8). Let n(r) = -r**2 - 27*r - 26. Does 42 divide n(h)?
True
Does 16 divide (6/(-5))/2 + 5 + (-10611504)/(-240)?
False
Let s = -43 + 239. Let i = 812 - s. Is i a multiple of 28?
True
Let d be 3 + -6 + -1*6*-1. Suppose -g - 3*z + 1 - 2 = 0, 0 = d*g - z - 17. Suppose -g*a = -5*m - 120, -4*m = 2*a - 44 - 28. Is a a multiple of 14?
True
Let v = -191 + 195. Let j(u) = 9*u**2 - 8*u + 9. Is j(v) a multiple of 17?
False
Let f = 47 - 44. Suppose -5*m - 3*n + 8*n = -665, 2*n = -f*m + 399. Is 5 a factor of m?
False
Is 7 a factor of (0 - 3693/(-2))/(10/20)?
False
Let g(v) = 2*v + 1. Let z be g(1). Let u be (52/28 - z)/((-2)/7). Suppose b + 7 - 44 = -m, 0 = u*m - 2*b - 178. Is 21 a factor of m?
True
Let y = 110 + -37. Let u = y + 15. Does 11 divide u?
True
Let h(z) = z**3 + 14*z**2 - 109*z - 65. Is h(10) a multiple of 5?
True
Suppose -w + 239 = -4*f + 2*w, 0 = -5*w - 15. Let g = 62 + f. Suppose 92 = 14*y - 10*y - 5*n, -4*n - 16 = g. Is y a multiple of 3?
True
Suppose -49*r = 76*r - 1197875. Is 13 a factor of r?
False
Suppose -127*a + 129*a - 102 = 0. Let d(g) = -3*g + 168 - a + g - 2*g**2 + g**3. Is 8 a factor of d(0)?
False
Suppose -26*w + 2117 = -609 - 1174. Is 6 a factor of w?
True
Let p be ((-104)/(-3))/2 - (-40)/(-30). Suppose -3*j - p*j + 6422 = 0. Is j a multiple of 12?
False
Is 10 a factor of 109827/84*2 - (-79)/1106?
False
Let d = -45 - -71. Let v = d + -90. Let p = 122 + v. Does 7 divide p?
False
Let h(