ue
Suppose -10 = 3*r - 31. Is r a multiple of 5?
False
Suppose 3*k - 2*j = 55, -3*k + 3*j = -19 - 41. Does 5 divide k?
True
Suppose 2*d = -0*d. Is 3 + -1 + 6 + d a multiple of 5?
False
Suppose 0 = 5*z - 590 - 170. Does 19 divide z?
True
Let p = 706 + -470. Does 6 divide p?
False
Is 16/(-4)*7/(-2) a multiple of 4?
False
Let r be (-1)/(2/(-1*294)). Let s = -81 + r. Is s a multiple of 38?
False
Let t(y) be the third derivative of -5*y**4/24 + y**3/2 - 2*y**2. Suppose -5*z - 37 = -3*g, 4*g - 13 - 3 = 0. Is t(z) a multiple of 14?
True
Suppose 0*u + u - 112 = 0. Is u a multiple of 14?
True
Suppose -20 + 60 = 4*h. Let s = h + 5. Is s a multiple of 15?
True
Suppose -r = -2, 0 = -s - 4*r - 14 + 66. Is s a multiple of 22?
True
Suppose -q + 2 = 3*h - 0, -4*h + 56 = -4*q. Let d = -15 + 30. Let b = d - q. Is 8 a factor of b?
False
Suppose x - 44 = -3*x. Suppose -2*t = u - x, 0 = -4*t - u + 41 - 14. Is 2 a factor of t?
True
Suppose -r - 3 = k, -4*k = -5*r + r - 4. Let i(n) = n**2 + 7*n + 7. Let l be i(-5). Is k/(-3) + (-47)/l a multiple of 16?
True
Suppose 5*n + 178 = v - 0*v, 168 = v - 3*n. Suppose -60 - v = -3*g. Suppose 3*q + g = 2*u, u + 0*u - 32 = -2*q. Is 11 a factor of u?
False
Suppose 0 = -6*f + 2*f - 36. Let u = 80 + -294. Is 8 a factor of u/f - 4/(-18)?
True
Suppose -5*w = -0*w - 305. Suppose 0 = -z + 1, 3*r - 5*z + w = 4*r. Suppose -2*y - r = -6*y. Does 14 divide y?
True
Suppose 5*a = -25 - 0. Let i(d) = d**2 + 6*d + 7. Is i(a) a multiple of 2?
True
Let i = 15 - 15. Suppose -f + 4*b - 8 = -i*f, -2*f - 2*b + 14 = 0. Is f a multiple of 3?
False
Suppose 4*f = 3*d + f - 81, 54 = 2*d - 5*f. Is 11 a factor of d?
False
Let k = -97 + 163. Is k a multiple of 8?
False
Suppose 251 = 10*f - 569. Is 6 a factor of f?
False
Let d(q) = -q - 1. Let u be d(7). Is 4 a factor of u/(-1*(-2 - -3))?
True
Does 8 divide (2/4)/(9/1728)?
True
Let v = 13 + -7. Is v even?
True
Let g(c) = -c**2 - 5*c + 6. Let a be g(-5). Let m be a/10 - (-12)/(-20). Suppose -30 + m = -3*x. Is 5 a factor of x?
True
Let h(p) = 10*p - 13. Is 17 a factor of h(3)?
True
Suppose 0*s - 15 = -3*s + p, 3*p = -5*s + 11. Suppose 0*f - 4*j + 106 = 2*f, -2*j - 222 = -s*f. Is 19 a factor of f?
False
Suppose 0*x = 2*x - 96. Is 8 a factor of x?
True
Suppose 2*t + y = 66, 182 = 4*t + y + 48. Is 21 a factor of t?
False
Let w = -3 + 5. Suppose -40 = -4*g + 5*h, 5*h - 46 = -w*g + h. Suppose -g = 5*l, 4*a + 2*l - 38 = -12. Is 3 a factor of a?
False
Let b(d) = d**2 - 7*d - 2. Suppose -6*l = -3*l + 6, -5*z - 38 = 4*l. Let i be 3 + (0 - 0 - z). Is b(i) a multiple of 8?
True
Suppose 0 = 4*i + 3*g - 4*g - 470, -5*i = 5*g - 575. Is 18 a factor of i?
False
Suppose 139 = 2*f + x - 25, -4*x = -f + 100. Suppose 3*h = h + f. Does 14 divide h?
True
Let i be 14/6*(4 + -13). Let c = 39 + i. Does 12 divide c?
False
Let c = 11 - 4. Let k(s) = 4*s + 8. Let p be k(c). Suppose h + p = 3*h. Is 6 a factor of h?
True
Suppose 3*k = -k + 16. Suppose 0 = d + k*h - 23, -2*h = -4*d - h + 58. Is d a multiple of 4?
False
Let l be -1*(1 + 1) + 8. Suppose g + 4*i = 15, 2*g + 3*i + 3 = l*g. Suppose 4*p + g*b = 109 - 18, 0 = 5*p - 5*b - 70. Is p a multiple of 19?
True
Let m(a) = a**2 - 6*a + 3. Let r be m(6). Suppose 0 = 3*w + 9, r*w = 4*c + 7*w - 68. Does 10 divide c?
True
Suppose -4*m + 4*s + 420 = -0*s, 0 = 3*m + s - 327. Is m a multiple of 18?
True
Suppose -10*b + 7*b - 111 = 0. Suppose 4*m + 3*d + 148 = 50, -48 = 2*m + d. Let y = m - b. Is y a multiple of 7?
True
Let c be 3/(3 - 0) + -1. Suppose 2*w = 3*w - 4*x - 6, c = -2*w - 5*x - 1. Suppose 78 = -f + 3*f - 4*a, 0 = 3*f + w*a - 93. Is 15 a factor of f?
False
Let d(t) = 4*t - 6. Suppose 4*v - 3*f = -13 + 44, -3*f = v + 11. Let s be d(v). Suppose -2*g + 52 = s. Is g a multiple of 13?
False
Suppose 5 = l - 0. Suppose -l*d + 162 = -63. Suppose 2*r - 33 = d. Is 13 a factor of r?
True
Let b(o) be the second derivative of o**5/10 + o**4/6 + o**3/3 - 3*o**2/2 - o. Is b(2) a multiple of 13?
False
Let j(b) = -38*b - 4. Is 21 a factor of j(-2)?
False
Suppose -3*t + 37 = -5*f, 2*t + 3 = -t. Is (-210)/f + (-2)/8 a multiple of 13?
True
Let x(s) = -s**3 - 9*s**2 - 10*s - 12. Let n be x(-8). Suppose 2*u + 4*a - 18 = 0, -n*a + 7 = 5*u - 56. Is 15 a factor of u?
True
Let k(d) be the third derivative of -7*d**4/24 - d**3/2 - d**2. Is k(-2) a multiple of 11?
True
Suppose -3*k + 303 - 13 = 4*n, -4*k + 404 = n. Does 19 divide 12/9*k/4?
False
Suppose -f = -2*f + 1, 2*y - 2*f + 12 = 0. Let v(h) = -10*h + 7. Does 19 divide v(y)?
True
Suppose 0 = h + 3*n - 39, 2*n = h - 0*n - 34. Is 36 a factor of h?
True
Let x(y) be the first derivative of -2*y**3/3 + y**2/2 - 8*y + 1. Let p(u) = -u + 1. Let l(c) = -5*p(c) - x(c). Is l(-3) a multiple of 6?
False
Suppose 3*k - 5*p - 317 = 0, -2*p - p + 585 = 5*k. Is k a multiple of 38?
True
Let r(n) = n**3 - 12*n**2 + 11*n + 7. Let i be r(11). Let t = 6 - i. Does 3 divide (-2)/t - (0 - 1)?
True
Let l(t) = t**3 - 5*t**2 - 3*t - 7. Suppose -5*a - 2*u = -36, a - 5*u = -1 - 8. Is 7 a factor of l(a)?
False
Suppose 1 = -3*c - 35. Let n be (-26)/(-6) - 8/c. Suppose 20 + 40 = n*m. Is 12 a factor of m?
True
Is 1085/15 + (-2)/6 a multiple of 36?
True
Let k = -8 + 13. Let m(h) = h**2 - 5*h - 6. Let s be m(k). Let t = s - -12. Is 6 a factor of t?
True
Does 4 divide 2/(-14) + (-452)/(-28) + 2?
False
Let r be 3 + (18 - (2 - 3)). Does 10 divide (r/(-6))/((-1)/3)?
False
Let p = 16 - 8. Let q = 19 - p. Is q a multiple of 6?
False
Let v = 8 - 3. Let u be ((-6)/(-4))/(v/10). Let l = 10 + u. Does 7 divide l?
False
Suppose 4*l = 5*p + 9, 3*l - 2*p - 18 = -6. Let y(v) = v**2 + v + 6. Is 7 a factor of y(l)?
False
Let w(o) = 4*o**2 - 2. Let m be w(-4). Let n be (-434)/10 - 6/10. Let v = n + m. Does 9 divide v?
True
Let v(u) = u**2 - 5*u + 2. Let d be v(3). Does 30 divide 81 + 4*d/(-16)?
False
Let y(w) = -w**2 - w + 9. Let x(r) = -6*r**2 - 5*r + 46. Suppose 4*n = 7 - 15. Let d(m) = n*x(m) + 11*y(m). Is 12 a factor of d(5)?
False
Let x(s) = 14*s - 1. Suppose -3*w - 2*f = 12, 0 = -5*w - 6*f + 3*f - 19. Let y = w - -3. Does 10 divide x(y)?
False
Does 6 divide 2/((10/(-19))/(-5))?
False
Let y be ((-6)/(-5))/(18/480). Suppose 2*l = y + 10. Is l a multiple of 21?
True
Suppose -3 = s + 2*s, -2*s - 26 = -z. Does 6 divide z?
True
Suppose -60 = l - 5*l. Suppose 3*n - 57 = -l. Is 9 a factor of n?
False
Let y = 63 + 18. Is y a multiple of 22?
False
Let c(b) = b**2 + 10*b + 53. Is c(-9) a multiple of 4?
True
Suppose w + 3*z = 19, -3*w + 5*z - z + 18 = 0. Let u(r) = 5*r - 5. Is u(w) a multiple of 16?
False
Let t = 27 + 22. Is t a multiple of 14?
False
Is (-3)/(-24) + 3038/16 a multiple of 19?
True
Suppose 0*s - 70 = -5*s. Let z = s - -8. Is 7 a factor of z?
False
Let q be 6/4*(5 + -3). Suppose -6*s + q*s = -54. Is s a multiple of 14?
False
Let s(y) = y**3 + 2*y**2 - 2*y - 2. Let j be s(-2). Let k(q) be the second derivative of q**4/4 - q**3/6 + q**2/2 + 2*q. Is k(j) a multiple of 4?
False
Suppose j - 2*w - 20 = 0, 4*j - 5*w - 92 = -3*w. Is 8 a factor of j?
True
Suppose j + 2*j - 6 = 0. Suppose 0*b + 3*p - 1 = -b, 2*p + j = 0. Is 57/6 - (-6)/b a multiple of 8?
False
Suppose -14 = 3*i + 4*o, -5*i - 2*o + 3*o = 8. Let b(u) = 2*u**3 + 3*u**2 + u + 2. Let l be b(i). Is (-11 + 1)*l/8 even?
False
Let v = 20 - 6. Let t = -3 + v. Is 11 a factor of t?
True
Suppose 2*i - 2*j + 2 = 0, -6*i + 5*j - 8 = -2*i. Let k(f) = f - 1. Let c be k(i). Suppose c*o - 22 = 14. Is 6 a factor of o?
True
Let q be -4*(-2 - 21/(-6)). Let a(x) = 2*x**2 + 8*x + 6. Does 30 divide a(q)?
True
Is 35/20*(-16)/(-1) a multiple of 7?
True
Let w = 56 - 31. Is 5 a factor of w?
True
Let g = 35 - -2. Is 20 a factor of g?
False
Let t(b) = b**3 + 4*b**2 - 5*b - 3. Let w be t(-3). Let d = 62 - 32. Let g = d - w. Does 9 divide g?
True
Let p(d) = -d. Let j be p(-2). Suppose -2*h + n - 588 = 0, 3*h - 3*n - n = -872. Is (h/(-32))/(j/8) a multiple of 15?
False
Let w = 5 + 4. Let q = 19 - w. Is q a multiple of 5?
True
Let t be 11/5 - 1/5. Suppose t*d - 15 - 7 = 0. Does 7 divide d?
False
Does 4 divide ((-1)/1)/(5/(-45))?
False
Let g(t) = -t. Let x be g(2). Is 12 a factor of (-1 + x)/(-3) - -23?
True
Let f = -11 + 1. Let r = 14 + f. Does 4 divide r?
True
Let k be ((-2)/2 + 1)/1. Suppose k*v - 108 = -3*v. Is 10 a factor of v?
False
Let r(m) = m**3 - 22*m**2 + 7*m - 11. Is