 (1 - 0)*(4 - -1). Suppose o + a*i + 5 = 0, -i - 70 = -3*o + i. Does 10 divide o?
True
Suppose -3*a + 30 = 2*a. Suppose -a*w + 2*w = 0. Suppose 2*b - 28 = s, 5*s = -b - w*s - 8. Is b a multiple of 5?
False
Does 17 divide 2/3 + 400/12?
True
Let v = -11 - -6. Let q be -2 - v/(15/(-6)). Let i = q + 12. Is i a multiple of 6?
False
Let d(h) = 29*h + 2. Let l be d(3). Suppose -3*w - 2*i = -0*w - 88, 4*w = 3*i + l. Is 16 a factor of w?
False
Suppose -9*f - 55 = -4*f. Let g = 30 + f. Is g a multiple of 8?
False
Suppose 0 = 3*q - k - 580, 0 = 3*q - 0*q - 4*k - 565. Is 39 a factor of q?
True
Is 6 a factor of (4/(-10))/((-2)/30)?
True
Let l = 7 + -6. Let j = 20 - l. Does 4 divide j?
False
Suppose 9 = 2*q - 1. Suppose -3*b = b - q*r, 4*b - 2*r - 12 = 0. Does 2 divide 2/b - (-23)/5?
False
Let n(a) = -5*a + 58. Does 36 divide n(-10)?
True
Let l = -30 - -50. Does 8 divide l?
False
Suppose -5*q + 331 = -2*b, 0 = q - 3*q - 5*b + 115. Is 13 a factor of q?
True
Let z = 3 + 4. Is z a multiple of 2?
False
Is 90/5*3/1 a multiple of 6?
True
Suppose -5*r = -227 - 163. Is 31 a factor of r?
False
Suppose -2*t = 2*z - 0*t - 286, -2*z + 301 = 5*t. Let p = -69 + z. Is 25 a factor of p?
False
Suppose 0 = -5*u + 2*m, 4*u + 7 = 4*m - 5. Suppose -4*t + 480 = 3*a, 92 = t + u*a - 33. Suppose 0*b - 55 = -2*s + 5*b, t = 4*s - 3*b. Does 17 divide s?
False
Let s be (64/(-40))/((-1)/25). Let x = s + -28. Does 6 divide x?
True
Is 1222/8 - 33/44 a multiple of 19?
True
Let r be ((-2)/2)/(3/(-9)). Let w(i) = 2*i**3 - 6*i - 2. Let o(q) = q**3 - q**2 - q - 1. Let f(k) = 4*o(k) - w(k). Is 18 a factor of f(r)?
False
Suppose -7*j + 354 + 52 = 0. Does 15 divide j?
False
Is 3/12 + (-357)/(-12) a multiple of 5?
True
Let g be (2/(-7))/((-3)/21). Let d(m) = 5*m - 4. Is d(g) a multiple of 6?
True
Let d(i) = -i**2 - 10*i - 2. Is 11 a factor of d(-6)?
True
Let n be (-10)/(-3) - (-2)/(-6). Suppose o = -n*o. Suppose -g + 6*g - 20 = o. Is 2 a factor of g?
True
Suppose 0*a + 960 = 4*a. Suppose -2*m + a = 4*m. Is 8 a factor of m?
True
Suppose 3*z - 177 = -3*r, -5*r - 4*z + 177 = -2*r. Is 20 a factor of r + (9/3 - 2)?
True
Suppose 0 = 5*h + 20 + 115. Suppose 3*u + 2*u = -25. Let l = u - h. Is 12 a factor of l?
False
Let o = 3 - -2. Suppose o = 2*i - 11. Suppose 4*d - i = 72. Is d a multiple of 12?
False
Let k(q) = -q**2 - 7*q - 5. Let p be k(-5). Suppose 0 = u + p*a - 33, -5*a - 66 = u - 3*u. Does 16 divide u?
False
Let o be ((-4)/6)/(14/(-147)). Let k = -5 + o. Is 2 a factor of k?
True
Let q be 60/4*(2 + -1). Suppose q = 4*h + h. Is h even?
False
Let r(t) be the first derivative of -t**4/4 - 7*t**3/3 + 4*t**2 - 7*t + 1. Let v be r(-8). Let j = 12 + v. Is j even?
False
Let u(r) be the first derivative of -7*r**2/2 - r - 3. Is 19 a factor of u(-3)?
False
Suppose -72 = -3*f + 90. Does 12 divide f?
False
Suppose 3*c - 4 = 2. Does 3 divide (1/c + -1)*-20?
False
Suppose 2*w = -6, b - 4*w = -0*b + 96. Is 12 a factor of b?
True
Suppose 0 = -4*v + 2*v. Suppose v = -4*k + 7*k - 39. Does 13 divide k?
True
Suppose -3072 + 768 = -12*t. Is 24 a factor of t?
True
Let u = 50 - 32. Is u a multiple of 9?
True
Suppose 1 = 2*l - 7. Is (7/l)/((-4)/(-16)) a multiple of 4?
False
Suppose 0 = 3*r - 118 + 22. Let a = r - -10. Suppose -2*x + 4*m = -m - 40, x - a = -3*m. Is 15 a factor of x?
True
Let h(b) = 3*b**2 - 2*b - 2. Let c be h(2). Suppose 11*u - c*u = 205. Does 11 divide u?
False
Suppose -3*u + 592 = -4*d, -d - d - 786 = -4*u. Is u a multiple of 22?
False
Let b be (1 - 0) + 1 - -48. Let z = -6 - -34. Let l = b - z. Is 10 a factor of l?
False
Let p be (-2)/(-4) + (-2)/4. Suppose -4*v - a + 29 - 5 = p, 3*v - 5*a = -5. Suppose -6 = -v*n + 14. Is n even?
True
Suppose 2*b + 4 = 2*v, v - 18 = -0*v + 5*b. Suppose 0*h = 3*h - 42. Let w = h + v. Does 6 divide w?
True
Suppose 5*v = 3*n - 3 - 236, -4*n = -12. Let o = v - -76. Is 10 a factor of o?
True
Let b(a) = 3 - 7 - 5*a + a + 2*a**2. Is b(4) a multiple of 12?
True
Suppose 0 = 5*b - 2*y - 79, y = 2*b - 44 + 12. Is 7 a factor of 3/(-15) + 258/b?
False
Let t = 55 - 15. Is 40 a factor of t?
True
Let j(t) = t - 4. Let m be j(6). Suppose m*r - 29 = 27. Does 14 divide r?
True
Suppose 3*w + 2*w - 90 = 0. Is w a multiple of 14?
False
Suppose 3*v + v = -52. Is -2 - v - (-2 - 0) a multiple of 11?
False
Let z = 9 + -3. Does 6 divide z?
True
Let s(w) = -3*w - 10. Does 2 divide s(-7)?
False
Let d(y) = y**2 - 4 + 1 + 7*y - 3. Does 11 divide d(4)?
False
Let a(d) = 3*d**2 + 5*d**2 - 7*d**2 - 5*d + 5. Is a(5) a multiple of 4?
False
Let o = 35 + -18. Is 17 a factor of o?
True
Suppose 0 = -3*q - 8*f + 5*f - 15, -2*q + 15 = -3*f. Suppose 5*u - 28 - 32 = q. Is u a multiple of 4?
True
Suppose 2*g - 10 = -0*g. Suppose -45 + 255 = g*d. Suppose -3*b = -24 - d. Is 13 a factor of b?
False
Let k be (-1 + 0 - -2)*5. Let o(m) = -m - 5*m + k*m - 4*m**3 - 2*m**2 - 16*m**3. Does 16 divide o(-1)?
False
Suppose -t - t - 20 = 0. Let d be (56/t)/(2/(-15)). Suppose 4*i = i + d. Is i a multiple of 14?
True
Suppose -56 = 5*w + 14. Does 14 divide ((-3)/(-2))/((-1)/w)?
False
Let y(p) = 12*p + 1. Suppose -15*l = -13*l - 12. Does 12 divide y(l)?
False
Let n = 19 + -3. Let t = -35 + 25. Let k = t + n. Is k a multiple of 6?
True
Let s(j) = 3 - 3*j - 5*j**3 + 9 - 13 - 3*j**2. Is s(-2) a multiple of 11?
True
Let h = 572 + -401. Does 19 divide h?
True
Suppose 5*t = 25, -5*t - 51 - 4 = -5*x. Does 4 divide x?
True
Let j(w) = 6*w**2 - 5*w + 16. Is j(4) a multiple of 23?
True
Suppose -12 = -2*b - 2*b. Is b a multiple of 3?
True
Let z(a) be the third derivative of a**4/4 - 4*a**3/3 + 3*a**2. Is 20 a factor of z(8)?
True
Let f be 4/30 + 740/75. Suppose -3*h = -3*x - h + f, 0 = 4*x - 3*h - 12. Is 3 a factor of x?
True
Let c be (-172)/(-20) - (-2)/5. Let j = c - -51. Is j a multiple of 15?
True
Let y = 31 - 8. Is y a multiple of 3?
False
Does 4 divide (51/(-12) - -3)/((-3)/24)?
False
Let b be 3 + (1 - 2 - -8). Let g(q) = -q**3 + 10*q**2 + 2*q + 1. Is 7 a factor of g(b)?
True
Let k = 143 + -28. Suppose 0*j - k = -3*x + 4*j, -144 = -4*x + 3*j. Is 13 a factor of x?
False
Let h(v) = v + 1. Let n be h(-1). Suppose j - 2 = n, 3*t = 4*j - j + 15. Let q(x) = 2*x + 3. Does 6 divide q(t)?
False
Let z = 67 - -63. Is 13 a factor of z?
True
Let v be (4/10)/((-1)/(-10)). Let r(m) be the first derivative of m**2/2 - m + 8. Is r(v) a multiple of 3?
True
Suppose 2*b + 1606 = 13*b. Is b a multiple of 15?
False
Suppose -5*u - 140 = -5*a, -2*u = 4*a - 9 - 97. Is a a multiple of 27?
True
Let y(v) = 30*v - 24*v + 8*v + 29*v - 1. Is y(1) a multiple of 19?
False
Let u = 87 - 60. Is u a multiple of 9?
True
Let d(m) = -m**2 - 4*m + 6. Let n be d(-6). Let l(w) = -w**2 - 9*w + 5. Is 13 a factor of l(n)?
False
Suppose -c = 2*w - 6*c - 198, -w - 3*c + 110 = 0. Does 8 divide w?
True
Suppose -5*a + 5 = -3*a + k, -5*a = -2*k + 10. Let s = a - -14. Suppose 0 = 3*h - 4*f + 20 - 9, s = -2*h + 4*f. Is 3 a factor of h?
True
Let z(p) = p**2 + p + 2. Let k be z(-2). Is 544/40 - k/(-10) a multiple of 14?
True
Suppose -4*g + 443 - 15 = 0. Is g a multiple of 11?
False
Suppose -128 = 3*p + p. Suppose -5 = -0*h + 5*h. Is 13 a factor of (0 - h - p) + -1?
False
Let x(m) = 4*m - 2. Suppose -2*r + 5*r = 27. Is 17 a factor of x(r)?
True
Suppose 1077 = -9*y + 3219. Is 35 a factor of y?
False
Let y be (2 - -203) + (-8)/4. Suppose 0 = -5*w - 3*c + y, c - 78 = -2*w + 3*c. Suppose d - 4*n - 5 - 31 = 0, -3*d = 5*n - w. Is 5 a factor of d?
True
Suppose -4*n - 3*i + 40 = -283, -4*i + 20 = 0. Is 16 a factor of n?
False
Let g(w) = -2*w - 6. Let v be g(-4). Suppose 0 = -2*m - v*m + 200. Does 20 divide m?
False
Suppose 5 + 1 = -2*a - 4*t, -t = -3*a + 12. Is -1 - (-19 - (a - 2)) a multiple of 15?
False
Let w(g) = -22*g + 10. Does 14 divide w(-4)?
True
Let k(h) = -11*h - 22. Is k(-12) a multiple of 26?
False
Let m = 0 + 2. Suppose m*h + 0*u = -3*u - 9, -4*u = -h + 12. Suppose h*y - 5*y - 4 = -2*k, y - 2 = 0. Does 3 divide k?
False
Suppose 46 = b + 2*k, 5*b + 3*k - 164 = b. Is 8 a factor of b?
False
Let x(b) = -b**2 + 2*b + 4. Let d be x(3). Let r(n) = 67*n**3 + 2*n**2 - 1. Is 28 a factor of r(d)?
False
Suppose 65 = x + 6*o - o, 148 = 2*x + 4*o. Does 8 divide x?
True
Is 5 a factor of (-3)/((-22)/(-6) - 4)?
False
Suppose 9*u - 126 - 162 = 0. Is 16 a factor of u?
True
Is 17 a factor of (1 + 3 + -8