 z - -96. Is t a multiple of 17?
False
Let h(j) = -13*j + 2. Is 15 a factor of h(-1)?
True
Suppose -5*h + 281 = 71. Is 14 a factor of h?
True
Suppose -5*j = -489 - 91. Let s = -71 + j. Does 13 divide s?
False
Let i(s) = 3*s**2 - 4*s + 12. Is 16 a factor of i(5)?
False
Suppose -10 = -2*a + 5*p, -34 = -3*a + 3*p - 1. Is 15 a factor of a?
True
Let o be 1 - (1 - 2)*5. Let b be 44/(-3) - 4/(-6). Is (-248)/b + o/21 a multiple of 9?
True
Let c = -134 + 200. Does 11 divide c?
True
Let m = -34 - -14. Is 4 a factor of m/3*(-12)/10?
True
Let h = -3 - -62. Does 16 divide h?
False
Let q be 1*(-3 - (-1 - 0)). Let p = q - -3. Suppose -1 + 4 = 3*x, -v + 5*x + p = 0. Does 3 divide v?
True
Let o(y) = -y**2 + 10*y - 1. Let j be o(8). Is 816/10 - (-6)/j a multiple of 25?
False
Let d(z) = 246 + 28*z - 246. Is 7 a factor of d(1)?
True
Let z(o) = -o + 1. Let v(q) = -37*q + 8. Let p(k) = v(k) - 4*z(k). Is p(-2) a multiple of 14?
True
Let l be 754/(-10) - 2/(-5). Let b = l + 109. Does 17 divide b?
True
Suppose 0 = -8*v + 3*v. Suppose v = 2*u + 5*p - 55, 4*u + 5*p - 131 = 2*p. Does 18 divide u?
False
Let g(t) = -t**3 - 3*t**2 + 2*t - 2. Let x be g(-3). Let m = -5 - x. Is 3 a factor of m?
True
Let o = 570 + -321. Is 58 a factor of o?
False
Let p be 4*1/(-2) - 14. Let m = p - -42. Is m a multiple of 13?
True
Let j(l) = -l**2 + l + 8. Let s be j(0). Suppose -a + 3 = -s. Suppose -3*p + 4*v = -29, p - 1 = -v + a. Is p a multiple of 9?
False
Let x(j) = 6*j + 10*j - 1 - 15*j. Suppose 1 - 13 = -3*q. Is 2 a factor of x(q)?
False
Suppose 0 = -4*m + 11 + 5. Is 3 + (57 - 12/m) a multiple of 19?
True
Does 12 divide (-16)/((-5)/(15/2))?
True
Let f(x) = -3*x + 2. Let v(k) = k**3 + 10*k**2 + 11*k + 13. Let n(w) = -3*w + 6. Let m be n(5). Let c be v(m). Is 7 a factor of f(c)?
False
Suppose 9*y = 1671 + 246. Is y a multiple of 21?
False
Let o = 63 + -52. Does 3 divide o?
False
Suppose -6*t = -2*t - 148. Let h = -62 + t. Let g = h - -45. Does 6 divide g?
False
Let t be (1 + (-1)/1)/(-1). Let y = t + 6. Suppose -3*n = -p - 39, -y*n + 61 = -n - 3*p. Is n a multiple of 5?
False
Let r(d) = d**2 - 2*d - 5. Suppose 4*t = -2*k - 14 + 40, 0 = 4*t - k - 41. Is r(t) a multiple of 28?
False
Suppose 5*g + 3 = 13. Suppose -g*a + 88 = 2*j + a, 0 = 4*j + 2*a - 168. Is 14 a factor of j?
False
Suppose 0 = -4*m - 3 + 15. Is -1 - m - (-28)/1 a multiple of 6?
True
Let j be 12*3*2/(-3). Suppose 44 = -4*f - 116. Let d = j - f. Is 11 a factor of d?
False
Suppose 0 = n + 2*l - 43, 0 = n + 2*n - l - 101. Let a = n - 25. Does 5 divide a?
True
Suppose -2*c + 480 = -0*c. Suppose 7*k = 3*k + c. Is k a multiple of 19?
False
Let l(r) = 18*r + 6. Let c be l(6). Is 3/(-1)*c/(-9) a multiple of 14?
False
Let k be (2/2)/(11/165). Is 5 a factor of (40/12)/(2/k)?
True
Let c(m) = -6*m**3 + 12*m**2 - 11*m + 3. Suppose 0 = q + t, 5*t - 3*t + 25 = 3*q. Let v(u) = u**3 - u**2 + u. Let f(i) = q*v(i) + c(i). Does 3 divide f(6)?
True
Suppose 0 = s - 4*s. Let r be 3/((-3)/(-9) - s). Does 14 divide (0 - -1)*r*3?
False
Let a = -77 - -302. Is 45 a factor of a?
True
Suppose 5*r - 5*p - 140 = -p, 2*r - 56 = -p. Does 14 divide r?
True
Suppose -2*i + 27 = -3*i. Let u = 65 + i. Is 12 a factor of u?
False
Suppose 0 = -b - 0 + 2. Suppose -b*r + 67 = -29. Is 16 a factor of r?
True
Suppose 0 = -i + 3*i, 3*j + 126 = 5*i. Let v = 80 + j. Is v a multiple of 22?
False
Let o(a) = -a**3 + 7*a**2 + 8*a + 2. Let x be o(8). Suppose 1 = -4*q - 7, 6 = -4*b + q. Let f = x - b. Is f a multiple of 3?
False
Let c(i) = i**2 - i + 12. Suppose -4*t + 8 = -0. Let h = t + -2. Is c(h) a multiple of 5?
False
Let v = 86 - 34. Is 26 a factor of v?
True
Let q = 22 + -11. Is q a multiple of 10?
False
Let t(r) = -r**2 - 19*r + 12. Does 30 divide t(-16)?
True
Let x(g) = g**2 - 17*g + 13. Let v(m) = -m**2 + 16*m - 12. Let l(b) = 6*v(b) + 5*x(b). Is l(6) a multiple of 6?
False
Let f(c) = -5*c**3 - 4*c**2 + 9. Is 27 a factor of f(-3)?
True
Suppose -4*b + 282 = 5*r, 0*b - 122 = -2*r + 3*b. Suppose -r = -o - o - 3*q, 3*o - 5*q - 68 = 0. Does 13 divide o?
True
Suppose 10 = 4*z + z. Suppose z*m - 6*m + 172 = 0. Is m a multiple of 13?
False
Let t(r) = 5*r**2 + 21*r + 10. Is 27 a factor of t(-7)?
True
Let n(u) = -u - 5. Let k be n(-6). Let a be (k - -1)/(6/9). Suppose 64 = 2*f - 4*p, -a*p - 155 = -5*f + 2*p. Is f a multiple of 15?
True
Suppose -p = p - 6. Suppose p*l = 5*l. Suppose l = -2*q, -5*q = -5*t + 10 + 5. Does 3 divide t?
True
Suppose 3*j + 0*y + 12 = -y, 0 = 3*y - 9. Is 4 a factor of (-40)/(-25)*j/(-2)?
True
Suppose 2*y = -5*c + 18, 0 = -2*c + 2*y - 4. Suppose 8 = -4*i, -c*b + 0*b + 70 = -3*i. Is 13 a factor of b?
False
Let p(m) = 3*m**2 - 9*m + 5. Let t(n) = 2*n**2 - 5*n + 2. Suppose -3 = 2*h - 3*k, 2*k = 5*h + 5*k + 18. Let f(c) = h*p(c) + 5*t(c). Does 4 divide f(-5)?
False
Let b = 8 + 3. Suppose -d - b = 1. Does 16 divide (4/6)/(d/(-774))?
False
Let c(k) = 2 + 3*k + 0 + k**2 - 2*k. Let m(a) = -a**2 + 8*a - 5. Let x be m(8). Is 11 a factor of c(x)?
True
Suppose 2 = 2*a - 2. Suppose -3*b - a*k = -5*b + 44, -4 = k. Does 6 divide b?
True
Let t = -300 + 582. Suppose -m = -5, 2*m - 420 = -4*v + t. Suppose 5*u = -43 + v. Does 15 divide u?
False
Let c(y) = 3*y**2 + 7*y + 5. Let b be (24/(-9) + 1)*3. Is c(b) a multiple of 18?
False
Suppose 0 = z + h - 0*h - 8, -3*z - h + 16 = 0. Does 3 divide z?
False
Suppose 5*f - 2*i - 324 = 0, 0*f = -f - 2*i + 72. Does 22 divide f?
True
Let l(y) = -2*y**3 - y**2 - y + 1. Let z be l(-2). Let c be (22/(-6))/(2/(-6)). Let t = z + c. Does 13 divide t?
True
Let m(k) = k + 7. Let b(s) = s + 7 + 0*s + 0*s. Let x(h) = -4*b(h) + 5*m(h). Is x(-3) even?
True
Suppose 199 = 6*i - 161. Is 12 a factor of i?
True
Let l(n) = 98*n**2 + n - 1. Let k be l(1). Let i = k - 54. Is 22 a factor of i?
True
Suppose -380 = -5*r + 100. Is r a multiple of 16?
True
Let z = -4 + 8. Suppose 0 = -4*g + b - 27, 6*g - g + z*b = -18. Let h(p) = -5*p + 2. Is 16 a factor of h(g)?
True
Suppose -7*t = -9*t + 64. Is 13 a factor of t?
False
Suppose 4*f = 2*f - 22. Let w = 33 - f. Is 11 a factor of w?
True
Let r = 59 + -8. Is 17 a factor of r?
True
Let x(n) = -n - 4*n - 6*n - n**2 + 1 + 0. Is 5 a factor of x(-6)?
False
Suppose -3*w = -26 - 34. Is 8 a factor of w?
False
Suppose -2*s + s = -60. Suppose 3*x = -2*g + 22, -4*x - 3*g + 15 = -15. Suppose -o - s = -x*o. Is o a multiple of 8?
False
Suppose 4*m - 5*l - 228 = 401, 2*m + 3*l = 331. Is m a multiple of 22?
False
Suppose -7 + 3 = -2*i. Is 4 a factor of (i + 1)/(9/21)?
False
Suppose -4*x + 4 = 2*i, -2*x + 2*i = -2*i - 22. Suppose -x*n = -2*n - 35. Is n a multiple of 9?
False
Let g = -7 - -11. Is 4 a factor of g?
True
Suppose -g + 5*d = 4 + 1, -d = -3. Suppose s + g = 6*s. Suppose 5*o = -3*u + 53 - 0, 0 = s*o - 3*u - 17. Does 10 divide o?
True
Let z be 3/2 + (-3)/(-6). Suppose -z*y + 0 + 22 = 0. Let d = y + -2. Is d a multiple of 4?
False
Let h(k) = -k**2 + 4*k + 3. Let j be h(4). Suppose -5*w = -4*y + j*y - 32, 4*y - 3*w = -60. Let v = -2 - y. Is v a multiple of 5?
True
Suppose 0 = 5*a, 3*g + 3*a - 5*a = 27. Let c(z) = 7*z - 3. Is c(g) a multiple of 20?
True
Suppose 4*u = 13*u - 468. Does 13 divide u?
True
Is (-21)/14 + (-81)/(-2) a multiple of 13?
True
Suppose 11 + 4 = 5*a. Suppose -a*i = -27 + 6. Is 7 a factor of i?
True
Let c be ((-6)/4)/(7/(-266)). Let l = 92 - c. Is l a multiple of 18?
False
Suppose 16*i - 21*i + 605 = 0. Is i a multiple of 16?
False
Suppose 11*k = 6*k + 50. Does 6 divide k?
False
Let u be (-6)/(0 + 3/2). Let r = 5 + u. Let i = 25 - r. Is i a multiple of 12?
True
Let w = -18 - -26. Is 12 a factor of ((-21)/(-6) - 2)*w?
True
Let g = 81 - 35. Let i = -7 + g. Is 11 a factor of i?
False
Let h(x) = -x**3 + 10*x**2 + 3*x - 15. Let v be (0 - (-1)/1)/1. Let d = 11 - v. Is h(d) a multiple of 15?
True
Let n be (-5)/15*(2 - -13). Let w = n + 13. Suppose w = 4*k, -7 = -s + 4*k - k. Does 5 divide s?
False
Let v be -1*4 + (-4)/(-4). Let p(w) = -2*w**2 - 5*w - 3. Let b be p(v). Does 21 divide (8/b)/4*-93?
False
Let m = 46 - -6. Does 13 divide m?
True
Let a = -71 + 107. Let s = -21 + a. Is s a multiple of 15?
True
Suppose -p = -3*p + 3*h + 1581, 0 = 3*p - 4*h - 2370. Let z = -462 + p. Is 8 a factor of (-14)/3*z/(-63)?
True
Suppose -5*m + 24 + 51 = 0. Suppose 0 = -3*b + j + 3*j + 102, -m = 5*j. Is b a multiple of 15?
True
Su