 38. Is n a multiple of 16?
False
Suppose -o + 2 = -1. Suppose 6*r + 3*x - 12 = o*r, r = -5*x - 12. Does 2 divide r?
True
Let a = -152 + 107. Is 10 a factor of -25*(-6)/a*-3?
True
Suppose -3*o + 5*t = -o - 175, 5*o - 3*t - 390 = 0. Suppose -4*i = -i - o. Is i a multiple of 16?
False
Suppose -7*r + 16 = -3*r. Suppose -r = -w - 3*w. Is 3*((-2 - -12) + w) a multiple of 14?
False
Suppose 4*o - 266 = -4*v + 998, -4*v = 2*o - 1262. Is v a multiple of 50?
False
Does 3 divide 58/8 + (-14)/56?
False
Let l = 95 - 50. Is l a multiple of 9?
True
Suppose 0*s + 1092 = 13*s. Is 7 a factor of s?
True
Suppose -4*d - 4 = 0, -2*d = -3*r + d + 465. Is r a multiple of 14?
True
Suppose -3*b = i + 6, -3*b + 5*b + 4 = -3*i. Suppose -5*x - 15 = -i*x, 75 = j + 2*x. Is 27 a factor of j?
True
Let p(d) = 14*d. Suppose 0 = 4*t - 7*t + 3. Is p(t) a multiple of 7?
True
Let k(o) = -5*o + 2. Is 5 a factor of k(-5)?
False
Let a = 239 + -170. Is a a multiple of 14?
False
Is (-26)/(-39) + (-58)/(-3) a multiple of 20?
True
Let u(l) = 2*l**2 - 2*l - 4. Let t be u(3). Let s(d) = -d**2 + 9*d - 6. Let c be s(t). Let p(g) = 2*g + 2. Does 4 divide p(c)?
False
Suppose q + 3*y - 71 = 0, -y - 246 = -3*q + y. Is 10 a factor of q?
True
Suppose -12*r = -8*r - 232. Let w = r - 28. Is 10 a factor of w?
True
Let i(j) = -j + 25*j**2 - 7*j**2 + 1 + 6*j**2. Does 6 divide i(1)?
True
Suppose 184 = 4*t + 3*c, -t - 15 = 4*c - 61. Is 23 a factor of t?
True
Suppose -t - j - j = -1, 4 = -t - j. Let x be (-4)/(-18) - (-38)/t. Is 21 a factor of 28 + -6*(-2)/x?
False
Let w = 2 + 1. Suppose 5*q = 4*v - 5, 2*q = 5*v - 16 - w. Is 7*q - (-6)/(-6) a multiple of 10?
True
Suppose -2*b = 5*n - 213, -b = 2*b - n - 345. Suppose 4*s - b = 5*t, t = -s + 5*t + 23. Is 16 a factor of s?
False
Let c be 1056/21 - 4/14. Suppose 0 = l + 4*l - c. Is l a multiple of 10?
True
Does 17 divide (-5 + 2 - -5) + 27?
False
Suppose -2*q - 3 = 3*b, -2*b + 4*b = -5*q - 24. Let l be 8 - (q/3 - -4). Suppose 5*p - 21 = j, 0 = l*p - 4*p + 5*j - 30. Does 3 divide p?
False
Suppose 4*k - 11 = -5*m + 39, 0 = 2*m + k - 23. Let t(h) = 1 + m*h - 3*h + 0. Is t(1) a multiple of 9?
False
Suppose 0 = 4*a - 4, 5*q - 3*a - 116 = a. Is q a multiple of 24?
True
Let n = -46 + 24. Let v = n + -8. Let o = v + 58. Is o a multiple of 11?
False
Let g = 11 + -8. Suppose 0 = g*a - 93 - 15. Is 25 a factor of a?
False
Suppose 3*k - 5*x = -2*k + 100, 5*k - 3*x = 92. Suppose 0 = 2*b - 14 - k. Is 4 a factor of b?
False
Let k be ((-10)/(-1))/(-1 - -3). Suppose -4*o = -4, s - k*o - 91 = -s. Does 7 divide s?
False
Suppose 0 = 4*s - 8, j + 3*s - 15 = -2*j. Let m(l) = 9*l**2 + 23*l - 13. Let n(r) = 5*r**2 + 12*r - 7. Let h(w) = 6*m(w) - 11*n(w). Does 6 divide h(j)?
False
Let i = -6 + 4. Let w be -12*(3 - 10/4). Let f = i - w. Does 2 divide f?
True
Suppose 3*f - 113 = 2*s, -f + 3*f - 86 = 4*s. Is 4 a factor of f?
False
Suppose 16*n = 18*n - 10. Is n a multiple of 2?
False
Suppose -3*k + g + 12 + 2 = 0, -5*g = 10. Is k even?
True
Suppose 2*l = 22 + 18. Let t be (-1)/(-4) - (-675)/l. Let d = t + -15. Is 14 a factor of d?
False
Let d(s) = 6*s**2 + s**3 - 3 - 2*s**3 + s + 0*s - 1. Let v be d(6). Suppose v*u - 3*u + 8 = 0. Does 8 divide u?
True
Let z(q) = 41*q - 6. Is 13 a factor of z(3)?
True
Let b = 189 - 129. Suppose -2 = -g + 1. Suppose 2*p - b = -g*p. Is 12 a factor of p?
True
Let w(h) = -h**2 + 5*h + 6. Let r be w(5). Suppose -r*z = -z - 105. Is z a multiple of 8?
False
Suppose 0 = -5*j + x, 0 = -2*j + 2*x + 3*x. Suppose -n - 3*p = j, -2*p - 3 - 67 = -4*n. Is 15 a factor of n?
True
Suppose 5*i = 5*c - 0*c + 15, 0 = 2*c + 2*i - 2. Let p(z) = -z - 1. Let s be p(c). Suppose s*w + w = 30. Does 15 divide w?
True
Let s = -1 - -3. Suppose -4*c - s*x - 20 = 0, 12 = 2*x + x. Let b(q) = -q**3 - 6*q**2 + 5*q + 4. Does 18 divide b(c)?
True
Let u(r) = 2*r - 5*r + 22 + 3*r**2 - 3*r. Let h(s) = 2*s**2 - 4*s + 15. Let i(p) = -7*h(p) + 5*u(p). Is 13 a factor of i(4)?
True
Let d = -3 + 5. Suppose -5*g + w - 125 = 0, -d*w + 5*w - 37 = 2*g. Let v = -14 - g. Is v a multiple of 12?
True
Let o = -19 + 35. Suppose 4*h = -2*z - 2*z + 92, -3*h + 67 = 4*z. Let r = h - o. Is r a multiple of 9?
True
Let z = 4 + -8. Let j(n) = -n**2 - 10*n - 4. Does 8 divide j(z)?
False
Is 11 a factor of 32 - ((-6)/2 - -2)?
True
Let t(b) = 27*b**2 + 5*b + 2. Is t(2) a multiple of 12?
True
Is (-8)/(-6)*126/4 a multiple of 27?
False
Let b be 1/(38/20 + -2). Let a be (-192)/b - 1/5. Suppose 2*k - a = 57. Is k a multiple of 19?
True
Let q = 156 + -72. Does 42 divide q?
True
Let s(d) = -d**2 - 2*d - 1. Let x be s(-1). Suppose -4*k + u + 5 = x, -2*k + 7*k = 3*u + 15. Suppose k*i + 9 = i. Is 3 a factor of i?
True
Suppose 2*z = -4*r - 146, -75 = 2*r + 3*z + 8. Let g = r - -70. Suppose 4*f = 2*f + g. Is 8 a factor of f?
False
Let g = 28 + -20. Is 3 a factor of g?
False
Suppose 2*i + 146 = 3*g, 4*i - 3*g + 130 = -156. Is 19 a factor of 1/7 - 2650/i?
True
Let r = 101 - 41. Does 20 divide r?
True
Let x = 179 - -121. Does 35 divide x?
False
Suppose 4*y - y + 27 = 0. Is 13 a factor of (-119)/y - 6/27?
True
Suppose 2*i - 4*f = -0*i + 6, -5*f - 5 = -2*i. Suppose -i*k - 28 = -7*k. Is 8 a factor of k?
False
Let d be 1 + 4 + -2 + -2. Let g = 3 - d. Suppose -g*j - j = -30. Does 5 divide j?
True
Let f(m) = m. Let z(j) = -3*j - 8. Let p(x) = 2*f(x) + z(x). Let i be p(6). Let o = -9 - i. Is 2 a factor of o?
False
Let g = 27 + -4. Is 13 a factor of g?
False
Suppose -3*s + 4*t + 70 - 11 = 0, 5*s + 4*t - 77 = 0. Is s a multiple of 16?
False
Suppose -3*k - 60 = -0*k. Is 13 a factor of -4*5/(k/39)?
True
Suppose -4*b - b = -450. Is b a multiple of 15?
True
Suppose 3*d = 380 - 110. Does 18 divide d?
True
Is (-57)/(-9)*3 + -4 a multiple of 15?
True
Let v = 12 - 6. Suppose -v*d + 448 = d. Is 12 a factor of d?
False
Suppose -5*o + 3*y + 1 = 0, 2*o - 2*y + 3 = 1. Is o a multiple of 2?
True
Let q = -3 + 4. Is 7 a factor of -21*(q - 4)/9?
True
Suppose 3*j + 186 = 9*j. Is j a multiple of 7?
False
Suppose 3*g - f + 46 = 488, 472 = 3*g + 5*f. Is g a multiple of 30?
False
Let m(z) = -z**2 - 6*z + 1. Let c be m(-6). Is 21 a factor of (0 - (0 + c)) + 59?
False
Let j(w) = 6*w + 7. Let h(p) = 17*p + 20. Let b(k) = 3*h(k) - 8*j(k). Let m be b(5). Does 9 divide (m - -1) + -1 + 0?
False
Is 7 a factor of -1 + (17 - (3 + -1))?
True
Suppose 3*x + 14 + 34 = 0. Is 4 a factor of ((-21)/(-12))/((-2)/x)?
False
Let k(x) = -x**3 + 3*x**2 + 5*x. Let m be k(4). Suppose -44 - 4 = -m*g. Does 12 divide g?
True
Let u(i) = i**2 + 3*i - 4. Let c be u(-4). Suppose 124 = 5*s + 4*h, -2*s + s - 4*h + 12 = c. Is s a multiple of 13?
False
Let d = 3 + -1. Suppose -3*j - 10 = -5*s - 4*j, 8 = 4*s + d*j. Is s even?
True
Suppose 12 = -3*k - 3*o, 0*k - 12 = 3*k - 2*o. Let t = k - -4. Suppose 3*z - 18 - 81 = t. Does 11 divide z?
True
Let d(w) = 2*w**2 + 2*w - 1. Let k be d(-2). Suppose 0 = -5*c + k*f - 0*f + 87, 1 = f. Is 12 a factor of c?
False
Suppose -8*d + 3*d = -290. Is 14 a factor of d?
False
Let q(t) = t**2 + 10*t + 20. Is q(-8) even?
True
Suppose 4*w - 8*w = 16. Is ((-28)/35)/(w/30) a multiple of 6?
True
Is 3 a factor of (260/39)/((-4)/(-18))?
True
Suppose 7 + 5 = 3*f. Let b be f/12 + (-104)/(-3). Suppose -5*z = -5*x + b, 6*x - 55 = x - 5*z. Does 8 divide x?
False
Let z = -4 - -4. Suppose z = -v - 3*v + 20, 0 = 5*j + v - 105. Does 5 divide j?
True
Suppose 2 = 2*o - 2. Suppose -4*u = 5*x - 81, 3*u + 6 = 2*x - o*u. Does 7 divide x?
False
Suppose 5*t = 0, -3*t = 4*b - t - 376. Is b a multiple of 32?
False
Let l(h) = 3*h**2 - 6*h - 2. Let s be l(6). Let f(r) = 2*r - 9. Let m be f(6). Suppose m*p + 22 = x, 3*x - s = -2*x - 5*p. Is x a multiple of 8?
True
Suppose -200 = -3*v + 4*g, 100 = -v + 3*v + 4*g. Does 10 divide v?
True
Let j = 25 - -6. Suppose 0 = -4*h + j - 3. Does 2 divide h?
False
Suppose 3*d - 2*o - 14 = -6, 0 = o - 2. Is d a multiple of 2?
True
Let f(s) = -1. Let w(j) = j + 3. Let v(h) = 6*f(h) + w(h). Let y be v(3). Suppose -2*i + y*i + 16 = 0. Is 8 a factor of i?
True
Let x be -3 - (-3 + 6 + -11). Suppose -135 = -4*i - 5*g, i - x*g - 55 = -2*g. Is i a multiple of 11?
False
Let b be (-2 + -3*2)/(-2). Suppose -4*w - 3*y + 96 = 2*y, 4*w + b*y = 96. Is w a multiple of 12?
True
Suppose -4*q + 24 = -2*q. Is q a multiple of 6?
True
Let o = 235 - 156. Is o a multiple of 23?
False
Let d