2/4*1. Suppose 3*f - b = -2. Is f smaller than u?
True
Let c be 400/(-65) + 0 + 0/(-2). Which is smaller: c or -7?
-7
Let y = 1241.12 - 1240. Which is smaller: y or -3?
-3
Let p be 1/(-3) + (-131)/3. Let u be ((-16)/12)/(p/(-30)). Which is greater: u or 0?
0
Suppose -a = -12 - 51. Suppose 2*k - 9*k + a = 0. Which is smaller: 7 or k?
7
Suppose 40*a - 6*a = -10370. Is -304 less than or equal to a?
False
Let n = 23 - 19. Suppose -25 = -3*w + 2*v, -3*v - 1 - n = 2*w. Let f be 56/9 - (-2)/(-9). Which is bigger: w or f?
f
Suppose 6*d + 0*d = -96. Let c = 1649 + -4997/3. Is c greater than or equal to d?
False
Let w(y) = -3*y**2 - 3*y - 3. Let n be w(-2). Suppose -2 = -2*f + 4. Suppose -f*x = 5*k + 6 + 23, -3*k = x + 11. Do x and n have the same value?
False
Suppose -v - 5 = -5*o - 0, 4*v = -3*o - 43. Suppose 4*d - 8 - 24 = 0. Let c be 1/(-1 + d/9). Is c < v?
False
Let t be (-51)/12 + (-2)/(-8). Let g be ((-1)/(-17))/(-3*t/24). Is g greater than or equal to -1/6?
True
Let z = 940.7 - 941. Which is smaller: z or 17?
z
Let l(h) = h**3 - 42*h**2 + 42*h - 48. Let v be l(41). Is v at least -23?
True
Suppose 0 = 5*z - z - 2*w, -z = w. Suppose l + z*l = 2. Suppose -l*r = 13 - 3. Which is smaller: r or -4?
r
Let y be (-285)/(-190)*(-1094)/3. Is -546 less than y?
False
Let m(q) = q**2 - 3*q. Let b be m(3). Which is greater: b or -0.9?
b
Let h = -290 + 297. Let s = -3 + 6. Let c = h - s. Which is bigger: 0 or c?
c
Let p be 1 - ((-10)/(-4) - -1). Let b = p + 19/6. Are 2/5 and b unequal?
True
Let z(w) = w**3 + 7*w**2 + 4*w - 11. Let i = -4 - -4. Suppose m + 2*v - 4 = i, m + 9 = v - 2. Let c be z(m). Is 1/8 > c?
False
Let q(k) = 2*k + k**3 + k - k - 4*k**2 + 1. Let h be q(2). Let d be ((-50)/(-75))/(4/(-9)). Are d and h non-equal?
True
Let d be (10/(-5) - 8)/((-16)/(-10)). Which is smaller: d or -5?
d
Suppose -2*r + 38 = -4*q, -2*r - 16 = -2*q - 50. Let g(v) = -v**3 + 3*v**2 + 10*v + 5. Let f be g(5). Suppose 0 = -f*c - r - 15. Which is bigger: 2 or c?
2
Let t = -24 - -26. Let l be (1/1)/(8/t). Let d be (-3)/81*-52 - 2. Is l > d?
True
Suppose 18 = 4*l - q, -4*q + 1 = -l - q. Let o be ((-6)/l)/((-104)/(-40)). Is 0 equal to o?
False
Let a(b) = -b**2 + 11*b. Let m be a(11). Let q = -0.017 - 0.783. Let t = q - -0.2. Is t >= m?
False
Let x be 5/((2/(-4))/(32/(-320))). Are x and -1/1256 unequal?
True
Let a = -199 - -198. Are a and 81 non-equal?
True
Let i be (-2)/(620/(-198)) + 237/1185. Which is smaller: 1 or i?
i
Let o = 17.8 + -4.8. Let k = o + -9. Which is greater: k or -0.02?
k
Suppose -2*z - 5*h = -h - 18, -9 = 3*h. Let f = 97 + -111. Let q = f + z. Are q and -11 nonequal?
True
Let y(q) = 2*q**3 - 9*q**2 + 14*q - 23. Let n be y(5). Which is smaller: 14 or n?
14
Let w be (-13)/((-54418)/462) + 2/(-13). Is w at least 0?
False
Let c = 1.4 + -2.8. Let o = 10.6 - c. Let i = -11.9 + o. Is i less than 4/5?
True
Let q = 2051 - 1893.9. Let o = -150 + q. Let m = 7 - o. Is m less than 1/4?
True
Suppose 11*x = 14*x - 36. Let g be (6/x)/((-1)/6). Which is greater: g or 1?
1
Suppose -3*z - 5*o = -z - 21, z = 3*o + 5. Let f(c) = 3*c**2 - 2. Let a be f(-2). Which is smaller: z or a?
z
Let s be 1 + -3 + 79/33. Let h = s + -8/11. Let q = 2.9 + -3. Is q at least h?
True
Let v(i) = -i**2 + 5. Let a be v(0). Suppose 2*n - 3 + 1 = 0. Is a smaller than n?
False
Let t be -12 + 2 + 168/14. Let j = 149 - 439/3. Is j less than or equal to t?
False
Suppose 22 - 30 = -2*b + 2*l, 8 = 3*b - 2*l. Is b < 11/35?
True
Let n = -6.4 + 1.4. Are n and 6/73 unequal?
True
Let f be 8/60*6*(109 - -1). Let c = f - 88. Which is greater: c or 1/45?
1/45
Let d be (-7)/(-3)*-3 + 4 - 12. Which is bigger: -125/9 or d?
-125/9
Let o be -5*2*(87/9 + 5). Let c = o - -145. Do -3 and c have the same value?
False
Suppose b = -5*z + 3, 0*b + 4*b + 5*z - 12 = 0. Let u = b + -1. Suppose -34*m + 76 = -26. Which is bigger: u or m?
m
Let g = 10.6 - 11.36. Let t = g + -10.24. Are t and -2 non-equal?
True
Suppose 0*m - m - 19 = 3*v, 2*m - 3*v = -2. Let i = -11689/9 - -1291. Do m and i have different values?
True
Let m = 21/433 - -391/866. Let t = 0.2 - 0.3. Is m at most t?
False
Suppose z - 11 + 21 = -4*l, -5*z - 138 = -2*l. Is -22 >= z?
True
Let c = -2.129 + -0.261. Which is bigger: 0 or c?
0
Suppose z = -4, 5*y - z - 7 = 2*z. Let u = 4 + -3. Suppose f = 2*f + u. Is y at most as big as f?
True
Suppose -121*j + 115*j = -18. Let i = -32 - -67/2. Is j at least as big as i?
True
Let k = 15 - 12.8. Let n = 0.4 - k. Which is greater: 0.1 or n?
0.1
Let u(z) = z**3 + z**2 - 3*z + 1. Let s be u(-2). Let k be (-2 + s)/(-2) - 1/2. Is -6/43 less than k?
False
Let v = -14 - -26. Let c be 1*-9*8/v. Let h = 11 + c. Which is greater: 6 or h?
6
Let r = -5.86 - 0.14. Let w = r + 2. Which is greater: 2/3 or w?
2/3
Suppose -400 = 47*y - 7*y. Which is smaller: 0 or y?
y
Let p(z) = -z**3 - 4*z**2 + 10*z + 11. Let n be p(-5). Is -14 at least n?
True
Let x be (15/(-10))/(-2 - (-1 - 247)). Is x at least as big as 0?
False
Let a = 17 - -13. Let w be (466/(-14) - (-6)/21)/1. Let s = w + a. Is 1/5 at least s?
True
Suppose -g - 5 = 16. Let l = g - -23. Suppose -5*o = 5*n - 40, l*n - 5 - 5 = 0. Which is smaller: o or 0?
0
Let x = 3/958 + -2123/66102. Let q = 62 + -62. Which is smaller: q or x?
x
Suppose -2*d = -5*l + 25, -2*d + 3*l - 60 = d. Let v = d - -36. Let n = 67.5 - 66.5. Which is bigger: v or n?
v
Let d = -13 + -10. Let n = d - -24. Is 13 less than or equal to n?
False
Let k be (-4419)/(-99) - (-16)/44. Which is bigger: k or -4?
k
Let c = -6.36 + -0.22. Let d = 0.58 + c. Which is bigger: d or -1?
-1
Let x = -29 - -32. Let n be (14/84)/((-2)/(-4))*x. Let j be -2 + (-74)/(-26) - 1. Which is smaller: n or j?
j
Let k = 0.02 - -9.98. Let l = k - 9.8. Let z = -12/5 + 46/15. Which is smaller: z or l?
l
Let n = 51 - 50.96. Let a = n - -0.96. Let t = -5 + 4.92. Are t and a equal?
False
Let s = 622 - 504. Is s equal to 117?
False
Let r(j) = -j**3 - 17*j**2 - 18*j - 28. Let k be r(-16). Suppose k*y = d + 3*y + 22, 5*d - 4*y + 108 = 0. Is d != -19?
True
Let a(o) = 3*o + 2*o + 12 - o - 6*o. Let g be a(8). Let s be g*((-22)/4 - 1). Is s not equal to 26?
False
Let b = 554 - 577. Is b less than -2?
True
Suppose 2*r = -6*r + 4*r. Suppose 6 = 3*v, 2*p + r*v = 2*v - 4. Which is smaller: p or -1/17?
-1/17
Let h be 1/(-2) - 60/8. Let b = h - -10. Suppose -w = 3*w + i + 33, 2*w - b*i = -4. Which is smaller: -8 or w?
-8
Let h(i) = i - 81. Let q be h(11). Is q not equal to -70?
False
Let b = 0.237 - -0.763. Is b at least -438?
True
Let w be (4 + -3)/((-2)/(-8)). Let o be (-917)/70 + 13 - (-13)/5. Are w and o non-equal?
True
Let n = 0.006 - 4.306. Let i = -3.7 - n. Which is smaller: i or -1/8?
-1/8
Let m = -9 - -17. Suppose 0 = -m*g + 4 - 12. Which is bigger: g or -2/145?
-2/145
Let t be 10/(-6) - ((-120)/45 - -2). Is t greater than or equal to 108?
False
Let v = 1 - -1. Suppose l - 4 = -2*c + 3*l, v = 2*l. Suppose a = -c*a + 12. Is 2 != a?
True
Let x(p) = p**3 - 9*p**2 - 11*p + 14. Let d be x(10). Suppose d*w + 0 - 16 = 0. Is w < 4?
False
Let k be 1/(-3)*3/(-14). Let b be (-17 - (0 + 804/(-48)))*(-2 + 1). Which is smaller: k or b?
k
Suppose -g + 4*l = 18, 6 - 44 = 4*g + l. Let v be g/(-35) - 150/(-14). Suppose 5*o + 1 = v. Is 2/3 at most as big as o?
True
Suppose 5*f - 274 = -r, 270 = 3*f + 2*f + 5*r. Is 55 at most f?
True
Suppose 5*a - 12 = w, -7 - 2 = a - 4*w. Let v(t) be the first derivative of -t**4/4 + 4*t**3/3 - 3*t**2/2 + 2*t + 1. Let y be v(a). Which is smaller: y or 3?
y
Let o = -39 + 13. Let x be (20/9)/(o/(-39)). Which is bigger: 4 or x?
4
Suppose -r - 5*r + 12 = 0. Suppose -5*a - 135 = -3*k, -23 = 4*a + r*k + 63. Is a != -27?
True
Let l = 7 - 6. Let f be 7/14*l/2*68. Which is greater: f or 18?
18
Let y be 2/9 + (-72)/(-405). Let x = 0.24 - 0.4. Let p = -1.56 - x. Is p equal to y?
False
Let s be (0/1 + -3)/((-3)/(-69)). Is -67 less than s?
False
Let c = 83 + -84. Let s be (-21)/(-21) - c/4. Which is greater: 0 or s?
s
Let s = 1.5 - -0.5. Let l = s + -1. Let a = 46/9 - 52/9. Which is greater: a or l?
l
Let y be (-14 + 14)*(3 + -3 + -1). Is y bigger than -21/74?
True
Let m be (4/20)/(1/(-107)). Let i = -308437 - -20046984/65. Let f = m - i. Is f < 2/3?
True
Let i be -6 + (-10)/35*7. Which is greater: i or -0.06?
-0.06
Let g(x) = x**3 - 5*x**2 - x + 7. Let a 