 - 2/4. Which is smaller: b or -2/3?
-2/3
Suppose -9*q + 8 = -10. Suppose -r = -v + 11, -q*v + 11 + 10 = -r. Suppose 15*y + v = 20*y. Is 24/17 != y?
True
Let u = 237 + -241.35. Let f = 3.95 + u. Is 18 smaller than f?
False
Let q = 0.162 + 0.048. Let d = -0.269 + q. Are d and 1/3 unequal?
True
Let i(x) = -1 + 2*x - 4 + 3. Let d be i(2). Suppose 0*a - 2*r = d*a - 56, 4*r = -2*a + 52. Is 0 greater than a?
False
Let y = -354.509 - -354. Let v = y + -0.361. Which is bigger: v or -1/3?
-1/3
Suppose -91*f = -17*f - 220594. Does 2980 = f?
False
Let y = 2177 + -2221. Suppose -k - 3 = -1, -4*k - 102 = 2*z. Do z and y have different values?
True
Let u(x) = 3*x**2 - x + 4. Let m be u(-2). Let g = 3314/9 + -368. Is g smaller than m?
True
Suppose 0 = -21*f - 19*f + 11200. Which is smaller: 275 or f?
275
Suppose -794*t + 397*t + 972 = -343*t. Let q be (0 - 5)*(-36)/15. Which is bigger: t or q?
t
Let s(v) = -123*v - 10681. Let t be s(-84). Are t and -361 nonequal?
True
Suppose 0 = -9*h - 2326 + 2317. Is 4/9255 equal to h?
False
Suppose 34*r = 23*r + 1936. Let b be r/(-16)*(1 + 0). Are -14 and b nonequal?
True
Let h be 1/4 + 2/(-136). Let j = h - 502/1989. Which is smaller: j or 0?
j
Suppose 2*g + 3*y + 7 = 0, g - 226*y = -231*y + 7. Is g greater than -222/31?
False
Let m = 0.06004 - -3323.93996. Which is bigger: -2 or m?
m
Suppose 0 = -6*v - 5 + 17. Let q be -134 + (v - (-7 - -6)). Is -130 at least as big as q?
True
Let k = -17740 - -17784. Let u = 8 + -10. Is k < u?
False
Let f = 1.739 + -0.159. Let g = 1.62 - 0.12. Let z = g - f. Do z and -1/2 have the same value?
False
Suppose 0 = -2*j + 9*a + 65, -275*j + 4*a = -278*j - 25. Which is smaller: j or -18/1861?
-18/1861
Let u = 283 - 82. Let h = u + -203. Which is bigger: h or -102?
h
Let b be (15990/(-20))/41*26/6. Is b >= -86?
True
Suppose -1508*f + 23 = -1485*f. Which is greater: f or -29/213?
f
Let r be (-1)/(-14) - (-270)/140. Let v be 106 - (-3 - (1 - r)). Are v and 107 nonequal?
True
Suppose -22060 = -5*f + v, 131*v = f + 130*v - 4412. Is f at most as big as 0?
False
Let b = 2093529/434 - 4824. Is b not equal to 0?
True
Let t = -83 - -88. Suppose -t*u + 4*h = 8 - 0, 4*u = -3*h + 6. Let f be (-848)/142 - (-66)/11. Is u < f?
True
Suppose 340 - 3805 = 5*c. Let x = 690 + c. Suppose 5*g - 5 = 0, m = 2*g - 6*g. Which is greater: x or m?
x
Let n be (-83)/(-3)*(-738)/3. Which is smaller: n or -6805?
n
Let g = -41.86 - -40.15. Is -4 != g?
True
Suppose 2*g = 4*r + 5*g - 9, -r + 2*g = -16. Let u = -5 + r. Let t = 3/4408 + 1099/4408. Which is smaller: u or t?
t
Let c = 10946 - 10024. Does c = 922?
True
Let r be 20/(-11) + 2 + 1216/88. Let h be (-89)/(-436) + r/(-56). Which is greater: 1 or h?
1
Let d = -65 + 193/3. Let m(k) = -k**3 + 11*k**2 - 13*k + 1. Let t(x) = -x**3 - 6*x**2 - 7*x. Let h be t(-5). Let o be m(h). Do d and o have the same value?
False
Let c = -79 - -59. Let z = -392/3 - -130. Which is smaller: z or c?
c
Let m = -663858650863/464 - -1430731806. Let w = 1955 - m. Let b = -3013/1392 + w. Which is smaller: b or -1?
b
Let q = -23320959/643 + 36269. Is -1 less than or equal to q?
True
Let g(f) = f**3 + 12*f**2 - 63*f - 650. Let a be g(-13). Which is smaller: a or -106/91?
-106/91
Let f = 17617/33810 - -1/1470. Let y(i) = -48*i + 1. Suppose 0 - 4 = -5*m + 4*w, 0 = 3*m + 2*w + 2. Let l be y(m). Is f less than l?
True
Let i be (2/6 - 0)/(-24 - (-881564)/36732). Which is smaller: -3064 or i?
-3064
Let o(p) = 7*p + 9. Let d(y) be the third derivative of y**4/4 + 5*y**3/3 - 34*y**2. Let c(r) = 5*d(r) - 4*o(r). Let j be c(-8). Which is greater: j or -4?
j
Let k = 0.2 - 8.2. Let b = -8.26 - k. Let f = 686 - 2056/3. Which is greater: f or b?
f
Let i be (156633/(-1635))/(2/(-20)). Which is smaller: i or 956?
956
Let j be 5 + 8 + (8 - 153 - -2). Are j and -130 equal?
True
Suppose 2*o = 7*o - 4*j - 4200, 3*o - 3*j - 2523 = 0. Is 838 <= o?
False
Let o = -7958 + 5647. Which is smaller: -2310 or o?
o
Let l(b) = b**2 + 21*b - 14. Let x be l(0). Let o(r) = -r - 3. Let g be o(-5). Suppose -3*n - 62 = -2*p - 2*p, 0 = -g*n - 4*p - 8. Is x > n?
False
Let m be (-5)/1 - (-40516)/8176. Is m greater than -1?
True
Let y be (-3)/4 + 57/12. Suppose 4*a - 181 = 3*n, 7*a - n - 142 = y*a. Is a < 48?
False
Let l(o) = -o - 16. Let i be l(-15). Let n be i - 1876/(-10) - 141/(-47). Let u = n - 189. Which is greater: 0 or u?
u
Let z = -223/10 - -44753/2010. Are z and -1 nonequal?
True
Let p = -2.24 - -1.4. Let j = -1.12 - p. Let v = 0.72 - j. Is v at least as big as 3/5?
True
Let b be 34/16 - 5/(-10). Let j = 785/296 - b. Let o be (392/245)/(4/15) - 6. Which is bigger: j or o?
j
Let z = -61.137 + 0.137. Let k = z - -58. Let u = k - -2.9. Which is smaller: 0 or u?
u
Let n = 151 - 141.3. Let l = 11.7 - n. Which is bigger: -20.7 or l?
l
Let r(w) = -141*w + 4462. Let l be r(62). Is -4284 bigger than l?
False
Suppose 3*r - 4*r - 4*q = -22, 2*r + 1 = q. Suppose 0 = -2*y - 5*c + 30, -r*y - 4*c = 2*y - 36. Suppose y*z + 24 = b - 0*z, 0 = -z - 5. Is b not equal to -14?
True
Let j = 983/2934 - 5/2934. Which is smaller: -1/4088 or j?
-1/4088
Suppose 0 = 5*f - 2*f - 12. Suppose 0 = -f*p + 3*v + 2*v + 9, -9 = -2*p + v. Let t(d) = -d**3 + 3*d**2 + 3*d + 13. Let y be t(4). Which is smaller: p or y?
p
Suppose 3 = -3*x - 9, -4*f + 40 = -4*x. Let k be f/42 + (-3699)/(-273). Which is greater: 14 or k?
14
Let j = 64 - -28. Let i(y) = -22*y**3 + 285*y**2 + 21*y - 15. Let o be i(13). Which is bigger: j or o?
j
Let p(q) = -q + 5. Let c = -27 - -27. Let m be p(c). Suppose -25 = z + 3*t - 6*t, -m*t - 65 = 5*z. Which is smaller: z or -18?
-18
Let y be (240/96)/(35/(-4)). Do -1663 and y have the same value?
False
Let n be (-977998)/(-51478) - 266/14. Which is smaller: 0 or n?
n
Let u = 86 - 82. Suppose 10*r - u*r + 222 = 0. Which is greater: 0 or r?
0
Suppose -12*h + 980 = -7*h. Suppose 0 = 4*t + h - 48. Let p = 41 + t. Is p < 0?
False
Let m = -6843 + 6778. Is 63 bigger than m?
True
Let g(q) = -13*q - 5*q**3 - 14*q**2 - 13 - 18*q + 2*q + 4*q**3. Let v be g(-12). Let t = 102 - v. Which is smaller: t or 56?
t
Let y = 5187 - 5498. Is -310 at least y?
True
Suppose -10*g + 60*g = -72800. Is g >= -1456?
True
Let p(y) = y**2 + 10*y + 29. Let g be p(-16). Let c = 101 - g. Is -24 at least as big as c?
True
Let y = 1022146/135 + -68140/9. Which is greater: y or -1?
y
Let q = -1259 + 1258. Suppose -5 = -2*l + 5*k, 3*l + 13 = -k - 22. Let f be (-62)/l - (-3)/(-15). Which is smaller: q or f?
q
Suppose m - 1 = -2*u - 2*m, -37 = -5*u + 4*m. Suppose -2*z + 1 = -u. Let o be ((-2)/z)/((-16)/(-24)). Which is smaller: -1/24 or o?
o
Suppose 9*n - 4*u = 12*n + 22, 3*n + u + 10 = 0. Let l be 91/n - (-1 + (-2 - 1)). Which is greater: l or -43?
l
Let b = -441 + 3977/9. Let n = 3019 + -3019. Is b bigger than n?
True
Let u = -226 - -121. Let o be (-1)/(-9) - u/27. Suppose 44*y + o = 46*y. Which is bigger: 1/3 or y?
y
Let f = 0.179 - 0.242. Let h = f + 0.093. Which is greater: -1 or h?
h
Let x = -99.74 - -101.74. Which is smaller: x or -11398?
-11398
Let k = 13287 - 23670. Do k and -10382 have the same value?
False
Suppose 0 = 378*a + 257110 - 825622. Are 1506 and a non-equal?
True
Suppose -5*t + 26 = 2*k - 40, -2*k + 64 = 4*t. Does k = -45?
False
Let t be (-12 - -2) + (-4 - (15 - 28)). Which is greater: 32/925 or t?
32/925
Suppose -9*h + 5 = -4*h. Let n be (-2)/(-3)*((-4)/8)/(328/12). Is n < h?
True
Let l(x) = x**2. Let b be l(-2). Suppose -16 = -b*p - 172. Let u = p - -43. Which is bigger: 1 or u?
u
Let r = 388 + -365. Suppose -30*d = 7 + r. Which is bigger: -7 or d?
d
Suppose 285*z + 351678 = -10842. Which is smaller: z or -6357/5?
z
Suppose -4*q + 4*i = 2*i + 26, -5*q + i - 31 = 0. Let w be (-382)/q + (-3)/3. Let g = w - 2062/33. Is -1 at least as big as g?
False
Let y be -2 - 19/(-5) - (-2)/10. Suppose -3*k = -y*z - 132, 5*z - 4*k - k = -340. Let c = -73 - z. Is c <= -9?
False
Suppose 2*l = 4, 9*l + 75 = -5*g + 4*l. Suppose 0 = -w + 2*p - 15, 2*w - 5*p - 21 = 6*w. Let k = g - w. Which is bigger: k or -1?
-1
Let x(i) = -2*i**3 - 9*i**2 - 21*i - 30. Let h be x(-7). Which is smaller: h or 367?
h
Let q = 448 + -183. Let y = -261 + q. Which is smaller: 23 or y?
y
Let w = -2.5637 + -28521.4363. Is w at most as big as 0.1?
True
Let n = -172 - -172. Suppose n*r + 2*r = 144. Are 141/2 and r