2). Is -3/4 at most c?
True
Let q = -3.3 + -0.7. Let j = 11 + q. Which is smaller: -0.2 or j?
-0.2
Let y be -2 + -2 + 4 + -1. Let f = 0 + y. Let q be 3 + 70/(-25) - 4/30. Which is smaller: f or q?
f
Let q be 22/12 - (-7)/42. Let w be (q/(-6))/(2/(-18)). Suppose -w*k - 3*b - 9 = 0, k + 2*b + 10 = 3*k. Is k at least 2?
False
Let b = -21 + 21. Let c = -1033 + 34085/33. Which is bigger: b or c?
b
Let f = -934/42157 + -3320799737/1517652. Let o = 2188 + f. Is 1 != o?
True
Let f = 17939/696850 - 2/69685. Are -1 and f unequal?
True
Let t(a) = -1 + 0*a**2 - 3 + 5 - a**2. Let n be t(-1). Which is greater: n or 2/19?
2/19
Let i = 32.862 - 33. Let v = -63.862 + i. Which is smaller: v or 0?
v
Let a(g) = -g**3 - 32*g**2 - 53*g - 10. Let l be a(-30). Which is smaller: l or 0?
l
Suppose 4*w = 6*w - 8. Suppose w*p + 0*p = -16. Let b(m) = -m**3 + 10*m**2 + 10*m + 7. Let j be b(11). Is p less than j?
False
Let b be 46/115*(1 + 1 - 1). Is -1.1 bigger than b?
False
Let t = 69 - 125. Let k = t - -502/9. Is k greater than 0?
False
Suppose -2*q - 25 = 3*a + 3*q, -4*q - 20 = -5*a. Let p be ((-25)/(-55))/(2/(-1158)). Let i = -263 - p. Is a > i?
False
Let i(x) = -8*x**2 - 19*x - 9 - 20*x + 40*x + x**3. Let g be i(8). Is 2/11 smaller than g?
False
Let l be (-2 - 120/(-25))*(-8)/138. Let s be (-4)/14 - 248/(-966). Let q = s - l. Which is bigger: q or -1?
q
Let c = -92 + 154. Let n = c + -64. Which is smaller: n or -6/5?
n
Let y = -10 - -6. Let t = -45 + 47. Suppose -t*i - f + 4*f = 25, 35 = -3*i + 4*f. Which is smaller: y or i?
i
Let u = -122 - -2215/18. Is u greater than or equal to 0?
True
Let q = -3095/6 - -1029/2. Let b = -0.4 + 0.2. Is q not equal to b?
True
Let v be (-3 + 0)*(-20)/3. Let l = v + -18. Let g be 1 - (21/(-12) - -2). Which is bigger: l or g?
l
Let z be 0 + 8 + -571 + 0. Is z bigger than -562?
False
Suppose -3*s + s - 66 = 0. Which is smaller: -168/5 or s?
-168/5
Suppose 3*p + 4*u - 86 = 0, 5*p - 74 - 66 = -5*u. Suppose -4*h - p = -46. Suppose -f - f - h = q, 5*q = -25. Is f bigger than -2/3?
True
Let d(s) = -14*s**2 + 31*s + 60. Let v be d(-2). Is v greater than or equal to -176/3?
True
Let f(o) = o**3 - 3*o**2 - 2*o. Let p be f(4). Suppose g = -4*m - p, -4*g = 5*m - 4*m + 17. Let t be (1/10)/(0 - -1). Is m at least as big as t?
False
Let y = 64 - 73. Let r = -7.75 - -0.75. Which is smaller: r or y?
y
Let c = 1517 + -1537. Let s be (-6)/9*9/6. Which is greater: c or s?
s
Let v = 11.82 + -11.72. Is -1 smaller than v?
True
Suppose 117 = -137*r + 124*r. Is r at most -121/12?
False
Let n = -97/33 + 601/187. Which is smaller: n or 0?
0
Let m = -656 + 635. Is 1 < m?
False
Suppose 8 = -3*f + 2*f + 3*w, 0 = 2*f - w - 4. Suppose 3*l + 0*h = -h + 10, 4*h = l - 12. Suppose -s = -l*i - f, 5*i - 1 = 3*s - 6. Is s less than -1/2?
False
Let h(x) = -x - 6. Let v be h(-6). Let f = 78069/58 - 1346. Are f and v nonequal?
True
Let f(l) = 33*l - 1001. Let o be f(32). Are o and 58 equal?
False
Let h(k) = 7*k**2 - k - 1. Let s be h(-1). Let m be (-13 + 14)*1*29. Let q = m + -21. Is s != q?
True
Let o be (-42)/(-98) - 472/1134. Suppose -2*h = -2*y, 9 = -5*h - 5*y + y. Is h less than o?
True
Let n(q) = -21*q - 138. Let f be n(-7). Suppose 5*i - 5 = -0*i. Let t be (-5 - i)/((-3)/4). Is f at least t?
True
Let d = 1170 - 1156. Which is bigger: -1/2 or d?
d
Let s = -0.5 - -0.41. Let m = s - 0.01. Which is smaller: m or 10?
m
Suppose 3*s - 3*p + 13 = s, 5*p = -15. Let x be 23/(-23) + s/(-9). Which is bigger: x or -1?
x
Let p = 2.67 - -3.53. Let q = 17 - 24. Let g = q + p. Do g and 0 have different values?
True
Let o be ((-4)/8)/((-3)/(-36)). Suppose 5*t + 3*y = -27, t + 6 + 5 = 5*y. Is o greater than or equal to t?
True
Let l = 44.009 + -0.009. Let n = -43.91 + l. Is n >= 0.2?
False
Let b be -1879*(-6)/17 - 3. Suppose 4*t = -5*n - 1313 - 1991, -2642 = 4*n + 2*t. Let x = n + b. Is -1 < x?
True
Suppose -6 = 9*l + 3. Let s = -23 - -137/6. Is s at least l?
True
Let f be 11*(-1)/6 - 4. Suppose 0 = 5*d + 59 - 29. Is f != d?
True
Let p(r) = 9*r + 70. Let x be p(15). Let z = x - 1843/9. Which is bigger: z or 16?
16
Let b(x) be the second derivative of -1/20*x**5 + 1/2*x**2 + 0*x**3 - 6*x - 1/6*x**4 + 0. Let w be b(-2). Which is bigger: 10/11 or w?
w
Let b = 1726 - 1726. Which is greater: b or -2/1377?
b
Let j be (2 - 0 - 3) + (-18 - -4). Let w be (2/6)/(85/j). Which is smaller: -1 or w?
-1
Let n(c) = -5*c + 2 - 11 - 3*c**2 + 2*c**2. Let b be n(-5). Is b at least as big as -11?
True
Let f = 1 + -1. Let v = 83.82 - 58.82. Which is smaller: v or f?
f
Let g(v) = -9*v**3 + 6*v**2 - 8*v + 4. Let n be g(2). Is -304/5 <= n?
True
Let g be ((-1)/(-2))/((-343)/11368). Which is greater: g or -1/3?
-1/3
Suppose -u - 95 = -6*u. Suppose u = 8*v - 69. Which is greater: v or 13?
13
Let z(n) = 2*n**2 - 16*n + 4. Let s be z(11). Let m = 69 - s. Is -30/13 greater than or equal to m?
False
Let t be 13*(-1)/(-2)*2. Suppose 3*j - 5*u + 0*u + t = 0, 3*j - 2*u = -7. Let g be (j/10)/((-2)/(-5)). Is 0 < g?
False
Let i = -2.63 + 0.43. Let g = 29.2 + i. Is g bigger than 0?
True
Suppose -185 + 1025 = 12*w. Let d = w - 56. Which is greater: d or 1/4?
d
Suppose -8*z + 1168 = -0. Let f = 146 - z. Which is smaller: 110 or f?
f
Let d = -15.3 + 15. Let m = 0.05 - 23.05. Let y = m - -22.8. Is d less than or equal to y?
True
Let c = -67 + 67.1. Let g = 0.17 - -0.53. Which is smaller: g or c?
c
Let u = 49 - 54. Let w be 2 + -2 + 0 - u. Are w and 46/9 unequal?
True
Let c be (-6)/21 - (128/(-266))/2. Is 1 <= c?
False
Let g(x) be the second derivative of -x**4/12 - x**3/6 + 5*x**2/2 - x. Let s be g(-3). Is s less than or equal to 3/7?
True
Let t = -43 + 48. Suppose 4*n - 153 = -t*n. Which is bigger: n or 20?
20
Let y = 42 - 56. Let z = 19 + y. Does 21/4 = z?
False
Let j = 9.1 + -9. Which is smaller: j or 31?
j
Let j(i) = -i**3 + 12*i**2 - 10*i - 7. Let c be j(11). Is c < 20?
True
Let p = 47 + -48. Let i(o) = -o**2 + 3*o + 6. Let x be i(6). Let r be 1/(-3) - x/9. Is p bigger than r?
False
Suppose -5*c + c + 168 = 0. Let x be (c - -2)/4 + -3. Let f be (-1 - 1)/(x - -7). Which is smaller: f or 1?
f
Let c be ((-30)/(-76))/((-27)/(4 - 13)). Is 0 at most c?
True
Let l(n) = 3*n - 6. Let g be l(4). Let h be (0 - -5)*(-12)/30*4. Let i be (h/g)/((-2)/(-3)). Which is smaller: -2/3 or i?
i
Let s(a) = -a**3 - 2*a**2 + 7*a - 8. Let x be s(-4). Let m = 93 - 93. Which is bigger: m or x?
m
Suppose p + 3*p - 64 = 2*g, 26 = 2*p + 2*g. Let t be 8/p*(1 + 305). Let h = t + -164. Is h greater than or equal to 3/7?
False
Let i = -677 - -3387/5. Are -281 and i equal?
False
Let q(p) = 45*p + 262. Let i be q(-7). Which is bigger: i or -60?
i
Let g = -0.052 + -100.948. Let i = 101.1 + g. Is i <= 0.061?
False
Suppose -2*z - 8 + 2 = g, 5*g - 5*z = 0. Which is bigger: -22/15 or g?
-22/15
Let b(g) = -4*g + 5. Let p be b(2). Let f be (-30)/4*2/p. Let a(m) = m**3 + 4*m**2 + 2*m + 3. Let q be a(-3). Which is greater: q or f?
q
Let z(v) = 41 - 13*v - 84 + 40 - v**2. Let a be z(-12). Is 9 <= a?
True
Let f(c) = c**2 - 16*c - 132. Let i be f(-6). Which is smaller: i or -6/137?
-6/137
Let o be 5 + 402/(-10) + -1. Is -35 > o?
True
Let j be (42/18 + -2)/(1/3). Is j less than or equal to 6/101?
False
Suppose 0*t - t = -2. Suppose 4*k - 3 = u + 5, 5*k - t*u = 13. Let x = 124/91 - 9/7. Is x greater than or equal to k?
False
Suppose 5*a - 2*x + 91 = 0, 4*x - 2 - 10 = 0. Is -23 less than a?
True
Suppose -3*q - 3*c = -4*q + 10, 3*c = 6*q - 30. Let v be (-4)/(-6) + -2 + 2. Which is smaller: q or v?
v
Let m be (-2)/((-1)/1)*(-970)/20. Let d = m + 680/7. Does -1/10 = d?
False
Let d be 84/30 - 12/4. Which is greater: -49 or d?
d
Let p be (-3)/(30/20)*(-38)/146. Is p greater than or equal to 1?
False
Let z = 1.07 + -55.07. Let q = -54.14 - z. Let i = -0.3 - -0.2. Is q less than i?
True
Let a = -8 - -38. Let u = -27 + a. Are u and -1/2 unequal?
True
Suppose 1618*p + 536 = 1622*p. Is 130 smaller than p?
True
Let t = -41 - -1. Let w = -66 - t. Let j = -25 - w. Which is smaller: j or 2.1?
j
Suppose -17*y + 7*y = 0. Which is smaller: 4/299 or y?
y
Suppose -3*g = -47 - 178. Suppose -2*y + k = 69, -g + 10 = 2*y + 3*k. Let f = y + 31. Which is bigger: -3/2 or f?
-3/2
Let g = 2.7 - -3.8. Let d = g - 15.5. Which is greater: d or 1/4?
1/4
Suppose 0 = -18*l + 25*l - 7. Which is smaller: l 