 + 29, -4*r - 5*f + 95 = 0. Let c = r - g. Is c a multiple of 5?
True
Let g = -46 + 58. Does 20 divide 4/(g/(-15)) + 41?
False
Let t be 39/3 + 3 + 1. Suppose -2*b - 38 - t = -3*u, -2*u - 5*b + 24 = 0. Let j(x) = x - 2. Is 15 a factor of j(u)?
True
Let v(w) = -w**3 - 25*w**2 - 13*w + 20. Does 67 divide v(-25)?
False
Let w = -266 - -1835. Is 2/4 - w/(-6) a multiple of 16?
False
Suppose -43*f = -52583 - 86479. Is f a multiple of 79?
False
Let c(d) = -d**2 - 19*d - 38. Let i(b) = -3*b**3 + b**2 + 3*b. Let q be i(2). Does 3 divide c(q)?
False
Suppose -76 = 4*n - 332. Let s(v) = v**2 + 5*v - 4. Let w be s(-6). Let h = n + w. Is 22 a factor of h?
True
Let h = 1020 + -586. Is h a multiple of 11?
False
Let z(f) = 3*f**3 - f**2 - 10*f + 12. Let j be z(2). Let q = -3 - -5. Suppose q - j = -w. Is w a multiple of 5?
True
Let t(s) = -s**3 - 2*s**2 + 4. Let m be t(-3). Let c be (-4428)/(-117) + 2/m. Let f = 67 - c. Is f a multiple of 7?
False
Let h be 20/2 - (1 + 1). Let t(g) = g**2 - g - 8. Does 12 divide t(h)?
True
Let o(j) = -7*j + 273. Does 13 divide o(0)?
True
Let h be 390/((2 - 0) + 0). Suppose -210 = -5*t + h. Does 27 divide t?
True
Let w be 2/(-6) + (-1208)/(-24). Let l be (-2)/6 + w/15. Suppose l*q - 20 = 10. Does 10 divide q?
True
Suppose t - 2 = 5*q - 15, -3*t = -4*q + 28. Let o be (t + 7)/(1*-1). Is 7 a factor of 7 + 2 + o + -3?
True
Suppose 0 = -0*q + 3*q - 243. Is ((-1)/(-1))/(3/q) a multiple of 4?
False
Is (-4)/1 - (-35 + -16) a multiple of 13?
False
Is 38 a factor of (2659 - 3/(-3)) + 6 + -1?
False
Let i = -250 - -262. Does 6 divide i?
True
Let p(i) = 530*i - 262. Does 8 divide p(3)?
True
Let k be 8*(-5 + 4)/(-1). Let s(b) = b**2 + 9*b - 32. Is s(k) a multiple of 42?
False
Let f be (-9)/(-18) - (-326)/4. Let y = f - 47. Let j = y - 23. Is j a multiple of 4?
True
Let j(l) = 7*l + 24. Suppose 2*f = f + 4*u, -3*u = -3. Is j(f) a multiple of 8?
False
Let l(g) = g**3 - g**2 - g. Let j be l(0). Suppose j*t = -t + 3. Suppose 0 = o + t*q - 5*q - 29, -o + 23 = -5*q. Is o a multiple of 10?
False
Let y be (-1 - -163) + (3 - 4). Suppose 0 = -2*f + 25 + y. Does 19 divide f?
False
Suppose 56820 = 27*f + 3*f. Does 27 divide f?
False
Let a be (-8)/3*(-30)/20. Let h(k) = k**2 - 2*k - 5. Let r be h(a). Suppose r*d - 122 = -5*o, -4*d - d = -20. Does 6 divide o?
False
Let a = -695 - -781. Is a even?
True
Suppose -23*t + 9894 = 2166. Is 56 a factor of t?
True
Let h(m) = 9*m + 14*m - 6*m - 33*m + 9. Suppose 4 = -3*x + 2*x. Is h(x) a multiple of 18?
False
Suppose -3*r = 3*c - 60, -2*r + 24 = -5*c - 37. Let f be -3*3/3 + r. Suppose -4 + f = 2*y. Is 7 a factor of y?
False
Let p(v) = -67*v + 62. Is 14 a factor of p(-2)?
True
Suppose -4*v - 12*p + 8*p = -4060, 0 = -3*p. Does 29 divide v?
True
Suppose -3*x + k = -2928, -3*x + 3*k = 1348 - 4282. Does 13 divide x?
True
Let u(y) = -y**3 + 4*y**2 + 5*y + 3. Let q be u(5). Suppose s - 117 = -i - q*i, i = 2*s + 18. Is i a multiple of 28?
True
Let t(z) = 125*z - 46*z - 13 - 53*z. Is 27 a factor of t(2)?
False
Suppose 3*q - 4*q = -3. Suppose -4 = 5*n + 6*w - 4*w, w = -2. Suppose r - 19 = q*g, 3*r - 17 + n = g. Is r a multiple of 2?
True
Let j = -197 + 327. Is j a multiple of 13?
True
Let q be 7161/(-14) - ((-10)/(-4))/(-5). Let p = -355 - q. Is 11 a factor of p?
False
Let l(j) = -36*j + 17. Let w be l(-4). Suppose 0 = -15*b + 8*b + w. Is 4 a factor of b?
False
Suppose -w = -2*w + 74. Let s(z) = -11*z - 7. Let j be s(4). Let k = j + w. Is 5 a factor of k?
False
Suppose g - 3*u = -2, 5*g + 58 = -0*u + 3*u. Let f = -22 - g. Is f/6*(-15)/4 a multiple of 5?
True
Suppose -j + 4*l = -972, -4*j - l + 3*l = -3902. Is 61 a factor of j?
True
Suppose -8*u + 17*u = 28035. Suppose u = 9*l + 37. Does 38 divide l?
True
Let d(g) = -3*g**2 - 2 + 3 - 2*g**3 - 3*g + 6*g + g**3. Let m be d(-4). Suppose -m*c = -10*c + 120. Is 13 a factor of c?
False
Is 142 a factor of (5415/(-95))/((-6)/158)?
False
Let w(v) = 3*v**2 - 8*v**2 - 8*v + 4*v**2 + 17 + 2*v**2. Is w(7) even?
True
Let o = 254 + -697. Let t = -273 - o. Is t a multiple of 17?
True
Let h be 54/13 + (-2)/13. Suppose 0 = -2*y + 225 - 27. Suppose -h*f = -3*q - y, -q + 111 = 3*f + f. Is f a multiple of 9?
True
Let w be ((-36)/(-45))/(1/20). Suppose x + 3*x = w. Suppose 0 = i - 5 - x. Is i a multiple of 4?
False
Suppose 3*r = 4*w - 4212, 3*w = 6*r - r + 3170. Is 35 a factor of w?
True
Suppose -5*n = -6*n - 17. Let g = n + 19. Let i(c) = 20*c - 1. Is 16 a factor of i(g)?
False
Let z be -9 - -4 - 2*-63. Suppose 434 = 3*b - z. Is 47 a factor of b?
False
Let u be 7/14 - 658/(-4). Suppose 8*z = 5*z + u. Is z a multiple of 11?
True
Let o(j) = -j**2 + 59*j + 36. Does 3 divide o(14)?
True
Let h(t) = 162*t**2 + 3*t - 2. Let f be h(1). Let r = -99 + f. Is 17 a factor of r?
False
Let s(l) = 9*l + 53. Let o(z) = -4*z - 27. Let i(n) = -7*o(n) - 3*s(n). Is 15 a factor of i(0)?
True
Does 42 divide (8/10)/((-130)/(-427375))?
False
Let y(a) = 2*a**2 - 1. Suppose 0*z = -2*d - z + 4, 4*d = 3*z + 28. Let v be y(d). Suppose -2*u + v = 3*m, -3*m + 7*m + 5*u - 39 = 0. Is 4 a factor of m?
False
Let b(d) = 382*d + 92. Is b(4) a multiple of 36?
True
Let n(p) = p**3 - 15*p**2 + 18*p + 26. Let b be n(14). Suppose -3*f + 2*a + b = -0*f, 2*a - 8 = 0. Is 4 a factor of f?
False
Let u = -21 + 30. Let s = -5 + u. Suppose -l + s*l = 75. Is 7 a factor of l?
False
Suppose 15 = 4*j - 3*w, 5*j - 5 = -5*w + 5. Let z be 5/10*(j + 3). Suppose z*a - 27 - 42 = 0. Does 5 divide a?
False
Let b = -71 + 69. Let v(r) = 31*r**2 + 4*r - 2. Is v(b) a multiple of 6?
True
Let l(f) = 29*f - 37. Is l(5) a multiple of 36?
True
Suppose 0 = 13*c + 5*c - 37368. Does 37 divide c?
False
Suppose 14*m + 579 - 19 = 0. Let x = -1 + -24. Let l = x - m. Is l a multiple of 6?
False
Suppose -104 = -n + 2*w + 33, -139 = -n + 4*w. Does 9 divide n?
True
Let t(h) = -h**2 + 22*h - 16. Let l be t(21). Suppose 0*y - l*y - 4*x = -254, 0 = 2*y + 5*x - 105. Is 10 a factor of y?
True
Let u(i) = i**3 + 7*i**2 - 2*i + 6. Suppose 4*t + 3*k - 2 + 25 = 0, 2*t - 4*k + 28 = 0. Let h be (-3 - 12/t)*4. Is u(h) a multiple of 14?
False
Let r(j) = -29*j**3 - 17*j**2 - 9*j - 13. Is r(-5) a multiple of 35?
False
Suppose 13*j + 22 = -4. Suppose -3*z + 5*z - 32 = 0. Is (9/(-12))/(j/z) a multiple of 5?
False
Suppose 2*s = -3*p + 240, -2*s + p + 600 = 3*s. Suppose -2*d = 2*d - s. Does 15 divide d?
True
Suppose -3*i - 12 = 0, -2*i - 22 = -m + 3*i. Suppose m*q + 416 = 5*f - 0*q, 6 = -2*q. Does 16 divide f?
False
Suppose 24*a - 29*a = 20. Is 678/9 + a/3 + 1 a multiple of 15?
True
Let x be 16*5 + 1/1. Let h = 31 - 28. Suppose 0*z + x = h*z. Does 9 divide z?
True
Suppose 3*b + x - 1433 = 0, -4*x + 30 = 10. Does 17 divide b?
True
Let t be (-14)/(-63) - 2/9. Suppose -3*r = -4*r. Suppose -5*s - 177 = -4*d, t = 3*s - r + 3. Does 14 divide d?
False
Let u be 3/5 + ((-224)/(-40))/4. Suppose 2*j = m - 54, 0 = 6*m - 2*m + 2*j - 266. Suppose -156 = -4*p - 3*a, 0 = 5*p - u*a - m - 154. Does 21 divide p?
True
Suppose -80 = -8*q + 3*q. Let z = q - -47. Suppose -5*y = -2*y - z. Does 21 divide y?
True
Suppose 0 = -10*r + 15*r - 355. Is r a multiple of 2?
False
Let o(t) = 3*t**2 - 12. Let i be o(6). Suppose 7*q - i - 72 = 0. Is 3 a factor of q?
True
Suppose -2*l - 2*i = 70, -i + 140 = -4*l + i. Does 24 divide 16/(-6)*(l + 8)?
True
Let i = 23 - -17. Let o = i - 28. Is 12 a factor of o?
True
Let k(u) = 30 - 30 + 4*u. Let y be k(7). Let s = 11 + y. Does 7 divide s?
False
Let g(v) = -3*v - 16. Let c be g(-7). Suppose c*u = 85 - 5. Is u even?
True
Let a(g) = -g**3 + 11*g**2 + 11*g - 11. Let i(w) = -w**3 + 6*w**2 - 5*w + 11. Let u be i(5). Is a(u) a multiple of 6?
False
Let j(d) = 3171*d**2 + 11*d - 8. Is j(1) a multiple of 13?
False
Let t(q) = q**2 - 49*q + 457. Is t(45) a multiple of 4?
False
Let c(x) be the second derivative of 4*x**2 - 4*x + 0 - 1/2*x**3. Does 7 divide c(-6)?
False
Suppose -4*g = -5 - 27. Suppose 3*b - 5*b = -g. Suppose 4*l + o = l + 80, -3*l - b*o = -68. Does 18 divide l?
False
Let c be (-2 - 0)/(9/108). Let l be c + (3 - 0/3). Let p = l + 53. Is p a multiple of 16?
True
Let c be -2 + 1 + 13 + -12. Suppose 5*a - 4*s - 24 = c, -s = 4*a - 2*a - 7. Suppose -94 = -5*t - a. Is 9 a factor of t?
True
Suppose -30*h = -33*h + 93. Suppose 8*p - 81 = h. Is p even?
True
Suppose o - 570 + 13 = 0. Does 36 div