92. Which is bigger: i or 0.3?
0.3
Let u be (-566)/(-960) - (-3)/(-5). Let v = u + -185/672. Is v greater than 0.05?
False
Let m = 0.03 - -0.05. Let f = -0.02 - m. Which is smaller: f or 3?
f
Suppose 4*w + 0*x + 22 = -3*x, -2*x = -5*w - 39. Which is greater: -5 or w?
-5
Suppose -5*q + 20 = -0, -4*g = -5*q + 20. Which is greater: g or -2/81?
g
Let z be (-1 + 2)*(-8)/172. Which is smaller: z or 0?
z
Let g(z) = 8 - 2*z**2 - 6*z + 2*z**2 - z**2. Let r be g(-7). Is 1 <= r?
True
Let x = -0.03 - -0.03. Let p = x + -0.2. Is p <= -1/3?
False
Let w(l) = -l**2 + 5*l - 3. Let z be w(4). Which is greater: z or -3/4?
z
Suppose 4*d + 48 = 4*a, -2*a - 13 = 4*d + 5. Let y = -7 - d. Which is smaller: 2/5 or y?
y
Let v be (1/4)/(1/12). Let d = 2 + 3. Suppose -d*b = -b - 8. Which is bigger: b or v?
v
Suppose -4*a = -a. Which is greater: a or -3?
a
Suppose 0 = 3*c + 2*c + 2*z - 148, -2*c = -2*z - 48. Are 29 and c non-equal?
True
Let n = -4/1011 - -250/6403. Does -1 = n?
False
Let z = -4 - -12. Are 0.1 and z equal?
False
Let r be (5 - 4) + (0 - -1). Suppose -4*z = -r*j - 0*z + 6, 4*j = -3*z + 12. Which is greater: j or -2/3?
j
Let f(r) = -2*r - 11. Let n be f(6). Is -24 smaller than n?
True
Let o = -3/277 - 4697/1108. Which is smaller: -5 or o?
-5
Let x(s) = -s**2 - 11*s - 37. Let w be x(-6). Is w < -6?
True
Let y be (-1 - (-3 - -3))/1. Let a = y + 4. Which is smaller: 3/2 or a?
3/2
Suppose -2*v - 12 - 24 = 0. Is v bigger than -17?
False
Let c(l) = -l**3 + 20*l**2 - 20*l + 21. Let h be c(19). Which is smaller: h or 11?
h
Let b = 3 - 6. Let w(j) = j**3 + 3*j**2 + j + 4. Let x be w(b). Is 2 equal to x?
False
Suppose 2*p = 4*p - 6. Which is greater: p or -1?
p
Let j be 6*1*-4 + 0. Suppose -3*y = 4*w + 17, -2*y + w = -0*y - 7. Let i be -3*y*j/(-18). Is -3 less than i?
False
Let k = -15/7 + 31/21. Which is smaller: 3/4 or k?
k
Let g(r) be the first derivative of r**4/4 - 5*r**3/3 - 3*r**2 + r + 1. Let m(u) = 3*u + 6. Let h be m(0). Let j be g(h). Which is bigger: -2/11 or j?
j
Let r be -3 + (0 - (5 - 2)). Suppose 0*b + 2*b - 5*u + 6 = 0, 2*b + 6 = u. Let s be 4*2*b/r. Which is bigger: -1 or s?
s
Let f(k) = 5*k + 20. Let s be f(-3). Is 39/8 equal to s?
False
Let u = 0 - 1. Is u <= -1/4?
True
Let m(r) = -r**2 - 2*r + 7. Let o be m(-4). Are 3/7 and o nonequal?
True
Let q be (-3)/(-2) + 2/4. Suppose 5*l + 20 = -5*a, q*l - l = -5. Which is smaller: a or 2?
a
Let m = -223/3 + 74. Let b be (3 - 1) + -1 - 0. Is m <= b?
True
Let o(h) = h**3 - 2*h**2 + 1. Let c be o(2). Let v = 19 - 14. Suppose v*j = 4*d + c + 5, -2*d + 4*j = 6. Which is bigger: d or 2?
2
Let i = 0.04 + -0.14. Which is smaller: -11 or i?
-11
Let d = -1/1394 + -4151/43214. Which is smaller: -1 or d?
-1
Suppose -u + 3*u = -12. Let f be (-2)/u - (-5)/(-45). Do f and -1 have the same value?
False
Let s = -0.5 + 0.58. Let m = s - 0.05. Which is bigger: m or 1/4?
1/4
Let a = 2.7 - 4.2. Is a smaller than 0?
True
Let s = -115 + 117. Do s and 2 have the same value?
True
Let r(h) = 6*h**3 - h**2. Let m be r(1). Suppose 5*c + m*b = -360, 0 = -c - 0*c - 4*b - 72. Let n be c/154 - 2/(-7). Is 0 at least n?
True
Let b = 47 - 45.1. Let g = -2.9 + b. Do 6 and g have the same value?
False
Let i be (-40)/1230*3/(-2). Which is bigger: i or 1?
1
Let l be ((-2)/3)/((-6)/(-9)). Is -3 > l?
False
Let w = -5 - -5.04. Let o = w - -0.26. Let s = -0.1 - -0.1. Does o = s?
False
Suppose -k = -21 - 6. Let q be (-6)/k - 4/(-18). Is 0 greater than or equal to q?
True
Let j be (6/18)/((-2)/(-12)). Suppose l + j = 0, -11 = -5*w - l + 4*l. Let x = 186 + -1304/7. Which is smaller: w or x?
x
Suppose 37 = 5*u + 3*y, 3*y + 2*y + 37 = 4*u. Suppose -2*n = -4*n + f + 14, -4*n - 4*f = -40. Is n >= u?
True
Let g = 11 - 10. Which is bigger: g or 17?
17
Suppose -2*w + 31 = 9. Suppose 1 = 4*a - w. Let u be (a/9)/(1/(-3)). Which is smaller: u or -0.1?
u
Let u = -158 + 55. Let v = -201/2 - u. Is 3 >= v?
True
Let b(k) = k**3 - 10*k**2 + 4*k - 6. Let w be (0 + 2)/(2/5). Let x be b(w). Let a = x + 557/5. Is -5 <= a?
True
Suppose -2*s - 6 = -50. Suppose -19 = -o + 4*m, -2*o - 4*m = -0*m + s. Is 2/15 <= o?
False
Let j = 62 + -124. Do -62 and j have the same value?
True
Let b be (-3 - (-13)/4)/(1/(-4)). Which is bigger: 2/23 or b?
2/23
Suppose 3*r = 5 + 1. Suppose 0 = r*w - 6. Is w less than or equal to 2?
False
Suppose 3*v = -3*p + 15, p = -8*v + 3*v + 9. Suppose c = 2*c + v. Which is smaller: c or 1?
c
Let c = 190/3 - 2852/45. Which is smaller: 2 or c?
c
Let r = 1 - -10. Suppose -l + r = 2*k, k - 9 = -0*k - 4*l. Suppose 2*i = 5*u - k - 28, -u + 3*i + 17 = 0. Which is smaller: u or 6?
u
Let r = -1 + -2. Is -3 > r?
False
Let v = 74 - 72. Is v != 10?
True
Suppose n = 2*n - 2. Let x be -1*(-489)/((-6)/n). Let m = 1792/11 + x. Which is greater: m or 0?
0
Let u be (3/(-9))/(3/6). Which is smaller: 0.6 or u?
u
Let t = 8/11 + -2/33. Are 0.3 and t equal?
False
Suppose -4*y = o + 4 - 21, 8 = y - o. Suppose -2*x + y*x = 0. Are x and 0 non-equal?
False
Let l = 10739/8 - 1344. Is l > -3?
True
Let r = 5 - 7. Let b = r - -2. Which is smaller: 2/11 or b?
b
Suppose 5*m + z - 16 = 0, 4*m - 5 = -2*z + 3. Let o be (3/(-5))/(3/(-15)). Is m <= o?
False
Suppose 2*i = 4*x - 7*x - 7, 5*x + 17 = 2*i. Let b be 1 + 1/((-1)/16). Let u be (2/4)/(20/b). Which is smaller: u or i?
u
Let m = -180.3 - -181. Let u = 8 + -6. Which is bigger: m or u?
u
Let q be 10/35 - (-32)/(-210). Which is smaller: q or 9?
q
Let o be (4/11)/(-17 + -5). Let y = o - 355/484. Which is smaller: -1 or y?
-1
Let h = 11.82 + 0.18. Let f = h + -10. Let c be 2/(-6) - 40/(-12). Which is greater: f or c?
c
Let x(b) = -b**2 - 5*b - 3. Let m be x(-4). Let t be 3/9 - m/(-6). Let k = 0.13 + -2.13. Which is bigger: t or k?
t
Suppose 8*h + 80 = -64. Do -16 and h have different values?
True
Let k(t) = t + 1. Let j be k(-1). Let h(z) = -z**2 + z - 8. Let d be h(0). Let q = -10 - d. Is q > j?
False
Let u = -64.3 + 61. Let p = -2.3 - u. Let y = -10 - -16. Is p > y?
False
Suppose 6*u + 20 = 2*u, -4*j - 4*u = 180. Is j smaller than -40?
False
Let a = 0.6 + -1.5. Let i = a - -0.7. Which is smaller: -2 or i?
-2
Suppose 3*h - h - 20 = -4*a, -8 = -2*a. Let s = -2 - -1.9. Let n = -0.2 - s. Are n and h non-equal?
True
Let z(v) = 2*v - 10. Let j be z(8). Let s = j + -13. Let x = -8 - s. Is x > 0.1?
False
Suppose 4*t - 84 = 2*t. Suppose 6*f = 3*f - t. Is f <= -14?
True
Let g be (14/(-16))/((-9)/12). Is g equal to 2?
False
Let u = 34 + -35.3. Let b = u + -0.1. Which is greater: 0.1 or b?
0.1
Let h(s) = 2*s - 9. Let i be h(5). Suppose 0 = 5*r + 12 - 37. Suppose 0 = -5*d - r*a + 20, 6*d = 3*d + a - 8. Is d at least as big as i?
False
Let a be ((-16)/(-12))/((-2)/(-6)). Let p = a + -3. Let u be 3*(-1)/(30/2). Which is bigger: p or u?
p
Let n = -25 - -16. Is n smaller than -10?
False
Suppose 4*w + q = -4*q - 4, 3 = -3*w - 3*q. Let l be 0 - 1 - 2*w. Which is bigger: -4/3 or l?
l
Suppose -4*x - 3 + 10 = -3*t, 4 = -t + 3*x. Let i be (1/t + -1)*4. Which is greater: -9 or i?
i
Let j be ((-5915)/1740)/13 - 2/(-8). Which is smaller: j or 0?
j
Let v = -5 + 4. Are v and -8 equal?
False
Suppose 3*q + 3 - 14 = b, -2*b - 57 = q. Is -27 bigger than b?
False
Suppose -5*j - 15 = 0, -3*v + j - 3*j = 6. Is -3/19 at least as big as v?
False
Let i be (-2)/7 - (0 + (-31)/133). Is i greater than or equal to 1?
False
Suppose -5*m + m = -24. Suppose -4*q + 6 = -46. Suppose -4*j + m = -z - q, -12 = 3*z - 3*j. Is z < 2?
True
Suppose 4*g - 5*c + 9 = 0, -3*g - c - 4*c = -2. Let q be ((-2)/(-18))/(1/(48/56)). Which is smaller: q or g?
g
Let o be (-6)/9*3/7. Let z(f) = -f**3 + 2*f**2 + f - 1. Let w be z(2). Which is smaller: o or w?
o
Let q(c) = -c**2 - c. Let r be q(-1). Suppose l + 4*l = r. Let m be 16/84*2 - (-2)/7. Which is smaller: l or m?
l
Suppose -4*m - 12 = 4*i, -2*i - 2*m - 6 = -6*i. Suppose 5*n + 5*k = -30, 0 = -i*k - k - 5. Which is greater: n or -3/2?
n
Suppose 5*t + 25 = 5*i, -3*i - 2*t = 10 - 0. Suppose -s = -4*s + 15. Let f be s*((-126)/(-130) + -1). Is i bigger than f?
True
Suppose -16 = -4*b - 0*b - 4*m, 17 = 5*b + 4*m. Let q be (-1 + b)*(-2)/4. Let c be (-6)/10 - 5/(-5). Which is smaller: c or q?
q
Let o = 121/56 - 15/8. Is 0.12 at most as big as o?
True
Let l = -501.9 - -502. Let v = 16.22 - 0.22. Let b = -11 + v. Which is greater: b or l?
b
Let z be 4/(-22)