 + 2*h = 7 + 29, 3*g = 3*h - 120. Let p = 56 + g. Does 6 divide p?
True
Let n(x) = x**2 + 6*x + 3. Let u be n(-5). Let a be u + -3 + (4 - -3). Suppose 90 = 5*s - 3*f + a*f, f - 24 = -s. Does 7 divide s?
False
Let p(d) = 18*d**2 + d - 6. Does 11 divide p(4)?
True
Suppose -2*m = 4*v - 8, -2*m = -2*v + 7*v - 8. Suppose -w = -5*x + 73, -3*x - w = m*w - 55. Suppose x = t + 7. Is t a multiple of 4?
True
Let o(b) = 6*b**2 - 10*b - 7. Suppose -2*r - 3*r + 2*t - 10 = 0, -5 = 5*r - 3*t. Is o(r) a multiple of 9?
False
Suppose 4*n = 167 + 5. Is 11 a factor of n?
False
Suppose 195*t = 183*t + 2688. Is 8 a factor of t?
True
Let f(s) = 8*s + 6 + 0*s + 52. Does 21 divide f(23)?
False
Let b(i) be the first derivative of -9*i**2/2 + 42*i - 13. Is b(-9) a multiple of 33?
False
Suppose 5*m = 10*m - 20. Suppose -1030 = -c - m*c. Suppose -4*q + 5*j - 53 + 198 = 0, c = 5*q + 2*j. Is 10 a factor of q?
True
Let a(y) = -7*y**2 + 9*y + 2. Let w(o) = -14*o**2 + 17*o + 5. Let l(b) = 7*a(b) - 4*w(b). Is l(5) a multiple of 24?
True
Let w = 1037 - 729. Is w a multiple of 28?
True
Let o(g) = -g**2 + 40*g - 72. Is o(16) a multiple of 24?
True
Suppose 7*g - g - 24 = 0. Suppose g*s - 105 - 99 = 0. Is s a multiple of 17?
True
Let c(t) = t**2 + 3*t + 4. Let x be c(-4). Suppose p + x = 2*d, -2*d + 22 = 3*d - 3*p. Suppose -2*k - 174 = -3*v, 4*v - 7 = -d*k + 211. Is 16 a factor of v?
False
Suppose -2*y + 3 - 5 = 0. Is 25 a factor of ((-14)/(-7))/(y/(-50))?
True
Suppose -6*r + r - 115 = 0. Let o = -10 - r. Suppose -8*p = -7*p - o. Does 10 divide p?
False
Let r = 315 - 33. Is 6 a factor of r?
True
Suppose -2*i - 5*g + 33 = 0, -2*i = -5*i - 3*g + 36. Does 33 divide i/(-9) + -2 + (-490)/(-2)?
False
Suppose 0 = 10*x - 5*x - 75. Does 8 divide x?
False
Suppose -a + i - 9 = -i, 4*i = 4*a + 24. Suppose 11*j - 16*j = 45. Is 7 a factor of 12/j + (-46)/a?
True
Suppose -j = -5, 0 = 4*a + 6*j - 8*j - 550. Is 7 a factor of a?
True
Suppose 6 = 5*w - q + 16, -5*w = -5*q - 10. Let b be w - (-3 - 0 - 6). Let p(u) = -u**3 + 9*u**2 - 9. Is p(b) a multiple of 24?
False
Let q(j) = 102*j**2 - 21*j - 45. Is q(-3) a multiple of 13?
True
Let x = 30 + 12. Let s = x + -75. Let b = 70 + s. Is 13 a factor of b?
False
Let u = 709 - -894. Does 45 divide u?
False
Does 25 divide 10/4 - 4935/(-6)?
True
Let z = -906 - -1511. Is 16 a factor of z?
False
Let z = 377 - -116. Is 10 a factor of z?
False
Suppose 0 = 3*t - 2*t, -5*t - 2268 = -p. Is 45 a factor of p?
False
Let g(k) = 47*k - 42. Does 24 divide g(7)?
False
Suppose 6*n - 16 = 2. Suppose -x + 251 = 3*x + n*q, -2*q + 2 = 0. Suppose h + 12 = x. Does 25 divide h?
True
Let t = 99 - 41. Let c = 113 - t. Is c a multiple of 13?
False
Let z(w) be the third derivative of -w**4/24 + 4*w**3/3 - 6*w**2. Does 21 divide z(-13)?
True
Suppose x = 37 + 9. Suppose 0 = -t + x - 12. Is 6 a factor of t?
False
Let t = 512 + -274. Is t a multiple of 17?
True
Let h be 636/5 - (-5)/(-25). Suppose 2*z = -3*r + 5 + 42, -5*z = -2*r - h. Is 7 a factor of z?
False
Let d be (1/2)/((-23)/(-3312)). Does 25 divide (-6)/(-27) - (-6896)/d?
False
Suppose 2*n + 0*n - 6 = 0. Let l(c) = -c**3 + 3*c**2 + c - 1. Let i be l(n). Suppose g - 34 = -i. Is g a multiple of 12?
False
Suppose -u = 4*y - 295, -5*u - 566 + 1953 = -2*y. Is 9 a factor of u?
True
Let k be 259 - (2 + 2 - 4). Suppose 0 = -3*s + 134 + k. Is 41 a factor of s?
False
Does 32 divide ((-264)/(-55))/(15/200)?
True
Let i(z) be the first derivative of -z**2/2 - 2*z + 4. Let j(g) = g**3 + 9*g**2 + 10*g + 12. Let p be j(-8). Is i(p) a multiple of 2?
True
Let w(f) = 6*f**2 - 2*f - 4. Let g be w(-2). Suppose 25*l - g*l = 29. Is 5 a factor of l?
False
Let b be (-360)/(-44) + (-4)/22. Suppose 1617 = b*t - 423. Is t a multiple of 44?
False
Suppose -4*l = -s + 18, 4*l + 2 + 106 = 4*s. Is s a multiple of 5?
True
Let f(n) = 2*n**2 + 5. Suppose -2*h + w + 4 = -1, 5*h = -w + 16. Suppose h = -2*c + 9. Does 23 divide f(c)?
True
Suppose -3*a = -0*a - 6. Let m(v) = 6 + 1 + 3*v**2 - 5 + v - 1. Is m(a) a multiple of 5?
True
Let c = -122 - -132. Is (114 - (-5 + c)) + -1 a multiple of 6?
True
Suppose -22 = -2*a - 5*l, 6 = 2*a + 2*l - l. Let x = a - -3. Is 2 a factor of x?
True
Let h(v) = -v**2 + 15*v - 12. Let n be h(14). Suppose -2*k + 20 = k - n*x, -k + 5 = -x. Is k a multiple of 8?
False
Let z(q) be the first derivative of q**6/120 - q**5/60 + q**4/24 - q**3/6 - q**2/2 + 8. Let h(d) be the second derivative of z(d). Does 20 divide h(3)?
True
Let o = -1068 + 2668. Is 100 a factor of o?
True
Let h = -427 - -778. Let t(c) = c**2 - 2*c - 12. Let v be t(5). Suppose -v*u + 262 = 5*r, 3*u + u - h = -5*r. Does 17 divide u?
False
Suppose -4*l + 0*l + 248 = 0. Suppose 5*f - 3*w - 4 = 0, 0*f - 3*f - 5*w = -16. Suppose 0 = -g + 3*c - 5*c + 27, -l = -f*g - 2*c. Does 16 divide g?
False
Let t(u) = u + 1. Let w be t(5). Is 244/w + 32/(-48) a multiple of 8?
True
Let b(o) = o**3 - 17*o**2 + 31*o - 30. Is 12 a factor of b(16)?
False
Let k(c) be the third derivative of c**6/180 + c**5/60 - c**4/6 + 5*c**3/3 - 2*c**2. Let h(m) be the first derivative of k(m). Is h(5) a multiple of 17?
False
Let a = -543 + 862. Is 5 a factor of a?
False
Suppose 4*a = f - 192 - 150, -3*f + 4*a = -986. Let d = 530 - f. Is 26 a factor of d?
True
Suppose -7*l + 23 = 9. Suppose l*c - 138 = -18. Is c a multiple of 11?
False
Let c(q) = 3*q**3 - q**2 + 6*q**3 + 2*q**3 - 10*q**3 + 4*q + 6. Does 14 divide c(5)?
True
Suppose 3 + 0 = -s. Does 2 divide (-29 - s)*(-4)/8?
False
Suppose -2*f - 2*f + 20 = 0. Let z be (-513)/(-7) + 2/(-7). Suppose 13 - z = -f*u. Is u a multiple of 4?
True
Suppose -6*y + 4*y - 5*t + 242 = 0, 240 = 2*y + 4*t. Let c = 138 - y. Is c a multiple of 3?
False
Let w(f) = -f**2 - 8*f + 3. Let c(p) = p - 1. Let l(o) = -5*c(o) - w(o). Let g(k) = 4*k**3 + k**2 - 2*k + 1. Let z be g(1). Is 10 a factor of l(z)?
True
Let q(s) be the first derivative of -s**4/4 - 2*s**3 - s**2 + 6*s + 2. Is 3 a factor of q(-6)?
True
Let t(h) = 7*h + 3. Let p be t(-5). Let r = -8 - p. Is r a multiple of 4?
True
Does 4 divide (-1)/(-1)*(-9 + 61)?
True
Suppose -r = -2*r + 5. Suppose -u + 4*k + 3 = -r, 0 = -k - 1. Is 18 a factor of 54/u*8/6?
True
Suppose 20*u = 13*u + 49. Suppose -f + u = -4*x + 47, 0 = -4*x + 4*f + 40. Is x a multiple of 5?
True
Suppose -47*n = -59*n + 1176. Does 89 divide n?
False
Let i = 570 - 540. Is 6 a factor of i?
True
Let o(d) be the second derivative of -d**5/20 + 5*d**4/6 - 11*d**3/6 + 2*d**2 + 15*d. Let u = 12 - 5. Does 18 divide o(u)?
False
Suppose -36 + 116 = 2*j. Suppose 2*n - 90 - j = 0. Does 4 divide n?
False
Let t = -28 + 31. Suppose 0*s + 222 = t*s. Is s a multiple of 37?
True
Suppose -6 = -2*j + 4*j, j - 525 = -3*o. Is o a multiple of 44?
True
Let r(z) = -2*z**2 + 16*z + 4. Let w be r(8). Suppose 4*j = m - w*m + 56, -76 = -4*m - 5*j. Is 3 a factor of m?
True
Let h = -91 + 682. Is h a multiple of 13?
False
Let q be (-1098)/(-12)*(-2 - 0). Let m = -123 - q. Does 10 divide m?
True
Let h(t) = -168*t + 619. Is 10 a factor of h(-5)?
False
Let c(z) = -22*z + 18. Is 21 a factor of c(-3)?
True
Suppose 3*l + 8 = s, 4*s = -s - 5. Let y be -3*(l - -2) + -1155. Does 7 divide 2/(-3) + y/(-27)?
True
Let a(w) = -w**2 + 14*w - 16. Let g = 24 + -12. Let p be a(g). Let n = p - -16. Does 6 divide n?
True
Let f be (0 + (-15)/18)*-6. Suppose f*c - 4 = -29. Let t(w) = -w + 6. Is 9 a factor of t(c)?
False
Let z(u) = -u**2 - 14*u - 5. Let t be z(-4). Let k = t - 23. Does 6 divide k?
True
Suppose -5*g + 31 = -3*q, 5*g + 5*q - 3*q - 21 = 0. Suppose -5*k + 2 = -g*f + f, -12 = -k - 5*f. Is k a multiple of 2?
True
Let v(o) = 3 - 19*o - 11*o + 31. Is v(-9) a multiple of 20?
False
Is (6 - (-14512)/32) + (-2)/(-4) a multiple of 20?
True
Let k(j) = -j**2 - 13*j - 2. Let t be k(-14). Let h = t + 28. Is 6 a factor of h?
True
Suppose 2*o - 5 + 1 = 0. Suppose -c + 64 = 4*l, -3*l + o*l = 4. Suppose 2*u - c = -4*t, -29 = -2*u + t + 36. Is u a multiple of 17?
True
Is 29 a factor of (0 + -6)/6*2 + 96?
False
Is (-9)/(-6 + 1287/216) a multiple of 9?
True
Suppose 11*l + 10 = 13*l. Suppose 0 = -4*i - 3*u + 1127, 857 - 8 = 3*i + 3*u. Suppose -h = -3*o + 202, 0 = o - l*o - 3*h + i. Is o a multiple of 34?
True
Suppose 0 = 115*s - 68*s - 7802. Does 30 divide s?
False
Let v(g) = g**2 + 31*g + 136. Does 13 divide v(-29)?
True
Suppose 4