= 46 + t. Is s a multiple of 18?
False
Suppose -36 = -y - 8. Does 7 divide y?
True
Suppose -4*m - 118 = 5*p - 0*m, -74 = 3*p + 4*m. Let t = 6 - p. Is 7 a factor of t?
True
Let v(g) = g**2 - 6*g - 7. Let t be v(6). Suppose 2*z = -p + 9, 2*z + 2*z - 3 = p. Does 17 divide (-3)/3 - t*p?
True
Let m(z) = -2*z**2 + 2 + 0 - 2*z + 2*z**3 - 5. Is m(3) a multiple of 9?
True
Suppose 5*w + k = 519, w + 2*k - 103 = k. Is 19 a factor of w?
False
Suppose -3*m = 5*v - 0*v - 128, -2*v + 76 = -5*m. Is (210/v)/((-2)/(-4)) a multiple of 3?
True
Suppose 0 = -11*q + 206 + 69. Is 5 a factor of q?
True
Is (7 - -153) + (-1*1 - 0) a multiple of 47?
False
Suppose 0 = -2*r + 3*r - 2, -5*r = -5*h + 20. Let s = 9 - h. Does 6 divide s/(-2*(-1)/8)?
True
Let c(x) = x**3 + 10. Let q be c(0). Suppose -3*f - q = 2*f. Is 14 a factor of (41 + 0)*f/(-2)?
False
Let v(l) = 4*l**3 - 9*l**2 - 17*l - 3. Let w(s) = -s**3 + s - 1. Let p = -2 - 1. Let g(r) = p*w(r) - v(r). Is g(10) a multiple of 23?
True
Suppose -5*j + 3*h = h - 1349, j - 3*h = 275. Is j a multiple of 43?
False
Suppose 0 = -5*v - 20. Is 12 a factor of v/18 - 652/(-18)?
True
Let u(i) = i**3 - 9*i**2 + i + 9. Let o = -10 - -18. Let d be u(o). Does 5 divide 2/(-9) - d/9?
True
Suppose -8*v + 161 = -v. Is 15 a factor of v?
False
Suppose -s = 4*b + 7, -5*s + 0*s - 4*b = -13. Suppose 2*w = -0*w - 5*d + 51, 180 = 5*w - s*d. Does 11 divide w?
True
Suppose 71 = 3*a - 13. Is 14 a factor of a?
True
Let n(y) = y**2 + 2*y + 3. Let o be n(-2). Suppose 4*z - 67 = 3*x, 7*x + 69 = 4*z + 2*x. Suppose 2*v + 48 = 5*j + o*v, -z = -j + 3*v. Is 5 a factor of j?
True
Is 6 a factor of 16*5*3*(-3)/(-12)?
True
Suppose 10*v - 777 = 3*v. Is v a multiple of 22?
False
Let v(n) = -n**3 + 4*n**2 + 3*n - 4. Let d = 1 - -2. Suppose -d*h + 8*h = 20. Is v(h) a multiple of 4?
True
Let r(z) = -3*z**3 - 8*z**2 - 3*z + 4. Let w(u) = -u**3 - 4*u**2 - u + 2. Let c(v) = -2*r(v) + 5*w(v). Let y be c(3). Does 14 divide (2*-1)/(y/56)?
True
Is 17 a factor of (14/3)/(1010/(-255) + 4)?
True
Suppose 0 = -3*q - 2*t + 801 + 85, -586 = -2*q + t. Does 42 divide q?
True
Let s be ((-2)/6)/((-7)/105). Suppose -s*g + 4*y + 0 = 8, 0 = -3*g + 5*y - 10. Does 7 divide 13 + -4 - (g - -2)?
True
Suppose 4*a - 2*f - 4 = 0, 2*f = 4*a - 2*f - 4. Let q be 14/7 + a/1. Suppose 0*l = -q*n - l + 18, -5*n + 2*l = -19. Is 5 a factor of n?
True
Suppose -h = 2*h + 2*r - 265, -r = 4. Suppose 0 = 4*w - 3*p - h, 0 = 4*w + 5*p - p - 112. Let v = w + -10. Is v a multiple of 10?
False
Suppose 3*u = 2*u + 105. Let n = -10 + u. Does 19 divide n?
True
Let g(a) = 8*a - 15. Let m(q) = -4*q + 8. Let d(j) = -2*g(j) - 5*m(j). Is d(7) a multiple of 9?
True
Let g(t) = t**2 - 6*t + 1. Let q be g(3). Let v(z) = -z - 7. Let k be v(q). Is 32*1 + k - 1 a multiple of 16?
True
Let s = 4 + -2. Suppose -o - 4*d = s*o + 11, 3*o = -3*d - 6. Suppose 0 = o*z - 1 - 11. Is 4 a factor of z?
True
Let r(v) = -407*v**3 - 1. Let l be r(-1). Suppose 3*f + n = -422, 3*f + 4*n + n = -l. Is 14 a factor of (-1)/2 - f/4?
False
Let a be 5*(1 - 14/10). Is 11 + -1 - 1 - a a multiple of 4?
False
Let t(m) be the second derivative of m**3/6 + 7*m**2 - 2*m. Let w(q) = q**2 - 3*q. Let h be w(3). Is t(h) a multiple of 14?
True
Suppose 4*j - 8 = 0, -c + 0*c - 2*j + 21 = 0. Suppose k + k = -18. Let a = c + k. Is a a multiple of 8?
True
Suppose 0*g = 2*g. Suppose 5*j + g = 5*r - 5, 0 = r + 1. Let a = 18 + j. Is a a multiple of 8?
True
Suppose 5*d = k + 28, 5*d - 4*d + k - 2 = 0. Let i be ((0 - d) + 2)/(-1). Suppose i*m = -0*m + 48. Is m a multiple of 7?
False
Is 6 a factor of (364/(-39))/(2/(-9))?
True
Let c(h) = h**2 - 3*h. Let s be (3/5)/((-1)/(-5)). Let g be c(s). Suppose 0 = -j - g*j + 12. Is 5 a factor of j?
False
Let d be 860/28 - (-2)/7. Let j = -17 + d. Let c = j - 9. Is c a multiple of 5?
True
Let b = -4 - -8. Suppose -y = -b*v - 4, -2*y - 5*v = -v - 44. Is y a multiple of 16?
True
Suppose -2*y - 3*f = -6*y - 110, 88 = -3*y + 5*f. Let m = y - 42. Let k = 96 + m. Does 14 divide k?
True
Suppose 0 = b + 4*z + 6 - 0, 3*b + 2*z = 32. Suppose 5*k - 4 + b = 0. Does 15 divide (-885)/(-27) + k/(-9)?
False
Let o(l) = 8*l**2 + 2*l + 2. Is o(-3) a multiple of 22?
False
Suppose -2*q + 69 = 2*t - 5*q, 0 = -5*t - 5*q + 135. Is 17 a factor of t?
False
Let n = 7 + -4. Suppose 3*i - 5 = -4*g + 18, -4*g + n*i + 41 = 0. Is 3 a factor of g?
False
Suppose -2 = -7*l + 6*l. Suppose -l + 7 = q. Does 3 divide q?
False
Let r(n) be the first derivative of -3*n**2/2 - 3*n - 1. Let k be r(-2). Is 10 a factor of k/((-70)/(-32) + -2)?
False
Let o(z) = 34*z + 2. Does 9 divide o(1)?
True
Suppose 2*t - 190 = -2*t + 2*g, 0 = 4*t - 5*g - 181. Is t a multiple of 13?
False
Suppose 5*v + 33 = -3*q + 167, -q + 4*v + 22 = 0. Suppose -48 + 16 = -3*f - 5*l, q = 3*f + 2*l. Is f a multiple of 14?
True
Does 13 divide -1 + 39 - (-7)/7?
True
Suppose a - 3 = 2*x, 2*x - 2 = 3*a - 11. Suppose x*q = -2*q + 26. Let m = q + 0. Is 13 a factor of m?
True
Let b be 9/6 + (-2)/4. Let k(j) = -3 + b - 5*j + 5*j**2 + 4. Is k(3) a multiple of 11?
False
Let g(a) be the first derivative of -a**4/4 - 3*a**3 - a**2/2 - 3*a - 5. Is 2 a factor of g(-9)?
True
Let z(v) = -4*v - 10. Let u be z(-4). Suppose -2*k = -u*k + 88. Does 22 divide k?
True
Let a(m) = m - 9. Let i be a(-8). Let y = i - -49. Is 14 a factor of y?
False
Let v(s) = -s**3 + 13*s**2 + 2. Let t be v(13). Let r be 21/9 - (-2)/3. Suppose 195 = r*j + t*j. Is 23 a factor of j?
False
Suppose 23 = -4*x - 5. Let m be (x/(-2))/(5/(-60)). Is 10 a factor of m/(-8)*16/6?
False
Is -7*(3 - (-3 + 7)) even?
False
Suppose -7 = -4*z + 1. Suppose i = 4*d + 7, 4*d + 10 = -3*i - 17. Does 12 divide (z/d)/((-2)/72)?
True
Let d(g) = g**3 + g**2 - g + 44. Is d(0) a multiple of 11?
True
Let p = 21 + 5. Does 13 divide p?
True
Suppose -b + 7 - 22 = 5*r, 4*r = 2*b + 2. Let i(c) be the third derivative of -c**6/20 - c**5/30 + c**4/24 - c**3/3 - c**2. Is i(r) a multiple of 15?
False
Let n(p) be the first derivative of p**4/4 - 4*p**3/3 - 2*p**2 - 3*p + 2. Let w be n(5). Suppose -w*r = q - 27, 4*r + 84 = -2*q + 6*q. Is q a multiple of 17?
False
Suppose 0 = 2*p - 4*b - 50, -5*p - 5*b + 60 = -2*b. Is 11 a factor of 160/p*(-21)/(-4)?
False
Let u = -33 - -127. Suppose 2*f = -3*q + 73, 4*q + 0*f - u = -f. Does 19 divide q?
False
Let p = -3 + 1. Let v be (-34)/(-4) + (-1)/p. Suppose f - 42 = v. Is 19 a factor of f?
False
Let d(s) = 2*s**2 + 3*s + 3. Let c be d(-2). Let z(a) = -9*a**2 + 4*a + 5. Let b(r) = 5*r**2 - 2*r - 3. Let v(q) = -7*b(q) - 4*z(q). Does 16 divide v(c)?
True
Suppose 0 = -9*j + 345 + 465. Is 30 a factor of j?
True
Let j(m) = m**3 - 12*m**2 + 4*m + 12. Does 12 divide j(12)?
True
Let j be 2/(-11) - (-108)/(-11). Let h = -67 - -47. Let d = j - h. Is 10 a factor of d?
True
Let z = 2 + 2. Let a(p) = p**3 - 5*p**2 + 6*p - 5. Let y be a(z). Suppose 2*x - 24 = 4*o, 2*x - y*o + 3 = -8*o. Does 6 divide x?
True
Suppose 0 = 3*x - 0*x - 24. Let q = x - 5. Does 3 divide q?
True
Let u(x) = 98*x**2 - 3*x + 4. Does 13 divide u(2)?
True
Let l be ((-8)/(-10))/((-6)/(-225)). Suppose -l = -4*p + 10. Let s = 19 - p. Is s a multiple of 9?
True
Let a = 132 - 0. Is a a multiple of 11?
True
Suppose 4*x - 116 = -4*s, -x + 3*s + 2*s = -41. Does 11 divide x?
False
Let p = 570 - 318. Suppose 4*f - p = 4*d, -2*d = 5*f - 4*d - 315. Is f a multiple of 12?
False
Let f(n) be the second derivative of n**4/12 + 10*n**2 - 7*n. Is 20 a factor of f(0)?
True
Let t = -3 + -2. Does 4 divide (-3)/t*(4 - -6)?
False
Let l be (4 + -2)*(-6)/(-6). Suppose 0 = l*m + m - 60. Does 10 divide m?
True
Let k = 1 + -2. Is 9 a factor of 5/((-10)/(-48)) - k?
False
Suppose 0*h + 79 = h. Is h a multiple of 10?
False
Let n(z) = -4*z**2 - z - 2. Let f be n(2). Is 9/6*f/(-3) a multiple of 8?
False
Is 7 a factor of (-4)/8*8 + 39?
True
Let j(q) = -q**3 + 11*q**2 - 11*q + 14. Let w be j(10). Let i(f) = f**2 + 4*f - 3. Is i(w) a multiple of 12?
False
Let v = -18 + 44. Let f = v + -16. Is f a multiple of 10?
True
Suppose 5*n - 7*u = -2*u + 30, -5*n + 22 = -3*u. Let v be 2*(n + -4 + 3). Is 21 a factor of (-112)/(-2) - (v + -1)?
False
Let d be 151 - (2 - -1) - 1. Let h = d + -105. Does 6 divide (-12)/h - 228/(-14)?
False
Let d(y) = 3*y + 18. Is 5 a factor of d(0)?
False
Let s(f) = f**2 - 2*f + 14. Is s(-5) a multiple of 7?
True
Does 2