 -14. Is s a multiple of 2?
True
Let c(x) = 162*x - 9. Does 34 divide c(3)?
False
Let s(z) = z**3 + 3*z + 4. Let d be s(0). Suppose 0 = 4*q - t - 39, -t = 2*q - d*q + 17. Is q a multiple of 8?
False
Suppose -22*n + 1412 = -2460. Does 6 divide n?
False
Let c(m) = 51*m - 282. Is 30 a factor of c(32)?
True
Let q(r) = 17*r - 7. Let i be q(7). Suppose -2*k - 59 = 2*a - a, 0 = -2*a - k - i. Let b = 78 + a. Is 10 a factor of b?
False
Let t(h) = -12 - h + 3 - 2*h. Suppose -3*n + 9 - 30 = -4*b, 3*n + 3*b + 21 = 0. Does 4 divide t(n)?
True
Let y = -128 + 491. Is 41 a factor of y?
False
Let v(j) = -14*j - 19. Let y be v(3). Let m = y + 113. Is 24 a factor of m?
False
Let b(l) be the third derivative of -l**4/8 - l**3/3 - 8*l**2. Let a be b(0). Let r = 15 - a. Does 10 divide r?
False
Suppose 0 = -4*g - 371 + 1347. Suppose 0 = -2*w + 194 + g. Suppose w = 5*t - 1. Does 11 divide t?
True
Let v(g) be the first derivative of 7*g**4/24 - g**3/3 + g**2 - 5. Let d(l) be the second derivative of v(l). Is 10 a factor of d(4)?
False
Let z(f) be the second derivative of f**5/15 - f**4/12 + 5*f**3/6 + 3*f**2/2 - 8*f. Let y(m) be the first derivative of z(m). Does 17 divide y(-3)?
False
Suppose -2*z = -3*z + 81. Let k = -119 + z. Let g = -26 - k. Is 6 a factor of g?
True
Suppose 4*r = -t + 4767, 4*r = -0*t + 2*t + 4770. Is r a multiple of 70?
False
Suppose 0 = 7*u - 6*u - 9. Let h(s) = -2*s + 1. Let z be h(-2). Suppose 4*r = -z*f + 160, 4*f = -r + 20 + u. Is 26 a factor of r?
False
Suppose 3 = -2*i + f - 1, -4*f + 16 = 5*i. Suppose 0 = 7*s - i*s - 1421. Is s a multiple of 29?
True
Let a(u) = 21 + 23 - 84*u + 64*u. Is a(-6) a multiple of 8?
False
Let m = -28 - -47. Let v = m - -6. Suppose -3*c + v = -20. Does 5 divide c?
True
Suppose 5*v + 8 = 3. Let w(g) = -112*g**3 - 2*g**2 - g - 1. Is 10 a factor of w(v)?
True
Suppose -74*z + 94*z = 3680. Is z a multiple of 10?
False
Does 3 divide 29/319 - 196/(-22)?
True
Does 11 divide 4/(-34) - (1384530/51)/(-14)?
False
Suppose -4*s + 3*o = -564, -2*s + 146 = -s - 2*o. Suppose -h - 4*h + 3*u = -s, 3*u = -3*h + 78. Is 14 a factor of h?
False
Suppose -m = 4*m - 1125. Suppose -4*a - a = -m. Suppose 4*b - b - a = 0. Is 4 a factor of b?
False
Suppose -3*m = 13*m - 80. Suppose 7 = -a + m, -q + 3*a = -204. Is 15 a factor of q?
False
Suppose -3*y + 21 - 21 = 0. Let c(w) = -w + 48. Is 12 a factor of c(y)?
True
Suppose u = -0*t - t + 109, -2*t + 222 = 4*u. Is t a multiple of 32?
False
Does 10 divide (26/(-1))/(-5*(-9)/(-1710))?
False
Suppose 4*h - 3*u = 473 - 1794, h + 339 = -u. Let r = 493 + h. Is r a multiple of 16?
False
Suppose 4*d - 26 + 10 = 0. Suppose -4*m - 240 = -d*k, -6*k = -5*k + 2*m - 72. Is k a multiple of 5?
False
Let o(p) = 5*p - 7. Let s(u) = -4*u + 6. Let t(z) = 3*o(z) + 4*s(z). Let f be t(0). Suppose -5*l + y = -140 - 180, -215 = -f*l - 4*y. Is 13 a factor of l?
True
Let k = -2 + 8. Let o(a) = -5*a**3 + 8 - 2*a**2 + 2*a**2 + 7*a - 7*a**2 + 6*a**3. Is o(k) a multiple of 6?
False
Let j be 0/((-2)/((-1)/1)). Suppose 20*v - 7*v - 2002 = j. Is 28 a factor of v?
False
Let a be 1/(-8) + 4575/120. Suppose 0 = s + a - 115. Does 7 divide s?
True
Let g = 9 - 12. Let w be g/2 - 390/(-20). Suppose s - 15 = 5*d, s = -s + 4*d + w. Does 5 divide s?
True
Let c(z) = 11*z**3 - 6*z + 20. Is 14 a factor of c(3)?
False
Let o(u) be the first derivative of 5*u**4/12 + u**3/3 - 6*u**2 - 4*u + 6. Let y(b) be the first derivative of o(b). Does 27 divide y(5)?
False
Let u(m) = -5*m**3 - 2*m**2 - m. Let b be u(-1). Suppose b*r = 2*r + 70. Is 13 a factor of r?
False
Let m = -386 + 669. Is 31 a factor of m?
False
Suppose 0*a = -a. Let m = a - -33. Suppose -b - 7 = -m. Is b a multiple of 26?
True
Does 24 divide (12/(-14))/(-8 + (-21390)/(-2674))?
False
Suppose -4*v = -10*v + 30. Let a(l) = 29*l + 2. Let i be a(v). Suppose 7*r = 4*r + i. Does 23 divide r?
False
Suppose 0 = -2*n - 20 - 34. Is 12 a factor of 6/n + 2524/18?
False
Let m(h) be the first derivative of -h**4/4 - 10*h**3/3 + h**2/2 + 10*h - 12. Does 37 divide m(-11)?
False
Suppose 297 = 4*j - 1107. Is j a multiple of 27?
True
Suppose 0*g + 17 = 4*g - 3*h, 0 = 5*g + 3*h - 28. Let r = -9 - -13. Suppose -2*y - 72 = -2*x - 4*y, g*x - r*y = 180. Is 18 a factor of x?
True
Let h(o) be the third derivative of o**5/15 + 11*o**4/24 - 14*o**3/3 - 21*o**2. Does 16 divide h(4)?
True
Suppose -2*d + 3838 = -4*p, 14*d + 4*p + 1927 = 15*d. Is 39 a factor of d?
True
Suppose -4*i + 240 + 44 = 0. Suppose -2*g = d - 26, d = -8*g + 3*g + i. Is g a multiple of 5?
True
Let a(s) = -2 + 2 - 10 + s**2 - 1 - 9*s. Let f be a(11). Let c(v) = -v**2 + 13*v + 8. Is 10 a factor of c(f)?
True
Suppose 149 = 3*z + 5*x - 55, 4*x + 204 = 3*z. Does 32 divide z?
False
Let g(b) = -3*b + 57. Let f be g(30). Let o = 75 + f. Is o a multiple of 4?
False
Does 168 divide (318/(-15))/((4 - -8)/(-2280))?
False
Let m be (5 + -3 - -4)/2. Suppose g - 160 = -m*g. Suppose a - g = -3*a. Does 3 divide a?
False
Let u(n) be the second derivative of n**5/20 - 5*n**4/6 + 10*n**3/3 - 5*n**2/2 - 25*n. Does 3 divide u(8)?
True
Suppose -3*d + 1015 = 5*n, 805 = 3*n + n + d. Suppose -205 - n = -5*j. Does 6 divide j?
False
Let t(v) = 8*v - 3. Let q be t(1). Suppose -q*u + 3*g + 498 = 0, -2*g - 204 = -3*u + 94. Is 35 a factor of u?
False
Suppose -3*b = 2*z + 23, 5*z + 37 - 7 = -2*b. Let u = b - -37. Does 16 divide u?
True
Suppose -20 = -4*l - 3*q, -5*q = -q. Suppose -4*i - 5*v = -384, i + 4*v - l*v - 96 = 0. Does 16 divide i?
True
Suppose 33 = -9*p + 3273. Does 10 divide p?
True
Suppose 5*g + 5*u = 3615, 0 = u - 66 + 71. Is g a multiple of 14?
True
Suppose 4*h - 3497 - 9103 = 0. Is 10 a factor of h/27 + 4/(-6)?
False
Let h(k) = -2*k**3 - 11*k**2 + 22*k - 1. Is h(-9) a multiple of 8?
True
Suppose -9*j + 7*j = -378. Is j a multiple of 27?
True
Is 7 a factor of (-1751)/34*(-9*1 + 1)?
False
Does 26 divide 312 - ((-9)/(-6) + (-6)/4)?
True
Let f be 6/4*(-4)/(-3). Let b be f/(-3)*3 + 2. Suppose 11*o - 6*o - 285 = b. Is o a multiple of 13?
False
Suppose 0 = -9*x + 1645 + 4340. Is 35 a factor of x?
True
Suppose 10*h + 1098 - 168 = 0. Let w = h + 111. Is w a multiple of 6?
True
Let x(y) = 7*y**2 + 3*y - 8. Let t(g) = -3*g**2 - 2*g + 4. Let b(c) = -5*t(c) - 2*x(c). Let l be b(-5). Is 22 a factor of l - (-2 + 1)*43?
True
Let s be (2 - -256)*8/16. Let f = 250 - s. Does 11 divide f?
True
Let j = -1238 - -2972. Is 11 a factor of j?
False
Let s be -22*(4/1 - 5). Suppose 2*q = -s + 34. Is 2 a factor of q?
True
Suppose -5*c = -2*o - 13991 - 289, 5*o = -4*c + 11391. Is c a multiple of 11?
False
Let y = 929 - 715. Is 22 a factor of y?
False
Suppose -7 = 3*s - 10. Suppose -5*k + 21 = s. Does 4 divide k?
True
Suppose 4*s = -1 + 9. Suppose 0 = -k + 3 + s. Suppose -k*i + 114 = -2*i. Does 12 divide i?
False
Suppose -4 = 5*d - 59. Let t(y) = 10*y - 14. Does 24 divide t(d)?
True
Let r(k) = 3*k**2 - k. Let m be r(-1). Let q be m/16 - 302/(-8). Does 9 divide q - (-1 + 3 - 0)?
True
Let q(y) = -y + 17. Let p be q(15). Suppose h + 3 = -w + 10, -5*h + 28 = -p*w. Is h a multiple of 5?
False
Let y(m) = 20*m**2 + 22*m - 176. Does 28 divide y(10)?
True
Suppose 0 = -2*v + 2*t, -3*t + 14 = 4*v - 0. Suppose 0 = -5*r + v*u + 4, 0*r - 5*u = -4*r + 10. Suppose -5*s = -5*x + 230, s = -r + 2. Is x a multiple of 8?
True
Does 11 divide 1582956/351 + (-4)/(-26)?
True
Let s be 1 - 3 - (-42)/3. Does 10 divide -3 + -3*(-236)/s?
False
Suppose -117 = -18*x + 1395. Is x a multiple of 14?
True
Is 1*46 - (-7 - -9) a multiple of 11?
True
Let w = 37 - 35. Suppose -636 - 244 = -w*v. Suppose 80 = -4*y + v. Is y a multiple of 15?
True
Let a = 2620 - 1420. Does 30 divide a?
True
Does 78 divide 2 + 3875 + -13 + (-1 - 2)?
False
Suppose -4*i = -i. Suppose i*j + 4*j = 20. Is 3 a factor of 8 - j - 4/(-2)?
False
Is 175/(-2)*48/(-40) a multiple of 5?
True
Suppose -6*f - 32 = -5*f. Let z = -46 - f. Let h = z + 31. Is h a multiple of 11?
False
Suppose 56*r + 25111 = 78479. Is r a multiple of 11?
False
Suppose -23 - 257 = -a - 5*h, -4*a + 1212 = -3*h. Suppose 0 = 6*l - 0*l - a. Let f = l + -18. Does 6 divide f?
False
Let g be 1 + 7/((-14)/(-8)). Let q(t) = t**2 + 6*t + 4. Let c(r) = r**2 - r. Let y(s) = -2*c(s) + q(s). Is 19 a factor of y(g)?
True
Let f be (-1 - (-2)/3) + (-1939)/(-21). Suppose 5*r - 2 - 12 = -2*o, 5*r = -4*o + 8.