vide d?
True
Suppose -4*v - 3*n + 652 = 0, -v - v - 2*n = -328. Suppose -q - 4*r - 40 = 0, -3*q + v = -7*q + 2*r. Is 9/(-6)*q/6 a multiple of 10?
True
Suppose -5*v + 3 = 23, -3*v - 216 = -2*r. Is r a multiple of 28?
False
Suppose 10 + 2 = 3*g. Is (-124)/(-2) + g + -4 a multiple of 31?
True
Let h = -11 + 7. Let v(m) = 2*m**3 + 7*m**2 + 5*m + 4. Let l be v(h). Let a = 47 + l. Is a a multiple of 15?
True
Let n = 155 - 130. Is n a multiple of 2?
False
Suppose -u - 3*i = 6, 2*i - 7*i - 18 = -u. Suppose 2*o - u*f = -4*f + 5, -5*o = 3*f - 10. Suppose 3*k - o*k + 20 = 0. Is k a multiple of 4?
False
Suppose -3*c - 3 = 4*q, 4 = -5*q - 11. Let r = 0 + c. Suppose -r*t = 1 - 31. Does 5 divide t?
True
Suppose l - 160 = 3*l. Let s be (12/(-10))/(12/l). Suppose s*x - 4*x = 104. Does 13 divide x?
True
Let i = 7 + -8. Let l(z) = -15*z**3 + 2*z**2 + z. Let v be l(i). Is 380/v - (-2)/8 a multiple of 15?
False
Let x(i) = 2*i - 11. Let z be x(9). Is 7 a factor of z*(-2)/(-5 - -3)?
True
Suppose 2*f + 6 = -2*t + 22, 0 = -5*t - 2*f + 31. Suppose 21 = q - 4*w - w, -t*q = 5*w - 15. Is 14 a factor of q/39 + (-1593)/(-39)?
False
Let k(g) = -g**3 - 4*g**2 - 3*g + 2. Let x be 6/(0 + 2)*-1. Let c be k(x). Suppose 0*p - 2*p + 34 = -3*m, c*p = -4*m + 48. Is 20 a factor of p?
True
Let o be 38/10 - (-3)/15. Suppose n + 3*n = o. Is 8 a factor of (-1)/((-1 - n)/20)?
False
Let w(p) = 5*p + 4 - 4*p**3 + 4*p**2 + 3*p**3 - p. Let b be w(5). Is 9*(6/(-9) - b) a multiple of 2?
False
Let s = 11 + 49. Suppose -y - 16 = -s. Is 11 a factor of y?
True
Let m(d) = -d**3 - 2*d**2 - 3*d - 3. Let c be m(-2). Suppose -c*t = -0*t - 171. Does 18 divide t?
False
Let a be 4/(-6) - 2/6. Let y = a - -3. Suppose -y*f = 2*f - 112. Is 14 a factor of f?
True
Let m be 0*1*2/4. Let p be 69/(m - 6/(-4)). Is 1*(-3)/(-6)*p a multiple of 21?
False
Let y = -8 - -33. Does 6 divide y?
False
Let c(r) = 4*r**2 + 6*r + 45. Is 20 a factor of c(-7)?
False
Suppose 12*z - 297 = 3*z. Is 7 a factor of z?
False
Let i(l) = 43*l + 1. Does 11 divide i(1)?
True
Is (-10)/16*-2*24 a multiple of 17?
False
Let u(s) = -s - 8. Let d be u(-12). Suppose 5*p + 25 = 0, 3*b - b - d*p - 48 = 0. Is b a multiple of 14?
True
Suppose 8*g - 4*g = -3*t + 459, 3*t - 459 = 4*g. Is 18 a factor of t?
False
Let o be ((-75)/1)/(3 + -4). Suppose 6*y = y + o. Is y a multiple of 15?
True
Let p be (-32)/14 + (-4)/(-14). Let n = p + 13. Is n a multiple of 5?
False
Let k = 60 - 41. Is k a multiple of 18?
False
Let u be -2 - ((-6)/(-2) + 78). Let m = u - -173. Suppose 0*n - 2*n = -m. Does 12 divide n?
False
Suppose 0 = -10*l - 77 + 227. Is 5 a factor of l?
True
Suppose 4*h + 9 = -7. Let g = h + 7. Suppose -g*w = -w - 38. Is w a multiple of 10?
False
Let i = -8 + 45. Is 21 a factor of i?
False
Suppose 19 - 119 = 5*s. Let f = s + 5. Let w = -2 - f. Does 13 divide w?
True
Suppose 10*n - 813 = 7*n. Does 19 divide n?
False
Is (1/(-5))/1 + (-1494)/(-45) a multiple of 11?
True
Suppose -13 = -2*i + 61. Is i a multiple of 11?
False
Let r(w) = -2*w**2 + 3*w - 7. Let p be r(5). Let j be (0/(-1))/2 - p. Let h = j + -29. Is h a multiple of 9?
False
Let z be (-6)/(-15) - (-17)/(-5). Let y be 158/4 - (-1)/2. Does 7 divide 6/9 - y/z?
True
Let s = 12 - 6. Let u = s + 51. Does 21 divide u?
False
Let z = 7 - 7. Suppose 3*g - 6 = z, 3*g + 4 + 4 = -x. Is 235/35 - 4/x even?
False
Suppose -6 + 4 = 2*s. Let x = 1 - s. Suppose d - x*z = -3*d + 34, d + 4*z + 5 = 0. Does 5 divide d?
False
Let q(c) = -4*c**2 + 7*c + 8. Let a(h) be the second derivative of h**4/3 - 4*h**3/3 - 9*h**2/2 - h. Let i(f) = -5*a(f) - 6*q(f). Is 10 a factor of i(-2)?
False
Suppose -160 = -5*o + 110. Does 16 divide o?
False
Suppose 3 = d, -46 = -5*n - 0*d + 3*d. Let i(m) = -m**2 + 13*m - 6. Is i(n) a multiple of 8?
True
Suppose 4 = -4*g, -4*b + 0*g + g = -81. Let v = b + -13. Does 3 divide v?
False
Suppose x - d + 1 = 0, -2*x + 10 = -0*x + 2*d. Suppose 3*s - 66 = -2*v, x*s + 3*s + 3*v - 110 = 0. Is s a multiple of 11?
True
Suppose 0 = -2*o + 4*p + 362, 0 = -6*o + o + p + 869. Does 30 divide o?
False
Let y(l) = -l**2 - 5*l + 11. Let o be y(-6). Suppose 0*q + o*q = 35. Does 2 divide q?
False
Let y(g) = g**3 + g**2 + g - 4. Let w be y(0). Let t(m) = m**2 + 4*m + 3. Let z be t(w). Is 8 a factor of 2/z - (-80)/6?
False
Suppose 3 = 3*n - 6. Suppose 51 = 3*h + 2*x, x - 5*x = -3*h + 69. Suppose -1 = 2*u + j - h, 0 = -n*u + 2*j + 34. Does 9 divide u?
False
Suppose -f = -5, f + 3*f = 5*r - 5. Suppose r*x = 2*i - 6*i + 7, -4*i = -5*x - 17. Let t(u) = -3*u + 1. Does 4 divide t(x)?
True
Is 10 a factor of (-4 - -2)/(5/(-80))?
False
Let w = -6 - -10. Suppose 0 = -5*x + 26 + w. Let y = 16 - x. Is y a multiple of 10?
True
Let h = -58 - -216. Suppose -5*t + h = 3*c, -5*t = 3*c - 6*c + 148. Is 17 a factor of c?
True
Let c = 6 + -4. Suppose x - 135 = -c*x. Is x a multiple of 15?
True
Suppose -2*v - 2*v = -z - 9, 4*v - 3 = 3*z. Suppose 95 = 5*i + u, -3*u + 51 = -i + v*i. Does 3 divide i?
True
Suppose -4*n - 5*p + 412 = 16, 0 = -5*n + p + 524. Is n a multiple of 35?
False
Suppose -6*r - 26 = -7*r. Is r a multiple of 26?
True
Is 15 a factor of ((-11)/(-3))/((-2)/(-18))?
False
Suppose 56 = 3*p - 43. Is p a multiple of 12?
False
Let k = 11 - 6. Suppose -3*c - 3 = p, -3*c + p - k = 2*c. Let v = c + 7. Is 6 a factor of v?
True
Let b(v) = -v**3 + 5*v**2 - 3*v - 4. Let w(s) = -s**2 + 6*s - 2. Let p be w(5). Is b(p) a multiple of 3?
False
Suppose 0 = -2*s + 29 + 57. Is 19 a factor of s?
False
Let t = 2 + 16. Is 10 a factor of t?
False
Suppose 3*i - 5*h + 725 = 8*i, 4*i - 575 = -5*h. Let r be (-3)/(-2)*8/6. Suppose -5*a + 3*z + i = -z, 0 = -r*z + 10. Is 17 a factor of a?
True
Suppose 4*a + 3 = -1, 5*s + 34 = a. Let l = -5 - s. Suppose u = -3*t + 21, -l*t = 5*u - 0*t - 40. Is 3 a factor of u?
True
Let c(q) = -q - 1. Let x(t) = -2*t**2 - 8*t + 1. Let j(y) = -2*c(y) - x(y). Is j(-7) a multiple of 12?
False
Let x(b) = b**3 + b**2 + 3. Let s be x(0). Suppose 81 = s*k - 51. Is k a multiple of 11?
True
Let y = 66 + -27. Suppose -5*c + y = -t - 2*t, 2*c - 13 = t. Let f = t - -21. Is 4 a factor of f?
True
Let n(s) = -s**3 + 8*s**2 - 8*s + 7. Let j be n(6). Let m = -1 + j. Is m a multiple of 17?
False
Let d(j) = -j**3 + 13*j**2 - 8*j + 8. Is d(12) a multiple of 15?
False
Let z(p) = -p**3 - 8*p**2 - 9*p. Is z(-7) a multiple of 4?
False
Suppose -2*b + 6 = -2*o - 56, 5*b + 3*o = 115. Suppose -a - 55 = -4*x, -5*x + 2*a + b = -3*x. Does 5 divide x?
False
Is 15 a factor of (-3)/(-4) + 725/4?
False
Let u = 139 - 91. Is 14 a factor of u?
False
Let m be 9*(-3 + 8/3). Let v = -1 - m. Is v even?
True
Let l = 1 + -1. Suppose 5*f + 32 = c, 0 = f - l - 1. Is c a multiple of 16?
False
Suppose 0 = -6*y + 2*y - 4*n + 384, -n - 369 = -4*y. Suppose j + 33 = b, -y = -3*b + 4*j + j. Is 12 a factor of b?
True
Let d be 60/(-28) - (-1)/7. Let o(u) = 4*u**2 + 4*u + 2. Does 10 divide o(d)?
True
Suppose 0 = 2*b - 4*o + 12, b - 5*b + 3*o - 4 = 0. Suppose -4*w - 3*f + 185 = 0, -3*w - 4*f = b*w - 231. Let i = w + -9. Is i a multiple of 10?
False
Let z = -6 - -7. Suppose k - z = u - 0*u, 2*k - 4*u = -4. Is k a multiple of 2?
True
Suppose -4*z = 298 - 46. Let i = z - -165. Let x = i - 45. Is x a multiple of 17?
False
Let i(q) = 7*q + 1. Let a be i(-2). Does 6 divide (0 + (a - 0))*-1?
False
Let j be ((-9)/6)/(6/(-16)). Let m = j + 10. Does 8 divide m?
False
Let i(j) be the third derivative of -j**4/24 + 4*j**3 - 5*j**2. Is i(-17) a multiple of 15?
False
Let p = 32 + -64. Let g = -16 - p. Does 5 divide g?
False
Let s(o) = 3*o**2 + 3*o + 3. Let b = -31 - -27. Is 9 a factor of s(b)?
False
Let j = 36 + 59. Suppose i - 25 = -a, 4*i = 2*a - a + j. Is i a multiple of 12?
True
Let p(n) = -n - 9. Let g be p(-11). Suppose -18 = -g*r - r. Is r a multiple of 6?
True
Let i = -208 + 352. Does 24 divide i?
True
Let t = -1 + 1. Suppose -p = -39 - 27. Suppose t = 2*n + n - p. Is n a multiple of 10?
False
Suppose 2*l - 3*l - 5*m + 88 = 0, -79 = -l - 2*m. Let c = -109 - -218. Let r = c - l. Does 12 divide r?
True
Let h(o) = -3 + 3 + 15*o. Let t be (-6)/(-3) + (-3 - -2). Does 7 divide h(t)?
False
Suppose 2*u = -u + 102. Suppose -i + 9 = -u. Is i a multiple of 12?
False
Let t = 233 + -92. Is t a multiple of 16?
False
Let l be 5/4*(1 + 3). Let n = l + 0. Suppose -9*h + 144 = -n*h. Does 12 divide h?
True