 + 290. Is h a multiple of 15?
True
Suppose -3*b + v = -716, 0 = b - v + 2*v - 244. Suppose 3*z = -z + b. Does 13 divide z?
False
Let n = 114 - 76. Is n a multiple of 19?
True
Suppose -p = 3*k - 56, 4*k + 0*p = p + 77. Suppose -5*x + 5*a - 5 - 15 = 0, -4*x + a = 19. Let c = x + k. Is c a multiple of 14?
True
Let v(k) = -k**3 - k**2 + 3. Is 13 a factor of v(-4)?
False
Let p = 2 + -3. Is 36*1 - (0 + p) a multiple of 15?
False
Let i = -1 - -28. Is 6 a factor of i?
False
Suppose -4 - 854 = -6*j. Is j a multiple of 17?
False
Suppose 0 = 5*h - 0*h - 375. Is 25 a factor of h?
True
Let a = -95 + 250. Is a a multiple of 31?
True
Does 2 divide 4/(-10) + (-134)/(-10)?
False
Let h = -46 - -88. Is 25 a factor of h?
False
Let q = -2 + 7. Suppose o - 6 = -i - 2*i, -2*i + q*o = -4. Is i even?
True
Suppose 2*d + d = 0. Suppose 4*j = -3*b, -7 = -4*b - 0*b - 3*j. Suppose -2*v - b*w + 26 = d, 0 = 3*v - w - 2*w - 30. Is v a multiple of 8?
False
Is 4 a factor of (-2328)/(-54) + 4/(-36)?
False
Suppose 0 = 3*k - 4*k. Suppose -y - 4*y = k. Let x = y + 10. Does 5 divide x?
True
Suppose -67 - 1 = -2*i. Suppose m + 3*x - i = -2*x, -2*m = 2*x - 28. Is m a multiple of 9?
True
Suppose -c + 4*k = -k + 12, 5*k = -2*c + 21. Suppose -b = l, -24 = -c*b + 3*l + 2*l. Is b even?
False
Let o(m) = m**3 - 5*m**2 - 6*m + 4. Let g be o(6). Does 24 divide 159/g + 1/4?
False
Suppose 12 = 5*l - 2*q, 5*l = -3*q + 16 + 16. Suppose 0*u - 4*u + 2*a = -10, 2*u = l*a + 2. Suppose z - 2 = -h, h = z + u*h. Is z a multiple of 3?
False
Let f = -125 - -391. Is f a multiple of 19?
True
Let d be (-3)/1 - (-14)/1. Suppose -u - 5*y - 5 = d, -3*y + 4 = 4*u. Suppose 104 = u*p + 40. Is 5 a factor of p?
False
Let s(m) be the first derivative of -m**3 - m**2 + 4*m - 3. Let j(k) be the first derivative of s(k). Is j(-7) a multiple of 20?
True
Suppose -4*a + 256 = v, -2*a - 3*a = -3*v - 320. Is a a multiple of 16?
True
Let d be -10*(17/5 + -3). Does 11 divide (-327)/(-9) - d/6?
False
Suppose 2*a + 22 = -3*b + 7*b, a + b = -11. Let o(i) = -3*i - 4. Does 21 divide o(a)?
False
Suppose -3*a = 3*l - 147, -l + 3*a = -5*l + 192. Is 13 a factor of l?
False
Let z(p) = -6*p**3 + 2*p + 1. Does 2 divide z(-1)?
False
Let c(i) = i + 3. Suppose -f + 4 = -9. Is 16 a factor of c(f)?
True
Let j = 49 + -25. Let d be (28/10)/(1/(-5)). Let c = j + d. Does 5 divide c?
True
Let i(d) = -d**3 - 4*d**2 + 4*d - 2. Let y be i(-4). Let n = -5 - y. Suppose r = n - 1. Is r a multiple of 6?
True
Suppose -3*f = -2*q + 28, -5*f + 14 = 3*q - 9. Is q a multiple of 11?
True
Suppose o + o - 264 = 0. Is o a multiple of 14?
False
Let j(p) = 21*p**2 - 3*p - 17. Is j(-3) a multiple of 11?
False
Let s(m) = -3*m**3 + 4*m**2. Let d be s(4). Let g be ((-112)/5)/(-4) - (-2)/5. Is 7 a factor of d/(-7) - g/21?
False
Suppose -4*p + 10 = -9*p. Let g be (-6*(p + 1))/2. Suppose -34 - 32 = -g*d. Does 11 divide d?
True
Let u be 1 - (-1 + (-66)/1). Does 13 divide (3 - u/(-12))*3?
True
Let n = 17 + -2. Suppose 4*b - n = -0*t - 3*t, 5*t = 2*b + 25. Is t a multiple of 5?
True
Let l be (2/(-4))/((-6)/36). Suppose v = 12 + l. Does 15 divide v?
True
Is 2 - (-75 + (0 - -2)) a multiple of 24?
False
Suppose -32 = -2*r + y, -4*r + 8*r + 2*y - 80 = 0. Does 3 divide r?
True
Suppose -5*l = -15, 2*l + 49 = 5*f - 110. Is 33 a factor of f?
True
Let y = -143 + 215. Is 18 a factor of y?
True
Let u(l) = -28*l**3 - l. Let z = -8 - -7. Is 12 a factor of u(z)?
False
Let c = 3 - 1. Let d = c + 2. Let r(b) = -b**2 + 5*b - 1. Is 3 a factor of r(d)?
True
Let f = -117 + 219. Does 34 divide f?
True
Let q(l) = 29*l + 6. Let h be q(5). Suppose r = -3*r - 368. Let p = r + h. Is 20 a factor of p?
False
Suppose 49 = 3*x - 2*z, 20 - 8 = -x - 5*z. Is 2 a factor of x?
False
Let i(o) = 35*o + 1. Is 12 a factor of i(1)?
True
Suppose 0 = 4*j - 4 - 4. Suppose j*g - 128 = 5*t, -g = 2*t - 6*t - 61. Is g a multiple of 19?
False
Let l = 8 - 6. Suppose k + w = -l*w + 28, 0 = 5*k + w - 70. Is 13 a factor of k?
True
Let w be 0/(2 + 2 + -3). Suppose -p + 5*t - 3*t + 42 = 0, w = 4*p - 4*t - 176. Does 7 divide p?
False
Let p be ((-3)/(-9))/(2/(-24)). Let v(r) = -r**3 + r**2 + 3*r + 4. Does 36 divide v(p)?
True
Suppose 0 = -5*r - 74 - 2686. Is 7 a factor of r/(-6)*(-2)/(-8)?
False
Let z(a) = -a + 8. Let x be z(6). Suppose -20 = -2*n - x*n. Suppose k - n*k - 2*d + 26 = 0, 4*k - 29 = -3*d. Does 5 divide k?
True
Let f(c) = c**2 - 11*c + 12. Is f(11) a multiple of 4?
True
Suppose 2*x - 3 = -4*k + 7, 5*k = 4*x + 32. Suppose -3*q - 3*n = -48, 2 = -q + k*n + 8. Is 15 a factor of ((-30)/7)/((-2)/q)?
True
Let h(g) = g**2 + g - 3. Let x be h(-3). Suppose 0 = x*c + 4*i - 124, 5*c + 5*i - 245 = -30. Is c a multiple of 12?
True
Let j(v) = v**3 + 12*v**2 - 13*v + 18. Let d be (52/(-2))/(2 + 0). Is j(d) a multiple of 6?
True
Let d(z) = -3*z - 31. Does 8 divide d(-13)?
True
Let a(i) = -i**2 + 17*i - 6. Is 10 a factor of a(9)?
False
Let s(d) = d + 32 - 2*d**2 + 3*d**2 - d**3 + 0*d**3 - 12. Does 10 divide s(0)?
True
Let f(m) = -m**2 + 9*m - 8. Let n be f(6). Let u be 26/n + (-10)/(-25). Suppose -4*g + 5*z - 2*z = 1, u*g - 3 = z. Is g even?
True
Suppose 2*w - 76 = 8. Is w a multiple of 6?
True
Suppose 4*p - 5*p = -18. Suppose 0 = 3*l - 0*l + 18. Is (-8)/l*p/4 a multiple of 4?
False
Suppose -4*p + 634 - 102 = 0. Suppose -2*k + 5*j + p = 0, -2*j + 0*j = -3*k + 183. Is 16 a factor of k?
False
Suppose 4*l = 17 + 15. Suppose 0 = 2*n - 0*n - l. Suppose -b = -2*w - 3*b + 6, 0 = 3*w + 4*b - n. Is w a multiple of 3?
False
Suppose -3*k + 8*k - 14 = q, 5*k - 2 = -2*q. Suppose k*j = 5*p + 43, 4*j - 131 + 9 = -2*p. Is j a multiple of 10?
False
Suppose 0 = -21*t + 14*t + 357. Is t even?
False
Suppose -5*z - 8*b + 3*b = -1150, 215 = z - 2*b. Does 25 divide z?
True
Let f = 87 - 48. Is f a multiple of 10?
False
Suppose -4*q - s + 0*s = 118, s = 4*q + 122. Let p = q + 51. Suppose -v + 5 = -p. Is 15 a factor of v?
False
Suppose -5*p = -4*r + 5, 5*r - 37 = -0*p - 4*p. Suppose 9 = b + q, -p*b - 5*q + 31 = -q. Suppose 4*o - 216 = -b*l, 21 = 3*l - 4*o - 115. Does 22 divide l?
True
Let q(z) = z**3 - 5*z**2 - 11*z + 7. Does 7 divide q(7)?
True
Let r = 133 - 76. Is r a multiple of 9?
False
Let w(k) = 7*k - 1 + 3*k**3 - 2*k - 4 + 3. Is w(3) a multiple of 24?
False
Suppose -190 = -7*l + 48. Does 13 divide l?
False
Let s = -13 - -14. Is 15 a factor of -1 - (-4 + (-26 - s))?
True
Suppose l - 1 - 1 = 0. Let r(g) = g**2 - 4*g + 4. Let z be r(3). Suppose -l - z = -p. Is p a multiple of 3?
True
Let y = -9 - -47. Suppose 2*k - y = -0. Is k a multiple of 8?
False
Suppose -l = -2*i + 4, -4*l + i = -0 - 5. Suppose -l*q + 3*q - 36 = 2*w, -3*w + 36 = q. Does 14 divide q?
False
Let y(j) = -j**2 + 4*j + 3. Let u be y(4). Suppose -5*f + 5*w - 15 = 0, -5*f = -u*f + 4*w - 24. Is 13 a factor of (f - 0) + 22/1?
False
Suppose -2*x = -8 + 2. Suppose 5*h = -2*l - 98 + 9, -x*h + 5*l = 72. Let z = 39 + h. Is 10 a factor of z?
True
Suppose 2420 = -3*x + 8*x. Suppose 5*b - x = 2*m, -3*m + 68 = b - 22. Suppose -l + b = 3*l. Is 12 a factor of l?
True
Let o(a) = a**2 - 4*a + 6. Is 11 a factor of o(-6)?
True
Let x be 2/5 - (-6)/10. Let f = x + 2. Suppose 88 = f*m - 8. Is 16 a factor of m?
True
Let q(o) = 20*o - 2. Let c be q(4). Let r(b) = -b**3 + 15*b**2 + 2. Let a be r(15). Suppose a*i - c = -i. Is 13 a factor of i?
True
Let a be (-5)/(-5)*2*1. Suppose -5*d = a*u - 59, 2*u - 7*u + 4*d = -65. Does 5 divide u?
False
Suppose -4*o + 5 = 4*b - 3, 3*b - 5*o + 2 = 0. Suppose -2*u - b = j, -3*j + 2*j - 3 = 0. Is (u + -2)*(-11 - 0) a multiple of 8?
False
Let o(n) = n - 6. Let i(p) = 2*p. Let b be i(5). Let u be o(b). Let y = 8 + u. Does 7 divide y?
False
Let r(z) = z**2 - 6*z + 6. Let x be r(4). Let u = x - -19. Does 16 divide u?
False
Let b(x) = -x**2 + 8*x - 5. Let y be b(7). Does 14 divide 14 - ((0 - y) + 0)?
False
Is 6 a factor of ((-28)/6)/(80/(-75) + 1)?
False
Suppose -3*g + 24 = g. Let t = g + 54. Is 15 a factor of t?
True
Let k be (1 - 5/2)*-2. Suppose k*p = -2*p + 10. Suppose j + 3 - p = 0, 4*q + 5*j - 11 = 0. Is q a multiple of 4?
True
Let w = 52 - 38. Does 14 divide w?
True
Let s = 78 + -53. Does 19 divide s?
False
Suppose 3*u - 3*y + 0*y - 9 = 0, -u + 3*y = -3. Suppose -u*b - 51 = -6*b. Is 9 a factor of b?
False
Let t(m) = m**3 - 4*m**2 - 10*m + 9. Is 3 a factor of t(6)?
True
Suppo