2 a factor of j?
True
Does 6 divide 1*4 + (-9 + 11 - -24)?
True
Suppose 9 = 3*c - 2*c. Let x = -5 + c. Is x even?
True
Let t = -12 - -18. Suppose 3*b = t*b - 27. Suppose 0 = 3*d - 0*d - b. Is 3 a factor of d?
True
Suppose c + 2*q = -0*q + 34, -3*q - 9 = 0. Is c a multiple of 20?
True
Let s(d) be the first derivative of 6*d**2 + 7*d - 1. Let r(c) = -c - 1. Let j(i) = 5*r(i) + s(i). Does 25 divide j(9)?
False
Suppose -5*o = 5*p - 40, -4*o + p + 32 = 3*p. Is o even?
True
Let l(p) = p**3 + 5*p**2 - 5*p + 3. Let c be l(-6). Let g(k) = -2*k**3 - 2*k**2 + 5*k + 4. Is g(c) a multiple of 11?
False
Let t(c) = 4*c**2 + 3*c - 3. Let v be t(-4). Let h = -29 + v. Let a = 41 - h. Is a a multiple of 13?
False
Let f = -8 + 12. Suppose d + 0 = f. Suppose -d*v - 5*l - 24 = -5*v, 24 = 3*v + l. Does 3 divide v?
True
Let q be (1 - 10) + (-1 - 2). Is 3*2/(q/(-14)) a multiple of 4?
False
Suppose -4*k + 4*q = -16, -q - 5 = -3*k + 7. Suppose -376 + 72 = -4*a + 4*r, -3*a - k*r + 200 = 0. Is 28 a factor of a?
False
Suppose 5*c - 4*m - 86 = 0, 3*c + 6*m = 3*m + 30. Is 10 a factor of c?
False
Let w be 10 - 7 - 2/(-2). Suppose -w*r + r + 30 = 0. Does 5 divide r?
True
Let o = -107 - -158. Does 25 divide o?
False
Let s(b) = b**3 - 5*b**2 - b - 2. Let r be s(6). Suppose 2*p + 2 - 6 = 0. Suppose p*i = i + r. Is 14 a factor of i?
True
Let h(b) = -b**2 - 15*b - 4. Does 8 divide h(-12)?
True
Let b be (-27)/6 - (-2)/4. Let i be 2/((-10)/b - 2). Suppose -4*m - 5 = -2*p - 31, -6 = -i*m - 2*p. Is 3 a factor of m?
False
Suppose 6 = k - 2*t, 4*k - t = 5*k + 3. Suppose 3*b - 2*b - 63 = k. Suppose 0 = -4*s - 5*g + 18 + b, -3*g + 71 = 4*s. Is 7 a factor of s?
True
Let f be 1/((-2)/(-2)) + 3. Suppose 2*n = f*o + 3*n - 176, o - 2*n = 53. Is 4/(-18) - (-640)/o a multiple of 7?
True
Suppose 2 = -4*n - 2. Let h be (3 - 4)*n*5. Suppose -20 = -y - 2*p, -2*y + 2 + 38 = h*p. Is 10 a factor of y?
True
Let d(x) = -x**2 + 5*x + 4. Let z be d(5). Suppose 2*i + 142 = z*l - 0*i, -3*i = -l + 28. Is 6 a factor of l?
False
Is -4 + 18 + -3 + 4 a multiple of 4?
False
Let d = 1123 - 766. Does 51 divide d?
True
Suppose -7 = -4*y + c + 2*c, -12 = -4*c. Let n be y/2 + 4 - 2. Is n*(-2)/4*-4 a multiple of 4?
True
Suppose d - 33 = -2*s - 10, -2*s = -d + 27. Is d a multiple of 5?
True
Suppose -3*f + 248 = -s, 4*f + 3*s + 75 = 423. Does 29 divide f?
False
Let y be -2 - (-4)/6*3. Suppose -4*w - 2*g + 164 = y, -4*w - 3*g = -139 - 29. Suppose -w = -5*s - 9. Is s a multiple of 3?
True
Let s(n) = 2*n**2 - n - 3. Let v(f) = -2*f**2 + 3. Let a(w) = -4*s(w) - 5*v(w). Does 6 divide a(2)?
False
Let p = 37 + 5. Is p a multiple of 15?
False
Let c be 4/(-6) + 14/3. Let k(p) = -p**3 + 16*p**2 + 17*p + 3. Let o be k(17). Suppose -o*s + 87 + 42 = c*g, 0 = 4*s + 4*g - 168. Does 13 divide s?
True
Let d be (-2)/(-5) - (-172)/(-5). Let u = -15 - d. Suppose -3*i + 39 = 4*o, 0*o - u = -4*o + i. Is o a multiple of 4?
False
Let h(b) = -b**3 - b**2 - b - 3. Is h(-4) a multiple of 49?
True
Suppose -5*v + 43 = s, 6*s = s + 2*v + 107. Does 23 divide s?
True
Let h be 1 + 0 + (1 - -2). Suppose 6 = h*n - 118. Is 17 a factor of n?
False
Let x be 3/(-6)*2 + 98. Suppose 0 = -4*y + y - 4*z + x, 2*z + 39 = y. Let t = y - 21. Is t a multiple of 7?
True
Let j(i) = -i**3 - 13*i**2 - 14*i - 9. Let h be j(-12). Let y = h - -6. Does 21 divide y?
True
Suppose 4*k = 2 - 22. Is 6 a factor of (-2)/(-10) + (-69)/k?
False
Let h be ((-12)/8)/(2/(-4)). Suppose 46 = h*d + 2*l, 3*l + l = -4*d + 64. Does 7 divide d?
True
Does 12 divide 37/2 - 4/(-16)*2?
False
Let z(u) = 20*u**2 + 3*u. Let b be z(-2). Suppose i = -5*x + 158, -2*i - 2*i = 2*x - b. Does 27 divide x?
False
Suppose 3 = 4*s - 3*c, 5*c = s - 0*c - 22. Let f = s - -1. Is 12 a factor of ((-2)/(-4))/(f/(-104))?
False
Let g be (-1)/(-5) - 29/(-5). Suppose -7*s = -g*s - 50. Is 25 a factor of s?
True
Suppose 2*o - 20 = 2. Is 11 a factor of o?
True
Is (330/20)/((-6)/(-16)) a multiple of 8?
False
Let p(t) = -t**3 + 5*t**2 + 2*t - 7. Let h be ((-8)/1)/(-2) - -1. Let k be p(h). Suppose 0 = -k*r + c + 43, 0 = -r - 0*r + c + 11. Is 16 a factor of r?
True
Let n(q) = q**3 - 12*q**2 - 7*q + 18. Let j be n(12). Let k = j + 151. Does 25 divide k?
False
Let g(i) = -i**3 + 5*i**2 + i + 4. Let a be g(5). Does 2 divide 1/2 - a/(-6)?
True
Suppose -u + 24 = 3*u. Suppose 3*t = u*t + p + 5, -t + 15 = -3*p. Suppose t = -o - o + 12. Does 4 divide o?
False
Let x be ((-8)/(-10))/2*10. Suppose x*w = -5*t + 46, -4*w + 0*w + 42 = 3*t. Is w a multiple of 3?
True
Let b be 5 + 0*2/2. Suppose 0 = -p + 4*p. Suppose -35 = -4*l - b*v, -4*l + l + v + 12 = p. Is l a multiple of 2?
False
Let k(r) = r**3 - 4*r**2 - 2*r - 9. Is 17 a factor of k(6)?
True
Suppose 4*x = 5*m + 252, -5*x - m + 336 = -2*m. Is 17 a factor of (10 - 5)*x/10?
True
Let b(a) = -a**3 - 11*a**2 + 11*a + 28. Is b(-12) a multiple of 5?
True
Let v(w) = w**3 - 2*w**2 - 6*w. Let z be v(5). Let j = -18 + z. Is 7 a factor of j?
False
Suppose -5*z + 23 = t - 2*z, 3*t - 37 = -z. Let s = 27 - t. Does 5 divide s?
False
Let l = 119 - 89. Does 5 divide l?
True
Does 14 divide 14*(-16)/12*-3?
True
Suppose 0*n - 54 = -2*n. Let d = 6 - n. Let k = 31 + d. Does 10 divide k?
True
Let i be (5 - -1)*1/(-1). Is (-4 - 5)/(i/20) a multiple of 15?
True
Let h(v) = v + 4. Let c(n) = n + 5. Let f(m) = 4*c(m) - 3*h(m). Is 4 a factor of f(0)?
True
Let w be 0*(-1)/4*2. Suppose -5*b + 2*b + 198 = w. Is b a multiple of 22?
True
Suppose 2*d + 1 = 17. Suppose 8 = 4*g - d. Suppose 5*b + h + h - 86 = 0, h - 67 = -g*b. Is 12 a factor of b?
False
Suppose 0 = 3*b - 5 - 10. Let n = b + 23. Is 14 a factor of n?
True
Suppose -5*h + 7 = -8. Suppose -2*u + h*u = 45. Is u a multiple of 19?
False
Let h = -10 + 24. Let z = 36 - 20. Let x = z + h. Is 13 a factor of x?
False
Let c = 60 + -31. Is 29 a factor of c?
True
Let y(f) = 2*f**2 + 4 - 11*f + 0 + 0*f + 3. Is 28 a factor of y(7)?
True
Suppose -3*g + 27 = -6*g. Does 9 divide (-327)/g - (-4)/6?
False
Suppose 2*q = 4*u - 674, -u + 59 = -q - 111. Does 20 divide u?
False
Does 15 divide 66/8*(-200)/(-15)?
False
Suppose 0 = -5*u + 2*b + 1325, 0*b + 5*b + 509 = 2*u. Does 36 divide u?
False
Let u be (-127)/3 - (-4)/(-6). Let n be (21/(-4))/((-7)/(-28)). Let w = n - u. Is 11 a factor of w?
True
Let r = 10 - 8. Let t be -4*((-3)/r)/(-3). Does 11 divide 6*(-39)/18*t?
False
Let k(w) = -1 + 2 - 5 - 2*w. Let y be -6 - (-3 + 1 + 0). Does 4 divide k(y)?
True
Let c(s) = -s + 8 + 0*s + 6 + 4. Let a(v) = -v + 6. Let w be a(-7). Is c(w) a multiple of 5?
True
Let n(u) = u**2 - 7*u + 4. Let w be n(10). Let k = 3 + 0. Suppose -k*l = -8 - w. Is 9 a factor of l?
False
Is 23 a factor of (-1383)/(-30) + 2/(-20)?
True
Let s be (-2)/(-11) + 159/33. Let c = 3 - 5. Is 20 - (-5)/(s/c) a multiple of 6?
True
Let r = -4 - -11. Let g(j) = -1. Let a(m) = -4*m. Let u(f) = -a(f) - 4*g(f). Is u(r) a multiple of 16?
True
Let b(g) = -g**2 + 6*g - 7. Let z be b(5). Is 8 a factor of (-17)/z - (-5)/(-10)?
True
Let k = -178 + 123. Let n = 99 + k. Is 11 a factor of n?
True
Is 341 + -11 + 9 + (-4)/(-2) a multiple of 19?
False
Let x be -2 - 1 - (-9)/3. Suppose 3*k - 52 - 164 = x. Does 18 divide k?
True
Let r(i) = i**3 + 11*i**2 + 2. Let l be r(-11). Suppose -5*z = -l*z - 15. Suppose 0*k = -z*k + 90. Is k a multiple of 11?
False
Let w(d) = -d + 3. Let r be w(3). Suppose r*i = -4*i + 8. Suppose 4*x = i*j - 42, 5*x - 70 = -2*j + 2*x. Is 12 a factor of j?
False
Let l(x) = -3*x**2 + 10*x + 12. Let b(z) = -2*z**2 + 11*z + 11. Let w(j) = -4*b(j) + 3*l(j). Is 9 a factor of w(-12)?
False
Let r(v) = 5*v**2 - 30*v - 3. Is 24 a factor of r(9)?
False
Does 31 divide (-112 + -6)*2/(-4)?
False
Suppose -4*j = -c - 53, -4*c + 2*j + j = 199. Let t = -34 - c. Is t a multiple of 10?
False
Let y(c) = -c**2 + 3*c + 3. Let d be y(3). Suppose -25 = -5*g + 4*g. Let l = d + g. Is l a multiple of 11?
False
Let d be 120/28 + (-4)/14. Suppose -5*u = -10, -2*o = -d*u - 242 + 42. Is 33 a factor of o?
False
Let g be -2 + 0 + 3 + 0. Let y(t) = 37*t**2 - t. Is 12 a factor of y(g)?
True
Let v be 2*(-1 + 0)*-2. Suppose v*u = u + 36. Does 9 divide u?
False
Suppose -3*w + 5*w = 0. Suppose 0*i + 4*n - 28 = -4*i, -4*i + 4*n + 12 = w. Is i a multiple of 5?
True
Let j = 46 + 188. Is 18 a factor of j?
True
Let i(h) = h**3 - 11*h**2 + 14*h - 17. Is 23 a factor of i(1