f (-3)/15 + 61/5?
True
Let i(a) = a**3 - a**2 - a + 15. Let x be i(0). Let m be 10/x + (-14)/(-6). Is (-7 - -4)*(-7)/m a multiple of 3?
False
Let s = -5 + 33. Is 24 a factor of s?
False
Let g = 13 + -18. Let u be 2*3/(-6)*g. Suppose u*c - 25 = 10. Is c a multiple of 3?
False
Let i = 26 - 29. Does 13 divide (-231)/i - (-2 + -1)?
False
Suppose -z = -5*z - 180. Let k = -14 - z. Let w = k - 12. Is w a multiple of 17?
False
Let d be (-4)/(2 - (-69)/(-36)). Let z be d/15*(-5)/1. Let a = -10 + z. Does 6 divide a?
True
Let l be -6*(4 - 3)/2. Is 8 a factor of ((-6 - l) + 55)/2?
False
Let d(a) = -a - 11. Let j be d(-7). Let z = j + 7. Suppose -z*m + 15 = 0, -115 = -5*r - 0*m - m. Does 8 divide r?
False
Suppose -2*f + 3*f + 3*w + 13 = 0, 3*w + 15 = 0. Is f a multiple of 2?
True
Let b be -2 + -109 - (-3 - -3). Let u = -78 - b. Let o = u + -19. Is 7 a factor of o?
True
Let m be ((-8)/(-3))/(4/30). Suppose 0 = -0*h - 3*h - 2*c + 74, -m = -5*c. Does 10 divide h?
False
Suppose 0 = -3*r + 2*h + 19, 2 = -r - 3*h + 1. Let a = 3 - r. Is (15/a)/(5/(-10)) a multiple of 15?
True
Suppose 5*k + 271 = -3*y + 4*y, 3 = 3*y. Let n = 18 - k. Suppose -3*f + n = 30. Does 14 divide f?
True
Let l(w) = 2*w. Suppose 0*s - 11 = s + 3*n, 4*n + 20 = 0. Let t be l(s). Suppose 5*j + 4*f = 4, -4*j + 5*f + 4 = t*f. Does 2 divide j?
True
Suppose 2*o - 2 + 14 = 0. Let f(k) = -k + 2. Let r be f(o). Does 10 divide (r/(-6))/(2/(-45))?
True
Let l be 1/((-2)/(-2 + 6)). Let v = l + -2. Does 8 divide (-234)/(-15) - v/10?
True
Let k be (-5 - -4)/(2/(-4)). Suppose k*d - 1 - 3 = 0. Suppose 7*t - 75 = d*t. Is t a multiple of 10?
False
Suppose 18*f = 19*f - 39. Does 13 divide f?
True
Let o = -6 + -5. Let x = -16 - o. Let s(p) = -5*p + 1. Does 8 divide s(x)?
False
Suppose -4*d + 11 + 9 = 0. Let f(o) = -o**2 + 5*o + 7. Does 3 divide f(d)?
False
Let z(b) = b**2 + 1. Let s be z(-1). Suppose 0 = -5*i - 2*c + 12, -4*c + s = -2. Suppose 0 = -i*o + 5*o + 3*k - 9, k + 17 = 3*o. Is 2 a factor of o?
False
Let u(m) be the second derivative of 4*m**3/3 - m**2/2 + 3*m. Is u(3) a multiple of 7?
False
Suppose 0*z = -2*z - 10. Is 6 a factor of 63/5 - 2/z?
False
Let z(x) be the third derivative of -x**5/60 - 5*x**4/24 + 5*x**3/6 + 3*x**2. Let a be z(-5). Suppose a*b - 200 = -0*b. Is b a multiple of 15?
False
Suppose -5 - 4 = -3*c. Let i be ((-20)/(-6) - 3)*c. Is (-38)/(-2) - (i - 3) a multiple of 6?
False
Let s = 19 - 120. Let j = 159 + s. Is j a multiple of 17?
False
Suppose -5*l + 0 = -p + 30, 5*p = 4*l + 24. Let v = l + 18. Is 4 a factor of v?
True
Suppose -25 = 5*i + 4*w, -2*w = -i - 5*w - 16. Let d be (4 - -1)*(0 - i). Let l = 12 - d. Is l a multiple of 7?
True
Let m = -1 + 4. Suppose -2*f = -m*f + 80. Suppose -2*r - 2*r = -4*o - f, 21 = r - 2*o. Does 19 divide r?
True
Suppose -4 = -4*f + 2*f. Does 2 divide f?
True
Suppose -550 = -3*y - 2*f + f, 5*y - 3*f - 898 = 0. Is 32 a factor of y?
False
Let w(s) = -s + 7. Let b be w(3). Suppose -b*h - 204 = -4*m - h, -m - 5*h = -28. Is 9 a factor of m?
False
Let q = 203 + 100. Is 11 a factor of q?
False
Let i(z) = -11*z + 3*z - z**2 + 63 - 65. Is i(-4) a multiple of 7?
True
Suppose -8*q = -5*q. Suppose q = -w - w + 176. Is w a multiple of 31?
False
Let r be (-3)/4 - 81/(-12). Suppose 4*j + r*a - 4*a - 242 = 0, -j + a = -59. Is 15 a factor of j?
True
Suppose 0 = 5*f - 0 + 5, -p + f + 79 = 0. Is p a multiple of 7?
False
Let z(h) = h**2 - 10*h + 7. Let y be z(9). Let v = 1 + y. Is -1 + (-24 - v)/(-1) a multiple of 11?
True
Let a = -24 + 80. Is 3 a factor of a?
False
Let x be 8*4/8 + 38. Is 7 a factor of (56/x)/(2/12)?
False
Let o = -35 - -108. Is 34 a factor of o?
False
Suppose 0 = 3*b + 5*k + 1 - 18, 0 = -b + 5*k - 21. Let q be 5 + b + -2 + -2. Suppose q = 4*p - 3 - 29. Is 8 a factor of p?
True
Let o be ((-10)/(-6) + -2)*0. Suppose o = 2*d + 21 - 103. Is 22 a factor of d?
False
Suppose 3*x + 4*n = 14, 4*n - 15 = -5*x + 11. Does 3 divide x?
True
Suppose -5*b + 2*y + 1454 = -0*b, -4*b = -5*y - 1153. Suppose 4*n + 64 = b. Is n a multiple of 19?
True
Let g(j) = 5*j**3 - j**2 - j + 1. Let q be g(1). Let h be q/(-2) - 76/(-2). Let t = 78 - h. Is 17 a factor of t?
False
Suppose -8 = -o + 4*o + c, -c - 2 = 0. Let z be (-3)/o - (-3)/6. Suppose z*q - 24 = -q. Does 4 divide q?
True
Does 25 divide 3416/35 + (-3)/5?
False
Let r = -1 - 0. Let g(z) = -2*z**3 + z + 1. Let s be g(r). Suppose -60 = -2*i - s*i. Does 10 divide i?
False
Suppose h = -g + 4*g - 6, -2*g - h = -9. Let n be 1 - ((-6)/g - -4). Does 4 divide 8 - -1 - (n - -1)?
False
Let l = 28 - -1. Suppose 42 + 15 = -3*j. Let p = j + l. Does 6 divide p?
False
Suppose -268 - 152 = -6*u. Is u a multiple of 14?
True
Let d(x) be the first derivative of -3*x**2/2 - 8*x + 2. Is d(-6) a multiple of 3?
False
Suppose -2 = -5*s + 13. Let j(n) = -n**3 + 5*n**2 - 2*n. Does 7 divide j(s)?
False
Let j(g) = -2*g**2 + 5*g + 10. Let b(z) = z**2 - 2*z - 5. Let q(l) = 9*b(l) + 4*j(l). Let s be -5*1 - (0 - 0). Is q(s) a multiple of 10?
True
Let j(a) = 5 - 5 - 5 - 11*a. Let y be j(-7). Suppose -5*v = -2*v - y. Is v a multiple of 13?
False
Let k = -3 + 4. Let c(a) = 14*a**3 + 2*a - 1. Does 5 divide c(k)?
True
Does 16 divide ((-2)/(-4))/(17/2856)?
False
Let h(t) = -t**3 - 7*t**2 - 4*t + 8. Let o be h(-6). Let w be o + 2 + 2 + 13. Let n = -6 + w. Is n a multiple of 7?
True
Let j = -12 - -17. Suppose 0*r = -j*r + 465. Does 31 divide r?
True
Let x = -9 - -11. Suppose -5*l + 3*s + 15 = 1, 14 = x*l + 3*s. Is 2 a factor of 17/l - 3/12?
True
Let o be (6/(-9))/(8/(-204)). Let a = 0 + o. Does 4 divide a?
False
Let u be -1 - (-4 + 5) - -4. Suppose -u*o + 47 = -125. Is o a multiple of 28?
False
Let a = -6 - -8. Suppose -2*t - 3*u + 37 = 0, -a*t + 3*u = 4*u - 39. Is 3 a factor of t?
False
Suppose 5*w + 9 = -26. Let x = 5 + w. Does 13 divide x/4*-1*26?
True
Let y = -1 - -1. Suppose 10 = -2*d - y. Is 2 a factor of (-3)/2*(3 + d)?
False
Let j(t) = -t**3 + 8*t**2 - 2*t + 12. Let d be j(8). Let x = 9 - d. Is 8 a factor of x?
False
Suppose 6*z - z = 3*g + 1, 4*g + 44 = -4*z. Let s(v) = -v - 5. Let u be s(g). Suppose 4*j + 3*i + 2*i = 49, -u*j + 20 = 4*i. Is j a multiple of 6?
False
Suppose 0*f + 3*x - 49 = -5*f, -f + 2*x = -2. Does 6 divide f?
False
Let p(f) = 12*f**2 - 13*f + f**3 + 3*f**2 - 11 - f - 4*f**2. Does 5 divide p(-12)?
False
Suppose -5*a = -0*a. Suppose 45 = v - a*v. Is v a multiple of 24?
False
Let y(a) = 2*a**2 + 2*a - 1. Let x be y(1). Let p(b) = b + 1. Let f(o) = o**3 + 2*o + 1. Let i(t) = f(t) - 5*p(t). Is i(x) a multiple of 14?
True
Let m be (-164)/(-6) + (-3)/9. Suppose -3*s + m = -21. Is 8 a factor of s?
True
Does 4 divide 0/(2*3/6) + 12?
True
Let o(a) = -a - 1. Let s be o(-1). Suppose -2*i + i + 2 = s. Let j(y) = 20*y + 1. Does 17 divide j(i)?
False
Let m = -3 - -18. Is 2 a factor of m?
False
Let g(f) = f**3 + f**2 - f + 39. Let s be g(0). Let q = 64 - s. Is q a multiple of 16?
False
Let z = -4 + 6. Suppose -z*p = -p. Suppose -i - 2 + 11 = m, -5*i + m + 51 = p. Does 7 divide i?
False
Let c = 8 - 6. Suppose c*d = -1 + 9. Suppose 5*k - 115 = 5*w, -d*k + 84 = -0*w + 4*w. Does 22 divide k?
True
Suppose -5*d + 4 = -31. Let j = 20 - d. Does 13 divide j?
True
Let i be ((-2)/(-4))/((-2)/(-20)). Suppose -i*r - 70 = -5*a, 0 = -2*a - r + 44 - 4. Does 6 divide a?
True
Let j = -6 - -6. Does 10 divide 2/1*18 - j?
False
Suppose l = 3*r - 62, 7*l = 2*r + 3*l - 28. Is 22 a factor of r?
True
Let g be 219/12 + 2/(-8). Let j(x) = -x**2 + 5*x - 2. Let h be j(4). Suppose -g = -2*f + 5*q, -h*f + q + 68 = 3*f. Is f a multiple of 14?
True
Let v(s) = -6*s + 1. Let h(u) = -3*u. Let l(m) = 7*h(m) - 4*v(m). Does 11 divide l(5)?
True
Let x(f) = f - 4. Let l be 6/(-10) - 36/(-10). Let h be x(l). Is 9 a factor of 11 + h + (1 - 2)?
True
Let a be 62/(-3) + (-6)/18. Let u be (36/10)/(6/20). Does 14 divide a/(-1 - (-3)/u)?
True
Let b(p) = -2*p - 2. Let u be b(-3). Suppose 27 = -u*w - 0*w + 3*m, 0 = -5*w + m - 31. Is 15 a factor of 3*4/w - -17?
True
Suppose 26 = 2*k - k + 3*m, 2*k + m - 72 = 0. Is k a multiple of 4?
False
Suppose 3*i - 4*g = 12, -4*i + 2 + 14 = -3*g. Is i a multiple of 2?
True
Let b(q) = -q**3 - 13*q**2 - 5*q - 1. Is 16 a factor of b(-13)?
True
Let v(a) = a**3 + a**2 + 1. Let l(j) = 4*j**3 + 4*j**2 - 21. Let q(p) = -l(p) + 3*v(p). Let i(w) = w**2 + 3*w. Let t be i(-3).