 2 or c?
c
Let o = 0.77 - -0.13. Let k = -0.7 + o. Which is bigger: k or -0.2?
k
Let v(u) = 17*u - 1. Suppose -2*i + 3 = 1. Let y be v(i). Let f be ((-3)/(-4))/((-4)/y). Which is bigger: 0.1 or f?
0.1
Let q = 4 + -9. Is -3 <= q?
False
Suppose 5*h = 6*h + 4. Let k be 768/(-18) + h/(-6). Let v be (-3)/(-6) + (-3)/k. Which is greater: v or 0?
v
Let x = 82/45 - 20/9. Is x smaller than -0.4?
False
Suppose -79 = 7*w + 96. Which is smaller: w or -24?
w
Let m = -19/9 + 176/45. Let t be 2/(-3) + 44/12. Suppose -5*p + p - 3*h = -9, -4*p + 15 = -t*h. Which is smaller: m or p?
m
Suppose -3*x + 101 = -5*d + 4*d, 5*d = 4*x - 131. Is 34 at least x?
True
Let v = -45856 + 2567781/56. Let b = 16123/8 + -2018. Let l = b - v. Is l smaller than 1?
True
Let q(c) = c - 1 + 1 + 5 + 0. Let y be q(0). Let j be (-2)/(-5) - (-8)/y. Is j > 1?
True
Let k be (-1 - (-10)/14) + (-300)/(-903). Is 1 greater than or equal to k?
True
Let y = 0 + -2. Let i = y - -4. Suppose -i*n - 3*n = 0. Is n at least 2/5?
False
Let c be (0 + 2)/(-2*(-9)/(-72)). Suppose -4*h = -2*t - 32, 3*t - 8 + 24 = -2*h. Is t at most as big as c?
True
Let k(f) = -f**3 - 6*f**2 + 9*f + 7. Let z be k(-7). Is z less than -7?
False
Let b be (124/(-6))/(14/42). Is b > -62?
False
Let z(o) = -o**3 - 3*o**2 + 2*o - 5. Let w be z(-4). Let k be (-20)/3*6/(-5). Let j be (w/78)/(2/k). Which is smaller: 1 or j?
j
Let k be 10*(0 - 46/(-4)). Let d be k/100 + 2/(-5). Let y(o) = 2*o**2 - o. Let s be y(1). Is d != s?
True
Let i = 0.26 + 10.74. Let d = -10.6 + i. Which is greater: 1 or d?
1
Let o be -4 - 2/(-1) - -3. Let n be -3 - -2 - (o + -1). Which is smaller: 1 or n?
n
Let b(u) = -17*u**2 - 4*u - 1. Let r be b(-3). Let m be 28/42*6/r. Which is bigger: 0 or m?
0
Let v = -24 + 29. Do 5 and v have the same value?
True
Let h(k) = k**3 - 4*k**2 - 4*k - 3. Let q be h(5). Suppose 0*j - 5*j - 15 = 0. Let z be (2/j)/(16/(-72)). Do z and q have the same value?
False
Suppose 0*c + 3*c = 0. Which is bigger: -18 or c?
c
Suppose -4*y - 12 = p - 33, 2*y - 12 = -2*p. Let f(n) = -9*n**3 - 2*n**2 + n. Let q be f(p). Which is bigger: -9 or q?
-9
Let i be -2 + 1*1*6. Suppose 0 = -3*d + g - 8, i*g - 9 = d + 1. Let u be 3/(-8)*(-8)/(-4). Which is bigger: u or d?
u
Let y be (10/(-35))/(3/(-21)). Is 8 >= y?
True
Let p be (2/(-4))/(18/(-12)). Let u = -0.2 + 0. Let q = -0.3 - u. Is p less than q?
False
Let l(y) = y**3 - y**2 + y - 5. Suppose 3*f = -3*t, 0 = 2*f - 0*f. Let d be l(t). Let v = -8 - d. Is -3 at most as big as v?
True
Suppose -2*v = 11 + 11. Which is bigger: v or -10?
-10
Let k = 5 - 12. Let z = 32 + -32.1. Are k and z equal?
False
Suppose 4*s = 2*h - 5*h + 20, s - 4*h = -14. Suppose 3*y + 5*c = -23, s*c - 3*c + 5 = 0. Let z be 4/6 + y/18. Which is bigger: 0 or z?
0
Let f be (-23)/7 + 4/14. Suppose k - 1 = -3. Is k <= f?
False
Let v = -10 - -10. Suppose -p = -2*h - 3 - v, 33 = -2*h - 5*p. Is h equal to -3?
False
Suppose 3*l = -l - 120. Let u be ((-72)/l)/((-9)/(-10)). Which is smaller: 2 or u?
2
Let m be 2/(-5) + 344/660. Let o = m + 7/33. Which is greater: o or -1?
o
Let k(h) = -h**3 - 2*h**2 + 4*h + 3. Let l be k(-3). Let r = l + 1/4. Is r > 0?
True
Let z = 18.02 - 0.02. Let j = 12 - z. Which is smaller: 1/4 or j?
j
Let d = 5 + -2. Let g be ((-2)/d)/((-22)/6). Suppose 0 = o - 4 + 3. Is o bigger than g?
True
Suppose 17*r + 336 = 9*r. Which is smaller: r or -41?
r
Let y = 4879/4422 + -5/402. Which is smaller: 0 or y?
0
Let i(y) = -6*y**2 + 13*y + 6. Let g be i(6). Is -132 equal to g?
True
Let w be (-1 + 4)/(-9 - -10). Which is bigger: w or 0?
w
Suppose 0 = 2*i + 3*i. Is 2/43 at least i?
True
Suppose 2*z - 58 - 10 = 3*r, 2*z = -3*r + 68. Are z and 34 non-equal?
False
Suppose -3*r = r - 2*y - 10, -5*r - y + 2 = 0. Which is smaller: -2/27 or r?
-2/27
Let y = 7.7 - 7.6. Which is bigger: 5/2 or y?
5/2
Suppose -2*q - 3*q - 5*w = -45, -3*w - 1 = -q. Let t = 0.01 + 0.09. Which is bigger: t or q?
q
Suppose 0*z + s + 7 = -2*z, -4*z + 3*s - 19 = 0. Which is bigger: z or -1?
-1
Let n = 6 + 1. Suppose -d + 9 = -4*d - 3*f, -3*d + n = -f. Let z be (-1)/3 + d/3. Is -1/4 smaller than z?
True
Let d = -5.4 - -4.6. Is -1/4 greater than or equal to d?
True
Suppose 2*a - 5*a = 15. Let x = -6 - a. Which is bigger: -5 or x?
x
Let q = -0.1 - -0.01. Let c = -2.91 + q. Which is bigger: c or 3?
3
Let d be 84/18*(-6)/21. Which is greater: d or 0?
0
Let b be -6 + 12/9*3. Are b and -1 unequal?
True
Let m be 1 - (4 + -2)/(-2). Is m less than -0.1?
False
Suppose -3*h + 3 = -0. Let c = 5 - 4. Do c and h have the same value?
True
Let p be (-2)/18*(-36)/66. Which is smaller: 1 or p?
p
Let z = 3/2 + -5/4. Let w = 0.35 - 0.05. Let b = -0.2 + w. Which is smaller: b or z?
b
Let r = 2.92 + -0.17. Let g = r - -0.05. Let z = g + -0.8. Which is bigger: -1/2 or z?
z
Let j(x) = x - 2. Let r be j(2). Suppose 3*g = 7*g - 8. Suppose 7 = g*m - 3*v, 3*v + 14 = -4*m + 1. Which is smaller: r or m?
m
Let s = 871857157/2586090 + -1/172406. Let z = s + -337. Which is bigger: z or -2?
z
Let l = -9 - -20. Let v = l - 16. Let q = -6 - v. Which is greater: q or -4/5?
-4/5
Let i = 4/9 + -7/9. Does 1 = i?
False
Let k = 1 + -5. Let l = 0 - k. Suppose 0 = -s + l - 5. Which is smaller: -1/2 or s?
s
Let x = 196 - 196. Is x smaller than 16?
True
Let x = 6 - 6. Let o be 3 - x - 1 - 2. Let b = -2 - -1. Which is smaller: b or o?
b
Let b be 1 + 9 - (12 - 10). Do b and 7 have different values?
True
Suppose -2*g + 5*q + 23 = 0, 0 = -q - 3 - 0. Suppose 3*k + 3*b = 7*k - 51, 3*k + g*b = 7. Which is greater: 7 or k?
k
Let x be 1/((-1)/(-3)) + -95. Which is smaller: x or -93?
-93
Let t = -10 + 13. Is 21/11 bigger than t?
False
Let y = 6 - 4. Suppose 0 = -2*c - 2. Let i = c - y. Which is smaller: -4 or i?
-4
Let i = 117 + -77. Which is greater: i or -1/2?
i
Suppose -48 = -2*o + 158. Which is greater: o or 102?
o
Let t = 0 + -0.5. Let i = 0.4 + t. Let m = -0.4 - -0.3. Is m smaller than i?
False
Let a = 0 + -1. Is a smaller than -2/53?
True
Let k = 90 + -155. Is -65 at most as big as k?
True
Let a = -6 - -8. Suppose -4*l + 0*z + a = -5*z, -z - 4 = -2*l. Suppose 0 = l*c - 0*t + 3*t + 21, 4*c - 3*t = -14. Which is smaller: c or -4?
c
Let i = -1.02 - -5.92. Let z = i - 5. Let m = 511/6 + -85. Which is bigger: m or z?
m
Let h(j) = j + 15. Let k be h(-7). Suppose -4*t = -4*l + 8*l - 28, 2*l = t + k. Suppose -5*z = -t*z. Which is bigger: z or 1/3?
1/3
Let s be -16*(2/(-4) + 1). Does 0 = s?
False
Suppose 8*p + 80 = 18*p. Is 8 less than or equal to p?
True
Let s be -2 - -2*(-5)/(-7). Suppose 10 = -2*l - 2*w, 2*w - 1 = 3*l - 11. Is l < s?
False
Let c = 2 + -3. Let k be (2/(-8))/(7/(-8)). Is k smaller than c?
False
Let b = 0.5 + -2.5. Let w = -4.8 - -2.9. Let r = w - b. Is -1/6 >= r?
False
Let k(w) = -w**2 + 6*w - 8. Let y be k(7). Does -14 = y?
False
Let v be -3 + ((-16)/(-4) - -3). Suppose -19 = -2*y - 5*b, 2*y - 5*b - 5 = v. Is y less than 7?
False
Let x(j) = -j + 2. Let m be x(9). Let o = 9 - 17. Which is greater: m or o?
m
Let o = -5867/3 + 1977. Let i = 194/9 - o. Is 2/5 not equal to i?
True
Suppose 0 = -2*v + 5*v + 42. Let r be 4/v + 4/14. Let h = 1 + 0. Is h > r?
True
Suppose 3*o - 2 = -8. Do -17/5 and o have different values?
True
Let r be -2 - (14*-1 + -2). Let y(g) = -g - 2. Let s be y(-6). Let i be s/r - (-23)/(-7). Is i less than or equal to -2?
True
Let k be (1/3 + 0)*-3. Let z(v) = v**3 - 3*v**2 + 4. Let s be z(3). Suppose 0 = -5*g - s*r - 12, g - 1 = 5*r + 14. Which is smaller: k or g?
k
Let y = 10/19 - -8/57. Which is greater: 0 or y?
y
Let p = 3 + 0. Suppose -i = -p + 4. Which is smaller: i or -7/3?
-7/3
Let x be ((-6)/18)/((-2)/30). Suppose 3*b - x = 10. Which is bigger: b or 6?
6
Suppose 0 = -2*s - 4*v - 36, 3*s = v - 6*v - 56. Is s less than -21?
True
Let d be 6/(-6) + (-42)/(-2). Suppose 2*q - o = -7, -4*q - d = -5*o + 3. Which is greater: -4/5 or q?
-4/5
Let m be (-6)/(-15) - 158/120. Let l = 1087/60 + m. Let t = -17 + l. Which is greater: 0 or t?
t
Let i = -107 - -100. Suppose 2*k = 5*k + 6. Is k less than or equal to i?
False
Let s be ((-200)/165)/8 - 2/11. Suppose -b - 4 = 0, 5*x = -3*b + 4*b + 44. Let q(l) = l**3 - 7*l**2 - 9*l + 7. Let p be q(x). Which is greater: s or p?
s
Let f = -1.41 + 0.71. Suppose 2 = d + d. Which is smaller: d or f?
f
Let z(c) = -c**3 - 26*c**2 - 25*c + 17. Let s be z(