Let g = 20 + 7. Is g a multiple of 9?
True
Let t = -1 + 0. Let g be t*(-2)/(-4)*-70. Suppose -6*w = -w - g. Is w a multiple of 7?
True
Let n be 1 + 2 - (2 + 25). Let m be -15*(-4)/(n/14). Is 8 a factor of 6/10 - 294/m?
False
Let p(c) = -c**3 - 2*c + 68. Does 17 divide p(0)?
True
Suppose -2*h - 3*h = -35. Suppose -30 = 4*w - h*w. Is 10 a factor of w?
True
Let j = 7 + 43. Does 21 divide j?
False
Let b be 1 - 0 - (-6 + 3). Let a be (2/4)/((-4)/(-24)). Suppose -52 = -a*s - b*r, 0 = -2*s - 2*s - 3*r + 81. Is s a multiple of 16?
False
Let a(h) = h - 1. Let p be a(3). Suppose 3*v = p*l - 23 - 4, 2*v = 4*l - 42. Does 9 divide l?
True
Let o be 1 - -1 - 1*-7. Let x be (o/(-2))/((-9)/(-12)). Is (9/(-2) + 1)*x a multiple of 7?
True
Suppose -3*c + c + 4 = 0. Let b be c/((-2)/(-93)) + 0. Suppose 4*y = -3*f + 2*f + b, -27 = -y + f. Is y a multiple of 10?
False
Let l(b) = 4*b**2 + 4*b + 2. Is 2 a factor of l(-2)?
True
Suppose 37*r = 40*r - 432. Is 12 a factor of r?
True
Let z(b) = 5*b - 1. Let t be z(1). Suppose -3*o + 0*o - 3*i = -27, -3*o + 13 = -t*i. Suppose 4*h - 40 = -0*h - 5*y, -h - 2*y = -o. Is 5 a factor of h?
True
Suppose 14 + 2 = 2*a. Does 7 divide a?
False
Let j(g) = g**2 + 4*g + 11. Does 14 divide j(5)?
True
Let g(s) = 2*s**3 + 25*s**2 + 10*s + 16. Is 8 a factor of g(-12)?
True
Let h(m) = m**3 + 12*m**2 + 11*m + 3. Let y be h(-11). Let c = 0 + y. Suppose 0 = 4*u - 2 - 14, -c*u - 68 = -4*w. Does 14 divide w?
False
Suppose -5*z + 153 = -l, -z + 20 = -4*l - 3. Let v = -24 + z. Is v a multiple of 3?
False
Let a be 8 + (-1 - -1)*-1. Does 8 divide a + (2 + -1 - 1)?
True
Let c be 6/(-8) - (-3)/(-12). Is 44*-1*c/2 a multiple of 12?
False
Let a = 5 + -5. Suppose a = -3*d + 4 + 5. Suppose -r + d = 0, r - 3*r = 3*m - 108. Is 14 a factor of m?
False
Suppose -4*z = -7*z + 15, 0 = f - z + 449. Does 19 divide f/(-30)*5/2?
False
Let n = -20 + 16. Let o = 24 + n. Does 5 divide o?
True
Let n = -14 - -130. Does 25 divide n?
False
Let c = 454 - 287. Is c a multiple of 35?
False
Suppose 0*c = -5*f + 3*c + 4, -5*c = -f - 8. Suppose -f*j + 0*j = 2*n, -4*j - 2*n = -4. Is j even?
True
Let w(g) = 2*g**2 + 3*g + 5. Let z(q) = -2*q**2 - 4*q - 6. Let d(l) = 5*w(l) + 4*z(l). Does 8 divide d(3)?
True
Let c(b) = -b**2 + 7*b - 10. Suppose 0 = 2*r - 3*z + 37, 2*z = 4*r + 4*z + 34. Let y(i) = 5*i**2 - 35*i + 49. Let a(p) = r*c(p) - 2*y(p). Does 10 divide a(8)?
True
Let t = 13 + 32. Is 17 a factor of t?
False
Let o = 5 - 10. Let n be 5 + 3 + (o - -2). Does 6 divide ((-24)/10)/((-2)/n)?
True
Suppose 2 = -2*f + 2*i + 16, 0 = -5*f - 3*i + 3. Let b be (f + 27/(-21))*-7. Let v = b + 25. Is v a multiple of 5?
False
Let c = 424 - 279. Is c a multiple of 13?
False
Let z = -11 + 26. Is z a multiple of 12?
False
Suppose 5*a + p = 50 + 18, -3*a + 46 = -2*p. Let s(v) = 3*v - 9. Does 33 divide s(a)?
True
Is 13 a factor of ((364/(-3))/2)/(1/(-3))?
True
Let m = -11 - -10. Is 2/((3/(-18))/m) a multiple of 12?
True
Let j be (-4)/(-2) - (-3 + 2). Suppose 3*l - b - 76 = 0, -96 = j*l - 7*l - 4*b. Suppose 3 = x - l. Does 14 divide x?
True
Let s = 5 - 2. Suppose 38 = s*f - 7. Is f a multiple of 5?
True
Let q = 2 + 1. Suppose -v - 4*s + 14 = 0, s - 4 = -q*s. Suppose 2*k - 6*k - 2*y = -v, -30 = -2*k + 4*y. Does 5 divide k?
True
Suppose 0 = 2*z - 3*z + 5. Suppose 0 = z*r - 19 + 4. Suppose r*f - 23 = 5*i + 20, 3*i = -4*f + 9. Does 6 divide f?
True
Suppose -4*g = -g - 6. Does 5 divide 15 + -2 - 1 - g?
True
Let u = -24 - -73. Let c = -34 + u. Is c a multiple of 15?
True
Suppose 0*r - 4*r + 192 = 0. Let d be ((-2)/4)/(4/r). Let v = d - -25. Does 6 divide v?
False
Suppose 3*i - 4 = 2. Suppose -3*v - 2*r + 11 = 0, -i*v + 23 = -3*r + 7. Is v a multiple of 4?
False
Is 12 a factor of (-30)/8*((-100)/6 + -2)?
False
Let p be (-6)/((-2)/(-2) - 2). Suppose k + 0*x = -x - 2, -k = 3*x + p. Suppose k = 3*w - 2*m - 56, 2*m - 76 = -4*w + 6*m. Is w a multiple of 18?
True
Suppose -5*h + 68 = 8. Is h a multiple of 12?
True
Let a(g) = -g**2 - g + 1. Let s(u) = 6*u**2 + 6*u - 2. Let z(o) = 5*a(o) + s(o). Does 16 divide z(5)?
False
Let i = 27 + -4. Is i a multiple of 23?
True
Let h = 43 + -24. Does 19 divide h?
True
Let l = -38 + 120. Suppose -3 = -5*x + l. Does 8 divide x?
False
Let i(p) = 0 - 7*p + 1 - 2. Suppose 0 = -5*b + m - 34, -m - 30 = 4*b + m. Is 15 a factor of i(b)?
False
Let f(b) = 28 + 8 + b + 13. Let j be f(0). Let a = j + -27. Does 11 divide a?
True
Let c be (1 + 3/(-2))*-8. Suppose -c*o - 17 = -5*k, -5*o - 4*k + 26 = -4. Is (-4 - -3)/(o/(-12)) a multiple of 3?
True
Let p(u) = 37*u. Does 37 divide p(2)?
True
Suppose -8 = 4*f - 0*f + 2*r, -4 = 2*f + 4*r. Let j(a) be the first derivative of -5*a**2 - 3*a + 1. Does 12 divide j(f)?
False
Let u = -77 - -113. Let n be u/(-16)*(-15 + -1). Suppose -4*v = -132 + n. Is v a multiple of 10?
False
Suppose 0 = 5*y + 28 + 7. Let f = -12 - y. Let n = f - -10. Does 5 divide n?
True
Let x(g) = g + 5. Let m be x(-2). Suppose 4*c = 2*o + m*c - 40, 5*c = 10. Is o a multiple of 11?
False
Let t be 2*1/5*200. Suppose 5*o - 170 - t = 0. Is o a multiple of 9?
False
Suppose -x + 4*v = 1, -5*x + 2*v - 17 = 6. Is 68/20 + 2/x a multiple of 2?
False
Let h = 41 + 37. Is 10 a factor of h?
False
Let l(c) = -c**3 - 9*c**2 - 9*c - 6. Let i be l(-8). Suppose 0 = i*q - 1 - 3. Does 2 divide 8/2*q/4?
True
Suppose 1 = l - 4. Suppose 4*c = -2*q + 146, l*q + 6 = -2*c + 67. Is 26 a factor of c?
False
Let a = 139 + -77. Does 22 divide a?
False
Suppose 3*c - f = -11, 4*c - 3*f - 2*f + 33 = 0. Let x(y) = -y**3 - y**2 - 4*y - 3. Let z be x(c). Suppose -2*i + 0*i + z = u, -2*i = -6. Is u a multiple of 3?
True
Is 13 a factor of 80 + (2 - -1)*-1?
False
Let a(v) = v + 3. Let u be a(-6). Let t be u - (2 - 1 - 32). Suppose -6*d + 2*d = -t. Does 6 divide d?
False
Suppose -190 - 254 = -4*d. Is d a multiple of 37?
True
Let v be 7/(-3) - (-6)/(-9). Let g = v - -1. Is (2 + (g - -1))*6 a multiple of 4?
False
Is 11 a factor of -1 - 6/(-5) - 758/(-10)?
False
Let o(c) = 2 + 10*c - 1 - 3. Is o(1) a multiple of 2?
True
Let z be (-176)/(-33)*((-10)/(-4) + -1). Let f be (2/2)/(2/4). Suppose f*j = j + z. Is j a multiple of 4?
True
Let r(l) = -l**2 - l + 4. Suppose f + 3*f + 2*z - 10 = 0, 3*f + 3*z = 15. Does 2 divide r(f)?
True
Let v(x) be the first derivative of x**3/6 + 3*x**2 + 2*x - 2. Let s(z) be the first derivative of v(z). Is 3 a factor of s(0)?
True
Suppose -166 = -4*v + 294. Is 23 a factor of v?
True
Let l = -28 + 142. Suppose z + 4*w = 49, -3*z = -w - 33 - l. Does 13 divide z?
False
Let y = -102 - -216. Is y a multiple of 11?
False
Does 12 divide 91 + 0/(-5) + 1?
False
Let m(b) = -37*b - 1. Let x be m(1). Let u = x - -67. Does 9 divide u?
False
Suppose -10*t = 181 - 981. Is 8 a factor of t?
True
Let n(j) = 4*j**2 - 3*j + 4. Let q be n(-3). Suppose 19 = 2*k - q. Is k a multiple of 12?
False
Let d = -150 + 248. Is d a multiple of 21?
False
Let l be (10/8)/(1/4). Suppose 4*c = c - 3, -3*c - 73 = -l*n. Is n a multiple of 7?
True
Suppose 25 = 5*m, 2*f = m + 3*m + 16. Is f a multiple of 18?
True
Let t be 35/3 - (-2)/(-3). Let f = 17 - t. Suppose -4*y + 2*z - f*z + 64 = 0, -2*y + 52 = -2*z. Is 7 a factor of y?
True
Suppose 4*j + 2*d = 7*d + 79, -72 = -2*j - 4*d. Is 13 a factor of j?
True
Let b = 0 - -7. Is b a multiple of 7?
True
Let a = -16 - -80. Suppose n + n = a. Is n a multiple of 13?
False
Let r(t) = t**3 + t**2 - 3*t + 4. Let n be r(-3). Let a = n - -11. Suppose -4*j - 160 = -5*z, 7 = z + 3*j - a. Is 14 a factor of z?
True
Let b(r) = 27*r**2 - 2*r - 1. Let o = 4 + -6. Let a be b(o). Suppose -3*f = -a + 15. Does 16 divide f?
True
Let y = 58 - 18. Let w = -22 + y. Does 9 divide w?
True
Suppose 5*o - 45 = -5*n, -3*n + 13 = 4*o - 19. Let p(u) = -o*u - 2*u**2 + 4 + 5*u**2 - 1. Does 21 divide p(5)?
False
Let a(j) = j**3 + 5*j**2 + 4*j + 2. Suppose -r = -0 + 3. Let t be a(r). Let g = t + 7. Is 15 a factor of g?
True
Suppose -2*f - 3*f = 2*i - 493, -2*i + 5*f = -463. Suppose -237 = -5*p - 2*o, p + i = 6*p + 4*o. Suppose -5*z + 31 = 2*l, l = 5*l + 5*z - p. Is 4 a factor of l?
True
Suppose -2*x + 58 = 16. Is x a multiple of 14?
False
Suppose -3*d - 5*a - 15 = -35, -17 = -3*d - 2*a. Suppose 2*w = -2*c + 24, 2*c - 51 = -d*w - 0*c. Is w a multiple of 4?
False
Suppose 185 - 35 = 5*o. Is o a multiple of 5?
True
Let v be -2*1 + 2 + -