Suppose 2*a = -a + x. Does 11 divide a?
True
Suppose 10*a = 5*a + 75. Suppose -2*x + a = -5*j, 0*j + j = x - 15. Does 12 divide x?
False
Does 15 divide ((-808)/(-6))/((-14)/(-21))?
False
Let h be (-51)/(-2) + 3/(-6). Suppose -h = 3*y - 199. Is 21 a factor of y?
False
Let w = -33 + 20. Let n = w + 5. Does 3 divide (2*-1)/2 - n?
False
Suppose 0*v + 4*v - 20 = 0. Suppose v*i + 16 = 6*i. Does 9 divide i?
False
Let t(i) = i - 3. Let r be t(3). Let m be 1 + (-1)/(-1) + r. Suppose s + 3*s - 2*k = 92, 3*s + m*k = 62. Does 11 divide s?
True
Let q(d) = -4*d + 12. Let r be q(9). Is (-6)/4*(r + -4) a multiple of 21?
True
Let p be 2/2*(9 + 0). Suppose 8*v + 72 = p*v. Is v a multiple of 12?
True
Is 9 a factor of (2/(-4))/((-10)/620)?
False
Let k = -11 - -19. Suppose a - k - 4 = 0. Is 3 a factor of a?
True
Let u = 4 + -4. Suppose -i + 54 = o + 2*o, u = 4*o + 5*i - 61. Is 15 a factor of o?
False
Let h = 42 - 16. Suppose 0 = -0*w + 2*w + 5*g - h, 0 = -2*w + 3*g + 26. Is 9 a factor of w?
False
Let g(o) = 24*o + 3. Let n be g(3). Let v be (-1)/((-1 + 4)/(-45)). Suppose -n + v = -3*a. Is a a multiple of 20?
True
Suppose -h = -3*b - 14 - 3, 3*h + 3*b - 51 = 0. Is h a multiple of 5?
False
Let t be (6/(-9))/(2/(-6)). Let w(o) = 6*o - 2. Is w(t) a multiple of 4?
False
Let a = 29 - 18. Suppose -a - 29 = -2*w. Is 10 a factor of w?
True
Suppose -2*n + 170 = 3*n. Is n a multiple of 25?
False
Suppose 4*f - 10*h - 4 = -6*h, 38 = 3*f + 4*h. Let j(b) = b**3 + 6*b**2 + 10*b + 6. Let r be j(-6). Is (8/f)/((-4)/r) a multiple of 6?
True
Suppose 15 = -k - 4*n + 2, 0 = 4*k - 3*n + 14. Let i = 14 + k. Is 9 a factor of i?
True
Let z = 228 - 120. Is z a multiple of 9?
True
Let b(f) = -f**3 - 15*f**2 + 2*f + 14. Let j(a) = a**3 + 15*a**2 - 2*a - 13. Let m(p) = 4*b(p) + 5*j(p). Is m(-15) a multiple of 15?
False
Suppose 0 = 3*k + 2*s + s, s + 18 = 5*k. Suppose j = k*b + 2*j - 47, -2*b = -2*j - 34. Does 4 divide b?
True
Let s be -7 - 10 - (-3 - -1). Is 3 a factor of (-69)/s + 4/10?
False
Let m = -60 + 170. Is 11 a factor of m?
True
Suppose -83 = -n + 68. Suppose n = 2*r + 37. Is 18 a factor of r?
False
Let d = 117 + -61. Does 18 divide d?
False
Let t = 97 - 37. Is 20 a factor of t?
True
Let q = -13 + 35. Suppose 4*w - q - 26 = 0. Does 6 divide w?
True
Let k(q) = -q**2 + 8*q + 2. Let n be k(7). Suppose 2*l - 40 = -3*b, 10 + n = l + 2*b. Is 12 a factor of l?
False
Suppose 3*o + 2*c = 40, -5*o + 72 = -o - 2*c. Suppose 3*b - 5 + 18 = 4*h, 0 = -4*b - 3*h + o. Is b*((-2 - -2) + 13) a multiple of 8?
False
Let s(i) = -i - 3. Let c be s(-7). Let f be -2*c + (-6 - -5). Let v = f + 13. Does 2 divide v?
True
Suppose -3*a = -5*w - 1 - 14, 12 = -4*w + 4*a. Let n be w*1*48/9. Let c = n + 31. Is 12 a factor of c?
False
Let r(u) = -4*u - 3. Is r(-2) a multiple of 2?
False
Let q be 1 + 0 - 2 - -130. Suppose -3*j - q = -0*j. Let n = j + 61. Is 9 a factor of n?
True
Is 1/(3/6) + 98 a multiple of 25?
True
Suppose 23 = 5*r - 6*r + 5*s, -15 = -3*s. Suppose -3*n + 140 = r*n. Is 18 a factor of n?
False
Let a = 27 + -48. Suppose 4*t - 2*o - 20 = o, -3*t + 26 = -5*o. Is t*a/18*-3 a multiple of 7?
True
Let h be (0 - -4)*(-28)/(-8). Let y = h + -10. Does 2 divide y?
True
Let h be 6/(-3)*55/(-2). Suppose 0 = -5*c + 95 + h. Is c a multiple of 6?
True
Let s(y) = -4*y - 3. Let q(j) = -5*j - 4. Let z(m) = 2*q(m) - 3*s(m). Is 3 a factor of z(5)?
False
Suppose 0 = 26*z - 18*z - 240. Does 11 divide z?
False
Let o be ((-6)/2)/((-9)/6). Suppose 38 = 4*r - 5*c, -2*r = -r - o*c - 11. Does 2 divide r?
False
Let l(g) = 20*g**2 - 6*g + 9. Does 10 divide l(2)?
False
Let k(z) = -z**3 + 7*z**2 - 7*z + 8. Let h be k(6). Suppose 2*g = 7 - 3. Suppose 3*c + h*w = -2*c + 97, w + 46 = g*c. Is 7 a factor of c?
True
Let d(q) = 2 + 1 + 7 + 2*q - 7*q. Let g be d(-8). Suppose -g = -4*n - n. Is 4 a factor of n?
False
Let l be 1328/7 - 4/(-14). Suppose 7*p = 2*p + l. Is 14 a factor of p?
False
Let i be (-67)/(-2) - 3/2. Suppose 6*l - 2*l - i = 0. Suppose 3*f + 2*q - 14 = l, 0 = 2*f + 5*q - 11. Is f a multiple of 5?
False
Let k be 2 + 7 - 2 - 0. Suppose -4*o - 5*t - 12 = 13, -2*t = 10. Suppose o = -3*m + k*m - 12. Does 3 divide m?
True
Does 17 divide (2 - 150/24)*-36?
True
Let t(q) = q**2 + 10*q + 10. Let n be t(-10). Let m = n + -8. Suppose m*c + 28 = 4*c. Is 11 a factor of c?
False
Let c be (-3)/((-9)/21)*15. Suppose -5*r = -c + 10. Is r a multiple of 11?
False
Suppose 6 = 4*c - 6. Suppose -c*t - 44 = -4*t. Suppose k - t = -k. Does 11 divide k?
True
Let s = 19 - 2. Is 11 a factor of s?
False
Let a(t) be the first derivative of t**3/3 - 2*t**2 - 9*t + 2. Is a(-5) a multiple of 18?
True
Let w(o) = o**3 + 4*o - 4*o**2 + 0*o**2 - 8 - 4*o**2. Let l = 24 - 16. Does 12 divide w(l)?
True
Is 14 a factor of ((-39)/12)/(2/(-16))?
False
Let l = 5 + 3. Suppose b - l = -0*b. Suppose 3*g + b = 68. Is 11 a factor of g?
False
Does 17 divide ((-1)/4 + (-4376)/32)*-1?
False
Suppose 8 + 3 = y. Is y a multiple of 2?
False
Let q = -17 + 8. Does 14 divide (-1975)/(-35) - q/(-21)?
True
Let b(m) = m**2 + 6*m + 8. Does 24 divide b(-8)?
True
Suppose 4*l = -3 + 23. Suppose u + l = 18. Does 4 divide u?
False
Suppose 22*b - 599 = 18*b + 3*k, 611 = 4*b + k. Is b a multiple of 26?
False
Let u(t) = -t**3 + 6*t**2 + 3*t - 6. Suppose 22 = 2*a + 5*c, -a = -0*a - 3*c. Let v = a - 0. Is 12 a factor of u(v)?
True
Let i(v) = v**3 - 9*v**2 - 9*v - 3. Let q be i(10). Suppose -q*m = -2*m - 30. Is 4 a factor of m?
False
Suppose -5*h + 93 = 3*f, -30 = -2*h - f - 2*f. Is 7 a factor of h?
True
Does 12 divide (-4)/((-4)/3) + 9?
True
Suppose 3*p - 2*p - 4 = 0. Suppose -p*i + 16 = -0*i. Is i a multiple of 4?
True
Suppose -5*f + 195 = -100. Suppose 11*t = 2*t - 297. Let y = t + f. Does 13 divide y?
True
Suppose -n = 2*u - 25, -4*n + u = -23 - 32. Does 10 divide n?
False
Is 13 a factor of 2/8 + 621/12?
True
Is 11 a factor of (-236)/(-2) + (5 - -2 - 4)?
True
Let j(i) = 10*i**2 + 4*i - i**3 + 1 - 5 - 3*i**2 + 0*i**2. Is j(7) a multiple of 12?
True
Let o be (-3)/(1 - -2) - -3. Suppose -q = -o*q + 24. Is 12 a factor of q?
True
Suppose 46 = 5*l + 2*j, -l + 0*l = 2*j - 14. Let v = 5 + -1. Suppose -80 = -v*x - l. Is 9 a factor of x?
True
Suppose -354 - 1846 = -11*y. Does 40 divide y?
True
Let n = 27 - 19. Let z = 0 + n. Does 6 divide z?
False
Suppose -2*z + 88 = 2*z. Let g be 4/(-18) - z/(-18). Is ((-3)/g)/(-1 + 0) even?
False
Let x(i) = 21*i - 61. Is x(16) a multiple of 11?
True
Let l(w) = -w**3 + 4*w**2 - 2*w + 1. Let h be l(3). Suppose h*b = 2*q + q + 5, 0 = -4*b + 2*q + 10. Does 3 divide b?
False
Let b be (-3)/((-2)/(-2 - 2)). Let j be b/(-8) - 7/(-28). Does 3 divide (18/(-21))/(j/(-7))?
True
Suppose l - 3*l = 2*o + 4, 2*o - 38 = 4*l. Let h = l - -33. Is 17 a factor of h?
False
Suppose -2*u = -55 + 19. Let j = 1 + 1. Suppose -j*x + u = x. Does 6 divide x?
True
Suppose 0*c = 6*c - 180. Does 8 divide c?
False
Let j(w) = w**2 - 7*w + 15. Let s be j(7). Let o = 20 - s. Is o a multiple of 3?
False
Suppose i = 5*i + 2*n - 136, 3*n = -6. Suppose 0 = 4*m + 2 + 26. Let u = i - m. Is u a multiple of 15?
False
Suppose -240 = -2*t - 72. Is t a multiple of 18?
False
Let h = 14 - 10. Suppose -h*g = -g - 69. Suppose -3*y + 2*y = 4*j - 22, 0 = y + 3*j - g. Does 13 divide y?
True
Suppose -4 - 26 = -5*i. Is 3 a factor of i?
True
Let c be 1 + 16 + (-2 - -3). Suppose 38 = 2*a - c. Is 14 a factor of a?
True
Let l(o) = 4*o**2 + 4*o - 3. Let g = -3 - -5. Let q be l(g). Let s = 40 - q. Is s a multiple of 8?
False
Suppose -y = -p + 5, 5*p = -2*y - y + 17. Suppose -d + p*d = 21. Is d a multiple of 7?
True
Is ((-4)/5)/((-12)/390*1) a multiple of 13?
True
Let q = 118 + -65. Suppose -4*n + 67 + q = 0. Let d = n - 16. Is d a multiple of 14?
True
Let c = -37 + 75. Let b = 70 - c. Is 7 a factor of b?
False
Let m be (1/(-2))/(6/(-1200)). Suppose y + 3*y + m = 0. Let s = y + 40. Does 10 divide s?
False
Let m(j) = 3*j**2 - 9*j - 9. Let q = -17 + 24. Is m(q) a multiple of 15?
True
Suppose -4*c + 179 = v, 5*c - 215 = -3*v + 14. Is c a multiple of 4?
True
Suppose 4*m - 3 = -3*l - 0, m = -3. Let o(s) = 3*s + 2 - 3 + 0. Is o(l) a multiple of 9?
False
Suppose -2*g - 14*g = -1408. Is 11 a factor of g?
True
Let w(i) = 3*i**3 - i**2 - 2*i - 1. Let m = 10 - 8. Is 5 a factor of w(m)?
True
Suppose 0 = 2*r + 2*k - 76, -2*k + 6 = -0*k. Does 3