
Let u(y) = -23*y - 12. Is u(-4) a multiple of 8?
True
Is 11 a factor of 90/4 - (-1)/(-2)?
True
Suppose 3*y + 0*y + 54 = -4*s, -5*y - 116 = -2*s. Suppose 5*a - 137 = 3*d, a = 4*a - 3. Let t = y - d. Does 8 divide t?
False
Suppose 2*d - 2*q + 4*q - 98 = 0, q + 251 = 5*d. Suppose -g = 4*g - d. Does 3 divide g?
False
Suppose 0 = 2*u - 25 - 15. Suppose -u = -2*g + 2*x, 4*g + 2*x + 2*x - 16 = 0. Does 7 divide g?
True
Is 9 a factor of (143/(-22))/((-2)/36)?
True
Let b(c) = 6*c - 9. Let p be b(-6). Let r = p - -75. Is r a multiple of 10?
True
Suppose -39 = -2*s + 5*c + 132, -2*s = -4*c - 172. Does 24 divide s?
False
Let o = 15 - -14. Suppose 8 = -5*h + 33. Let m = o + h. Is m a multiple of 17?
True
Suppose 2 = -2*t + 2*i, 0 = -0*t + 4*t - 5*i. Let w be (-105)/t - (0 + -1). Suppose n - w = -2. Is n a multiple of 19?
False
Suppose 0 = -11*i + 13*i - 6. Does 2 divide i?
False
Let a be -1 + (-6 - -1)*1. Let g(t) = -t + 7. Let x be g(a). Suppose 0 = 5*i - x - 37. Does 10 divide i?
True
Let o(a) = -14*a + 84. Is o(-16) a multiple of 20?
False
Let s(u) = -u**3 - 5*u**2 - 5*u + 1. Let f be s(-4). Suppose -4*b - 12 = 0, 3*b + f = -m - m. Suppose -y + m*y = 17. Is y a multiple of 13?
False
Let t be -6*(-1 + 0)*-1. Let y be t*(1 + (-3)/2). Suppose 0 = -4*i + y*i + 8. Is i a multiple of 4?
True
Suppose 2*o = 5*t - 170 - 154, -5*o = -3*t + 183. Let j = t + -46. Is j a multiple of 7?
False
Suppose 2*f - 180 = -5*u + 7*f, -5*f = -2*u + 84. Is 4 a factor of u?
True
Is (-1 + 9)/((-6)/(-33)) a multiple of 11?
True
Suppose -6 = -2*p + 2. Suppose c = -5*i + 2, 2*c - 3*i = i + p. Suppose 5*g = 5*a + 80, -c*g + 5*a + 53 = 9. Is 6 a factor of g?
True
Let k(o) = -3*o + 1. Let i be (-2)/(-6)*(-1 + 10). Suppose -4*g + 5*g = n - 1, 7 = i*n - 5*g. Does 4 divide k(n)?
True
Let h(x) = -72*x**3 + 2*x**2 + 3*x + 1. Does 18 divide h(-1)?
True
Let x be (-2)/(-3 - -4) + -11. Let l = x + 7. Is 4 a factor of (-84)/(-8) + l/4?
False
Suppose -4*l = 5*p + 1 - 4, -4*p = -4*l + 48. Let g = l - 3. Suppose 0 = g*v + 22 - 66. Is v a multiple of 11?
True
Let o(h) = 3*h**2 + h + 2. Let g = -1 + 1. Suppose 0 = -g*c - c + 2. Does 16 divide o(c)?
True
Is 3 a factor of ((-2)/4)/((-16)/416)?
False
Let u(y) = 3*y - 5. Let w be u(-7). Let n = w - -44. Does 16 divide n?
False
Is (-12)/(-9) + 184/12*2 a multiple of 12?
False
Is -1 + 2 + (210 - -2) a multiple of 23?
False
Let f(l) = -11*l + 13. Does 27 divide f(-7)?
False
Let o = -309 - -514. Suppose 2*a + 3*a = o. Does 11 divide a?
False
Suppose 2*x - 15 = -3*x. Suppose g = -x*g + 16. Suppose -47 = -g*u + 17. Does 16 divide u?
True
Let q(f) = f**2 + 6*f + 3. Let l be q(-5). Does 3 divide 242/55 - l/(-5)?
False
Let q be 2*1/(-2)*-3. Does 6 divide 1 + q + 3 + -1?
True
Suppose -k + 17 = 2*h, -3 = -0*k - 3*k. Is 2 a factor of h?
True
Suppose -4*k = 0, q + 3*k = -2*k. Suppose -4 = w + 3*f, q*f - 36 = -3*w + 3*f. Suppose -172 - w = -5*v. Does 18 divide v?
True
Let x = 176 + -99. Is x a multiple of 17?
False
Let p(x) = x - 3. Let c be p(3). Suppose -2*d + d + 21 = c. Does 7 divide d?
True
Let a(y) = 1 + 3*y + y**2 + 0 - 6*y. Let i be a(4). Suppose 61 = i*t - 39. Is 10 a factor of t?
True
Let g be (-2)/5 + 64/10. Suppose i - g - 8 = 0. Is 7 a factor of i?
True
Let c(j) = 2*j**2 + 2*j. Suppose 4*p - 6*p = -28. Suppose 2*q + s + p = -3*q, 0 = -3*s + 3. Does 4 divide c(q)?
True
Suppose -c + 19 = -30. Let r = -11 + c. Suppose 2*y + 0*y = r. Is 19 a factor of y?
True
Does 11 divide (-6)/33 + (-4)/((-44)/1443)?
False
Let f = 89 + -23. Does 21 divide f?
False
Let i = 53 + -2. Suppose 2*l - w + 7 = 32, 0 = -4*l + 3*w + i. Is l a multiple of 4?
True
Let k = 29 - -22. Is 17 a factor of k?
True
Let w(k) = 5*k + 3. Let f = 0 - -3. Is w(f) a multiple of 9?
True
Let w(k) = -6*k - 2. Let g be w(-2). Let d be (-6)/g - (-2560)/(-25). Let t = -58 - d. Does 15 divide t?
True
Let l(r) = -87*r - 6. Is l(-2) a multiple of 12?
True
Let o(n) = -n**3 + 10*n**2 - 2*n - 16. Is 16 a factor of o(8)?
True
Let b(s) be the first derivative of s**3/3 + 15*s**2/2 - 8. Does 5 divide b(-16)?
False
Suppose 4*s + 23 = j, -2*s = j - 3*s - 8. Is (j/(-6) + -3)*-18 a multiple of 25?
False
Let n(j) be the first derivative of -3*j**2/2 + 4*j - 1. Let a be n(4). Let t = -3 - a. Does 3 divide t?
False
Let v(u) = -4*u**3 + 6*u**2 + 8*u - 7. Let z(p) = -5*p**3 + 6*p**2 + 8*p - 8. Let r(s) = 4*v(s) - 3*z(s). Does 11 divide r(6)?
True
Suppose x - 2*x + 177 = 5*s, -4*s = -3*x + 569. Does 17 divide x?
True
Let x(o) = -o**2 - 12*o + 7. Let m be x(-6). Suppose 0 = -2*r + h + 19, 3*r - 3*h - m = -r. Is (r*(2 + -3))/(-1) a multiple of 6?
False
Is 9 a factor of 10/4*(4 + -2 + 10)?
False
Suppose 0 - 14 = -3*g + s, 2*s + 20 = 4*g. Let w = -2 + g. Suppose w*j + 68 = 4*j. Does 17 divide j?
True
Let q(f) = -5 + 2 + 8*f**2 + 9*f**2 + 4. Let d = 2 + -3. Is 16 a factor of q(d)?
False
Suppose 3*x - 99 - 63 = 0. Is 9 a factor of x?
True
Suppose -18 = -5*f - 2*q, -8 = -0*f - 2*f - q. Suppose 0 = f*k - 7*k + 10. Suppose -2*o = o - l - 26, -14 = -k*o - l. Is o a multiple of 6?
False
Suppose -12 - 6 = -3*b. Is 10 - -3*4/b a multiple of 4?
True
Let r(w) = -w**3 - 2*w**2 - 4. Let x(f) = f + 2. Let j be x(-5). Let c be r(j). Suppose 0 = 2*n - c*i + 1, 2*n + 0*i = -4*i + 44. Is n a multiple of 7?
False
Suppose -5*y = 0, -4*v + 2*y + 11 = -13. Let o be -3*(v/(-9) - 1). Suppose o*h + 2*b - 69 = 0, b - 6 = 3*b. Is h a multiple of 10?
False
Let z(w) = -w + 17. Let u be z(12). Suppose 26 = 3*q + 4*j, 0 = -3*q + q - u*j + 22. Is 3 a factor of q?
True
Suppose -2*w = w + 3*p - 15, 2*p + 20 = 3*w. Let t be 9/w - 3/(-6). Suppose -2*u + u + 2*s + 15 = 0, -6 = -t*u - 4*s. Is 9 a factor of u?
True
Let y = 7 - -7. Is 7 a factor of y?
True
Suppose 3*j = 6, u - 5*u = -5*j - 10. Let r = -3 + 4. Suppose 29 = u*d - r. Is 3 a factor of d?
True
Suppose 0 = 4*h + 4*g - 10 - 58, 3*h = g + 51. Suppose 0*z = -z + h. Is z a multiple of 17?
True
Let o = -148 + 315. Does 22 divide o?
False
Let f(d) = d - 6. Let p be f(10). Suppose -5*g + 3*g + p = 0. Is -2*-26*1/g a multiple of 13?
True
Let h = 17 - -24. Is 24 a factor of h?
False
Let n = 7 - 19. Is n*(-6)/3*1 a multiple of 24?
True
Suppose 4*f - 39 = f + 3*n, -3*f - 2*n = -49. Is 3 a factor of f?
True
Let j be (0 - (-1)/1)*2. Is (j/(-2))/(2/(-30)) a multiple of 7?
False
Let o(m) = -m**3 + 12*m**2 - 27*m - 5. Is 7 a factor of o(8)?
True
Let h be 1/(60/(-63) + 1). Let u = -8 + h. Is 9 a factor of u?
False
Suppose 0 = -3*o - 4*b + 40, -4*b + 3*b = 4*o - 49. Suppose -o = -3*k - 2*s, -5*s + 3 + 6 = -3*k. Suppose k = -w + 7. Is w a multiple of 2?
False
Let n be 91*4/(-2)*-1. Suppose n = 4*q - 5*s, 3*q - 2 = 2*s + 131. Is q a multiple of 12?
False
Let d = -75 + 139. Is d a multiple of 16?
True
Let p(q) = -q**3 + 6*q**2 + 6*q - 2. Let s be p(7). Is ((-22)/6)/(3/s) a multiple of 5?
False
Let q(r) be the second derivative of -2*r**3/3 - r**2/2 + 3*r. Let a be q(-4). Let u = -9 + a. Is u a multiple of 6?
True
Let i = -26 + 55. Does 5 divide i?
False
Let l = 10 + -3. Let a(z) = -2*z + 1. Let j be a(-3). Suppose -j - l = -d. Is 5 a factor of d?
False
Let l(x) = x + 13. Let z be l(-9). Suppose 3*o = 9, 5*d - 113 = -z*o - 41. Does 4 divide d?
True
Let i be (-9)/(-12) - (-9)/4. Let p(r) = r - 3*r + i*r - 11 + 2*r. Does 11 divide p(13)?
False
Suppose -10 = -4*r - a, -2*r + 5*a - 6 = -0*r. Suppose -4*b - 3 - 5 = 0. Is 27 + (0 - b/r) a multiple of 11?
False
Suppose 2*i = -0*o - o - 137, -5*i = 5*o + 710. Is 11 a factor of o/(-4) + (-3)/(-12)?
False
Let r = -296 - -514. Is r a multiple of 32?
False
Let z(i) = i**2 - 6*i + 2. Let q be (-1)/3 - 13/(-3). Let u be z(q). Let n = -2 - u. Is n a multiple of 4?
True
Let s be ((-24)/9)/((-4)/(-6)). Let o = s + 24. Does 15 divide o?
False
Does 7 divide -3 + (-32 - 4)/(-2)?
False
Let i(a) = 11*a + 3. Let k(r) = -r - 1. Suppose 5*t - 5*s + 40 = 0, 3*t + 0*s = -2*s - 14. Let f(q) = t*k(q) - i(q). Is 9 a factor of f(-4)?
False
Let d = 249 + -86. Let n = 36 - 36. Suppose n = 3*s + 2*c + 37 - d, 2*c + 138 = 3*s. Does 22 divide s?
True
Let h = 57 - -171. Does 37 divide h?
False
Let p = -95 - -185. Is 30 a factor of p?
True
Let t(a) = 79*a - 3. Let r be t(2). Suppose 5*v + 5 = r. Is v a multiple of 10?
True
Let p be (-1752)/(-42) + 4/14. Let g be (-4)/6 + 28/6. Suppose -154 = -g*c - p. Is c a mu