r of i?
False
Does 12 divide (-42)/(-8)*(-48)/(-9)?
False
Let q(j) = 3*j**2 - 3*j - 4. Is q(4) a multiple of 5?
False
Suppose 0 = 4*d - d - 87. Does 4 divide d?
False
Suppose -2*l = -4*s - 42 - 44, 0 = -2*l - 4*s + 54. Is 10 a factor of l?
False
Let d(a) = a**2 + 2*a + 2 + 0*a - 5*a. Is 8 a factor of d(-3)?
False
Let h be 45*(-1 + 0 - -2). Suppose 0 = 5*v - 20 - h. Is v a multiple of 11?
False
Let f(k) = 12*k**2 - 6*k + 5. Let z(s) = -s**2 + s - 1. Let r(y) = f(y) + 5*z(y). Is r(2) a multiple of 13?
True
Let k(s) = s**3 - 7*s**2 - 7*s - 8. Let r be k(8). Suppose -5*d + r*d = -385. Is 18 a factor of d?
False
Let a(y) = -y**2 + 13*y + 12. Let m be a(14). Does 2 divide ((-56)/70)/(m/20)?
True
Suppose 6*y + 20 = 2*y. Let r = -3 - y. Suppose -r*x + 0 = -8. Is x a multiple of 4?
True
Let q(c) = 3*c**3 + 13 + 9 + 3*c**3 - 5*c**3. Does 22 divide q(0)?
True
Let q(t) = 26*t - 2. Does 29 divide q(3)?
False
Let b(z) = -z**3 - 8*z**2 + 9*z + 11. Let v be b(-9). Suppose 2 - v = -w. Is 3 a factor of w?
True
Let q be 6/(-27) - (-353)/9. Suppose 21 = 3*h + 6. Suppose q = 5*b + 4*t, h*t = -b + 3 + 9. Does 3 divide b?
False
Let m be 4/(-8)*8/(-2). Suppose m*g + 10 = 2*s - 0, 4*g + 2*s = 4. Does 8 divide g*2 + 3 + 18?
False
Let j(l) = -2*l**2 + 20*l - 8. Is 10 a factor of j(6)?
True
Suppose -2*f = f - 57. Suppose -y + 5*k = y + f, 5*y - 35 = -4*k. Is y a multiple of 2?
False
Let t be 2/5 - 46/(-10). Suppose -3*h = 5*y - 50, 3*h - 31 + 111 = t*y. Does 13 divide y?
True
Suppose -f = 5*d - 349, -145 = -2*d - f + 6*f. Is 5 a factor of d?
True
Suppose 3 + 1 = h. Let l = 14 + 14. Suppose -l = -t + q, -2*q = -h*t - 3*q + 112. Does 10 divide t?
False
Let h(a) = 2*a + 25. Is h(-4) a multiple of 5?
False
Let a(s) = 51*s - 8. Let k be a(6). Suppose 3*q - k - 85 = -p, -5*q - 5*p + 655 = 0. Suppose q = 5*t - 2*t. Does 21 divide t?
True
Suppose 3*f + 3*r - 180 = -0*f, 0 = -2*r - 10. Is f a multiple of 13?
True
Let z = 19 + -6. Does 2 divide z?
False
Let x(l) = -5*l + 3. Is x(-4) a multiple of 4?
False
Suppose 4*q + 2 - 218 = 0. Does 11 divide q?
False
Let x = 26 - 15. Let n = 15 - x. Is 4 a factor of (n/(-5))/(3/(-30))?
True
Let o be 16/((-4)/2) + 0. Let j be o/(-6) - 10/(-15). Suppose 0 = -5*v + j*v + 84. Is v a multiple of 28?
True
Let u(y) = 3*y - 27. Is 3 a factor of u(11)?
True
Suppose 4*m + z + 31 = 0, -1 + 2 = z. Let y(b) = -2*b + 1 - 2 + 3 + 3. Does 7 divide y(m)?
True
Let a(h) = -h**2 - 10*h - 7. Suppose v + 24 = -2*v. Does 4 divide a(v)?
False
Suppose 0 = 3*b - 5*b - 10, 0 = 4*g - b + 35. Let k(l) = -l + 1. Is k(g) a multiple of 5?
False
Let w be -1 - (0 + -6 - -2). Suppose -6*r = -w*r - 12. Suppose -2 = f - 3*v - 4, f - r*v = 1. Is 4 a factor of f?
False
Does 7 divide -4 + 3/(9/132)?
False
Let d = 57 - 30. Let o = d - -5. Is o a multiple of 8?
True
Suppose 0 = -4*k + 8, -6*m = -m - k - 243. Is 13 a factor of m?
False
Let m = 210 + -25. Is 37 a factor of m?
True
Suppose 3*q = -8 - 7. Suppose 0*j = -2*j - 30. Is 5 a factor of (-3)/q + (-141)/j?
True
Let b = -15 + 23. Is 8 a factor of b?
True
Let o(g) = g**3 - 8*g**2 + 7*g + 4. Let x be o(7). Suppose -x = q + 2*p - 33, p = -5*q + 163. Does 14 divide q?
False
Let w be (-345)/10 + (-3)/(-2). Let v = w + 55. Does 17 divide v?
False
Suppose 1 = -f - 2. Let a be ((-3)/(-9))/(f/(-9)). Let r(z) = 26*z**2 - 2*z + 1. Is r(a) a multiple of 14?
False
Let f(h) = -84*h - 8. Let i be f(-6). Does 12 divide 6/(-39) + i/13?
False
Suppose 2*d - 3*d + 289 = 0. Is 41 a factor of d?
False
Let f(w) be the second derivative of w**4/6 + w**3 + 2*w**2 + w. Is 8 a factor of f(-5)?
True
Let j be 9 - -1*(4 + -2). Is j - (0 + 1 - -1) a multiple of 9?
True
Let j be (-8)/(-2 - (-21)/12). Suppose -4*r - 48 = j. Does 20 divide (-516)/r + 2/10?
False
Suppose 45 = -4*i + 5*i + 2*z, i - 45 = -z. Is i a multiple of 15?
True
Let l(m) = 2*m + 2. Let z be l(3). Suppose 3*g = z*g - 110. Does 14 divide g?
False
Suppose -4*c = -2*s + 24, 2*c - 11 - 13 = -2*s. Is 17 a factor of s/(-5)*(-175)/14?
False
Let m = 120 + -19. Let t = m + -45. Is t a multiple of 24?
False
Let w(y) = -45*y + 18. Let v(s) = -s + 1. Let x(b) = 18*v(b) - w(b). Does 13 divide x(1)?
False
Suppose v + 4*v - 80 = 0. Let k = 34 - v. Is 18 a factor of k?
True
Suppose -365 - 40 = -5*c. Is 16 a factor of c?
False
Let n be 1 + 3/3 + 6. Let g = n + -1. Suppose 0 = 4*k - 3*k - g. Is k a multiple of 3?
False
Let u be 10/(-35) - (-74)/14. Let q = 19 - u. Is 7 a factor of q?
True
Let k(a) = -a - 2. Let o(x) = x**2 - x - 1. Let m(r) = -2*k(r) + 3*o(r). Does 12 divide m(4)?
False
Let i(p) = p**3 - 4*p**2 - 5*p + 3. Let d be i(5). Suppose -3*j + 2*z - 2 = 2*j, -4*j - d*z = -3. Is 3 a factor of (-6)/(-3) - j - -4?
True
Let r(f) = f**3 + 3*f**2 - 7*f - 6. Let a be r(-4). Suppose j - a*j = -190. Suppose 7*u + s - 89 = 2*u, -2*u + j = s. Does 16 divide u?
False
Let h(g) = -3*g + 17. Does 10 divide h(-8)?
False
Suppose 0*d - 2*d - 22 = 5*a, 3*a + 22 = -2*d. Let w = d - -20. Is 6 a factor of w?
False
Let x(w) = 0 - 1 + 5*w - 14*w. Does 4 divide x(-1)?
True
Let r(i) = i**2 + 12*i + 57. Does 6 divide r(-9)?
True
Suppose 80 = 5*s + 10. Does 14 divide s?
True
Suppose -3*v + 63 = 9. Suppose v + 62 = 4*b. Is 10 a factor of b?
True
Is (-1)/((-3)/96) - 4 a multiple of 14?
True
Suppose -11*s + 4 = -10*s. Does 2 divide s?
True
Let j(x) = 11*x**2 - x. Is 5 a factor of j(1)?
True
Let l(a) = -a**3 - 3*a**2 + 8*a + 5. Let h be l(-5). Suppose 10*g = h*g - 210. Does 10 divide g?
False
Let l be (-244)/(-20) - 4/20. Is 7 a factor of (5 - 0)/(3/l)?
False
Suppose -6 = 4*g - 3*k + 17, 17 = -3*g + 2*k. Let v be (-4)/10 + (-2)/g. Suppose -5*y + 64 = 3*t, y = -v*y + 3*t + 2. Is 4 a factor of y?
False
Let x(m) = 22*m**2 - 3*m - 2. Does 10 divide x(2)?
True
Suppose 0*x = 5*x - 15. Suppose 0 = 4*q - 2*j - 54, 0 = x*q - 2*j - 3*j - 58. Does 11 divide q?
True
Suppose 3*s - 6*s + 42 = 0. Let f be (-4)/s - (-508)/14. Suppose -2*x + f = -4. Is 20 a factor of x?
True
Suppose 0 = 5*x - 4*c - 150, 5*c - 1 = -3*x + 2*x. Does 4 divide x?
False
Suppose -1 = -2*u + 3. Suppose -u*r = -r + 28. Let l = -7 - r. Is l a multiple of 9?
False
Let q(r) be the second derivative of r**5/20 - 7*r**4/12 + r**3/2 - r**2/2 - 3*r. Does 10 divide q(7)?
True
Let z(r) = r**3 - 6*r**2 - 2*r - 13. Is 3 a factor of z(7)?
False
Suppose 0 = 5*v - 4*a - 596, 16 = 3*v - 4*a - 340. Does 6 divide v?
True
Let y = -5 + 7. Let k be (-2)/(y - 4) + -13. Is 6*-2*9/k a multiple of 4?
False
Let b = 2 + 0. Suppose -67 = -4*d + 3*w, -b*w = -5*d - 3*w + 98. Is d a multiple of 14?
False
Let w(u) = 13*u**2 + 4*u + 5. Does 3 divide w(-2)?
False
Suppose -3*m = 5*j - 45, -20 = 5*j - 5. Suppose l = w, w - 2*w - 3*l + m = 0. Is 3 a factor of w?
False
Suppose -2*n = -38 - 20. Is 14 a factor of n?
False
Let l(s) = 3*s + 2. Let f be l(-3). Let q(x) = x**3 + 6*x**2 - 9*x - 7. Does 2 divide q(f)?
False
Let z(h) = 2*h**3 - 8*h**2 + 5*h - 2. Is z(4) a multiple of 9?
True
Let z = -106 + 140. Is 17 a factor of z?
True
Let z(f) = 18*f**2 - f + 2. Is z(3) a multiple of 23?
True
Let u(s) = 28*s**2 + 3*s - 1. Is u(1) even?
True
Let f(t) = -3*t**2 + 19*t - 9. Let l(j) = j**2 - 6*j + 3. Let n(z) = -4*f(z) - 11*l(z). Is n(13) a multiple of 14?
True
Let w(b) = -2*b + 2*b**2 + 3*b - 6*b - 4 - b**2. Is 10 a factor of w(7)?
True
Let v(p) = p. Let z be v(2). Suppose 3*o - z = 4. Suppose -3*x + 7 = -o*x. Is x a multiple of 7?
True
Let z = -2 + 4. Suppose 5*w = -z + 22. Does 2 divide w?
True
Is ((-24)/(-7))/((-6)/(-105)) a multiple of 6?
True
Let q(r) = 4*r**2 - r - 1. Let m be q(-2). Let i(v) = 3*v + m - 6 - 2*v. Does 3 divide i(-8)?
True
Let m(y) = -8*y - 5. Let s be m(-4). Let c be (21/(-6) + 4)*6. Suppose -s = -5*k + c. Is 2 a factor of k?
True
Suppose 0 = -5*w - h + 39, -5*w = 4*h - 76 + 25. Does 2 divide w?
False
Suppose -9 = -0*j - 3*j. Let q = j + -15. Does 15 divide (-363)/q - 2/8?
True
Let m(w) = -2*w + 0 + 4*w - 1 + 2. Is m(2) a multiple of 3?
False
Suppose 4*u - 5 + 1 = 0. Let f(p) = 4*p**2 + p - 1. Let q be f(u). Suppose -99 = -5*t - q. Is 10 a factor of t?
False
Let u(n) = -n**3 - 2*n**2 + 4*n + 3. Let z be u(-4). Suppose 3*c = -0*c. Does 9 divide 0 + -1 + c + z?
True
Let l(j) = 5*j + 8. Let x be l(-6). Does 5 divide (-12)/8*x/3?
False
Is 393/4 + (-27)/(-36) a multiple of 12?
False
Suppose 4*j = -y 