rue
Let w(g) = 19*g**2 + 3*g + 6. Let l(k) = -k + 19. Let m be l(16). Does 40 divide w(m)?
False
Let u(f) = f**3 + 10*f**2 + 8*f - 9. Let i be u(-9). Suppose 5*m - 1 = 14, -4*s - m - 221 = i. Does 9 divide (54/21)/((-4)/s)?
True
Let h be (16/(-12))/(4/42). Let m(r) = -r**2 - 14*r + 3. Let k be m(h). Suppose -56 = -k*l - 2*o, -5*l + 88 = o - 3*o. Does 6 divide l?
True
Let i = 42 + -26. Let q be i/1 - 6/6. Suppose 5*v = -q + 55. Is 8 a factor of v?
True
Does 93 divide 3 - 1 - 23/(253/(-11242))?
False
Suppose 26*n - 29*n = -k + 1841, -5*k + 9137 = 2*n. Is k a multiple of 21?
False
Let f(v) = 13*v**3 - 5*v**2 + 3*v - 1. Let a be f(3). Suppose 0*t + t = 4, -5*g + 4*t + a = 0. Is 22 a factor of g?
True
Let h = 79 + 15. Is h a multiple of 18?
False
Suppose 26 = -2*m - 2. Let p be 4/m - (-304)/(-14). Is 2 a factor of 2/(-6) + p/(-3)?
False
Suppose 2 = -r + 2*h, 7 = 4*r + 45*h - 48*h. Suppose -z = 4*g + z - 10, 0 = -5*z - 5. Suppose 4*b + g*c = 11 + 5, -r*c = 0. Does 2 divide b?
True
Is (-1 - 1)*(-150)/20 + 3 a multiple of 9?
True
Let u(p) = -2*p**2 - 7*p + 10. Let v be u(-5). Does 13 divide ((-117)/(-36))/((v/44)/(-5))?
True
Suppose 0*k = 3*k + 24. Let y = 11 + k. Suppose -d + 39 = -4*j, 0 = -4*d - y*j + 2*j + 88. Is d a multiple of 4?
False
Let k(b) = 2*b**3 - 7*b**2 + 9*b - 28. Let z be k(6). Suppose 8*i - z = 50. Is 10 a factor of i?
False
Let z = 226 - 57. Does 12 divide z?
False
Let w be -2 + -74 + 1 + 1. Let b be w/(-6) - (-3)/(-9). Suppose -46 + b = -q. Is q a multiple of 20?
False
Suppose 635 = 3*q - 0*q + 2*o, 15 = -3*o. Is q a multiple of 71?
False
Let c(i) = 50*i**3 + 2*i**2 + 2*i - 2. Suppose 12 = -6*z + 18. Does 6 divide c(z)?
False
Let w(c) = -4*c**2 + 3*c - 8. Let z be w(5). Let g = 165 + z. Is g a multiple of 12?
True
Is 47 a factor of (-31)/((-3210)/320 + 10)?
False
Let c be (-8)/(-12) - (-1290)/9. Suppose 5*g - c = -g. Is g a multiple of 3?
True
Let a = 21 + -21. Suppose 5*v - 51 - 24 = a. Suppose 0 = -10*o + v*o - 100. Does 13 divide o?
False
Suppose 5*j - 40 - 25 = 4*z, 4*j - 3*z - 52 = 0. Let r(i) = 3*i + 3. Does 6 divide r(j)?
True
Suppose 1085 = 5*o + j, -1427 = -4*o - 5*j - 538. Is o a multiple of 12?
True
Let p(y) = 0*y + 4*y - 6 - 8. Suppose 2*q = q - d + 9, 0 = 5*q - 3*d - 37. Does 6 divide p(q)?
True
Let r = 34 - 72. Does 4 divide 24/(-228) - 156/r?
True
Let d = -50 + 54. Suppose 210 = 3*q + 3*m, 256 = 4*q - d*m + 2*m. Does 9 divide q?
False
Let y be (7 + 66/(-9))/(1/3). Is 80 + 6/(-3) - y/1 a multiple of 13?
False
Suppose 5 = 5*v - 5. Let f(y) = 57*y - 5. Let b be f(v). Let k = -75 + b. Does 9 divide k?
False
Suppose -5*n - 3*y + 25 = 0, 2*y = -2*n + 3 + 7. Suppose 3*x = 2*x - 3*b + 15, 170 = n*x - 4*b. Is 15 a factor of x?
True
Let b(l) = -12*l**2 + 24*l - 15. Let c(i) = -2*i**2. Let j(f) = b(f) - 5*c(f). Is j(10) a multiple of 2?
False
Let r(k) = k**3 + 5*k**2 - 3*k - 3. Let p be r(-6). Let z = p - -45. Suppose 22*x + 130 = z*x. Is x a multiple of 13?
True
Let r = -85 - -54. Let l be 4/22 - r/11. Suppose 0 = 5*v - l*v - 18. Is 3 a factor of v?
True
Let t = 1309 + -638. Is t a multiple of 10?
False
Let y = 27 - 24. Suppose 0*p + 297 = y*p. Let i = p - 70. Is i a multiple of 14?
False
Let x = 952 - 177. Does 25 divide x?
True
Let x = -1085 - -1801. Is x a multiple of 11?
False
Let o be 2/3 - (-7)/21. Does 20 divide ((3 - o) + -29)*-4?
False
Let z(w) = -w**3 - 9*w**2 + w - 1. Let n be z(-9). Let p = n - -16. Is p even?
True
Suppose 0 = -4*f + 3*w + 65, -2*f + 37 = 4*w - w. Suppose 0 = 2*m - f - 25. Is m a multiple of 4?
False
Is 2*(-18)/15*500/(-15) a multiple of 20?
True
Let q be (-4)/10 - (-24)/10. Let k(p) = -q + 1 - 2 + p**2 + 9 - 13*p. Is k(14) a multiple of 20?
True
Let w(z) = -2*z**3 + 22*z**2 + 9*z - 18. Is 16 a factor of w(11)?
False
Let f(j) = 2*j**2 - 1. Let v be ((-38)/(-8))/(3/(-12)). Let h = v + 14. Does 18 divide f(h)?
False
Suppose 3*m + 5*l - 328 = 0, l + 558 = 5*m - 2*l. Does 47 divide m?
False
Suppose -5*f + 19*f = 4774. Does 21 divide f?
False
Let v(s) = 1. Let f(i) = -2*i - 1. Let d(c) = f(c) + 2*v(c). Let w be d(2). Is 2 - -2 - (w + 0) a multiple of 7?
True
Suppose 2*q + b - 191 = -0*q, 5*b + 389 = 4*q. Let h = q + -146. Let a = 77 + h. Is a a multiple of 16?
False
Let c be (2 + -3 + 0)*-3. Suppose -c*b + 187 = 5*z, -b + 93 = b - 3*z. Is 9 a factor of b?
True
Let d be (-1)/2 + 81/6. Suppose -2*o + 42 = 2*f, o = -2*f + 11 + d. Does 3 divide o?
True
Let i(l) = 2*l**3 - l**2 - 8*l + 2. Let d be i(4). Suppose -3*m = -2*z - 266, -z - d - 6 = -m. Is m a multiple of 29?
False
Suppose -2*f = 2924 + 532. Suppose 542 = 11*w + 366. Is 13 a factor of ((-2)/4)/(w/f)?
False
Let t = -66 - 4. Let n = t - -178. Is n a multiple of 27?
True
Let j(k) = k**3 - 14*k**2 + 12. Let w be 112/(-12)*6/(-4). Does 4 divide j(w)?
True
Let g = 36 + -99. Let a be g/28*(-4)/3. Suppose 0*r + a*r - 12 = 0. Does 3 divide r?
False
Let d be (20/(-15))/((-4)/54*1). Suppose -h = -42 + d. Does 12 divide h?
True
Suppose -a - 8 = -3*a. Suppose 19 = a*j - 17. Is 537/j - (-2)/(-3) a multiple of 10?
False
Suppose 10*d = -0*d + 10. Is 15 a factor of (494 + d)*48/80?
False
Let n = 13 - 48. Let q = 61 + n. Let v = q + -18. Is 8 a factor of v?
True
Suppose -11 = -3*d - 2. Let h be (-8)/9 + 5 - 2/18. Suppose -t + h = -d. Is 2 a factor of t?
False
Suppose -7*x - 5*x + 2016 = 0. Does 42 divide x?
True
Let n be 80/24*(-3735)/1. Let g be n/(-24) + (-3)/(-12). Suppose 4*w - g = -107. Is 25 a factor of w?
False
Let n be 361/11 + 2/11. Let k = -31 + n. Suppose 3*b + 3*q = 66, 3*b + 4*q = k*q + 65. Does 3 divide b?
True
Let t(x) be the second derivative of -3*x**3/2 - 3*x**2/2 - 4*x. Is 24 a factor of t(-10)?
False
Let f = 22 - 18. Let y be 8/(-14) + (-1184)/(-14). Suppose 0*v = f*v - y. Does 5 divide v?
False
Let k(y) = -y**3 - 7*y**2 + 6*y + 173. Is 29 a factor of k(-16)?
False
Let a(k) be the second derivative of k**5/20 + 13*k**4/12 + k**3 + 6*k**2 - k - 3. Is 24 a factor of a(-7)?
True
Let s = -70 - -316. Suppose 3*j = s + 162. Is 17 a factor of j?
True
Let l be (21/(-6) + 3)*0. Suppose -4*i - i + 15 = l. Suppose -3*x - x - 2*u + 290 = 0, 0 = -i*x - 4*u + 210. Does 19 divide x?
False
Suppose 9 = -i - 0*i. Let k(m) = -m**2 - 14*m + 15. Is 12 a factor of k(i)?
True
Suppose 3*w - 5*w = 3*u - 548, 0 = -5*u - 3*w + 912. Does 24 divide u?
False
Let r be (-2)/(-6) + (1826/3)/1. Suppose -4*i + r = -5*j, 4*i - 2*j + 7*j - 639 = 0. Is 12 a factor of i?
True
Let k(a) = 5*a + 57. Is k(-8) a multiple of 2?
False
Suppose 0 = -5*j - 10, 0 = 3*r - 3*j - 888. Is 7 a factor of r?
True
Does 4 divide ((-60)/(-35))/((-6)/(-105))?
False
Let a(u) = -18*u - 3. Let s be a(-1). Suppose y - 16 = s. Does 9 divide y?
False
Suppose -2*r + 50 = 3*r. Suppose 15*n - r*n = 160. Is n a multiple of 13?
False
Let u(p) = 2*p**3 + p**2 - 1. Let n be u(1). Let t(b) = -9*b - 15 - 3*b - 4*b + 3*b - b**n. Does 8 divide t(-10)?
False
Does 39 divide -2 + (-1273)/(-5) - (-2)/5?
False
Suppose 0 = -107*r + 94*r + 5850. Is r a multiple of 50?
True
Let u = -169 + 274. Suppose -2*j + u = j. Is 12 a factor of (45/25)/(1/j)?
False
Let f be 3/7 - 432/(-168). Suppose f*z = 8*z - 560. Does 28 divide z?
True
Let d = 219 + 1101. Suppose 0 = -j + 5, -2*u = 3*u + j - d. Is u a multiple of 50?
False
Let s be (-9)/21 + (-535)/(-7). Let y = 267 - s. Is 13 a factor of y?
False
Suppose 0 = 4*g + 20, 0*g - 35 = -3*m + 4*g. Suppose 540 = m*c - 0*c. Is c a multiple of 4?
True
Let j = 1 - -1. Let t be (33*(1 - 3))/((-30)/20). Suppose 0 = -0*f + j*f - t. Is 5 a factor of f?
False
Let i be (-2)/6 + 40/(-24) - -86. Let l = -69 + i. Does 2 divide l?
False
Let d be -1 + 1*(2 - 0). Let l = 3 - d. Suppose 26 = x - l*z - 0*z, 2*z = 2*x - 62. Is 9 a factor of x?
True
Suppose 4*s - 2*z = 1238 + 292, 0 = -s - 5*z + 355. Is s a multiple of 38?
True
Suppose 3*l - 11*i - 1482 = -14*i, 5*i = 10. Is l a multiple of 41?
True
Suppose -3*o - 16 = -7. Let d be 1/(o*(-1)/6). Let c = 20 + d. Is c a multiple of 12?
False
Let i(r) = r**2 - 2*r - 1. Let c be i(3). Let t(s) = 3 + 3*s**2 - 1 + 5*s**3 - 6*s**3 - 4*s - 17*s**c. Is 29 a factor of t(-14)?
True
Let z be 4 + (7/((-7)/(-32)) - 0). Suppose -l + 2*l = 8. Suppose -n + z = -l. Does 13 divide n?
False
Let w = -1539 - -1559. Is w even?
True
Let v be ((-9 - -3)*-44 - 2)/2. Let s = v + -73. Do