
Suppose s + 228 = 3*m, -5*m + 595 = 5*s + 195. Suppose -2*y + 3*y + m = 5*f, 3*f - 3*y = 39. Suppose 4*j = 56 + f. Is j a multiple of 9?
True
Let w(t) = -t**3 - 4*t**2 - 2*t. Let y(f) = -f - 9. Let i be y(-5). Let b be w(i). Suppose j = b + 13. Is j a multiple of 12?
False
Let b be (-2)/(-4) - 1/2. Suppose 4*i + 2*j = -9 - 95, b = 4*j. Is 698/26 - 4/i a multiple of 9?
True
Let r(a) = 2*a**2 - 4*a + 3. Let q be r(2). Is (q - 14/(-4))*6 a multiple of 13?
True
Let y = -55 - -155. Is y a multiple of 25?
True
Let h(y) = 27*y - 13. Does 4 divide h(2)?
False
Let h be 3 + -2 + 2 + -10. Let r = h - -17. Does 3 divide r?
False
Suppose -o + 3 = -g, -o + 2*o = 2*g + 2. Suppose 3*a - 37 = -o. Is a a multiple of 11?
True
Suppose 4*t + t = g - 20, 16 = 5*g + 3*t. Is 5 a factor of g?
True
Let q = -60 - -36. Let g = 42 + q. Does 18 divide g?
True
Suppose 6*j - 59 = 4*j + 3*b, -4*j + 113 = -b. Is j a multiple of 16?
False
Let u(p) be the third derivative of 0*p + 1/6*p**3 + 1/12*p**4 + 1/10*p**5 - 3*p**2 + 0. Is 5 a factor of u(-1)?
True
Suppose 0 = -4*d + 2*j + 56, -4*d - 2*j = d - 88. Is 12 a factor of d?
False
Is 7 a factor of 17/(-102) + (-205)/(-6)?
False
Let v be -3*3/(27/(-30)). Suppose v*m = 14*m - 112. Is 10 a factor of m?
False
Suppose -5 + 3 = 5*u + 3*h, -2*h - 6 = u. Does 7 divide 73/u + 10/(-20)?
False
Let c(u) = -u**3 + 7*u**2 + 7*u + 11. Let b be c(8). Suppose 4*p + 4*g - 3*g - 1 = 0, -13 = -4*p + b*g. Is 16 a factor of 65 - (p + (-4)/(-2))?
False
Suppose -1 - 23 = 4*u. Let a(y) = y**3 + 7*y**2 + 6*y + 3. Let i be a(u). Suppose -10 - 64 = -i*o - 2*d, 109 = 3*o - 5*d. Is 8 a factor of o?
False
Let s be -23 + 3*2/(-3). Let x = s + 122. Let l = x - 50. Is 21 a factor of l?
False
Let b = 93 + -63. Is b a multiple of 10?
True
Is (-2)/4 + (-324)/(-8) a multiple of 19?
False
Let k = -27 + 25. Is 18 a factor of (-2 - k/(-2)) + 57?
True
Let b = 510 + -260. Is 25 a factor of b?
True
Suppose -q = 3*i + 2*i - 1, 0 = -q + 1. Suppose r + 3*r - 2*a - 72 = i, 5*r - a - 90 = 0. Is r a multiple of 6?
True
Let l(m) = m - 10. Let t be l(10). Suppose -w + 4*w + 21 = t. Let p = 23 + w. Is p a multiple of 12?
False
Let g(h) be the third derivative of 0*h + 1/3*h**3 + 1/24*h**4 - h**2 + 0. Is g(7) a multiple of 4?
False
Let u(c) be the second derivative of 1/2*c**2 + 7/6*c**3 + 0 - c. Does 12 divide u(4)?
False
Let p be 12/(-10)*(-5)/2. Suppose p*a - 7*a + 288 = 0. Is a a multiple of 15?
False
Let q = -6 - -13. Let v = -3 + q. Is v even?
True
Suppose -10 = -3*w - 2*w. Suppose 0 = -w*m - 1 + 43. Does 21 divide m?
True
Suppose 7*r - 3*r + 3*f = 528, -508 = -4*r + 2*f. Suppose 5*n - r = 21. Does 15 divide n?
True
Let m(j) = 5 - 13*j - 10 + 5. Is m(-1) a multiple of 4?
False
Suppose 4*u + 1 = -5*k + 47, -4*k = 4*u - 48. Let h be 4/(-14) - (-4)/u. Suppose h*x - 24 = -x. Is 12 a factor of x?
True
Suppose 183 = 3*l - v, -4*v + v + 183 = 3*l. Does 37 divide l?
False
Let z = 5 - 3. Let x(d) = -d**2 - d - 1. Let k(i) = 3*i**2 + 2*i + 7. Let j(t) = -k(t) - 4*x(t). Is 3 a factor of j(z)?
False
Suppose -6*p + 4 = -4*p. Suppose 0*t - 2*t + p*i + 32 = 0, -t - 2*i + 31 = 0. Does 10 divide t?
False
Let p(h) = -h + 13. Let q be p(10). Suppose 7*k + 8 = q*k. Let z(x) = -14*x + 2. Is 15 a factor of z(k)?
True
Suppose 3*o - 3*x - 51 = 0, -3*o - 2*x = -o - 22. Suppose -o = -2*r + 14. Is r a multiple of 7?
True
Let z(m) = 71*m - 2. Suppose 0 = 5*p - 1 - 4. Is 23 a factor of z(p)?
True
Suppose 1755 = -0*b + 13*b. Is b a multiple of 17?
False
Suppose -4*a - k + 181 = 0, 3*a - 2*k - 117 = k. Let r = 34 + a. Does 26 divide r?
True
Let s(r) = 35*r**3 - r**2 + 3*r - 1. Is s(1) a multiple of 9?
True
Suppose 22 = 5*c - 4*f, -3*c + 4*f + 14 = -2*c. Let j = -20 - -33. Is 4 a factor of (2 - c) + j + -2?
False
Is ((-54)/5)/((-11)/55) a multiple of 6?
True
Let g = 3 - -11. Does 7 divide g?
True
Let r(y) = -2*y**2 + 4*y - 3. Let l(q) = -q**2 + q + 1. Let u(s) = -3*l(s) + r(s). Is 14 a factor of u(4)?
True
Suppose 2*s - 180 = -5*x - s, -3*s + 36 = x. Does 4 divide x?
True
Suppose 5*v = 2*v + 3*y + 33, -2*v = -3*y - 19. Does 4 divide v?
False
Let z(i) = -1. Let s(w) = -w**3 - 3*w**2 + 7*w - 4. Let b(x) = s(x) + 2*z(x). Does 12 divide b(-6)?
True
Let x be (0/5)/((-4)/(-2)). Suppose 0 = -x*n - 4*n. Suppose 4*o + n*o = 40. Is o a multiple of 5?
True
Suppose 4*k = 312 - 76. Does 17 divide k?
False
Suppose 4*z - 3*z - 5 = 0. Suppose 4*x + 166 = 5*a - 311, 474 = z*a - 3*x. Suppose -3*r + a = -0*r. Is 12 a factor of r?
False
Suppose -5*a + 8 = 2*f + 41, -4*a + 3*f = 31. Let x(d) = -d**2 - 11*d - 8. Is 8 a factor of x(a)?
False
Let y(q) = 8*q - 10. Suppose 6 = 4*h - 2*h. Is 8 a factor of y(h)?
False
Let a = 52 + 8. Does 10 divide a?
True
Let h = 15 - 17. Let a(j) = 2*j - 2 + 0 + 4 + 2*j**2. Is 3 a factor of a(h)?
True
Suppose -2*v = 2*v - 20. Suppose v*h + 30 = 160. Is 20 a factor of h?
False
Let g be (21/14)/(1/6). Is 18 a factor of g/6*(-12)/(-1)?
True
Is (233 - (1 - -4)) + 2 + -1 a multiple of 11?
False
Suppose 0 = -0*s + 4*s - 8. Is 2 + -78*s/(-3) a multiple of 24?
False
Let q(x) = -x**2 - 6*x + 5. Let s be q(-7). Let k(m) = -3*m**3 - 3*m**2 - 3*m. Is k(s) a multiple of 6?
True
Let k be ((-50)/15)/(4/(-6)). Suppose -59 = -k*z + 151. Suppose 5*u + 120 = 5*j, -5*j + 78 = -4*u - z. Is j a multiple of 12?
True
Suppose -46*l = -45*l - 7. Is l a multiple of 7?
True
Suppose 0 = 2*g - 6*g, 2*g = 4*i - 24. Suppose 0 = m + i - 14. Does 4 divide m?
True
Suppose -169 = -2*d + g, 137 = 3*d + 5*g - 97. Does 55 divide d?
False
Suppose 0 = 5*h - 2*c - 84, -2*c + 30 = 3*h - 14. Let w = h + -11. Suppose 4*z - 17 - 3 = -g, -3*z = w*g - 32. Does 4 divide g?
True
Let d(r) = r**2 + 5*r - 7. Let z(v) = v**3 - v**2 - 2*v - 1. Let c be z(-2). Is d(c) a multiple of 24?
False
Suppose 3*x - r - 175 = 0, x + 250 = 5*x + 2*r. Is 15 a factor of x?
True
Let n = 6 + -3. Is (0 + 3)/n + 7 a multiple of 4?
True
Let f be -1 + 14/(-2*1). Let w be 6/f*4/(-1). Does 11 divide (-2 - -1)/(w/(-33))?
True
Let u(k) = k - 2. Let o be u(5). Suppose 4*t + 86 = o*d + 18, -95 = -4*d + t. Does 12 divide d?
True
Let n = -7 - -7. Let l = n + 2. Suppose l*c + 2*r = 28, -4*c + 0*r - r = -71. Is 19 a factor of c?
True
Let z = 7 + -32. Let x = z + 53. Let g = x + -11. Does 6 divide g?
False
Let v = 1 + 8. Suppose -1 + v = 4*q. Suppose q*y + y - 63 = 0. Is 9 a factor of y?
False
Let l(i) = -i**3 - 6*i**2 + 2*i + 13. Let n be l(-6). Does 9 divide 27*(n + -3 + 3)?
True
Let d = -11 - -15. Suppose d = 2*v - 6. Suppose 5*c = v*a - 105, 3*a - 2*c - 62 = -4. Does 6 divide a?
False
Suppose -4*z + 59 = h + 21, 4*h = -4*z + 92. Is 966/27 + 4/h a multiple of 27?
False
Let d(y) = 6*y**2 + y + 13. Does 8 divide d(-3)?
True
Let q = 50 - 24. Does 26 divide q?
True
Suppose -126 = 6*s - 738. Does 21 divide s?
False
Suppose 3*d - 5*a = -6*a + 23, 0 = 5*d + 5*a - 55. Let n be (-3)/(d/(-50))*-1. Let i = n - -43. Is 18 a factor of i?
True
Suppose 4*g = 2*g + 6. Suppose -j - g = -5. Let i = 24 - j. Is 11 a factor of i?
True
Let w(c) = -2*c**2 - 3*c. Let q be w(-3). Let z = q + 27. Does 12 divide z?
False
Let i = 38 - -51. Is i a multiple of 5?
False
Let q(u) = u + 18. Let r be q(15). Let a = r + -13. Does 17 divide a?
False
Let d = 3 + -3. Suppose 4*h = -2*f + 22, 5*f + d*f + 2*h - 87 = 0. Does 8 divide f?
False
Suppose -b = -4*b + 30. Let g(p) = -p**3 + 11*p**2 - 9*p - 14. Let w be g(b). Is 14 a factor of (-2)/w - (-107)/2?
False
Suppose -17 = -5*t - s, -s + 9 = 4*t - 5. Is 3 a factor of t?
True
Is 11 a factor of (328/(-12))/((-10)/15)?
False
Let n(w) = -2*w**3 - 6*w**2 - 2*w - 6. Let o be n(-4). Let c be (-1)/(0 - -1)*2. Is o + c - (0 - -2) a multiple of 15?
True
Let q(u) = 2*u - 1. Let m = 21 - 12. Does 9 divide q(m)?
False
Let f(y) = -y**3 + 5*y**2 + 3*y - 7. Let p be f(5). Let i be 22/6 + p/(-12). Let g(r) = 5*r + 4. Is 11 a factor of g(i)?
False
Let y(x) = x**3 + 4*x**2 + 3. Let c be y(-4). Suppose 0 = -z + c*z - 6. Suppose 0 = -z*a + 16 + 8. Does 7 divide a?
False
Let v = 5 + 0. Suppose 5*d - v - 65 = 0. Does 14 divide d?
True
Suppose 4*c - 21 + 5 = 0. Is ((-18)/(-4))/(1/c) a multiple of 9?
True
Suppose 0 = -4*p - 5 + 261. Does 7 divide p?
False
Let u(l) = l + 8. Suppose -3*o - 4*v = -0*o - 9, -5*v = o - 3. Suppose -5*i - 2*r + 8 = 0, -5*i + 0*i - 12 = -o*r. Is u(i) a multiple o