 g a multiple of 5?
False
Is 1758/9 - (-2)/(-6) a multiple of 13?
True
Suppose 0*b = -4*b - 36. Let j = b - 29. Let y = j - -71. Is 18 a factor of y?
False
Let q(z) = 6*z**2 + 3. Let p be q(3). Suppose -2*b = b - p. Is 4 a factor of b?
False
Suppose -k + 386 = 3*s, 4*k - 528 = -3*s - s. Let p = s + -88. Is 13 a factor of p?
True
Let o(b) = -4*b - 2. Let h be o(7). Suppose 4*p + 36 = -6*s + 3*s, 0 = p. Is 8/5 + s/h a multiple of 2?
True
Let v = -98 + 155. Is v a multiple of 21?
False
Let v(g) = g**2 + 100. Let y be v(0). Suppose 2*c = -0*c + y. Does 17 divide c?
False
Suppose -5*x = -10*x - 5*d + 405, -2*d - 158 = -2*x. Let u = -56 + x. Is 4 a factor of u?
True
Let z(s) = 4*s + 4. Is 4 a factor of z(2)?
True
Suppose 40 = y + 4*y. Suppose 45 = y*z - 3*z. Is z a multiple of 4?
False
Let v(d) = -d**2 + 13*d + 4. Let c be v(11). Let q = -15 + c. Is 3 a factor of q?
False
Let t(d) = 4*d**3 + d**2 - 3*d**3 - 3 + 3*d + 6*d**2. Is 7 a factor of t(-6)?
False
Let h(q) = -12*q + 10*q**2 - q**3 - 4 + 2 + 9. Let n be h(8). Suppose 33 + n = 3*u. Is 12 a factor of u?
True
Let r(q) = -q**2 - q - 1. Let p be r(-2). Does 14 divide -2 + p + 1 + 32?
True
Let c be (1 + 0/1)*-4. Is ((-176)/(-55))/(c/(-30)) a multiple of 13?
False
Let z(a) = a**3 - 6*a**2 - 11*a + 12. Let h be z(8). Suppose -16 = t - h. Is t a multiple of 18?
True
Suppose 5*z - 17 - 8 = -2*d, -2*z = 5*d - 10. Let k(s) = s**2 - 2*s + 3 + 2 + 3*s. Is 3 a factor of k(d)?
False
Suppose 3*q = 333 + 603. Suppose -2*f - 4*f + q = 0. Is 13 a factor of f?
True
Suppose 3*a - 5 = 457. Suppose -34 = 5*u - a. Is 8 a factor of u?
True
Suppose -o - 14 = z + 3*o, 2*z + 3*o + 8 = 0. Suppose y - 96 = -z*y. Is y a multiple of 15?
False
Let g(t) = t**3 - 17*t**2 + 15*t - 10. Let z(r) = r**3 - 17*r**2 + 16*r - 11. Let w(u) = -4*g(u) + 3*z(u). Is w(16) a multiple of 13?
False
Suppose -5*k - 3*w - 1 = 0, 2*w - 1 - 5 = 0. Let h be k/11 - 1219/11. Let a = -79 - h. Is 19 a factor of a?
False
Let b(m) = 22*m**2 + 3*m - 2. Does 23 divide b(1)?
True
Let p(a) = a**2 + 4*a - 7. Let n be p(-5). Let r be (-3)/(3/n)*46. Suppose -3*y = -h - 76, 6*h + r = 3*y + h. Is y a multiple of 12?
True
Let b be (10/4)/((-1)/(-2)). Let n(s) = -3*s. Let l(z) = -z. Let o(h) = 5*l(h) - 2*n(h). Does 2 divide o(b)?
False
Is ((-69)/(-9))/(4/12) a multiple of 5?
False
Is 32 a factor of 10 + -6 + 50*3?
False
Let n(g) = -21*g. Let b(h) = -22*h. Let z(t) = -3*b(t) + 2*n(t). Is 6 a factor of z(1)?
True
Let a(k) = -2*k - 3. Let i be a(-3). Suppose -25 - i = -4*b. Is 5 a factor of b?
False
Does 10 divide (65/(-5))/(2/(-20))?
True
Let g be (-2382)/(-27) + 8/(-36). Let z = g - 43. Is z a multiple of 26?
False
Let v = -1 - -22. Is v a multiple of 21?
True
Let p(c) = -11*c**3 - c**2 - c - 1. Does 6 divide p(-1)?
False
Suppose 0 = 3*m + 3 - 9. Suppose -m*z = z. Suppose 5*r + 11 - 151 = z. Does 10 divide r?
False
Suppose 0 = 2*u + 5*b - 45, 8*b - 3*b - 25 = 0. Suppose -5*x + u*x - 170 = 0. Is 13 a factor of x?
False
Let q(f) = -2*f - 3*f + 7 + 4*f. Let k be q(7). Suppose o - 3*s - 5 = 7, 2*o - s - 44 = k. Is 12 a factor of o?
True
Let d(m) = m**3 - 12*m**2 + 5*m - 38. Is d(13) a multiple of 24?
False
Suppose -12 = -5*q - 3*h + 10, 0 = -5*q + 3*h + 28. Is 10 a factor of q/(-20) + (-322)/(-8)?
True
Suppose -4*g + 3 = -c, 0 = 2*c - g - 0*g - 8. Suppose 0 = l - 8 + c. Is l a multiple of 2?
False
Let n(u) be the third derivative of u**5/60 - u**4/3 - 3*u**3/2 - 4*u**2. Does 11 divide n(10)?
True
Is 2 a factor of 403/39 + (-4)/(-6)?
False
Suppose 12*c - 150 = 7*c. Is c a multiple of 12?
False
Let a(p) = 2*p**3 + 15*p**2 - 13*p + 8. Is 9 a factor of a(-8)?
False
Let d be (0 - 20/(-6))*3. Suppose -7*b + d = -2*b. Suppose 128 = b*l + 2*l. Is 16 a factor of l?
True
Let x(z) be the first derivative of z**3/3 + 9*z**2/2 + 7*z + 3. Is 6 a factor of x(-9)?
False
Let v(k) = -k**3 + 2*k - 1. Let n be v(1). Let l(r) = r**2 - 2. Let o be l(n). Does 8 divide o + (1 - (-28 + -1))?
False
Let g(i) = 3*i + 5. Let s be g(10). Does 9 divide -1 - (2 - 3 - s)?
False
Suppose -t + 1 = z, 0 = 5*z + 3*t - 0 - 3. Does 24 divide (-13)/((3 + z)/(-6))?
False
Let a(w) = w**3 + 6*w**2 + 7*w + 2. Is 3 a factor of a(-4)?
True
Suppose -5*r + 1740 = 10*r. Is 13 a factor of r?
False
Suppose -5*t + 4*m = -59, -2*m + 50 - 8 = 4*t. Let f = 29 + t. Let j = f + -28. Is 6 a factor of j?
True
Let q(x) be the second derivative of -x**7/2520 + x**6/80 - x**5/30 - x**4/6 + 2*x. Let r(o) be the third derivative of q(o). Is 7 a factor of r(6)?
True
Suppose -122 = -2*y - 36. Suppose 0 = -2*d + 193 + y. Does 26 divide d?
False
Is 43 a factor of (-9)/(-15) + (-1060)/(-25)?
True
Suppose 8*z - 5*z = 0. Suppose z = -5*d - 2*k + 127, -k = -d - 2*k + 26. Is 7 a factor of d?
False
Suppose -2*t + 605 = 5*i, -8*i + 3*t + 261 = -6*i. Is i a multiple of 41?
True
Suppose -11 = 2*j - 35. Is 3 a factor of j?
True
Suppose -d = -5*a + 229, 2*a + 0*d - 78 = -3*d. Is a/(-6)*24/(-9) a multiple of 10?
True
Let l = 12 - 12. Suppose 3*b - 102 = -2*z - l*z, 4*z - b = 218. Is 16 a factor of z?
False
Suppose -n - 13 = 39. Does 13 divide -5*2*n/40?
True
Let j(z) = -z**2 - z + 5. Let a be j(4). Let x = a + 47. Is x a multiple of 11?
False
Let p(i) = -4*i - 2*i + 5*i + 1. Let r be p(1). Suppose 7*u - 71 = -4*m + 2*u, r = m + 4*u - 26. Is m a multiple of 8?
False
Let o be (-9)/4*(5 - 1). Let t = 5 + o. Let z = t + 10. Is 5 a factor of z?
False
Suppose -5*b - 4*p = -144, 0*p = 2*b + 5*p - 44. Is b a multiple of 18?
False
Let a be 1/(-1) + -4 + 2. Is ((-2)/(-5))/(a/(-15)) even?
True
Suppose 4*d = 3*a + 1, -d + 5*d - 9 = -5*a. Let s be ((-1 + d)*-1)/(-2). Suppose -b + 2*b = 5, s = 5*u + 2*b - 35. Does 3 divide u?
False
Let r(g) = 11*g + 1. Let z(d) be the third derivative of -5*d**4/12 + 2*d**2. Let q(h) = 5*r(h) + 6*z(h). Is 10 a factor of q(-4)?
False
Let m be 0 + 5 + 9/(-3). Suppose m*n + n = 48. Is n a multiple of 8?
True
Does 15 divide 244/6 - 1/(-3)?
False
Let f(t) = -2*t - 5. Let z be f(-5). Let k = 10 - z. Suppose -3*h = 3*u - 99, k*u = -0*u - 20. Is h a multiple of 13?
False
Let t(a) = -a**3 + 7*a**2 - 7*a - 6. Let g be t(6). Let d = 102 - 144. Let w = g - d. Does 19 divide w?
False
Is ((-11)/(-2))/((-4)/(-32)) a multiple of 11?
True
Let t(c) = -c**3 + 6*c**2 - 3*c - 12. Let w(z) = z**3 - 6*z**2 + 4*z + 13. Let a(b) = 6*t(b) + 5*w(b). Is 7 a factor of a(5)?
True
Let p = 52 + -28. Does 24 divide p?
True
Let r = 325 + -155. Is 12 a factor of r?
False
Suppose -w - 18 = 2*w. Let n = w - -10. Is (-24)/(-2)*5/n a multiple of 15?
True
Let s(b) = -b**3 - 5*b**2 + 6*b + 2. Let g be s(-6). Let z(u) = -u + 7*u**2 + 0*u + 7*u**2 + g. Is z(2) a multiple of 26?
False
Is 13 a factor of (2 - 3) + 4 - -42?
False
Let l(d) = -14*d. Is l(-3) a multiple of 7?
True
Suppose 5*p - 5297 = 478. Is 13 a factor of (-2)/8 + p/44?
True
Let y be (-3)/3 - -1 - -1. Let g = 3 - y. Suppose -24 = 2*w - 3*w - g*h, -5*w = 5*h - 135. Does 12 divide w?
False
Let t(c) = 19*c**2 + 11*c - 12. Is t(4) a multiple of 28?
True
Suppose 4*b - 644 = -3*b. Is 14 a factor of b?
False
Let l(b) = -b**3 - b**2 - 6*b - 3. Suppose -2*x + 5*x = -12. Let c be l(x). Let o = c + -49. Does 10 divide o?
True
Let c(a) = -a**3 + 8*a**2 - 4. Let q be c(8). Let l be (-1)/2*16/q. Suppose 2*m - 5*m + 4*u = -29, l*u - 35 = -3*m. Does 6 divide m?
False
Suppose 3*z - 2*z - 6 = 0. Is 15 a factor of z - (6 - 4) - -50?
False
Suppose 0 = z - 3 - 3. Suppose -2*n - z - 20 = -4*x, -5*x + 3*n + 35 = 0. Suppose 0*t + t - 4*c - 65 = 0, -x*t - 5*c = -155. Is 16 a factor of t?
False
Suppose -c + 5*c - 143 = 5*t, 3*t - 114 = -3*c. Let a = -17 + c. Does 10 divide a?
True
Let x(l) = l**3 + 5*l**2 + 4*l + 3. Let g be x(-4). Suppose 5 = -g*p + 62. Suppose 0 = -c - h + p, c - 16 = -2*h + 4*h. Is c a multiple of 18?
True
Suppose 3*a = -1342 - 356. Let t be (-4)/(-6) + a/(-6). Suppose -4*g + t = 15. Does 11 divide g?
False
Let k = 48 - 21. Does 17 divide 4/(4/3) + k?
False
Is 45 a factor of 6 + 399*2/3?
False
Let q(f) = f + 30. Is 5 a factor of q(0)?
True
Let i be (-8)/(-16)*(-8 + 2). Does 11 divide (11/i)/(2/(-12))?
True
Suppose -4*u - 352 = -28. Let i = u + 40. Let w = i - -59. Does 9 divide w?
True
Let i(n) = -3*n + 11. Let r(u) = 8*u - 34. Suppose 19 = -4*w + 3*z, -6 - 6 = 4*z. Let s(y) = w*i(y) - 2*r(y). Is s(7) a multiple 