 -3)). Which is greater: 4/13 or b?
4/13
Let p = 5492/9 + -611. Which is greater: -2 or p?
p
Suppose -3*y + 49 - 13 = 0. Which is smaller: y or 11?
11
Let c be (2/4)/(8/16). Which is smaller: 6/5 or c?
c
Let v(t) = t**2 - 18*t + 24. Let h be 70/4 + (-15)/10. Let u be v(h). Which is bigger: -10 or u?
u
Let m(f) = 0*f + 3 + 2*f**3 - 2*f**2 + f + 5*f. Let n be m(-4). Let q = 1269/7 + n. Which is bigger: q or 0?
q
Let d(r) = -r + 4. Let v = -20 - -34. Let s = v - 9. Let h be d(s). Which is greater: h or -1/2?
-1/2
Suppose -4*s - s = 4*i - 11, 18 = 2*s + 5*i. Let g = 2 + s. Are -2/11 and g equal?
False
Let d be 21 + 3/(-2)*12/(-6). Is d bigger than 22?
True
Suppose 4*p - 4*z + 60 = 0, -4*p + 2*z - 28 - 24 = 0. Is -10 at least as big as p?
True
Let k be 2/(-8)*(-72)/15. Let z(x) = -2*x + 19. Let n be z(9). Which is smaller: k or n?
n
Suppose -7*k + 2*d - 20 = -3*k, -2*k = d + 14. Let l be (5*-1)/(3/k). Let q = l - 7. Is 3 >= q?
True
Suppose -30 = 4*v - 7*v. Suppose -14 = 4*w + v. Which is greater: w or -7?
w
Suppose -5*q + 6*q - 2 = 0. Suppose -q*m = -6*m. Is 1 > m?
True
Let y be 1*(0 + 0) + 84/(-30). Is -2 equal to y?
False
Let b = 7.054 + 0.046. Let p = -7 + b. Which is smaller: 5/4 or p?
p
Suppose 2*t + 597 = -5*y, 0 = y - t + 25 + 93. Let k = 1069/9 + y. Is 0 > k?
True
Suppose -5*f - 5*b = -3 - 2, -2*b + 1 = f. Which is smaller: -3/58 or f?
-3/58
Let p(o) = -2*o**2 - 4. Let u(l) = -l**2 - l - 5. Let g(m) = -2*p(m) + 3*u(m). Let w be g(5). Let k(v) = v - 2. Let y be k(3). Which is bigger: y or w?
w
Let o = 36.9 - 37. Is o at least -55?
True
Let y = 0 - -1. Let n(q) be the first derivative of 2*q**3/3 + q**2 - q + 6. Let r be n(y). Does r = 2?
False
Let r = 3/190 - 419/2470. Which is smaller: 1 or r?
r
Let k be (-1162)/15 + 8/12. Let u = k - -77. Suppose -5*g - 3*q - 2 = -0*q, 4*q - 1 = -3*g. Which is smaller: u or g?
g
Let m(j) = -j - 8. Let t be m(-5). Which is bigger: -2 or t?
-2
Let w be (-28)/21 + (-4)/6. Let p = w - -5. Suppose p*n - 3 - 3 = 0. Is n != 3?
True
Let q be 2/3*(-6)/(-2). Let p = 0.05 + -0.06. Let t = p - -0.11. Which is greater: t or q?
q
Let l(w) = -w**3 + 9*w**2 - w + 12. Let h be l(9). Let c = 5 - 2. Is c greater than h?
False
Let f = -34 - -53. Which is smaller: f or 20?
f
Let i(n) = n**3 - 4*n**2 - 6*n + 4. Let l be i(5). Is -7/3 at most as big as l?
True
Let n = -4.1 + 3.7. Which is smaller: n or -1/5?
n
Suppose -2*a + a - 5 = 0. Let y(v) = v**2 + 5*v + 2. Let d be y(a). Is d <= 0?
False
Let k(r) = -17*r + 3. Let l be k(4). Let z = 451/7 + l. Let i be 2/2 + 0 + -1. Is z at least i?
False
Let x(n) = n**2 - 4. Let u be x(3). Suppose -5*y + 0*q + 82 = -3*q, 34 = 3*y + 2*q. Suppose -u*m = -y - 6. Is 2 greater than m?
False
Let g = 1 + -3. Let k be g/(-6)*18/82. Let z = 103/287 - k. Which is greater: z or 1?
1
Suppose 2*a + 0*a = -u + 26, 3*u - 2*a - 94 = 0. Is u bigger than -2?
True
Let m be 1/(-2*18/201). Let h = 19/3 + m. Which is bigger: 1 or h?
1
Let x(d) = -d - 4. Let z be x(-5). Suppose -2*l = 1 + z. Suppose -7 + 15 = -4*j. Which is smaller: j or l?
j
Suppose -5*k - s - 26 = 0, -k + 6 = -2*k - s. Let u be (-15)/(k + 3 - -3). Let y be (-5)/u + (-1)/3. Is 1/4 smaller than y?
False
Let h = 6 - 7. Let d = h + -1. Let c be (3 + d)/((-2)/(-2)). Which is bigger: c or -2/5?
c
Let o(j) = -j**3 - 5*j**2 - 6*j. Let c be o(-4). Let d be (2/28)/((-2)/c). Which is smaller: d or 3?
d
Suppose 0 = 12*p + 8 + 16. Suppose 4*z + 5 = -r - 2, 3*z - 2*r = 3. Let y be (z - 0)*(4 - 0). Is y less than p?
True
Suppose 3*z = -z. Suppose o - 6*o = z. Is -4 equal to o?
False
Let k(f) = f - 8. Let j be k(6). Let o be (-3 - j - 2) + 0. Let u(c) = 2*c + 17. Let w be u(-9). Does w = o?
False
Suppose 3*t - 28 = 4*y, 2*t = -5*y - 16 - 19. Let r = y + 14. Is r > 8?
False
Suppose -20*f + 26*f - 6 = 0. Which is smaller: -2/121 or f?
-2/121
Let v = 44 - 68. Let g be ((-2)/(-4))/((-18)/v). Which is smaller: g or -3?
-3
Let r(s) = 2*s - 7. Let h be r(3). Is h at most 1/4?
True
Let g = 3 + -5. Let z = 8 + -8.06. Let a = z + -0.04. Which is greater: a or g?
a
Let y = -10 - -10. Let h = 3 + -3. Let i = 1 - h. Which is bigger: i or y?
i
Let y = -32 - -48. Do y and 17 have different values?
True
Let r be 620/(-36) - (-2)/9. Which is smaller: r or -18?
-18
Let o(l) = -2*l - 16. Let u be o(-11). Let p = -7 + u. Suppose i = 4*x + 16, 6*x = -2*i + 3*x - 12. Which is bigger: p or i?
i
Let t = -5 - -1. Which is greater: t or -2?
-2
Let r = 1 - 0. Let u be 70/(-22) - (2 + -5). Which is smaller: u or r?
u
Let x = -0.17 - -1.17. Is 0.03 > x?
False
Suppose 25 = -l + 6*s - s, 0 = l - 2*s + 13. Suppose -5 = t - 1. Which is smaller: t or l?
l
Let l be (4/5)/1*20/12. Is 0 > l?
False
Let r = 43 + -43.15. Is r greater than -0.1?
False
Let g = -4 + 6. Let l be (-3 + (g - 2))*-1. Is l < -0.2?
False
Let v = -311571990409187483/6706840 - -789749544448/17. Let t = -1/11272 - v. Let m = -101/5 + t. Is m < 0.2?
True
Let j(v) be the second derivative of -v**4/12 + v**3/2 - v**2/2 + 9*v. Suppose 0 = -0*b - 2*b + 4. Let r be j(b). Which is smaller: r or 2?
r
Suppose 27*i = 17*i + 30. Let l = 729/188 + -6/47. Is i > l?
False
Let s = -3 - -6. Suppose f = -2 + s. Which is bigger: f or 2?
2
Let q = 8 + -3. Which is smaller: 7/2 or q?
7/2
Let i(l) = -l**2 + 14*l + 5. Let w be i(15). Let v = -8 - w. Let y be 34/10 - 2/5. Which is greater: y or v?
y
Let l = -10.771 + -0.229. Let d = -68/3 + 23. Does l = d?
False
Suppose 0 = -11*b + 9*b. Which is greater: b or 1/3?
1/3
Let u be (2 - 2/(-2)) + -2. Is u > 1?
False
Let h be (2/3)/(-6*(-5)/45). Let b = -189/5126 - 2/233. Is h greater than b?
True
Let g be (2/(-1))/(-4)*0. Let n be 96/(-190) + 4/10. Are n and g unequal?
True
Let s be 3/(-2)*(-4)/(-3). Let t be s*1 + 24/8. Let c be (-1)/(6/4) + 1. Is t greater than or equal to c?
True
Let r(l) = -2*l - 55. Let h be r(-28). Which is smaller: h or 3?
h
Let l = 2 + -20. Let q = 13 + l. Let w = 3 + q. Is 0 bigger than w?
True
Suppose 4*t + 6*c - c = 1, 4 = -5*t - c. Let g = -17754/581 + 70/83. Let j = g - -30. Is t at most as big as j?
True
Suppose 10 = -4*x - x. Let n be (1*x - -5)/1. Let g(z) = 3*z**3 + 2*z**2 + z - 3. Let b be g(1). Is n smaller than b?
False
Let g = 1 - 0. Let y be g - ((3 - 0) + -2). Let l be 0*(-4 + y + 3). Which is smaller: -1 or l?
-1
Let z = -2.927 + -0.073. Is 3 != z?
True
Let p(o) = -o**2 - 7*o + 4. Let c be p(-6). Let z be 2/(-16) + c/40. Is 1 at least as big as z?
True
Suppose 0 = 3*s - 2*s - 4. Let b be 2/s*1/(-2). Let h be 3/9 - 1/(-6). Are b and h unequal?
True
Let m = -9.3 - -9. Let z = 0 + -0.4. Let y = z - m. Which is greater: y or 0?
0
Let o be 3*(20/(-15))/2. Which is bigger: o or 7?
7
Let i = 8 - 6. Is 12/7 greater than or equal to i?
False
Let a be (-38)/(-8) + (-3)/(-12). Suppose -o = -a*o - 4. Is -2 less than o?
True
Let o = -9 - -20. Is 0 greater than or equal to o?
False
Let r = 27 + -27. Let i be (-800)/410 + 2 + r. Which is smaller: i or 1?
i
Let d(u) be the first derivative of 2*u**3/3 + u**2/2 + u - 1. Let v be d(-1). Which is smaller: v or 2/7?
2/7
Let q be ((-36)/408)/(((-45)/(-12))/5). Do q and 0 have the same value?
False
Let m = 109/5 - 629/30. Are 0 and m unequal?
True
Let y(d) = d**3 + 5*d**2 + 4*d + 2. Let a(b) = -b - 10. Let m be a(-6). Let p be y(m). Suppose 2*s = -p*s + 12. Are 3 and s equal?
True
Let v = -90 - -82. Which is bigger: 1/2 or v?
1/2
Let f be 3/(6*2/4). Suppose -k - f = -5. Suppose 2*t - 8 = 3*p + p, -5*t = -2*p + k. Which is smaller: -4 or p?
-4
Let i be ((-18)/15)/((-4)/10). Suppose 0 = 4*q - i*a, -3*q + 4*a = q + 4. Which is smaller: q or 0?
0
Suppose v = -2*b - 2 + 4, b + 3*v - 11 = 0. Is -2/43 > b?
True
Let f = -2749/247 - -144/13. Is f at most as big as -1?
False
Let z = -1.1 + 0.9. Let p = 2 - 2. Let x = p - z. Is 1/5 greater than or equal to x?
True
Let s be 2 + (-2 - (-16)/4). Suppose 0 = -s*t - 7 - 9. Is t less than -4?
False
Suppose -4*f = -5*i + 23, 1 = 3*f - 2*i + 13. Let j be f/(-6) + 6/90. Which is greater: j or -1?
j
Let v = 39 + -40. Which is greater: v or -16/7?
v
Let r be (12/8)/((-1)/(-4)). Suppose 4*h - r = 2. Let v(i) = -i**3 + i**2 + 2*i. Let u be v(h). Which is smaller: u or -1?
-1
Let y(o) = -o**3 - 5*o**2 + 7*o + 5. Let a = -22 - -16. Let m be y(a). Which is smaller: m or 2?
m
Suppose 0 = n + n - 4*b - 14, 0 