 Does 7 divide g?
True
Let s = -373 + 543. Does 12 divide s?
False
Let d be (1 - 1/3)*39. Suppose s + d = 3*s. Is s a multiple of 13?
True
Let u be 1/(-2*2/(-96)). Suppose -i + u = i. Suppose -39 = -p + 2*k - i, 3*p = -3*k + 126. Does 16 divide p?
False
Let v(r) = -r - 1. Let i(l) = -l. Let s(y) = -6*i(y) + 3*v(y). Suppose -5*n + 22 = -13. Is s(n) a multiple of 9?
True
Suppose 21 = -5*v - 4. Let y = v + 7. Suppose 2*t - 4*z = 64, y*t = -2*z - 18 + 112. Is t a multiple of 14?
True
Suppose s - 2 + 0 = 0. Let w(a) = 2*a**s - a - a**2 + 5*a - 3*a. Is w(-4) a multiple of 6?
True
Suppose -4*j - 21 = 3*o - 65, -22 = -o - 5*j. Is o a multiple of 12?
True
Let f be (3 - -1) + 0 - 1. Let x(o) = -o**3 + 3*o**2 + 3*o - 4. Let v be x(f). Suppose 119 = 4*z + s, 1 = -v*s - 4. Is 15 a factor of z?
True
Suppose 3*z + z = -52. Let i = -6 - z. Let v(f) = f**3 - 7*f**2 + f + 1. Is v(i) a multiple of 8?
True
Suppose 0*w + 2*w - 90 = 4*i, 5*w - 198 = i. Is w a multiple of 8?
False
Let u = 105 - 45. Is (u/(-42))/((-2)/14) a multiple of 4?
False
Suppose 0*a + a = 36. Is 3 a factor of a?
True
Suppose 0 = -3*i + u - 5*u + 25, -4*i + 2*u + 48 = 0. Suppose 3*p - 43 = i. Does 18 divide p?
True
Let h(s) = -4*s**2 - 6*s + 6. Let v(t) = -t**2 + t + 1. Let w(b) = -h(b) + 2*v(b). Let c = -33 - -25. Is 22 a factor of w(c)?
False
Let b = 0 + 4. Suppose 3*c - b*f = 8*c - 72, 5*f = -5*c + 75. Is c a multiple of 12?
True
Is (0/(-1) - -106) + -2 a multiple of 9?
False
Let s = 138 - 86. Does 11 divide s?
False
Is (-19)/(-57)*(1 - -17) even?
True
Let y = -19 - -33. Let f = -9 + y. Does 5 divide f?
True
Let y(w) = 3*w - 2. Suppose p + 4 - 2 = 0. Let q be y(p). Let l(d) = -d**2 - 9*d + 4. Is 7 a factor of l(q)?
False
Suppose -2*g = -2*s + 18, s = 7*g - 2*g + 37. Let w(t) be the first derivative of -t**4/4 - 2*t**3 + 2*t**2 - 7*t - 3. Is w(g) a multiple of 9?
False
Let i(u) = 3*u**2 + 3*u + 3. Let c be i(-2). Suppose 0 = 2*b - h - 9, 5*b - 3*h - c = 16. Is (-1)/((-1)/16)*b a multiple of 16?
True
Suppose -8*k + 74 = -6*k. Is 8 a factor of k?
False
Let v(x) = -x**3 - 8*x**2 + 5*x - 10. Let i(d) = -d - 9. Let w be i(0). Is 9 a factor of v(w)?
False
Let z = 62 + -31. Is 16 a factor of z?
False
Let c(p) = -p**3 + p**2 - 2*p - 3. Let b be (-2)/(-6) + (-21)/9. Is 8 a factor of c(b)?
False
Let c(y) = 13*y. Is 13 a factor of c(1)?
True
Let t(g) = g**3 - 7*g**2 - 6*g - 11. Let x be t(8). Suppose 2*o + 12 = x*o. Suppose p + o*p = 175. Is 26 a factor of p?
False
Let i = -35 + 73. Suppose 3*l + i = 2. Is (-172)/l + 2/(-6) a multiple of 7?
True
Is 10 a factor of (1/3 + 0)/((-10)/(-510))?
False
Suppose -2 = -2*z + 2. Let d(p) = 45*p. Let t be d(z). Suppose -4*s - s + t = 0. Is 9 a factor of s?
True
Let l(x) = -1 - 4 + x - 7*x + x**2. Suppose 5*s + 2*n - 34 = 0, -s - 2 = 3*n - 1. Does 11 divide l(s)?
True
Suppose 2*w - 288 = -4*w. Does 6 divide w?
True
Let c(o) be the second derivative of -o**3/6 - 2*o**2 - 2*o. Let i be c(-3). Does 13 divide (43/(-2))/(i/2)?
False
Let v = 48 + -34. Suppose -2*z - 12 = -4*c, 5 = z - 3*c + v. Suppose z = -2*b - b + 84. Does 9 divide b?
False
Suppose 4*z - 132 = -0*z. Let p = z - 7. Does 13 divide p?
True
Let a = 11 - 5. Let g be 2*(-3)/a - -1. Suppose g = 3*p + 2*p - 150. Is p a multiple of 15?
True
Let f = 24 - 6. Is f a multiple of 7?
False
Let f be (-1)/(-1)*(-7 - -7). Let y(w) = -w + 39. Is 13 a factor of y(f)?
True
Suppose -4*n = -3*c + 58, 2*c + 0*n - 2*n = 36. Is (-1 - -3)/(4/c) a multiple of 5?
False
Let t = -8 - -10. Let a(r) = -r**3 + 5*r**2 - r. Is a(t) a multiple of 10?
True
Let l(p) = 4*p**2 - 5*p**3 + p**3 + 3*p**3 + 6*p. Let y be l(5). Suppose y*f + 10 = 45. Is f a multiple of 2?
False
Let a = 973 + -251. Let w be (-2)/(-9) - a/9. Is 2 a factor of w/(-35) - (-4)/(-14)?
True
Let c be 3 - (3 + -5 + -10). Suppose c = 5*l - 50. Is l a multiple of 8?
False
Let q be ((-3)/2)/((-6)/12). Let s be ((-14)/3 - 1)*-15. Suppose q*w = -2*w + s. Is w a multiple of 17?
True
Let j be (3 + -3)*2/4. Suppose j = -u - 0*u. Suppose h = u, -2*c - 4*h = -70 + 8. Does 15 divide c?
False
Let u(a) = -a - 8. Let d be u(9). Let z be d/((-3)/12*2). Let g = -2 + z. Does 14 divide g?
False
Let y = 37 - 54. Let h = -37 - -95. Let l = y + h. Is l a multiple of 15?
False
Suppose 3*o - 12 = -57. Let y = 33 + o. Does 11 divide y?
False
Suppose 5*c - 2*n = 763, -4*c + 5*n = -854 + 247. Suppose -196 = -4*w - 2*g, c = 3*w - 0*w + 3*g. Is 20 a factor of w?
False
Let c be 3/6 + 489/6. Suppose -5*m = -103 - c. Suppose -3*g = 5*v - m, v + 5*g - 35 = -2*v. Is v a multiple of 5?
True
Let k = 9 + -6. Is 12 a factor of (k + -18)/(0 - 1)?
False
Is 17 a factor of 54/36 - (-169)/2?
False
Let z be ((-12)/(-10))/(21/70). Suppose 0 = z*q + 28 + 8. Let b = q - -21. Is b a multiple of 12?
True
Suppose 0*j = 5*j - 60. Is (-2)/(2 + 0) + j a multiple of 11?
True
Let l(n) = n**2 - 7*n + 4. Let y be l(7). Suppose v - 7 = y. Is 5 a factor of v?
False
Let t(z) be the second derivative of -2/3*z**3 - z + 0 - 7/2*z**2. Is t(-8) a multiple of 15?
False
Let t = -25 + 24. Suppose l - 3*l + 24 = 0. Let x = l - t. Is x a multiple of 8?
False
Suppose 0 = -r - b + 154, 5*b = 4*r + 120 - 718. Suppose 0 = -4*x + r - 56. Is x a multiple of 12?
True
Let w(h) = h**3 - 4*h**2 + h - 1. Let m be w(4). Suppose 0*l = m*l. Suppose 0*q - q + 5 = l. Is q a multiple of 3?
False
Suppose -56*w = -54*w - 72. Is 18 a factor of w?
True
Let p = -8 - -5. Let n be (-5)/(-2)*(p + 5). Let d = n + -1. Is d a multiple of 3?
False
Let t be (-2 - 1)*(-2)/3. Let n be t/6*(-1 + 130). Let x = -12 + n. Does 23 divide x?
False
Let h(r) = r. Let g be h(-5). Let f(t) = 2*t**2 + 3*t - 11. Is f(g) a multiple of 13?
False
Suppose g - 4*g - 4*a = -195, 216 = 3*g - 3*a. Does 22 divide g?
False
Let d be (-1)/3 + (-1)/(-3). Suppose d*w = -w + 5. Suppose 0 = 3*r - i - 22, r - w*i = -3*r + 44. Is r a multiple of 5?
False
Suppose 9 = -t - b, -5*b - 31 = 2*t + t. Let d(f) = f**3 + 8*f**2 + 8*f + 8. Let l be d(t). Is (-14 + 4)/((-2)/l) a multiple of 2?
False
Let q(n) = 3*n**2 + n - 7. Is q(5) a multiple of 8?
False
Let b(t) = t**3 - 11*t**2 + 5*t + 1. Is 7 a factor of b(11)?
True
Let x(m) = 2*m + 6. Let q(l) = 2*l + 6. Let o(c) = -2*q(c) + 3*x(c). Does 10 divide o(6)?
False
Let c(n) = 10*n - 11. Is c(9) a multiple of 14?
False
Suppose 10*q = 5*q, 0 = 5*z - 2*q - 5. Let c be 108/1 - (-1 + z). Suppose 0 = -6*y + 3*y + c. Is 15 a factor of y?
False
Let k(a) = -a**3 - 11*a**2 + 8*a - 9. Is k(-12) a multiple of 13?
True
Let j(k) = 2*k**2. Let q be j(-1). Is 18 a factor of ((q - 1) + -10)*-2?
True
Suppose 0 = 2*i + 5*b + 476, -5*i + 3*i = -5*b + 476. Is 8 a factor of 3/15 - i/10?
True
Let f(a) = 5*a**2 - 3*a + 3. Let o be f(2). Suppose -3*z + o = -2*z. Is 17 a factor of z?
True
Suppose 14*z - 153 = 11*z. Is 15 a factor of z?
False
Suppose 5*n - 5*y = -0*n + 325, -4*y = -5*n + 330. Does 35 divide n?
True
Suppose -16 = -2*u - 2*u. Let q(y) = 2*y**2 + y**2 - y - y**3 + u*y + 1. Is q(3) a multiple of 4?
False
Let h = 20 + -20. Let o(t) be the first derivative of -t**2/2 + 16*t + 1. Is 5 a factor of o(h)?
False
Let f = -4 + 8. Suppose -4*s - m = -88, f*m = 4*s - m - 88. Does 10 divide s?
False
Suppose 5*a - 175 = -0*t - 2*t, 0 = -5*t + 2*a + 394. Does 8 divide t?
True
Let v(k) = -k. Let g(p) = 5*p + 4. Let z(o) = -g(o) - 4*v(o). Let f be z(-3). Does 4 divide (4 - 2)/(f/(-2))?
True
Suppose -l = -0 - 2. Suppose -l*d = d - 6. Is d even?
True
Let t(b) = 1 + 3*b - b + 0. Let u be t(-5). Let p = u - -16. Is p a multiple of 6?
False
Is 2 - (-3)/2*(-4)/(-3) even?
True
Is (5/(-4))/(2/(-8)) even?
False
Let a = -15 - -10. Let b be 20/(-70) - 262/14. Let k = a - b. Is k a multiple of 7?
True
Let o be (6/(-4))/((-6)/8). Let y = 4 - o. Suppose -y = 2*z + 5*k + 2, -12 = -3*z - 3*k. Is 6 a factor of z?
False
Suppose 180 = 2*h - 2*x, h - 2*x - x = 84. Is 30 a factor of h?
False
Let b = 17 + -12. Let y(u) = 2*u. Let h(a) = -5*a - 1. Let w(v) = 6*h(v) + 17*y(v). Is 14 a factor of w(b)?
True
Let t = -82 - -126. Does 22 divide t?
True
Let s be 2/(-5) + (-4)/(-10). Suppose -3*f + 6*f - 150 = s. Is f a multiple of 13?
False
Let u(i) = 5*i**2 + i - 1. Let v be u(1). Let z = 0 + 2. Suppose 5*x + 4*n - 39 = 0, -v*x = z*n - 58 + 11. Does 6 divide x?
False
Let h(j) = 6*j - 6. Does 18 divide h(7)?
True
Let n