 f greater than or equal to q?
False
Let c = 97 - 92. Let f = -3 - c. Is f bigger than 1?
False
Let c be 1*14 - ((-48)/56)/6. Is c equal to 14?
False
Let d be (18/(-21))/(6 + 398/(-7)). Is d greater than -1?
True
Let i = 315 - 318. Which is smaller: i or 4?
i
Let z = -26.22 + 26.3. Which is bigger: z or -3/17?
z
Let a(x) = 2*x - 2. Let n be a(2). Let y(k) = -3*k**3 + 2*k - 5. Let t be y(2). Let h be (60/t)/(-4) + (-36)/10. Which is greater: h or n?
n
Let d be (9/6)/((-3)/4). Let i = -50 - -50.61. Let c = i - 0.71. Is c smaller than d?
False
Let d = -1/461 - -2314/4149. Suppose 5*w = -2*k + 3, 0*k + 4*k = -2*w - 2. Which is bigger: d or w?
w
Let k be (11 - (-8)/4) + -6. Which is greater: 2.4 or k?
k
Let h be (1/6)/(8 - (-408)/(-48)). Which is smaller: h or -76?
-76
Let p be (-95)/30 - 6/(-2). Let w(u) = u**2 - 21*u - 16. Let c be w(23). Let h = -31 + c. Which is smaller: h or p?
h
Let p = -27 + 26.86. Let d = p - -0.34. Which is bigger: d or -11?
d
Let n = 0.019 - -0.181. Is n less than or equal to 1/77?
False
Let m = -2594 + 2480. Which is smaller: m or 0?
m
Let i be (23/3 - 9) + 22/3. Which is smaller: 3 or i?
3
Let b be (2/12)/((-3)/186). Suppose -162 - 178 = 465*j - 431*j. Which is bigger: b or j?
j
Suppose 0 = -0*g - 3*g + 6. Let r be 0/(2 - g - -1). Suppose 2*c = u + 5, 4*u = 5*c - 7 - 13. Is c at most r?
True
Let u be 13/(-3 + 2)*-39. Which is greater: 508 or u?
508
Let n = -5 - -166. Which is bigger: n or 159?
n
Suppose 2*d + 107 = 5*g, 2*g = -17*d + 13*d + 38. Suppose 69 = m + 2*m. Which is greater: g or m?
m
Suppose -8*r + r = 14. Let f be 208/1479 + r/17. Is f at least -1?
True
Suppose z - 1 - 9 = -j, 3*z + 2*j = 33. Suppose -s = 4*b - z, 0 = -2*s - 0*b - b + 5. Which is bigger: s or 2/11?
s
Let o(i) = -i + 4. Let j be o(0). Let v be j*(-3)/(-12) - 0. Suppose 3*x = -v - 2. Which is bigger: -4/7 or x?
-4/7
Let f be 2 + (-10)/8*2. Let t be 1 + (5 + -4 + -7 - -11). Is f bigger than t?
False
Suppose -5 = -3*i - k, 2*i - i + 5*k = 11. Let s be i + 1 + 1 + -1. Let n be 2/7 - (-737)/385. Which is bigger: s or n?
n
Let h be (-3)/2*118/531. Is 14/13 >= h?
True
Let m = 58/23 + -523/207. Suppose -2022*u = -1954*u + 68. Which is smaller: m or u?
u
Let o = -0.1 - 0.1. Let k be (-154)/(-1925) - (-27)/(-25). Is k greater than or equal to o?
False
Suppose 0 = -4*a + 89 - 9. Let v be ((-42)/a)/(4/8). Which is smaller: v or -3?
v
Let s = -12 - 20. Let v = 39 + s. Which is smaller: 5 or v?
5
Let x = 0 + 0.034. Let v = -0.334 + x. Let b = 0.75 + -0.05. Is b less than v?
False
Let o = 551 - 582. Which is greater: -91/3 or o?
-91/3
Let v = -167 - -522. Is 354 <= v?
True
Let u = 76 - 75.978. Let j = -0.062 + u. Which is smaller: j or -0.4?
-0.4
Suppose 69 - 71 = -2*x. Is x at most 28/13?
True
Suppose 4*h - 3*h + 0*h = 0. Let p be -1*(h - 0 - 2). Is 2 less than p?
False
Let g be (1/2)/(1/(-8)). Let v = g + 14. Is v <= -1?
False
Let l be (-3)/(-2 + -1)*(20 + -5). Let a be (-9)/15 + 292/20. Is l <= a?
False
Let o = 127/6 + -21. Let n = 4.4 - 2.08. Let w = n - 0.32. Is w smaller than o?
False
Let l = -164 + 164.44. Let t = 0.76 - 0.9. Let o = t + l. Which is smaller: o or 5?
o
Suppose -x - 80 = -80. Which is smaller: x or -12/43?
-12/43
Suppose 5*s = 4*i - 470, 4*s + 376 = -0*s - 2*i. Let b = s - -67. Is b at least -25?
False
Suppose -4 = -4*j - 4*m, -3 - 2 = -m. Let l be (0 - j) + (-1296)/328. Is l at least -1?
True
Suppose -b - 2 = -v - 0, 3*b = -5*v + 18. Let h = -1510 - -37744/25. Is h at least b?
False
Suppose 3*v - 1 - 2 = 0. Let u be (-2 + v)*1*-6. Suppose 5*y = 18 + 7. Is y > u?
False
Suppose -54*b = -45*b - 2043. Is 227 < b?
False
Let o = -23.054 - -0.054. Let i = o - -22.3. Let n = -0.3 + i. Is -0.2 not equal to n?
True
Suppose -p - 5 = 5*i - 2*i, 0 = 5*i + 25. Suppose -8 = -4*b + 2*r, 5*b = -4*r - 0*r + p. Let f = -2/3325 - -53218/29925. Is f at most b?
True
Let k(m) be the second derivative of m**4/12 - m**3 + m**2/2 + 8*m. Let b be k(-4). Is 40 < b?
True
Let k = 700 + -252. Let q be (-3)/(-7) - k/(-98). Suppose q*i = -b - 13, b - 18 = -2*b + 4*i. Which is smaller: 1 or b?
1
Suppose g = -10*p + 216, -p + 3*g = -4 + 1. Suppose b = 8 + 14. Which is smaller: p or b?
p
Let m = 224 + -233. Are 19 and m equal?
False
Let p = -0.0704 + 0.0204. Do p and 2 have the same value?
False
Let q be 10 + -13 - (-3)/(-1). Let c = q - -10. Suppose -y + 5*y = c. Which is smaller: y or -3/11?
-3/11
Let h = 2220 + -2221. Let f be 4/(-34)*1/2. Is f greater than h?
True
Let l be 8142/(-21) + ((-8)/28)/1. Let j = -1154/3 - l. Are 3 and j unequal?
True
Suppose -3*k = k + 4. Let x be -1*(388/(-12) + -4). Let c = -2825/78 + x. Which is bigger: c or k?
c
Let j = 0.703 - 0.503. Is j greater than or equal to -459?
True
Suppose -10 = -5*p + 6*p + 2*w, -2*w = 4. Let j = p - -3. Suppose -40*v = -14*v + 78. Is j at least as big as v?
True
Let d = -41 + 47. Suppose -27 = -3*a - d. Which is greater: 3 or a?
a
Let i = -386.94 - -387. Is 27 at most as big as i?
False
Let o be 23412/8766 + -2 - (-6)/(-9). Do 0 and o have the same value?
False
Let l = 8351/25 + -334. Suppose -4*z = -5*m - 11, 5*m + z = 59 - 50. Which is bigger: m or l?
m
Let k be (3/(-2) - 0)*24/(-9). Is k bigger than 5?
False
Let s = 1790 - 1796. Suppose -4*k + 1 - 5 = 0. Let g be (-1 - k - 2)*4. Is s at least as big as g?
True
Let q be (-4)/(-12) + 50/(-6). Let u(o) = -6*o - 32. Let c be u(-4). Are c and q non-equal?
False
Suppose 4*a + 4*z - 332 + 68 = 0, 0 = 4*a + 3*z - 264. Suppose 0 = -2*v + 5*o + 51, -4*v + a = -0*o + 2*o. Is v at most 17?
False
Let z be 40/(-30)*(-90)/4. Let b be (-8)/(-10)*z/(-44). Is b at most as big as -2?
False
Let k be (-2)/(-7) + 1116/63. Let r be 70/(-3)*k/(-15). Let y be 3 + -7 - (-40)/r. Which is bigger: -2 or y?
-2
Suppose 6*y - 15 = y. Suppose h + y*h = 36. Suppose 2 = t - 8. Is h less than or equal to t?
True
Let q be (-51)/6*(-16)/6. Let v = 91/4 - q. Let z be (-8)/(-3 - 5)*1. Which is bigger: z or v?
z
Suppose 3*o - 19 + 4 = 0, -4*o = -4*g - 20. Let y = 2050/3 + -675. Is g > y?
False
Let v be -90*(-1)/(3/(-2)). Let b be (-6)/10 + 54/v. Let c = -157 - -155. Which is greater: c or b?
b
Let d(b) = b**3 - 13*b**2 - 12*b + 7. Let p be d(14). Let q = p - 34. Let h = -2/59 + -88/885. Is q < h?
False
Let x(a) = a**3 - a**2 + a. Let n be x(1). Let z = 35/8 + -4. Is z greater than n?
False
Let l = -0.3 - 0.7. Let v = -439 - -379. Is v at most l?
True
Let f = 12 - 12.1. Let r(j) = -j**3 - 6*j**2 - 15*j + 7. Let c be r(-3). Is c < f?
False
Let k(w) be the second derivative of 13/12*w**4 + 1/6*w**3 - 13/2*w**2 + 0 + 3*w - 1/20*w**5. Let a be k(13). Is 9/7 greater than or equal to a?
True
Let f = 3117 + -40500/13. Which is smaller: 2 or f?
f
Let t(s) = 5*s**2 + s - 1. Let k be t(-2). Suppose -3*w + k = 2. Which is smaller: w or 7?
w
Let i be (6 + -6)*(-2)/(-4). Suppose -v = v - 6. Suppose 0*m + h - 3 = v*m, m + 2*h = -8. Which is bigger: i or m?
i
Let f = 1/4187 + 494059/29309. Which is bigger: 18 or f?
18
Let u be 6 - (8/2)/2. Let n = -80 - -84. Suppose n*v + 5*c = -10, c = -u*v - c - 4. Do v and 1/5 have different values?
True
Suppose -r = 3 - 8, 2*c = 2*r - 100. Do c and -222/5 have the same value?
False
Suppose n - 18 = 3*l, 2*n = -3*l - l - 14. Let i be -7*(1 - 13/7). Let k be (1/i)/(4/(-150)). Which is greater: l or k?
l
Let v be (1 - -2) + -12 + 1. Suppose 0 = -15*f + 8*f - 42. Is f > v?
True
Let v be 3 + (5 - ((-3 - -5) + 2)). Suppose g - 2 = 2. Is v <= g?
True
Let m(j) = -2*j**2 - j. Let t be m(-1). Let p be t*(1 + (-3)/3). Let v be 4/(-6) + (-38)/(-30). Is p greater than v?
False
Let o = 207 + -188.3. Let w = -19.092 - -0.092. Let h = w + o. Which is smaller: h or -0.1?
h
Let v = 41018715 + -361059250/9. Let z = 901910 - v. Let s = 891 - z. Is s > 1?
True
Let n(g) = -g**3 + 7*g**2 - 16*g + 1. Let z be n(3). Which is smaller: 25 or z?
z
Suppose 6*g - 22 = 4*g. Let n = 11 - g. Suppose n = 3*w + j + 4*j - 1, -j = -2*w - 8. Is w at least -3?
True
Let x(t) = t. Let k be x(-1). Suppose 0 = -11*s + 30 + 3. Let p be (1 - 2/s) + (-60)/207. Is k greater than p?
False
Let k be 715/(-10) - 1/2*1. Which is smaller: k or -74?
-74
Suppose 31 = -9*u + 22. Which is smaller: 12/37 or u?
u
Suppose 128*k = 130*k + 314. Which is greater: k or -159?
k
Suppose -25 + 120 = 95*t. Is t >= -2/3075?
True
Let t(