ctor of g?
True
Is (-3)/(((-6)/55)/(64/40)) a multiple of 22?
True
Suppose 5 = -2*r + 3. Does 20 divide (2/r - -19) + 3?
True
Let p(k) be the first derivative of -k**4/4 - k**3 - 5*k**2/2 - 1. Is 21 a factor of p(-4)?
False
Let w(z) = 19*z + 2. Does 13 divide w(2)?
False
Suppose 6*o - 441 = 279. Is 15 a factor of o?
True
Suppose 0 = -7*l + 2*l - 5*a + 160, -a = 4*l - 122. Suppose z - l = 1. Is 8 a factor of z?
False
Suppose 0 = -3*a + 41 + 7. Suppose 0 = w - 5*w - a. Let j(l) = 2*l**2 + 5*l - 1. Is j(w) a multiple of 5?
False
Suppose 10*r - 19 - 31 = 0. Is r a multiple of 2?
False
Let r = 31 - 22. Let v = -7 + 13. Suppose 0 = u - v - r. Is u a multiple of 7?
False
Let f(x) = x**3 + x + 56. Is 13 a factor of f(0)?
False
Let o be (6/10)/(4/20). Let l = -16 - -22. Is 7 a factor of 4/l - (-40)/o?
True
Suppose 5*d + 0*d = 55. Is d a multiple of 2?
False
Let p(n) = -11*n - 2. Let x(l) = 34*l + 5. Let y be (-2)/(2/(-1)) + 6. Let w(a) = y*p(a) + 2*x(a). Is 12 a factor of w(-4)?
False
Suppose 5*f = 3*b - 150 + 3, 196 = 4*b - 2*f. Is 48 a factor of b?
False
Suppose -4*s = -s. Let c be 5/(-10)*s/2. Suppose -2*z + 50 + 22 = c. Is 14 a factor of z?
False
Suppose 292 = 10*b - 228. Is 13 a factor of b?
True
Let c = -2 + 6. Suppose 0 = -0*s + c*s - 8. Is s a multiple of 2?
True
Let d = 127 - 88. Is 34 a factor of d?
False
Suppose 0 = 4*v - 4, -4*v - 8 = 2*t - 0*v. Let s be 2/(-1) - 1*t. Suppose -3*k + 17 = z, -5*k = s*z - 2*z - 34. Is 14 a factor of z?
False
Let l(m) = -3*m - 29. Let b(t) = 2*t + 19. Let g(z) = 8*b(z) + 5*l(z). Is g(10) a multiple of 17?
True
Let u be (-30)/(-45) - (-74)/6. Does 11 divide u - (-2)/(-6)*6?
True
Is -2*5*(-1)/2 a multiple of 3?
False
Suppose 5*r = 3*z - 673, -2*z + 342 + 80 = 2*r. Is z a multiple of 18?
True
Let p = 20 - 9. Is (p/(-2) - -2)*-2 a multiple of 4?
False
Suppose -l + 20 = -10. Is l a multiple of 30?
True
Suppose -6*z = -344 - 766. Is z a multiple of 37?
True
Suppose 4*x = 4, 3*x + 2*x - 120 = -5*v. Is v a multiple of 11?
False
Suppose 9*f - 4*f - 3 = 3*g, -2*f = -g - 2. Is g a multiple of 2?
True
Suppose 14*d - 1732 - 4498 = 0. Does 13 divide d?
False
Let w be 0 - 2/(-1) - -22. Suppose 0 = 5*x - w - 31. Is 5 a factor of x?
False
Suppose -15 = -n + 21. Is n a multiple of 12?
True
Let l(f) = 6*f**2 + f + 4. Let r be l(3). Let a = 1 - 34. Let h = r + a. Is h a multiple of 14?
True
Suppose -r - 2*x = 2*x + 8, -5*x = -2*r + 10. Suppose r = -3*n + 2*n + 21. Is 7 a factor of n?
True
Let m be (0 - 0) + (19 - 3). Suppose 3*u + 4*k = -k + 52, 2*k - m = -u. Is u a multiple of 12?
True
Suppose -4*z - 32 = -8*z. Is z a multiple of 4?
True
Is 36 a factor of 216/(23/4 - 5)?
True
Suppose 5*a - 57 = 4*a. Is a a multiple of 19?
True
Let i(k) = -45*k - 7. Let g(v) = -91*v - 15. Let j(q) = -6*g(q) + 13*i(q). Is j(-1) a multiple of 21?
False
Let v(f) = 2*f**2 + 7*f + 4. Let q be v(-4). Is q/3 + (-4)/(-12) a multiple of 3?
True
Let l = 7 + -5. Let s = l + 3. Is s a multiple of 5?
True
Let j(y) = y**3 + 4*y**2 - 4*y + 7. Let x be j(-5). Let n(l) = -l**x + 0*l**2 + 4*l**2 + 2. Does 10 divide n(-3)?
False
Let j = -40 + 96. Is 14 a factor of j?
True
Let g(y) = -5*y - 26. Is g(-11) a multiple of 8?
False
Is 11 a factor of 148/2*(3 - 2)?
False
Let v(f) = 3*f - 5. Let z be (-1)/5 - (-96)/(-20). Let n(t) = t**2 + 5*t + 7. Let i be n(z). Is 16 a factor of v(i)?
True
Suppose -4*v + 2*v = -128. Is 16 a factor of v?
True
Let p(m) be the second derivative of -m**5/20 - m**4/2 - m**3/3 + 3*m**2/2 + 2*m. Let y(b) = b - 6. Let o be y(0). Is p(o) a multiple of 15?
True
Is (240/(-4))/(12/(-8)) a multiple of 10?
True
Let m = -93 - -158. Is 12 a factor of m?
False
Let t = 95 - 50. Does 10 divide t?
False
Suppose 3*o = 7*o - 720. Is 30 a factor of o?
True
Suppose 240 = 3*p - 237. Is 28 a factor of p?
False
Let a(x) = 4*x**2 - 10*x - 3. Let k be a(7). Suppose 0 = -2*i + 21 + k. Suppose -24 = -b + y, 0 = 3*b - 2*y - 2*y - i. Is 12 a factor of b?
True
Let b(i) = -i**3 - 3*i**2 + 12*i - 9. Is b(-7) a multiple of 13?
False
Let t(c) = c**2 - 5*c + 2. Let b be t(4). Is 14 a factor of (-1 + 117/(-6))*b?
False
Suppose -2*t + 20 = -4. Let i = t + -2. Does 9 divide i?
False
Suppose j + 3 = 4. Suppose -4*s = -4*n + j + 3, 17 = 2*n + s. Does 3 divide n?
True
Suppose 7*u = 2*u. Suppose u*c = -3*c + 48. Does 12 divide c?
False
Let x = 9 - 4. Let i = 8 + -1. Let z = i + x. Is 5 a factor of z?
False
Suppose -3*h = 2*h - 3*m - 595, 459 = 4*h + m. Suppose -5*c - 41 = -h. Is 11 a factor of c?
False
Let f(k) = 38*k + 3. Let b be f(-2). Does 12 divide b/(-6) - (-1)/(-6)?
True
Let l(u) = -3*u + 12. Does 10 divide l(-6)?
True
Suppose -10*s + 66 = -7*s. Is 11 a factor of s?
True
Let q(c) = -2*c**3 - 3*c**2 - c + 2. Let t be q(-3). Let z = -18 + t. Does 14 divide z?
True
Let q(y) = -y**3 - 2*y**2 + y + 1. Let w be q(-3). Let b = w + 7. Is b a multiple of 7?
True
Suppose -2*i - 57 = -5*d - 0*d, -5*d + 53 = 2*i. Suppose -3*h - h + 25 = 3*k, -2*h = -8. Let n = d + k. Is n a multiple of 14?
True
Suppose 4 = -m + 3*m. Suppose 5*y = f - 73, -29 = 4*f - m*y - 303. Does 17 divide f?
True
Suppose -4*v - 110 = -346. Let t = -26 + v. Does 13 divide t?
False
Suppose -12*k = -11*k + 5. Is ((-6)/k)/((-2)/(-20)) a multiple of 3?
True
Suppose s = 2 - 0. Let o(n) = 2*n. Is o(s) a multiple of 2?
True
Is 32 a factor of 6*(-24 + (-3 - -4))/(-3)?
False
Let q be (10/4)/(6/24). Let i = 23 + q. Does 23 divide i?
False
Let n = 23 + 51. Is n a multiple of 10?
False
Let o = -35 + 55. Is 18 a factor of o/(-70) + 359/7?
False
Suppose 5*d - 5*t = -20, -4*d - 4 = -2*t + t. Let n(w) = 2*w**2 - w - 2. Let u be n(3). Suppose v = -d*v + u. Is v a multiple of 4?
False
Let h be 3/9 - (-2)/(-6). Suppose -7*j - 5*m = -3*j - 376, h = 2*m. Is 7 a factor of (-2)/(-6) + j/6?
False
Let u(o) = -o**2 - 5*o - 4. Let d be u(-3). Suppose -d*b - 10 = -4*b. Suppose -21 - 19 = -b*q. Does 4 divide q?
True
Suppose -d - 1144 = d. Does 20 divide 1/3 + d/(-12)?
False
Suppose -408 = -4*n + 52. Is n a multiple of 23?
True
Suppose -4*u - 10 = -3*f, -2*u - 8 = -5*f + 4. Suppose f = 2*a - 42. Does 10 divide a?
False
Let u(o) = o**2 + o + 1. Does 7 divide u(-3)?
True
Let v(o) = o**2 - 5*o. Let q be v(6). Suppose 215 = -m + q*m. Is m a multiple of 18?
False
Suppose 0*d = -4*d. Suppose 29 = 3*r - u, -2*r + 6*u - 3*u + 31 = d. Let o = r - -3. Is 11 a factor of o?
True
Suppose 7*r - 4*r = 45. Does 2 divide r?
False
Let c(n) = 9*n**2 - n - 1. Let p be c(2). Suppose 5*y = -o + 169, 0*y = -y - o + p. Let d = 0 + y. Is 17 a factor of d?
True
Let p be (-6 + 1)/1 + -3. Is 15 a factor of 70/p*(-16)/4?
False
Let i(h) = -4 + 7*h**2 + 4 + 50*h**2. Is 19 a factor of i(1)?
True
Let t = -4 - -6. Suppose -4*y + 52 = -t*y. Does 8 divide y?
False
Let m be 0/(6/2 - 2). Suppose 4*z + m*z - 12 = 0. Does 3 divide z?
True
Let y(a) = 2*a**3 - 6*a**2 + a + 2. Is y(4) a multiple of 6?
False
Suppose 697 = 5*m + 37. Is m a multiple of 27?
False
Suppose k - 3*c + 8*c - 38 = 0, 0 = -5*c. Is k a multiple of 10?
False
Let f(p) = 25*p - 7. Let l be f(6). Let k = -289 + l. Is k/(-6) - 4/12 a multiple of 12?
True
Suppose -300 = -6*m + 336. Is m a multiple of 3?
False
Suppose -o = 3*t - 49, -o - 4*t + 26 = -18. Is o a multiple of 16?
True
Let y be -7 + (-2 - 0)/(-1). Let t(x) = -x**2 - 6*x - 3. Let z be t(y). Suppose -4*b + 64 = -5*u + z*u, 64 = 4*b + 4*u. Is b a multiple of 8?
True
Let i(y) = y**3 + 4*y**2 + 3*y + 2. Let b be i(-3). Suppose 3*o - 3*w - 51 = 0, 0 = o + b*o - w - 49. Is o a multiple of 16?
True
Let o(h) = h**3 + 9*h**2 - 22*h + 4. Is 4 a factor of o(-11)?
True
Is (-542)/(-14) - (-2)/7 a multiple of 13?
True
Suppose 3*u - 108 = -2*o, 5*u = -3*o - 0*u + 160. Is 5 a factor of o?
True
Suppose -76 = -5*a + 3*a. Does 19 divide a?
True
Let p(m) = m**3 + m**2 + 7. Suppose 2*b - 18 = -4*l, 5*l = l - 3*b + 17. Suppose -l*y = -y. Is 3 a factor of p(y)?
False
Suppose h = -5*j + 29, -2*h + 2*j + 36 = h. Suppose 2*x = -v - 0*v + h, 0 = v. Let k(z) = z**2 - 2*z + 2. Is k(x) a multiple of 12?
False
Let p = 18 - 8. Suppose 0 = i - p - 12. Does 8 divide i?
False
Let u(w) = 2*w**2 + 1. Let p be u(3). Let n = 41 - p. Is n a multiple of 22?
True
Let c = -9 - -12. Is c a multiple of 2?
False
Let t be 8/(-14) - 360/105. Is 10 a factor of 20/7*(-14)/t?
True
Let y(t) = -t**3 - 7*t**2 - 6