a multiple of 13?
False
Suppose -g + 3*a + 2 = -4, -5*g + a = -2. Suppose g = -b + 9 + 5. Is b a multiple of 5?
False
Suppose -8 = -i + 1. Is i a multiple of 7?
False
Let b be (-3)/(6/(-2)) + 3. Is (-71)/(-4) - (-1)/b a multiple of 18?
True
Suppose -2*u = 2*u + 5*i - 248, -248 = -4*u - 2*i. Suppose u = 2*k - k + 3*z, -3*k + 4*z + 173 = 0. Suppose -2*y + y = -k. Is y a multiple of 25?
False
Is ((-7)/(-4))/(17/544) a multiple of 28?
True
Let f = -28 - -102. Is f a multiple of 37?
True
Let a(c) = 12*c**2 + 2*c - 2. Let n be a(5). Suppose -p + 5*y - 48 + 178 = 0, 2*p + 2*y = n. Suppose -p = 4*m - 9*m. Is 15 a factor of m?
True
Suppose c - 5*a - 32 = -2*a, -2*a = -4*c + 98. Does 4 divide c?
False
Let j = 2 + 1. Let z(q) = q**2 + 2*q - 4. Let m be z(j). Suppose -2*o + 47 - m = 0. Is o a multiple of 7?
False
Suppose 0*q + 30 = -5*q. Let t be 24/9 + 4/q. Suppose -z + 30 = t*z. Is 6 a factor of z?
False
Let w = 6 - 4. Let r(k) = -2*k - 2. Let l be r(w). Is 7 a factor of 14/(-3)*l/4?
True
Let n = 53 + -4. Suppose n = 3*p - 47. Does 16 divide p?
True
Suppose -18 = -4*p - 2*d, 4*d - 3*d + 26 = 5*p. Does 14 divide (p - 4) + 66/2?
False
Let x be (88 - 1)*(-1 + 2). Let h = 132 - x. Does 15 divide h?
True
Let o = 28 - 25. Is o a multiple of 2?
False
Does 18 divide -4*1*(-99)/22?
True
Let k(r) = -33*r**3 + 2*r**2 + r. Let n = -8 + 13. Suppose -5 = -3*h - 3*b + 7*b, h - 3*b - n = 0. Does 17 divide k(h)?
True
Let t(n) = -n**2 - 4*n + 4. Let o be t(-4). Let s = 7 - o. Is s even?
False
Suppose 93 = 2*m + 3*k - 51, 5*m - 381 = 3*k. Does 15 divide m?
True
Let p = -51 + 83. Does 21 divide p?
False
Suppose 4 = 2*b - 6. Suppose -4*u + 5*j + 69 = 2*j, 66 = b*u + 3*j. Does 11 divide u?
False
Let w(m) = -m**3 - 6*m**2 - 4*m + 3. Let f be w(-6). Suppose 0 = 2*j + j - f. Suppose -t = -j - 2. Is 11 a factor of t?
True
Suppose 0*c - 5*c = 3*x - 174, 5*x - 324 = 3*c. Does 21 divide x?
True
Let b = 6 + -9. Let t be 5*(b - (-17)/5). Suppose g - 3*d - 36 = 0, 3*d + 112 = 3*g - t*d. Is 23 a factor of g?
False
Let i(k) = -k**3 - 5*k**2 + 5*k - 5. Let y be i(-6). Let g(o) = 51*o**3 + o**2 - 1. Let x be g(y). Suppose 3*n + 0*n - x = 0. Is 8 a factor of n?
False
Let t(o) = 28*o - 64. Is t(7) a multiple of 12?
True
Suppose -192 = -4*z + z. Is z a multiple of 18?
False
Let g = -2 - -2. Suppose 0 = z - g*z + 67. Let w = z + 125. Does 20 divide w?
False
Let l(j) be the third derivative of j**6/180 + j**5/120 + j**3/2 + 3*j**2. Let a(k) be the first derivative of l(k). Is 6 a factor of a(2)?
False
Let h(c) = 3*c. Suppose -r - 5 = -2*r. Is 15 a factor of h(r)?
True
Let i(u) = 3*u + 4. Suppose -4 + 2 = -2*v. Let h be 12*v*1/2. Does 8 divide i(h)?
False
Is (136/(-10))/(-6 + 444/75) a multiple of 10?
True
Let w be (12/(-3))/(1 - 3). Suppose -5*m - 3*r + 160 = 0, 0*r + w*r = 2*m - 64. Is 16 a factor of m?
True
Suppose -6*v + 20 = -v. Let x be (164/(-8))/((-2)/v). Suppose -n - 5*r = -x, -1 = n - 3*r - 2. Does 8 divide n?
True
Suppose -3*l = 2*u - 135, 5*u + 114 = 2*l + 5. Is 12 a factor of l?
False
Suppose 0*l - 30 = -l. Suppose 1 = -a, -2*o + 3*a + 0*a + 5 = 0. Does 14 divide o/(l/28 + -1)?
True
Let d be 3 + (1 + 2)/(-3). Suppose -3 - 1 = -d*w. Is w a multiple of 2?
True
Suppose a + 23 = p - 40, 0 = -5*p + 3*a + 307. Does 58 divide p?
False
Is 19 a factor of ((-8)/6)/((-10)/690)?
False
Let m(r) be the first derivative of 12*r**2 - r - 1. Is 13 a factor of m(1)?
False
Suppose 5*r - 36 = -r. Does 5 divide r?
False
Let b = 37 + -17. Let f = -11 + b. Is ((-3)/f)/(1/(-33)) a multiple of 4?
False
Suppose 0 = -4*r + 45 + 3. Does 6 divide r?
True
Does 6 divide 14*(-6)/(-4)*6/18?
False
Does 8 divide 30/4*(-56)/(-10)?
False
Let q(t) = -6*t - 5. Let c(m) = -1. Let s(i) = -3*c(i) + q(i). Is s(-5) a multiple of 14?
True
Suppose 84 = -4*n - 0*n. Let r = n - -101. Is r a multiple of 13?
False
Let m be ((-3)/1)/(0 + -1). Suppose m*f - 84 = 3*y, 18 = f + 5*y - 10. Is 11 a factor of f?
False
Suppose 12 = -6*l + 8*l. Suppose 34 = l*w - 4*w. Does 8 divide w?
False
Let k(s) = s + 8. Let z = 4 + -4. Is 8 a factor of k(z)?
True
Let a be ((-6)/(-4))/((-2)/(-4)). Let r = 9 + -9. Suppose r = a*d - d - 20. Is 10 a factor of d?
True
Does 34 divide 6 + -13 - -9 - 21*-8?
True
Suppose o + 270 = 6*o. Let p = 77 - o. Is p a multiple of 13?
False
Let p(w) = 4*w**2 - 10*w + 2. Does 13 divide p(4)?
True
Suppose -3*d + 7 = -41. Let s be -1*1*-2 - 9. Let n = d + s. Is 7 a factor of n?
False
Let o(u) = u**2 - 6*u + 7. Let a be o(5). Suppose -4*d - a*j = -118, -2*d + 17 = -d + 3*j. Is 8 a factor of d?
True
Let n = 457 + -209. Is 25 a factor of n?
False
Let b(z) = z + 12. Let q be b(-10). Suppose 3*w + 35 = 2*m, 3*m - q*w - 16 = 2*m. Is 13 a factor of m?
False
Is 6 a factor of 180/12 + (-1 - -4)?
True
Let t(n) = n**3 - 6*n + 1. Let h be t(5). Suppose 0 = 2*l + 2*l - h. Is 8 a factor of l?
True
Let g(m) = 2*m**3 + 4*m**2 - 5*m + 4. Is 13 a factor of g(2)?
True
Suppose 10 = 2*l + 2. Suppose -l*w = w - 255. Is 13 a factor of w?
False
Suppose -8*y + 195 = -3*y. Is y a multiple of 13?
True
Let i(x) = -x**3 - x**2 + x - 2. Let q be i(0). Let u be 4/q + (28 - 3). Suppose t = 2*t - u. Is 13 a factor of t?
False
Let t(i) = -i**2 - 36*i - 43. Does 9 divide t(-34)?
False
Suppose m + 0*c = -2*c + 72, -c = 5*m - 351. Is m a multiple of 7?
True
Let d(t) = -4*t + 5*t + 7*t**2 + 2*t. Is d(-2) a multiple of 11?
True
Suppose -2*i - 3*i = -130. Suppose -2*r + 0*r = -i. Suppose 2*d - 66 = -5*o, 4*o + 3 + r = 0. Is d a multiple of 26?
False
Suppose -4*w - h - 1 = 0, 0*w - 5*h = -2*w + 5. Suppose 3*u - 12 = -w*u, -1 = x - 4*u. Does 4 divide x?
False
Suppose -111 - 157 = -2*b - 5*a, -2*a - 383 = -3*b. Is 18 a factor of b?
False
Let c(i) = 26*i - 14. Does 32 divide c(3)?
True
Suppose 21 + 9 = d + 4*q, -4*d + 40 = -4*q. Is d a multiple of 2?
True
Suppose -10*a - 12 = -14*a. Suppose -a*j - 15 = 0, 5*v + j = 4*j + 90. Is v a multiple of 15?
True
Suppose 4*u - 53 = -t, -35 = -5*u + 2*t + 41. Suppose 3*b - u = 1. Is 4 a factor of b?
False
Let y(s) = 5*s**2 - 2*s. Let f(g) = -10*g**2 + 4*g - 1. Let c(v) = -3*f(v) - 5*y(v). Does 19 divide c(2)?
True
Suppose -3 = -3*m - 21. Let z = -1 - m. Is 5 a factor of z?
True
Suppose -2*l + 3*n = -139 + 14, 3*l - 170 = n. Does 11 divide l?
True
Let b(i) = -i**3 - 7*i**2 + 5*i + 9. Suppose 4*f = 2*f. Suppose 26 = -5*a - o - 15, f = 4*a - 4*o + 28. Is 11 a factor of b(a)?
True
Suppose -127 = -2*u + 59. Is 11 a factor of u?
False
Suppose -10*w + 5*w + 50 = 0. Let s = 83 - w. Does 20 divide s?
False
Is (-4)/(-1 - -13)*-33 a multiple of 5?
False
Let w be 38/5 - 2/(-5). Let x(b) = 34 + b - 26 - 7*b**3 + 48 + w*b**3 - b**2. Does 18 divide x(0)?
False
Let j(l) = 4*l - 5. Let h = 7 + 11. Suppose -5*q + h = 2*k, -5 = -2*k + 2*q - 1. Does 6 divide j(k)?
False
Let w be -5 + (1 - -2) + 4. Suppose 15 = w*o + 3*o. Suppose 9 = -o*c + 102. Is c a multiple of 11?
False
Let r = -2 + 2. Suppose r*z = 2*j - z - 33, -2*j + 48 = 4*z. Let x = 52 - j. Is 15 a factor of x?
False
Let h(v) = -2*v + 19. Does 10 divide h(-11)?
False
Let v be 7/7 + (-1 - -63). Suppose -5*k + 29 = 3*s, -5*s - 3*k = -2*k - v. Is s a multiple of 13?
True
Suppose -20*h = -22*h + 14. Does 5 divide h?
False
Let t(c) = c**3 + 5*c**2 + c - 2. Is 7 a factor of t(-4)?
False
Is 27 a factor of (-1)/(-2)*46 + 4?
True
Let u(y) = 2*y**3 + 2*y**2 - y. Let h be u(1). Let t = h + 0. Suppose 54 = -0*g + t*g. Is 6 a factor of g?
True
Suppose 5*o = 4*v + 122, -5*o = 2*v - 3*v - 113. Is o a multiple of 11?
True
Does 10 divide 12/48 - (-78)/8?
True
Let n = 16 - -9. Is n a multiple of 6?
False
Let o(a) = 3*a**3 + 10*a**2 + 2*a + 12. Let l(t) = -4*t**3 - 11*t**2 - t - 13. Let j(m) = -4*l(m) - 5*o(m). Let f be j(7). Is 10 a factor of (13 + -3)*(0 - f)?
True
Let a(o) = o**2 - 3*o + 8. Let h be a(6). Let p = h + -2. Is p a multiple of 11?
False
Let a be (-2)/(-5) + (-286)/(-10). Suppose 3*m + a = 4*m. Is 13 a factor of m?
False
Let d(h) = h**2 - 4*h + 3. Let k be d(3). Suppose -b + 5 + 21 = k. Does 15 divide b?
False
Suppose -4*u = 0, 2*u = s - 5*s + 8. Suppose -4*f = s*b - 60, 4*b + 75 = -f + 6*f. Is f a multiple of 4?
False
Let t(a) = -a. Let p(u) = 7*u - 2. Let d(g) = p(g) + 2*t(g). Is d(3) a multiple of 13?
True
Let x(u) = -10*u + 12. Let w(r) = -r + 1. Let g(f) = -18*w(f) + 2*x(f). Does 7 div