
True
Let u(w) = w**3 - 6*w**2 + 5*w + 3. Does 13 divide u(6)?
False
Is 2430/20 - 3/2 a multiple of 37?
False
Let s = -1 - -3. Suppose 3*d = -5*w + s*d + 40, 0 = w + 2*d + 1. Suppose 0 = -z + w + 12. Does 12 divide z?
False
Let u = 12 - -3. Does 4 divide u?
False
Suppose -4*h = -f - 500, -2*f + 393 + 232 = 5*h. Is h a multiple of 11?
False
Is 32 a factor of 72*((-20)/(-6) + -2)?
True
Suppose -3*w + 986 = 5*k, k = 4*k - w - 600. Is k a multiple of 44?
False
Let o = 963 + -663. Is o a multiple of 25?
True
Suppose -2*g - y + 7 = 0, -2*g - 3*g + 16 = 4*y. Suppose -g*x + 0*x + 112 = 0. Is 14 a factor of x?
True
Suppose w = 4*x - 2, -4 = -0*x + 2*x + 2*w. Let f = -2 + x. Is 10 a factor of (-3 + (-26)/f)*3?
True
Let a(c) = -c - 1. Is a(-10) a multiple of 9?
True
Let m = -372 - -633. Is 29 a factor of m?
True
Let m be (-178)/(-6) + 2/6. Suppose -3*x = -33 - m. Is x + -2 + (-2)/(-2) a multiple of 10?
True
Suppose 2*p + 0*p = 10. Let y(q) = q**2 + 0*q - 4*q + 3*q. Is y(p) a multiple of 8?
False
Suppose -4*l - 3*j = -49, 3*j - 1 = -4. Does 11 divide l?
False
Suppose 0 = 7*i + 68 - 369. Is 10 a factor of i?
False
Let w be (2 - 0 - -1) + 0. Does 8 divide 6/(-9) + 41/w?
False
Does 5 divide 2/3*(-16 + 25)?
False
Let a(l) = l + 11. Let h be a(-9). Suppose z - 5 = 0, h*y - 49 = -0*y - 5*z. Is 10 a factor of y?
False
Suppose f = 3*h + 43, -4*f + 6*h = h - 165. Let p = -28 + f. Is p a multiple of 6?
True
Let m = 13 - 4. Let c = -3 + m. Does 17 divide 225/c - (-1)/2?
False
Suppose -q + 15 = 2*q. Let o = 7 - q. Suppose x + 3*x - 56 = 5*s, -2*x + o*s = -28. Does 7 divide x?
True
Suppose -3*h - 5*o = -551, -3 = -2*o - 7. Is 11 a factor of h?
True
Let g(c) = c - 1. Let a be g(5). Suppose 3*i - 4*m + 11 = 87, -120 = -4*i - a*m. Is (0/(-2))/3 + i a multiple of 10?
False
Let l be 2*1/(-4)*-36. Let n = 34 - l. Does 16 divide n?
True
Let d = -173 + 355. Is d a multiple of 13?
True
Let h(t) = -t**2 + 10*t - 11. Let o be h(8). Suppose 0 = 4*n - o*n + 9. Is 7 a factor of n?
False
Suppose -k + 5*y = -0*k - 123, -2*k = 2*y - 198. Does 21 divide k?
False
Let c = 144 + -72. Is 32 a factor of c?
False
Suppose -y - 2*y = -204. Is y a multiple of 17?
True
Let y = -244 - -349. Is 15 a factor of y?
True
Suppose -4*f + 183 = 3*j - 1, 0 = 4*f - 5*j - 184. Does 5 divide f?
False
Suppose 145 = 3*k + 367. Let m = 106 + k. Does 18 divide m?
False
Let j(c) = 25*c**2 - 5*c + 10. Does 44 divide j(3)?
True
Suppose -15 - 60 = -3*w. Let n = w - 8. Is 8 a factor of n?
False
Suppose -3*p = 90 - 240. Suppose 0 = -9*c + 4*c + p. Does 5 divide c?
True
Suppose -2*i + 36 = 2*i. Let m(y) = 3*y**3 - 20*y**2 - 10*y - 10. Let o(n) = -n**3 + 7*n**2 + 3*n + 3. Let z(h) = 2*m(h) + 7*o(h). Does 10 divide z(i)?
True
Let a = -20 - -28. Let d = a + -11. Is 2 a factor of (-8)/d*(-9)/(-6)?
True
Let l = 7 - -8. Suppose -4*i - 3 = -l. Suppose -3*b = -4*o - 16, i*o - 29 - 22 = -3*b. Is b a multiple of 5?
False
Suppose -3*b = -5*o + 263, 0*o - 51 = -o - b. Is 4 a factor of o?
True
Let c be (-16)/(-6)*(0 - 12). Let d = -11 - c. Is d a multiple of 10?
False
Let n = -51 + 196. Is n a multiple of 29?
True
Suppose -5*f = -9*f - 8. Is 34 a factor of 6 + f + (98 - 0)?
True
Let b(k) = k**2 - 6*k - 2. Is b(7) a multiple of 5?
True
Let h be 1/2 - 88/(-16). Let t(f) = -f**3 + 7*f**2 - 4*f - 3. Is t(h) a multiple of 3?
True
Let o(a) = 2*a**3 - 2*a**2 + 1. Let s be o(2). Let x(c) = 5*c + 11. Is 28 a factor of x(s)?
True
Let u(r) = 2*r**2 - 7*r - 4. Suppose 8 + 3 = -4*j - 3*z, -10 = -j - 5*z. Let d be u(j). Suppose 4*c + k = 34 + 23, 0 = 5*c - 2*k - d. Is 9 a factor of c?
False
Let s(g) = -g**2 - 14*g + 2. Is 6 a factor of s(-5)?
False
Let g(i) = -i**3 + 15*i + 1. Is g(-6) a multiple of 10?
False
Suppose 5*z - 365 = 5*a, -3*z - 20 = 4*a - 232. Is 12 a factor of z?
True
Suppose -2*g = g + 18. Does 11 divide ((-44)/g - 0)*3?
True
Let c(k) = 54*k**3 + k**2 - k + 1. Is c(1) a multiple of 13?
False
Suppose -f + 5*j = -10 + 2, 1 = 2*f - 5*j. Does 15 divide f*(-2 - 32/14)?
True
Let t = -5 + -31. Let u = -18 - t. Does 12 divide u?
False
Let m = -4 + 2. Is 13 a factor of ((-27)/m + -2)*2?
False
Let r = 34 + -4. Does 15 divide r*-1*9/(-6)?
True
Suppose 0 = 2*g - 4*f + 2*f, 4*g = 3*f + 2. Suppose 0 = g*v + 2*v. Suppose -8 = -l - v. Is l a multiple of 8?
True
Let c = -9 - -42. Does 9 divide c?
False
Let i(b) = b**2 + 3*b - 7. Let j be i(-5). Suppose -j*z - 2 = -14. Is 4 a factor of z?
True
Suppose 2*g = -0*g + 10. Let t(b) = 12*b. Does 30 divide t(g)?
True
Let m(p) = 17*p + 21. Does 13 divide m(11)?
True
Let f(q) = -q**3 + 5*q**2 + 2*q + 6. Let l be f(5). Suppose 2*j = 2*t + 76, 8*t - l = 4*t. Is 14 a factor of j?
True
Let q = 116 - 91. Is q a multiple of 5?
True
Let g be ((-1)/5)/(2/(-10)). Let o(n) be the second derivative of n**5/2 + n**3/6 - n. Is o(g) a multiple of 11?
True
Suppose -5*x - 4*y - 30 = 0, -3*x - 3*y - 21 = -0*x. Let q be (-388)/(-20) - x/(-5). Suppose 3*t + 2*m = 29 + 13, m + q = t. Is 16 a factor of t?
True
Suppose 6*p = 2*p - 108. Let d = p + 47. Does 3 divide d?
False
Let k(m) = m**2 + 3*m - 5. Let h(g) = -7*g. Let p be h(1). Does 23 divide k(p)?
True
Let v be (0 + -1)*-3 - 1. Is (2 + v + -12)/(-1) a multiple of 4?
True
Let n(v) = -v**2 - v + 18. Does 6 divide n(0)?
True
Suppose -j - 2*j = 0. Suppose j = r - 3*r + 62. Is 9 a factor of r?
False
Is 33 a factor of 254/10*(3 + 2)?
False
Suppose -17*z + 10*z + 42 = 0. Is z a multiple of 3?
True
Let v = -23 + 44. Is 14 a factor of v?
False
Let t be (-6)/(-15) - 54/(-15). Suppose t*j = 17 + 7. Suppose j - 27 = -3*y - 3*m, 0 = y - 4*m + 8. Does 3 divide y?
False
Let n(a) = 2*a**2 + 3*a - 2. Does 20 divide n(7)?
False
Suppose -3*t = -t - 216. Is t a multiple of 9?
True
Suppose 0 = -5*m + 114 - 34. Is m a multiple of 4?
True
Let a = -40 - -53. Let v = 12 + -7. Let k = a - v. Does 8 divide k?
True
Suppose -t - 5*u = -15, 2*u - 7 = t - 1. Suppose 5*k + t + 6 = -2*s, -4*s = -5*k + 12. Suppose -5*w + 2*d = 4*d - 221, w - 5*d - 55 = k. Is 18 a factor of w?
False
Let a = -16 + 10. Is 10 + 1/(2/a) a multiple of 2?
False
Let p(u) = 2*u**2 + 3*u - 3. Let r = -3 + 5. Is p(r) a multiple of 3?
False
Let s = 42 - 16. Is s a multiple of 20?
False
Suppose r - 3 = -4*m - m, -3*r + 5*m = -109. Suppose 0 = -o + 2*w + r, 4*w - 206 + 66 = -5*o. Does 12 divide o?
False
Let k(o) = -6*o**3 - 7*o**3 + 10*o - 9*o**2 + 14*o**3 - 6. Let f = -8 - -16. Is k(f) a multiple of 9?
False
Let i = 105 - 72. Let u be -1*1/(2/38). Let d = u + i. Is 14 a factor of d?
True
Let h(k) = k**2 - 5*k**3 + k**2 - 1 + 14*k**3. Let n be h(-1). Is (-178)/(-8) - (-2)/n a multiple of 11?
True
Let q = -4 - -5. Let r be ((-1)/(-3))/(q/6). Suppose 3*h = 2*h - r*t + 20, -h = -3*t - 5. Does 14 divide h?
True
Let u = -16 + 25. Let v(y) = 3*y**2 + 4*y + 1. Let i be v(-3). Let c = i - u. Is c a multiple of 7?
True
Suppose -1 = -2*k - 5*f, 0*k - k = -4*f + 19. Let r = k + 49. Is 21 a factor of r?
True
Suppose -5*l = -15, -3*l - l + 24 = -2*q. Let k = 2 + 1. Is 6 a factor of k/(-3 + (-19)/q)?
True
Suppose -174 = -f - 5*f. Is 29 a factor of f?
True
Let s be (20/(-6))/((-8)/84). Let v = -8 + s. Is 8 a factor of v?
False
Suppose 0*i - 5*i = -15. Let y(j) = j**2 - 3*j + 2. Let g be y(7). Suppose g = i*n - 6. Is n a multiple of 12?
True
Suppose 0*s - 4*s + 3*l + 127 = 0, 96 = 3*s - 3*l. Let j = -20 + s. Is 4 a factor of j?
False
Does 24 divide 3*5/(-30)*-432?
True
Suppose 4*m - 54 = 146. Suppose -2*d = -0*d - m. Suppose 15 + d = 4*g. Is g a multiple of 5?
True
Let a = 3 + -7. Does 11 divide ((-6)/a)/((-3)/(-44))?
True
Suppose 0 = 8*x - x - 1568. Is x a multiple of 16?
True
Suppose 5*y - 2*l = 111, 0*l + 66 = 3*y - l. Is 6 a factor of y?
False
Let v be 2/6 + (-32)/6. Let f be (6/v)/((-6)/105). Suppose i - f = 19. Is 14 a factor of i?
False
Suppose 3*h = -3*h + 174. Is 7 a factor of h?
False
Let o(f) = 3*f**2 - 5*f + 3. Does 4 divide o(4)?
False
Suppose 4*j - p - 267 = 0, -112 - 8 = -2*j - 4*p. Does 14 divide j?
False
Suppose -4*z + 92 = -484. Suppose -z = 2*a - 6*a. Is a a multiple of 18?
True
Let s(c) = 5*c**2 - 2*c. Is s(1) a multiple of 2?
False
Let b(u) = 4*u - 10. Is 9 a factor of b(7)?
True
Let z be 3/6 - (-5)/(-2). Let i be 3 + (-1 - z - 0). Is 12 a factor of 26 + i/(2 + -4)?
True
Let j(s) be the first derivative of -s**3/3 + 3*s**2 + 5*