
True
Let p(z) = z**2 + 6*z - 11. Is p(7) a multiple of 10?
True
Suppose 0 = -a + 8 - 1. Suppose 0 = -a*u + 2*u - 40. Does 6 divide (u/(-12))/(1/18)?
True
Let f be ((-4)/1)/2 + 2. Suppose -4*a - 4*j - 144 + 32 = f, 5*a = -4*j - 137. Let i = -18 - a. Is 3 a factor of i?
False
Suppose -4*z + 2*b + 156 = -3*b, 5*z - 195 = -b. Does 11 divide z?
False
Suppose -i - 2*v = i, 0 = 2*i - 4*v. Let y = 3 - i. Is 3 a factor of y?
True
Let g be 9/6*20/6. Suppose -3*t - 3 = -5*h - 4, 2*t + g*h = 9. Suppose t*i - 16 = 12. Is i a multiple of 7?
True
Suppose -2*o - 2*q + 168 = 0, -3*q + 133 + 199 = 4*o. Is 16 a factor of o?
True
Let i(m) = -9*m - 30. Is 12 a factor of i(-22)?
True
Suppose 0 = -5*i + 1 + 34. Does 7 divide i?
True
Suppose -c = 3*c - 8. Let d be -8*((-2)/4 - c). Suppose -f - 2*q + q + 32 = 0, -2*q = -f + d. Is f a multiple of 14?
True
Suppose 7 = 4*u - 1. Let t(l) = 3*l - 12*l - l**2 + 0*l**u - 9. Does 9 divide t(-6)?
True
Suppose b + 4*q + 0*q = 28, q = -5*b + 178. Is b a multiple of 9?
True
Let g = 179 - 77. Is 26 a factor of g?
False
Suppose -v = -2*l - 11, 0*l = -l - v - 13. Let r be (-62)/l - 3/(-12). Is 314/8 - 2/r a multiple of 13?
True
Suppose -3*n = 2*n - 15. Suppose -42 = -5*a + n*a. Does 21 divide a?
True
Suppose 0 = -3*x + 4 + 32. Suppose -m - 1 = -x. Suppose -m = -d + 25. Does 18 divide d?
True
Let i(s) = s + 78. Let m be i(0). Let r = -7 - -16. Is 26 a factor of (4 - 1)*m/r?
True
Suppose -2*q + 264 = q. Let u = q + 156. Is 12 a factor of u/10 - 4/10?
True
Suppose 0*c = -5*c - 15. Let u = 2 + c. Does 10 divide ((-7)/(7/30))/u?
True
Suppose -3*r = 12, 5*a = 3*a + 3*r + 76. Does 9 divide a?
False
Let r be (0 - 1)/1*0. Let z be (-4)/(-8)*(0 - r). Suppose 5*x + 0*x - 105 = z. Is 11 a factor of x?
False
Suppose -2*y - 2*y = -120. Is (-7)/((-7)/y) - -2 a multiple of 9?
False
Suppose 3*j + 4*q = 178, j - 54 = -3*q - 3. Is 11 a factor of j?
True
Let m(q) = -10*q - 9 - 4*q + 2*q. Let g be m(-11). Suppose -d - 2*d = -g. Is 14 a factor of d?
False
Let m(v) = 5*v - 1. Let r be m(1). Let q(k) = k**3 - 3*k**2 + 2*k. Is 12 a factor of q(r)?
True
Suppose 5*f + 0*f = -4*s + 6, 0 = 5*f - 3*s - 13. Suppose -f*u + 4*d = -18, 4*u = d - 2*d + 27. Let b = 15 - u. Does 7 divide b?
False
Suppose -4 = 4*n - 4*b, -3 - 3 = -3*b. Suppose -4*c - n = -129. Does 8 divide c?
True
Let c be (1 - (-8)/(-6))*0. Suppose -2*s = 2*r - 46, 0 = 2*s - 4*r - 9 - 25. Let g = s - c. Does 11 divide g?
False
Suppose -11*j - 3*t + 140 = -7*j, 0 = 3*t. Is 29 a factor of j?
False
Suppose 2*y = 2*w - 20, 5*w - 3*y = 28 + 24. Let t(a) = a**2 - 9*a - 1. Does 13 divide t(w)?
False
Is 0 + (8*-3)/(-1) a multiple of 8?
True
Let d(k) = 2*k**2 - 7*k + 4. Let x be d(4). Suppose -x = -2*y - 0*y. Suppose -t = 2*t - y*q - 82, 2*t - 47 = -5*q. Does 14 divide t?
False
Let r(i) be the second derivative of -i**4/12 + 5*i**3/6 - 2*i**2 + i. Let k be r(3). Suppose 3*t - 69 = -4*n, -3*t + 89 = k*t - 2*n. Is t a multiple of 12?
False
Suppose 0 = -2*j - 6, w - 3*j = -2*w + 60. Is 6 a factor of w?
False
Suppose 2*n + 20 = n. Let x = 40 + n. Does 13 divide x?
False
Let w(g) = -7*g + 10. Let j be w(-8). Let y = j - 14. Is y a multiple of 13?
True
Let o = -444 - -888. Is 37 a factor of o?
True
Let v = 130 - 92. Is 19 a factor of v?
True
Does 6 divide (-6)/12 + 150/4?
False
Let k = -13 - -18. Suppose -26 = -g - k*v, 9 = 3*v - 6. Suppose 4*p = 3*x - 9, -x + 3*p + 4 = g. Is x a multiple of 2?
False
Let f(k) = k**2 - 8*k - 9. Suppose -o - o + 18 = 0. Let n be f(o). Suppose -5*q + 15 = -n*q. Is q a multiple of 3?
True
Let h be (-84)/(-15) - (-2)/5. Let t(j) = 3*j**2 - 3*j + 4. Let n(z) = 3*z**2 - 2*z + 3. Let a(q) = h*n(q) - 5*t(q). Is 17 a factor of a(3)?
True
Let q = 2 - -3. Suppose -2*n = -4*g - 20, n - q*g = -2*n + 27. Is n a multiple of 2?
True
Let d(b) = 2*b**2 - 2*b + 1. Let n = -25 + 29. Does 8 divide d(n)?
False
Let g(f) = -f**3 + 7*f**2 - 10. Does 20 divide g(5)?
True
Is 21 a factor of 1503/36 + (-3)/(-12)?
True
Suppose 0 = 2*y - w + 68, -y - 48 = -3*w - w. Let x = y - -47. Does 5 divide x?
True
Let u(q) = q - 3. Let s be u(5). Suppose 38 + 30 = s*x. Is 16 a factor of x?
False
Suppose 0*b + 3*b = 3*c + 12, -4*c - 16 = 0. Suppose d + x = 7, b = -5*d + 5*x - x + 17. Suppose -2*p + 22 = 4*r, -d*r - 2*p + 29 = p. Is r a multiple of 2?
True
Let s(z) = z**2 - 4*z - 4. Let l be s(4). Let d be l/(-18) - (-68)/18. Is (2/d)/(1/52) a multiple of 20?
False
Let l(z) = z**2 - z - 5. Let v be l(0). Let d be 12*((-15)/(-6))/v. Does 11 divide d/(-4)*(-46)/(-3)?
False
Suppose -1 - 3 = -4*j. Does 4 divide (-3 + j)/(2/(-4))?
True
Suppose v + b = 9, -4*v = -5*b - 27 - 0. Suppose 0*t + 4*t = v. Suppose -d - d = t*c - 48, 5*d - 39 = -2*c. Is 16 a factor of c?
False
Let t be (-76)/(0 + 4) + -1. Let o = -63 - -111. Let n = o + t. Is n a multiple of 14?
True
Let g be (3 - 1)*(5 + -2). Is 8 a factor of g/(-18) + (-76)/(-3)?
False
Let a be 1/(-8) - 265/(-8). Is a + (-4)/(-2) + 1 a multiple of 13?
False
Let m = -5 - -7. Let j = 30 - 27. Suppose 0 = -5*b + j*s + 30 + 29, -4*s = -m*b + 32. Is 5 a factor of b?
True
Suppose 3 = -3*j + 5*d + 2, 2*d = -j - 4. Let r be (-4 - 0)*(j + 3). Is 1144/36 - r/18 a multiple of 12?
False
Let u = -3 - -6. Suppose 2*m - 22 = -2*s, -20 = 2*s + 3*s. Suppose m = u*q, -v + 0*q + 16 = 2*q. Is v a multiple of 5?
False
Let h = -11 - -5. Does 8 divide ((-16)/(-3))/((-1)/h)?
True
Suppose -t - 3*t + 3*j + 64 = 0, 80 = 5*t + j. Suppose -3*l + 29 = -t. Does 5 divide l?
True
Is 8 a factor of (-10)/6*48/1*-1?
True
Suppose 5*z + 284 = 4*t, -2*t = 2*z - 31 - 93. Is 34 a factor of t?
False
Let b(k) = 26*k**2 - k + 1. Is b(1) a multiple of 10?
False
Let r(j) = -9*j**3 - j**2 + 5*j + 5. Let c be r(-2). Suppose 0 = -3*u + 6 + c. Does 6 divide u?
False
Suppose -3*d + 4 = -o, 5*o - 10 = d - 2. Let t(u) = 2 + 2*u + 5*u + u**2 - 2*u**o. Is 11 a factor of t(4)?
False
Let f = 8 + 13. Is 13 a factor of 3/f - 250/(-14)?
False
Suppose 0 = -5*y - 2*p + 4*p + 7, 2*y + 5*p - 26 = 0. Suppose 2*i = y*i - 2. Suppose i*o + 3*o = 55. Is 10 a factor of o?
False
Let s = 1 - -22. Does 3 divide s?
False
Let c(k) = k**2 + 6*k + 6. Let g be c(-5). Let n be (-2 - (-55)/(-10))*-2. Let w = g + n. Does 8 divide w?
True
Suppose -h + 6 = 4*o, 0 = 3*o + h + 2*h. Is o a multiple of 2?
True
Let y = 6 - -24. Does 5 divide y?
True
Let d(t) = t**3 - 1. Let n be d(3). Let s = n - -5. Is s a multiple of 11?
False
Let v(w) = 5*w**2 - 3*w + 3. Is v(2) a multiple of 3?
False
Let n be 132/55 - (-6)/10. Suppose n*u - 5*h - 17 = 0, 2*u = -h - h + 38. Is u a multiple of 14?
True
Let w be -6*1/(-2) - 5. Does 13 divide w/(-4) + 77/2?
True
Let g(f) = f**3 + 7*f**2 - f + 1. Let m be g(-7). Let p(h) = 10*h - 10. Let w be p(3). Let x = w - m. Does 4 divide x?
True
Suppose 2*k + y = 0, 0 = -5*k - 5*y + 3 + 2. Let p be k - 1/(3/(-81)). Suppose a = -a + p. Does 13 divide a?
True
Does 3 divide 10*(78/15 + -4)?
True
Let u = -10 + 15. Suppose 0 = 3*q - 5*g - 15, u*q + 2*g + 3 = g. Is 11 + 4 + (1 - q) a multiple of 16?
True
Is ((-160)/64)/((-2)/280) a multiple of 50?
True
Let x = 3 - 4. Let o be -3*(-1)/((-6)/34). Let i = x - o. Is 6 a factor of i?
False
Suppose 4*y = -a + 129, 0*y - 5*a - 68 = -3*y. Let l = y + -16. Is 6 a factor of l?
False
Is 5 a factor of -2 + -2 + 6 - -15?
False
Let r = -119 + 27. Suppose -15 = g - 158. Let z = g + r. Is 15 a factor of z?
False
Let r = -10 - -12. Let d(n) = 6*n**3 - 2*n. Is 16 a factor of d(r)?
False
Suppose 9*h = h + 144. Does 6 divide h?
True
Let b be -1 - -2 - (-8)/8. Let s(d) = 2*d**3 - 4*d**2 + 4*d - 2. Is s(b) a multiple of 3?
True
Let x = 1 - 0. Let m = 12 - x. Is m*(-2 + 3) - -1 a multiple of 12?
True
Suppose 8*t - 4*t - 336 = 0. Suppose -5*z = 4*s - t, 92 = 3*s + 2*s + 3*z. Is 16 a factor of s?
True
Let k be (-10)/(-3) + 1/(-3). Suppose i = 5*j - 25, -2*j + 11 = -3*j - k*i. Is j a multiple of 3?
False
Let k(m) = -m + 2. Let l be k(0). Suppose 0 = -4*g + 8 + 8. Let i = g + l. Does 3 divide i?
True
Let n(r) = -4*r - 1. Suppose 0 = k + k - 2*o + 22, -4*o = 3*k + 19. Does 10 divide n(k)?
False
Let g = 6 - 1. Suppose 2*w + g = w. Is (w/(-4))/(2/8) even?
False
Suppose 0*i = 5*i + 5. Let q(m) = -20*m**3 + m**2 + m + 1. Let f be q(i). Suppose -b = -f + 2. Does 6 divide b?
False
Suppose c = -16 - 4. Let z = 34 + c. Let o = z - -4. Is 