 4. Is 24 a factor of t?
True
Let l(n) = -n + 1. Let h be l(-2). Suppose h*d - 30 = 4*r + 6, -d = r - 19. Does 10 divide d?
False
Let w be (0 + 2)*(-3 - -5). Suppose 5*c - 24 = -2*t, -w*c = t - 2*t - 27. Is c a multiple of 2?
True
Let a(q) = 97*q - 4. Let k be a(8). Suppose -5*u + 2*c = k, -4*u - 532 = c + 96. Is 20 a factor of ((-6)/4)/(6/u)?
False
Suppose 4*h - 12 = -0. Suppose h*p - 3*t - 93 = 0, 0 = -2*p - 5*t + 37 + 11. Does 9 divide p?
False
Let x(p) = 6*p**2 - 3*p - 1. Is x(-1) a multiple of 4?
True
Suppose 0 = -3*n + 6. Suppose 2*s = -n*s + 40. Let o = s - 5. Does 5 divide o?
True
Suppose -4*v + 632 = 3*j, j + 5*v = 109 + 87. Is j/8 - -1*1 a multiple of 13?
False
Let d(t) = t - 2. Let i be d(4). Suppose -i*y = -5*y + 105. Is 17 a factor of y?
False
Let c(d) = 0 - 3*d + 0 + 2*d - 5. Does 5 divide c(-12)?
False
Let f(o) = 4*o**3 - 3*o**2 + o - 4. Is 13 a factor of f(4)?
True
Let f(q) = 71*q - 1. Let h(c) = 1. Let z(x) = f(x) + 2*h(x). Let j be z(1). Suppose -y + 3*y - j = 0. Is y a multiple of 12?
True
Let j be 2/(1*2/10). Suppose -8*f = -3*f - j. Suppose 0*g = -f*i + 2*g + 4, 4 = 2*g. Is i a multiple of 4?
True
Let c be 54 - (1 + 0) - 1. Let d be (-2)/6 + c/3. Suppose -g + 2*g = h - d, 38 = 2*h - g. Is h a multiple of 19?
False
Let l(z) = z**2 + 5*z - 4. Let g be l(-6). Suppose -g*i + 3 = -i. Suppose 28 = -2*c + i*c. Is c a multiple of 12?
False
Suppose a + 5*w + 14 = 0, 0*a = 4*a + 2*w + 74. Let c be a - (1 + 2 + -1). Let h = 47 + c. Is h a multiple of 13?
True
Suppose 4 - 19 = -5*b. Is 24 a factor of ((-2)/b)/((-4)/414)?
False
Suppose -f = -3*f. Let m(x) = 1 - 11 + 4*x + f. Is m(9) a multiple of 13?
True
Let l be (17/2)/((-2)/(-4)). Suppose -2*o = -1 - l. Is o a multiple of 9?
True
Let f(q) = -q**2 + q + 10. Let r(i) = i**2 - i - 9. Let h(k) = 2*f(k) + 3*r(k). Is 17 a factor of h(-5)?
False
Suppose -u - 1 + 5 = 0. Let m be (1 + (-15)/(-6))*u. Suppose 0 = 2*z - 2 - m. Is 5 a factor of z?
False
Suppose 5*d + 200 + 15 = 0. Is 9 a factor of (-2)/6 + d/(-3)?
False
Let g(y) = -y**2 - 11*y - 12. Let h be g(-8). Suppose -5*q - h = -q. Does 11 divide q/(-2 + (-123)/(-66))?
True
Suppose 3*s - 3 = 0, 3*r + 0*r - 111 = -3*s. Suppose -4*b + 7*b = r. Is b a multiple of 6?
True
Let w be -4 + 2 + 1/1. Is 9*1 + w + 3 a multiple of 3?
False
Let q be -72*3*(-8)/36. Let c = -24 + q. Is 5 a factor of c?
False
Let s = 9 - 15. Let h be -19 - s/(-3) - -1. Let x = 16 - h. Is 20 a factor of x?
False
Let h(y) = 6*y + 17. Let f be h(-7). Suppose -2*r = -5*r - 6. Is ((-10)/f)/(r/(-20)) a multiple of 2?
True
Suppose -457 + 142 = -3*r. Is r a multiple of 28?
False
Let f = -21 + 43. Let x = 22 - 10. Let s = x + f. Does 16 divide s?
False
Let h(w) = 9*w**3 + w**2 + w - 2. Let d = 5 + -3. Does 19 divide h(d)?
True
Let y = 130 - 77. Is 4 a factor of y?
False
Is 11 a factor of 0 - 2 - (-38 - -3)?
True
Let q = -13 + 23. Is 3 a factor of q?
False
Let q(f) = -19*f + 1. Does 11 divide q(-1)?
False
Let t(s) be the first derivative of s**4 + 2*s**3/3 - s**2/2 - 2*s - 4. Is t(2) a multiple of 18?
True
Let q = -98 - -52. Let v = -10 - q. Is v a multiple of 18?
True
Suppose -63 = -2*g + 41. Does 26 divide g?
True
Suppose -3*x = -x - 8. Suppose -x*p = 2*h - 40, 4*p - 5*p = 2*h - 31. Does 8 divide h?
False
Suppose c = -4 - 18. Let i = 32 + c. Does 10 divide i?
True
Is 4 a factor of 2/(-9) - ((-650)/90 + -1)?
True
Let y(q) = -q**2 - q + 20. Is y(0) a multiple of 16?
False
Suppose -4*t - t + 45 = 0. Suppose -4*o = -t*o + 130. Is 21 a factor of o?
False
Let o = 72 + -15. Does 17 divide o?
False
Suppose 3*o + 3*l - 2*l = 12, 0 = 4*o - 2*l - 16. Let s(v) = 6*v + o - 5 - 5. Is 9 a factor of s(4)?
True
Let s(q) = q**3 - 11*q**2 + 11*q - 9. Let d be s(10). Let c be (d + (-3)/(-6))*-14. Let v = -8 - c. Is 11 a factor of v?
False
Let r(c) = -c**3 + c**2 + 98. Let g be r(0). Suppose 3*i = 3*u - u + g, 4*i - 130 = 3*u. Let s = -12 + i. Does 11 divide s?
True
Let x be 3*1 + (0 - 1). Suppose -280 = -x*l - 3*l. Is l a multiple of 15?
False
Let p(s) be the first derivative of -s**3/3 - 5*s**2/2 + 5*s - 3. Is 3 a factor of p(-5)?
False
Let i = -87 - -153. Does 11 divide i?
True
Is (15/60)/(1/1436) a multiple of 53?
False
Let n(z) be the first derivative of 5*z**2/2 + 3*z + 5. Is 7 a factor of n(5)?
True
Let v = -67 - -207. Is v a multiple of 35?
True
Let x(c) = -c**3 + 8*c**2 - 10*c - 1. Let m be x(7). Is (m/3)/(1/(-3)) a multiple of 11?
True
Suppose -h - 4*j + 6 = 0, h = 5*j - 3 - 0. Suppose 2*w = h*z + 20, 4*z + 15 = 5*w - 30. Is (-9)/w*(-15)/3 a multiple of 9?
True
Suppose 4*z = z + 123. Does 11 divide z?
False
Suppose -3*j = 9, -3*i - 13 = 5*j + 8. Let v = 6 + i. Is 4 a factor of v?
True
Suppose -4*a = 5*j - 428, 108 = 4*j + 4*a - 232. Suppose 3*m - y - 9 = 0, 6*y = 2*y. Does 17 divide j/(-6)*m/(-2)?
False
Let m = 276 + -144. Is 22 a factor of m?
True
Let b = 9 - 6. Suppose -4*m + 12 = 0, -l - b*m = -5*m + 1. Suppose 0 = l*d - 71 + 16. Does 11 divide d?
True
Let v(r) = -r**2 - 5*r - 1. Let m(u) = u**3 - 10*u**2 - 12*u + 5. Let k be m(11). Let n be v(k). Let h(y) = 2*y**2 + 9*y + 1. Does 18 divide h(n)?
True
Let a(z) = 7*z + 26. Is 32 a factor of a(10)?
True
Let i = -3 - -7. Suppose -3*z = -3*w, 4*z + i = w + 10. Suppose 0*p = z*p - 24. Is 12 a factor of p?
True
Let g(a) = -a**2 - 9*a - 5. Let i be g(-8). Suppose -i*d - d = -128. Is d a multiple of 16?
True
Let u = 31 + -48. Let t = 24 + u. Is 7 a factor of t?
True
Suppose -9*k = -13*k + 60. Does 15 divide k?
True
Suppose -g - 2*j + 139 + 117 = 0, 2*g - 5*j = 548. Is g a multiple of 15?
False
Let q(h) = h + 9. Let l(c) be the first derivative of 3*c**2/2 - c - 2. Let y be l(-1). Is q(y) a multiple of 2?
False
Suppose 28 = -5*t + 133. Does 21 divide t?
True
Is 18*12*(-66)/(-44) a multiple of 18?
True
Does 11 divide 2/(-12)*3*-62?
False
Is 8 a factor of (-11)/(11/(-6)) - -9?
False
Suppose 4*q + 550 = 5*j - 22, j - 5*q = 127. Suppose -4*w - 2*h = -j, 2*h - 87 = -3*w - h. Suppose -3*t + w = 5*r, -3*r + 7*t - 2*t - 11 = 0. Does 3 divide r?
True
Let u be 1*2 - (6 + -3). Let x = u - -1. Is (-2)/(x - -1) - -4 a multiple of 2?
True
Let h = 139 + -96. Does 11 divide h?
False
Let l = 90 - 129. Let f = l + 87. Does 16 divide f?
True
Let u = -35 + 17. Let z be (244/(-8))/((-3)/u). Does 10 divide z/(-6) + (-1)/2?
True
Suppose b - 38 = -4*m, 2*m = b - 0*b - 8. Does 18 divide b?
True
Suppose -7*b + 154 + 511 = 0. Does 19 divide b?
True
Let g be (2 - 0)*108/(-24). Let a(q) = -q**2 - 13*q - 1. Does 8 divide a(g)?
False
Suppose -35 = -2*t + 2*g + g, 0 = -2*t + g + 37. Suppose -l + t = 4. Does 5 divide l?
True
Suppose -1 = -2*a + 3. Suppose 2*g - a*y + 4*y = 14, -3*y = -2*g + 29. Does 10 divide g?
True
Suppose -u + 37 = 4*q, -2*u - q + 46 = -0*u. Suppose u = 3*o - 24. Is 15 a factor of o?
True
Let y(j) be the second derivative of 9*j**3/2 + 3*j**2 - 3*j. Let x be y(5). Suppose 0 = 3*u + u - 5*g - x, -g - 75 = -2*u. Is u a multiple of 13?
True
Let v(f) = -f**2 + f. Let w = -3 - -2. Let d be v(w). Is 9/d*(-4 + 2) a multiple of 9?
True
Suppose -y - 3*l + 19 = 0, l - 2*l = 5. Is y a multiple of 12?
False
Suppose -4*b - 4*q - 180 = 0, -4*b + 8*b - q = -195. Let l = 108 + b. Is l a multiple of 16?
False
Let s be (-116)/(-36) + (-4)/18. Suppose -6*i + 30 = -4*i. Suppose 0 = -5*f - 4*q + 34, -f - 2*f + s*q + i = 0. Does 3 divide f?
True
Let s be ((-4)/3)/(4/(-6)). Is 10 a factor of (-3 - -22)/(s + -1)?
False
Suppose 5*g = -10, 2*i - 5*g = 6 + 4. Let j(p) = 5*p**2 - 1. Let w be j(-1). Suppose w*v + v - 100 = i. Is v a multiple of 13?
False
Let n = 60 - 34. Does 13 divide n?
True
Let k(o) = 10 + 2*o**2 - 20 + 11 - 3*o. Is k(5) a multiple of 18?
True
Let m(u) = 1 + 0 + u + 1. Let o(w) = -w**2 + 4*w + 12. Let s be o(6). Is m(s) a multiple of 2?
True
Let f = -51 + 121. Is f a multiple of 18?
False
Does 3 divide 2/4*(-2 + 146)/4?
True
Let v be 70/4 - 9/6. Suppose -h - v = 3*b, 4*h = 3*b + b. Let g = b - -10. Is 6 a factor of g?
True
Suppose -7*a + 15 = -2*a, 3*h - 5*a = 0. Suppose 2*c = -6, 4*l = -l + h*c. Is (1/l)/(2/(-150)) a multiple of 14?
False
Let c(a) = -a**2 + 9*a. Let p(d) = d**2 + 3*d - 1. Let n be p(2). Let r be c(n). Suppose 3*j + j - 56 = r. Is 7 a factor of j?
True
Let u = 47 - 30. Is u a multiple of 3?
False
Let l be 150/14 + 8/28. Is (l + -1)/(1/2) a multip