11). Suppose 44 = 3*g - m. Does 4 divide g?
True
Let i = -17 - -38. Is 12 a factor of i?
False
Does 3 divide -78*(4 + 1)/(-15)?
False
Let s(c) = c**3 + 5*c**2. Let r be s(-5). Suppose 2*y - 60 = -r*y. Suppose 0 = m - y + 12. Does 9 divide m?
True
Let n(p) = 3*p**3 + 4*p - 3. Let y = 8 - 6. Let v be n(y). Let i = v - 14. Does 15 divide i?
True
Suppose 3*f - 2*f + n = -1, -5*f = -5*n - 35. Suppose 0 = -f*s - 4*i + 11, 3*i = -s - 3*s + 17. Is s a multiple of 4?
False
Suppose -6*m + 22 = s - 2*m, -5*m - 134 = -3*s. Let n(z) = -9*z + 1. Let k be n(2). Let y = k + s. Does 9 divide y?
False
Let r(b) = 2*b**2 - 6*b + 5. Does 20 divide r(-5)?
False
Suppose 0 = k - 0*k - 33. Is 1458/33 - 6/k a multiple of 16?
False
Suppose -6*i + 2*i + 104 = 0. Suppose -5*l = 0, f = -f - 4*l. Suppose 3*q - 34 - i = f. Is q a multiple of 10?
True
Let g(a) = -a. Let m be g(0). Let n(h) = 194*h + 13 - 97*h - 98*h. Is 13 a factor of n(m)?
True
Let r(s) = s**2 + 10*s + 17. Let o be r(-12). Suppose -o = -3*y + h, -h - 4 = 1. Is y a multiple of 6?
True
Suppose 4*f - 17 = -5*a + 87, -a + 16 = -4*f. Is a a multiple of 11?
False
Let x(h) = -5*h**3 + 3*h + 7. Let r(v) = -v**3 + v**2 + 1. Let a(y) = 6*r(y) - x(y). Is a(5) a multiple of 9?
True
Suppose 4*o - 207 = -3*g, 0*o + 33 = o - 3*g. Is 16 a factor of o?
True
Is ((-4)/10)/((-4)/240*2) a multiple of 12?
True
Suppose -4*n = -u + 6, 67 + 5 = 2*u + 4*n. Is u a multiple of 13?
True
Suppose z = -2*z - 4*k + 56, 3*z - 61 = -5*k. Suppose -3*d + d - z = 0. Let a(x) = -x**3 - 5*x**2 + 4*x + 2. Is a(d) a multiple of 7?
True
Suppose -152 - 708 = -4*k. Suppose -5*h + k + 0 = 0. Is h a multiple of 10?
False
Let w be (-1)/(-3)*(18 + 3). Let x = w + 31. Let k = -20 + x. Does 14 divide k?
False
Let d = -4 - -6. Let s(v) = 6*v - 3. Let j be s(d). Suppose -8*b + j*b = 39. Is 13 a factor of b?
True
Let w be -27*((-5)/(-3))/(-5). Let k(d) = -d**2 + 10*d + 4. Let z be k(w). Is (-1)/(-2) - z/(-2) a multiple of 7?
True
Suppose 0 = d + d - 8, -2*q - d = -44. Suppose -a + 52 = 3*a - k, -2*k - q = -2*a. Is 7 a factor of a?
True
Suppose -o + 2 = -4*z - 16, 0 = -3*z - 12. Suppose 4 = r, 4*x + o*r - 80 = x. Is 12 a factor of x?
True
Suppose -h = -3*h + 6. Suppose h*g + 25 = j - 0*j, -2*j = 3*g - 5. Does 5 divide j?
True
Let d = 4 + -4. Let s(m) = 2*m**2 + d*m - 9*m - 5 - 3*m**2. Is 13 a factor of s(-6)?
True
Suppose -3*u = -4*c + 137, 2*c - 4*u = 3*c - 20. Does 22 divide c?
False
Let s(r) = 3*r**2 - 5*r - 1. Let m be s(4). Suppose 2*q - 51 = m. Is 15 a factor of q?
False
Let w(o) = -3*o + 46. Let n(y) = y - 23. Let g(b) = 9*n(b) + 4*w(b). Is g(-10) a multiple of 2?
False
Let r = -49 + 104. Is r a multiple of 14?
False
Let f be (-2)/12 - 2/(-12). Suppose k = -f*k + 9. Suppose 3*v - 3*c = 87, 6 + k = -3*c. Is 13 a factor of v?
False
Suppose -4*l - 5 = -3*l. Is 12 a factor of (-2)/l + (-1380)/(-50)?
False
Suppose f + 5 = -3*y + 52, 4*y - 50 = 5*f. Does 4 divide y?
False
Let v = -29 - -61. Is 8 a factor of v?
True
Suppose 2*v - 113 - 23 = 0. Is v a multiple of 14?
False
Suppose -3*x = 3*h - 21, -2*x - 19 = -2*h + x. Does 8 divide h?
True
Let m be 83/3 - 2/3. Let q = 19 - m. Let y = q + 15. Is y a multiple of 3?
False
Let o = -4 + 8. Is -3*o/(-6)*5 a multiple of 4?
False
Let i be ((-16)/(-12))/((-1)/(-3)). Suppose n + i = 2*n. Is n a multiple of 4?
True
Suppose 0 = 3*z - z + 58. Let x = z + 61. Suppose -2*v - 2 = -x. Is v a multiple of 14?
False
Let r be 4/18 - 554/(-18). Suppose 2*a = -11 + r. Suppose -a = -4*m - w, 4*m + 5*w - 18 = -0*m. Does 2 divide m?
True
Let q = -5 - -7. Suppose q*c = -h + 38 + 13, 4*h - 160 = 3*c. Is 16 a factor of h?
False
Let a be (3*2/(-3))/(-1). Let y be a + (2 - -2)/2. Suppose 0 = -y*d + 2*d + 84. Is d a multiple of 14?
True
Let r(f) = -15*f**2 + f - 2. Let t be r(2). Let c be t/2*14/(-21). Suppose -c = -3*q + 7. Is q a multiple of 9?
True
Is 7 a factor of (-1)/5 + (-4215)/(-75)?
True
Let v be 54 - (-3 + (2 - 0)). Let l = v + -31. Does 6 divide l?
True
Let g be 3/(-2)*(-90)/27. Suppose -g*c + 30 = -2*c. Is c a multiple of 3?
False
Suppose -3*z + 15 = 3*f, 4*z - 7 - 7 = 2*f. Suppose -2*w = 4*u + 12, -w + 2 = -u - z. Suppose 3*b = 3*d + 4 + 26, -w*d = 3*b - 20. Is 4 a factor of b?
True
Let s(f) = f - 1. Let l be s(3). Let c(r) = -2*r + r + l - r. Is c(-6) a multiple of 14?
True
Let r(q) = q**3 - 5*q**2 + 4*q - 9. Is r(5) a multiple of 7?
False
Let c = 16 - -16. Is c a multiple of 32?
True
Suppose 2*i + 2*i - 28 = 0. Suppose -i*a = -3*a - 60. Does 2 divide a/1*2/5?
True
Let y(d) = d**2 + 4*d + 5. Is y(-5) a multiple of 2?
True
Suppose -3*t - 5*x = -4*x - 226, -5*x + 142 = 2*t. Suppose 4*z + 2*q - 88 = 0, 0*q + t = 4*z - q. Is z a multiple of 10?
True
Let l be (5/3)/(1/84). Suppose -8*m = -3*m - l. Is (m/6)/((-4)/(-12)) a multiple of 5?
False
Let p = 2 - -3. Suppose -p*h = -3 - 12. Suppose 75 = h*m + q, -11 = -m - q + 12. Does 12 divide m?
False
Let j = 69 - 41. Let w = 55 - j. Does 9 divide w?
True
Let b(z) = 2*z - 5. Is 7 a factor of b(12)?
False
Let j = -19 + 28. Is 3 a factor of j?
True
Let m = 19 + -28. Let k = -6 - m. Suppose -2*t - 17 = -k*t. Is 6 a factor of t?
False
Let j(n) = -6*n - 5. Let s be (-80)/12 + 2/3. Let z be j(s). Suppose 3*x - 5*h - 33 = 0, 0 = -x - 4*h - h + z. Is 8 a factor of x?
True
Let g(m) = -m. Let q be g(-5). Suppose -5*w = 2 + 3, q*t = -3*w - 33. Is 11 a factor of (-2)/(-3) + (-62)/t?
True
Let r(w) = -w**2 + 9*w + 5. Let x be r(7). Let n = 21 + x. Is n a multiple of 8?
True
Let c(t) = t**3 + 2*t**2 - 4*t + 3. Is 12 a factor of c(3)?
True
Suppose 4*w - 179 = 4*f - f, 156 = 3*w + 5*f. Is 14 a factor of w/3*(2 - -1)?
False
Suppose 0 = -3*u - 0*u + 21. Suppose 2*z + 160 = u*z. Is 25 a factor of z?
False
Suppose 0 = 4*y + 3*g - 361, -3*y + 182 = -3*g - 115. Let o = 160 - y. Is 10 a factor of o?
False
Suppose i + 5 - 38 = 0. Is i a multiple of 3?
True
Let b(r) = r**3 - 3*r**2 + 3*r. Let x(v) = -v**3 + 4*v**2 - 3*v. Let q(m) = 2*b(m) + 3*x(m). Let p(y) = y**2 + 5*y + 4. Let n be p(-5). Is 10 a factor of q(n)?
True
Let m = 20 - 3. Let w = 28 - m. Is w a multiple of 5?
False
Let t be (2*4)/(1/7). Suppose 5*v = -2 + 12. Suppose 2*w + v*w = t. Is w a multiple of 5?
False
Suppose f = -5*d + 38, 3*f - 194 = 4*d - 3*d. Suppose -2*u - f = -5*u. Does 9 divide u?
False
Let b be 1/(-5) - 26/(-5). Suppose -b*u - 4*t + 0*t = -180, 0 = -4*t + 20. Does 10 divide u?
False
Let p be ((-1)/2)/(4/16). Let t(m) = 4*m**2 + m + 2. Does 8 divide t(p)?
True
Let b = -52 + 157. Is b a multiple of 35?
True
Let s = -7 + 7. Suppose s = -5*t - 49 + 14. Let i = t + 36. Does 12 divide i?
False
Let i(q) = -q. Is i(-10) a multiple of 7?
False
Let a = -159 - -456. Is a a multiple of 33?
True
Suppose 5*k = -5*j + 8 + 17, 3*j - 35 = -5*k. Suppose 5*o = -0*o - k. Is o + -2*1 + 45 a multiple of 17?
False
Let i(b) = -8*b. Let v be i(2). Let u = v - -22. Does 16 divide (u/(-15))/((-1)/80)?
True
Suppose 6*p - 2*p - 4*l + 16 = 0, 2*l + 1 = p. Let o = p - -14. Does 5 divide o?
True
Let k(h) = -h**3 - 9*h**2 - 11*h - 2. Does 22 divide k(-8)?
True
Let z = -2 + 5. Suppose -45 = -2*j - z*j. Does 7 divide j?
False
Let c be 448/24*6/(-4). Let b = c + 39. Is 7 a factor of b?
False
Let x(v) = 3*v + 1. Is x(7) a multiple of 4?
False
Let t(c) = 7*c. Let b be t(6). Suppose 5*l = 2*l + b. Is 9 a factor of l?
False
Suppose -r = 4, 26 = 2*l - 3*r - 14. Suppose -2*o - 4*z + l = 0, 4*o + z + 0*z - 14 = 0. Suppose o*c + 28 = 4*c. Does 11 divide c?
False
Suppose -m = -5*a - 83, -4*m - a + 5*a + 348 = 0. Is 22 a factor of m?
True
Suppose -4*u + 3*u + 2 = 0. Suppose -3*i + 20 = -u*i. Let v = i - -7. Is 7 a factor of v?
False
Let w(j) be the third derivative of -j**5/60 + 11*j**4/24 - 13*j**3/6 + j**2. Is w(9) a multiple of 5?
True
Let k(v) = 7*v**2 + 2*v - 51. Let f(p) = 3*p**2 + p - 25. Let n(o) = 9*f(o) - 4*k(o). Let g be n(0). Is 0 - 1 - (g - 0) a multiple of 8?
False
Suppose -5*v + 10 = -0. Suppose 2*k = -k + 4*p - 13, -5*k + 13 = v*p. Does 5 divide ((-4)/10)/(k/(-25))?
True
Let g(l) = l**2 + l + 3. Is 12 a factor of g(3)?
False
Let g(k) = k**2 - k - 1. Let j be g(0). Is j + 6/(-3) - -29 a multiple of 13?
True
Let x be (6/(1 + -4))/1. Let n be 31/(-3) - x/6. Let s = n + 26. Is s a multiple of 6?
False
Suppose -n - 46 = -w, w - 22 = -0*w - 5*n. Suppose w = 3*f - 6. Do