
True
Suppose -17 - 13 = -2*g. Suppose -2*o + s + g = 0, 5*o + 4*s + 5 = 36. Is o a multiple of 7?
True
Let l = 160 + -65. Is 19 a factor of l?
True
Let p be (-47)/7 - 2/7. Let l = p - -11. Suppose 90 = 3*q - i, l*q - 120 = -i + 3*i. Is 13 a factor of q?
False
Suppose 0 = 12*s + 4*s - 1872. Is 13 a factor of s?
True
Let j(f) = -78*f - 1. Let s be j(-1). Suppose 95 = 4*r - 0*k - 5*k, -4*r = k - s. Is r a multiple of 7?
False
Let w(l) = 20*l**2 - 2*l - 35. Let f(t) = -7*t**2 + t + 12. Let s(h) = 17*f(h) + 6*w(h). Is s(-8) a multiple of 18?
True
Let h = 60 + 150. Is 21 a factor of h?
True
Let u = -5 + 13. Is 8 a factor of u?
True
Let y = 3 - 6. Let v be 4/y + (-3)/(-9). Is v*(-1 + 0) - -25 a multiple of 13?
True
Let t(c) = c**3 - 2*c**2 - 6*c + 6. Let b be t(6). Suppose u = -0*u + 2, -2*k = -3*u - b. Suppose -4*r + k = -r. Is 10 a factor of r?
True
Let p = 80 - 66. Is p a multiple of 4?
False
Let j(i) = 4*i**2 + 6*i - 9. Is 6 a factor of j(2)?
False
Let g be 44/10 - 4/10. Is g/2 - (-3 + -48) a multiple of 18?
False
Let g = -126 + 267. Is g a multiple of 47?
True
Let d be 5/3 - 1/(-3). Suppose 0 = d*z + z, -2*z = v - 9. Is v a multiple of 4?
False
Let s(u) = -u**3 - 7*u**2 - 5*u + 8. Let j be s(-6). Is j/13 - 980/(-52) a multiple of 19?
True
Let w(p) = 4*p**3 - 5*p**2 + p + 3. Is w(3) a multiple of 23?
True
Is 6 a factor of ((-2)/6 - -1)*39?
False
Suppose 3*r - 2*r + h - 7 = 0, 0 = -4*h. Is 3 a factor of r?
False
Let q(s) = s**3 - 12*s**2 + s - 7. Let t be q(12). Suppose 4*m + 4 = t*m. Is 4 a factor of m?
True
Suppose 152 = 9*c - 8*c. Is c a multiple of 38?
True
Suppose -95 = -8*c + 3*c. Is 10/5 + c + 1 a multiple of 11?
True
Let r(m) = -m**3 + 8*m**2 - 4. Let x = 18 - 10. Let q be r(x). Is (-188)/(-6) - q/6 a multiple of 14?
False
Let g(n) = -n**2 + 1. Let s be g(-1). Let h(v) = -11*v + 3. Let z be h(-3). Let t = z - s. Does 13 divide t?
False
Suppose -42*r = -36*r - 672. Does 7 divide r?
True
Let o = -7 - -3. Is 12 a factor of o/(-2*2/24)?
True
Suppose -5*v = -4*y - 8, 0*v = -y + 4*v - 13. Suppose -y*k = -4*k + 10. Is 10 a factor of k?
True
Suppose 2*s = -2*s + 3*w + 34, 46 = 5*s - 2*w. Suppose s*y - 255 = 5*y. Is y a multiple of 16?
False
Is 16 a factor of 4 + 0 + -2 - -94?
True
Is (-4)/2 - (17 - 122) a multiple of 28?
False
Suppose -2*h = -3*h + 2. Suppose 0 = 2*i + 2*p - 16, -2*p = -h*i - 0*i + 32. Is i a multiple of 12?
True
Suppose -3*q - 356 = 118. Let p = -103 - q. Suppose -p = -2*n - 5*g + 45, -2*g = 0. Does 24 divide n?
False
Suppose 0 = 3*d + 7 + 8. Let x be 2*3*d/(-3). Suppose 0*r = 2*r - x. Is 2 a factor of r?
False
Let x be (0 + 0)*(-3)/(-6). Suppose -4*j + 3*m = 2*m - 149, -3*j - m + 103 = x. Does 19 divide j?
False
Suppose -1 = -r, -2*q - 19 - 8 = -5*r. Let l = q + 20. Does 9 divide l?
True
Suppose l + 9 = -5*n + 30, -3 = -3*l + 5*n. Let v be 15/l*(-4)/(-2). Suppose -p - 32 = -3*c, v*p + 50 = 4*c + c. Does 11 divide c?
True
Let m = -17 + 11. Let q = 12 - m. Does 9 divide q?
True
Suppose -9*g + 3*g + 552 = 0. Does 11 divide g?
False
Let z be 6/9*-3 + 6. Suppose -3*c - 2*i = -44, -7*i = -c - z*i + 22. Is 11 a factor of c?
False
Suppose 5*a - 14 - 1 = 0. Suppose -4*w = 2*n - 32, -6*w = 5*n - a*w - 45. Does 11 divide (-3)/n*4 - -22?
False
Suppose 12 - 32 = -5*z. Suppose 0*r = -z*r. Suppose r = a - 2*a + 29. Does 17 divide a?
False
Suppose 4*p = -4 + 12. Suppose 3*y + l = 9, p*y + 2*l = 7*y - 4. Suppose 5*g + 3*q = 84, y*g - 4*q + 57 = 5*g. Is g a multiple of 5?
True
Suppose 3*b + 7 = 3*p - 5, -10 = 3*b - 2*p. Let q be 0 + (-2)/b - 1. Suppose 2*d - 6*n + 5 = -n, q = n - 5. Is 5 a factor of d?
True
Let m(d) = -2*d**2 + d - 1. Let r be m(1). Let s be 3*r/(-3) - -1. Suppose 31 = s*b - z - 0*z, -2*b + 2*z = -26. Is 4 a factor of b?
False
Is 5 a factor of -3 + (-46)/(0 - 2)?
True
Let o = -439 - -262. Does 26 divide 1/(-3 + (-534)/o)?
False
Suppose 4*i - 12 = -2*q, 0*i + 2 = 2*i - q. Suppose i*s - 18 = s. Is 18 a factor of s?
True
Let t = -16 + 22. Let u be t/12 - (-1)/(-2). Suppose u = -n - n + 24. Is n a multiple of 12?
True
Is ((-3)/(-9))/(6/846) a multiple of 7?
False
Let q(u) be the second derivative of u**4/2 + u**3/3 - u**2/2 - 4*u. Is 7 a factor of q(2)?
False
Let v(k) = -k**2 + 5*k - 2. Let f be v(9). Let m = -18 - f. Does 7 divide m?
False
Let m(f) = -f + 7. Does 6 divide m(-11)?
True
Let o(u) be the third derivative of 13*u**7/5040 + u**6/720 + u**5/30 + 3*u**2. Let q(r) be the third derivative of o(r). Does 14 divide q(3)?
False
Suppose 2*f - f = 36. Is f a multiple of 12?
True
Suppose -5*l - k + 161 = -34, 4*l - 3*k - 175 = 0. Is 5 a factor of l?
True
Let b(z) = -2*z**2 - 2*z - 1. Let a be b(-3). Let v = 56 + a. Is v a multiple of 14?
False
Suppose -7 = -3*i - f, 0 = -5*i - 0*f - 5*f - 5. Suppose -w + 5*t = -0*w + 4, i*w - 5*t - 59 = 0. Is 9 a factor of w?
False
Suppose -a - a + 16 = 0. Is a even?
True
Suppose d + 136 = 4*h, -3*h - 3*d + 82 = -h. Is (2 - (-16)/(-20))*h a multiple of 8?
False
Let l(y) = -y. Let k be l(0). Suppose -s = -22 - k. Does 3 divide 14/77 - (-194)/s?
True
Suppose 2 = 2*u + 6. Let i(p) = -2*p. Does 4 divide i(u)?
True
Let p = 6 + -4. Let b be (-346)/(-8)*1*4. Suppose 4*j + 4*u - p*u - 138 = 0, -5*j - 3*u + b = 0. Is 13 a factor of j?
False
Let t be -3 - -2 - (-2 + -1). Is t/(-1) + (6 - -2) a multiple of 2?
True
Let a(z) = 22*z + 3. Is a(3) a multiple of 12?
False
Suppose -5*f - 2 - 3 = 0. Does 3 divide f/(((-8)/(-6))/(-4))?
True
Suppose -3*k - 4*o = -6*k + 70, -5*k + 70 = 5*o. Let q = k + 5. Does 15 divide q?
False
Let d(t) = 6*t + 30. Is d(9) a multiple of 21?
True
Let g(h) = -h**3 - 12*h**2 - 12*h - 1. Let k be g(-11). Does 13 divide 456/k - 15/25?
False
Let u = 3 - 2. Let w = 0 - u. Let y = 8 + w. Is y a multiple of 7?
True
Let k be 0*(0 + (-1)/2). Suppose -2*n + 4*g + 63 + 13 = k, 5*g = -10. Is 13 a factor of (n/(-4))/((-1)/2)?
False
Does 30 divide (-42)/63 + 376/6?
False
Let r = -62 + 109. Is 10 a factor of r?
False
Suppose 2*l - 40 = -2*d, l - 6*l + 90 = 3*d. Let j = l + -6. Does 9 divide j?
True
Let g(q) be the second derivative of 5*q**6/36 - q**5/120 + q**3/3 + 3*q. Let i(z) be the second derivative of g(z). Does 19 divide i(-1)?
False
Let p be 2*2 + 1/(-1). Suppose 9 = -0*i + p*i. Does 7 divide i*((-38)/(-6) - 2)?
False
Let v = 123 + 57. Is 9 a factor of v?
True
Suppose 214 + 54 = 5*m - 2*o, 4*o + 68 = m. Suppose 3 = 4*n + 151. Let q = m + n. Is 15 a factor of q?
True
Suppose -5*r + 3*r - 12 = 0. Let j(l) = -l**3 - 7*l**2 - 8*l - 7. Is 5 a factor of j(r)?
True
Let o = 152 + -71. Is 23 a factor of o?
False
Does 7 divide 9/6 + (-43)/(-2)?
False
Let a be (-1)/(-7) - 69/(-7). Suppose 7 = -2*i - 3*n + 1, 0 = 3*i - 4*n - 8. Suppose 3*k - 40 + a = i. Is k a multiple of 3?
False
Let c(v) = -v**2 + 7*v + 3. Let l(d) = 3*d**2 - 22*d - 8. Let n(q) = 7*c(q) + 2*l(q). Does 3 divide n(4)?
True
Suppose 2*c + 9 = -5*z, -7 = -0*c + 5*c - 3*z. Let g be c/(-3)*63/14. Suppose g*v = 91 + 8. Is v a multiple of 16?
False
Let v = -6 - -10. Suppose 0 = -v*n + 87 + 117. Suppose -4*h + n = q, h - 21 = -3*q - 0. Is h a multiple of 6?
True
Let l = 28 + -64. Let z = 58 + l. Does 7 divide z?
False
Is 18 a factor of (816/(-20))/6*-5?
False
Suppose -k - 4 = 4. Let w(h) = h**2 + 6*h - 11. Let j be w(k). Suppose -j*g + 51 + 24 = 0. Is g a multiple of 15?
True
Let j = 24 + -43. Let u = j + 37. Is 10 a factor of u?
False
Suppose -t - 30 = 2*t - 3*v, 3*t = 4*v - 31. Does 14 divide ((-6)/t)/(6/207)?
False
Let i(c) be the second derivative of c**6/120 - c**5/10 + c**4/12 + 2*c**3/3 + c**2 - c. Let o(k) be the first derivative of i(k). Is o(6) a multiple of 6?
False
Let t(s) = -1 + s - 2*s - 2. Let r be t(-7). Suppose r*c - 5*k - 57 = 0, -2*c + k + 24 = -3*k. Is 18 a factor of c?
True
Let c(x) = x**3 - 2*x**2 + x. Let p be -2 - 4/(-2)*3. Is 12 a factor of c(p)?
True
Let d be ((-10)/6)/(2/(-6)). Suppose d*w = 1 + 19. Suppose -w*y + 18 = -y. Is y a multiple of 6?
True
Let i(f) = 23*f**2 - 2*f - 1. Let q(w) = -w + 3. Let a be q(4). Is 12 a factor of i(a)?
True
Let f(j) = 16 + j**3 + j - 13 + 20 + 10. Let t be f(0). Suppose -2*h + 5*s + t = 0, -2*s - 3*s - 5 = 5*h. Is h a multiple of 3?
False
Suppose -4*h = -2*h - 68. Let t be h/6 - (-2)/(-3). Suppose 4*v = 4*l - 0*v - 8, 0 = 2*l + t*v - 39. Does 6 divide l?
False
Let d = 13 - 10. Let 