. Which is smaller: o or 4?
o
Let a be (-1 - (-2 - -2))*1. Let z be 21/(-7)*(-4)/(-150). Which is greater: a or z?
z
Let r(i) = -3*i + 42. Let d be r(14). Suppose -3*p + 9 = d, 2*p = -5*n + 6*p + 8. Is -3/2 greater than or equal to n?
False
Let w = 34.27 + -0.27. Let q = 34 - w. Which is greater: q or -2?
q
Suppose -6*p + 1072 + 1064 = 0. Is p > 355?
True
Let n = 33 + -30.4. Let v = n - -26.4. Let j = -28.9 + v. Which is greater: j or -2/7?
j
Let w be 1 + -1 + -3 - -3. Let i be -64*((-49)/14 + w + 3). Is i > 32?
False
Let g(d) = 2*d. Let w be g(8). Let n be (-24)/w*4/6. Let l(y) = -y**2 - 2*y + 4. Let u be l(-4). Which is bigger: n or u?
n
Let w = 3.58 - 142.58. Is w >= -1/3?
False
Let r = 14 - -1. Let d = -9 + r. Let g be (6/(-9))/((-4)/d). Which is greater: g or -4/15?
g
Suppose u = 4*u - 12. Suppose 4*l = -u*j, -5*j - 50 = -5*l - 0*j. Is l not equal to 11/3?
True
Let t(x) be the third derivative of x**6/120 - x**5/60 - x**4/8 - x**3/6 - x**2. Let a be t(-2). Let j be 3*(7/(-12))/7*-4. Does a = j?
False
Suppose -110 = 4*y - 102, -3*l + 104 = 2*y. Let s = 12 - -25. Does s = l?
False
Let c be -1*(-1 - 26)/3. Suppose -4*h + 8 + c = -3*x, -4*h = x - 37. Let i be 0 + -1 + 8/h. Do i and 1 have the same value?
False
Let l be (-7)/(-35)*(-3015)/(-33). Which is smaller: l or 18?
18
Let p be ((-10)/(-35))/((-99)/(-63)). Is 3/5 > p?
True
Suppose 2*y + 154 = 2*n - 7*n, 157 = -5*n - y. Let k be n/(-12) - (4/6 + -1). Is k less than 22/5?
True
Let x be 18/(-12)*(-44)/(-3). Let g be ((-1)/6)/(-5 + x/(-4)). Which is greater: g or -1/6?
-1/6
Let j = -33/2 + 16. Is -104 != j?
True
Let l(b) = -2*b**3 - 23*b**2 - 11*b - 13. Let s be l(-11). Suppose 0*y - 70 = 5*y. Is s at most y?
False
Let x = -79.63 + 5.63. Which is greater: -1/4 or x?
-1/4
Let v = 9.9 + 98.1. Let h = v - 64. Let r = -24 + h. Is r less than 0.1?
False
Let f be 4 + (-88)/(-108)*-3. Is f equal to -1?
False
Let z be (2 + -13)*1 + -1. Let q = 49 - 61. Is q bigger than z?
False
Suppose -3*p - 8 = -p. Let y be 4/(-6)*(-78)/p. Is y != -13?
False
Let f be ((-112)/(-6))/((-24)/(-36)). Suppose d = n + 21, f = -2*n - 2*d - 2. Let k = 19 + n. Which is greater: -4/19 or k?
k
Suppose 0 = -4*g + 19 + 5. Suppose -3*a - 2*d - 22 = -g*a, -3*d - 28 = -4*a. Suppose -4*t = 6 - a. Which is bigger: t or -0.2?
t
Let r be (-502)/9 - 3/(54/4). Which is smaller: -62 or r?
-62
Let w be 2547/12*(-8)/9. Let p = -191 - w. Let a = -23 + 22. Is a equal to p?
False
Let v be 59 + 2 - -1*5. Let q = 66 - v. Is 23 smaller than q?
False
Let o be (-1 - -1)/(-38 - -42). Which is greater: -2/1221 or o?
o
Let a be ((-3)/4)/((-2)/8). Let j be (-95)/30 + 2/a. Which is smaller: j or -2?
j
Let m be 132/21 + 4/(-14). Let d be (6 + 3)/3 + 3 + (-20)/10. Is m smaller than d?
False
Let n = 28349 + -1785901/63. Let y = 155 + -1093/7. Let i = y + n. Is i less than 0.2?
False
Let d(c) = 3*c**3 + c**2 + 1. Let o be d(-2). Let u(m) = -m**3 - 6*m**2 - 3*m + 2. Let x be u(-5). Let q = x - o. Which is bigger: 12 or q?
12
Let d = 27.32 + -9.36. Let r = d - 18. Which is smaller: -2/9 or r?
-2/9
Let u(b) = -4*b + 205. Let w be u(56). Which is greater: w or 17?
17
Suppose 7*z - 18 = 2*z - 2*x, 5*z = -3*x + 17. Suppose z*j - 30 - 34 = 0. Which is smaller: j or 33/2?
j
Let z = 78 + -138. Is z less than -62?
False
Suppose -v = -2*v + m + 16, 0 = 5*v + 4*m - 125. Let x = 27 + -5. Do x and v have different values?
True
Suppose 2*f - 18 = 4*w, 3*f - w + 9 = -4*w. Is -106 < f?
True
Suppose 0 = -s + 3, 5*h + s - 25 = 6*s. Suppose -h*o = -2*o - 6. Which is bigger: o or -2/7?
o
Let f = 16 - 12. Let c be f - ((-4 - -3) + 33). Is c smaller than -28?
False
Let m(s) = -s**2 - 3*s - 9. Let q(l) = l**2 - 20*l - 51. Let o be q(22). Let x be m(o). Which is smaller: x or -2?
x
Let h(c) = -50 - 4*c - c**2 + 2 - 14*c. Let b be h(-15). Which is bigger: -6 or b?
b
Let g be (92/(-10))/((-2)/(-10)). Suppose 43*n + 2898 = -20*n. Are g and n non-equal?
False
Let q = 68 + -25. Let v = 67 - q. Which is greater: v or 0?
v
Let n = -13 + 16. Suppose -4*q = 2*w - 16, n*w - 22 = -2*q - 3*q. Suppose -2*u - 4*s = 6, -3*u + 24 = -3*s + 6. Is u at most as big as q?
False
Let w = 26.048 + -0.048. Let d = 5444.9 + -5445. Is d at least as big as w?
False
Let g be (-88)/(-66)*(-29)/(-4). Is g at least as big as 10?
False
Let a(c) = -c**2 + 8*c - 1. Let u be a(5). Suppose 0 = u*x - 15*x - 1. Which is smaller: -5/11 or x?
x
Let u(c) = c**3 + 4*c**2 - 6*c. Let m be u(-5). Let i = m - 6. Is i equal to -1/4?
False
Let q = -492.9 - -493. Suppose 0 = -4*m + 2*m + 96. Is m at most q?
False
Let p be (1 + (-26)/2)*(6 - 5). Which is smaller: -9 or p?
p
Suppose 2*x + 1 = 3*r, 0 = -3*x - 5*r - 14 + 60. Let y = -2/67 + 1817/268. Let d = x - y. Which is bigger: -1 or d?
d
Let g be 14/(-6)*1 - 6/9. Suppose 5*q + 4*r = -29, -2*q + 4*r + 24 = -6*q. Let n be ((-5)/q)/(1 + 0). Is n at most as big as g?
False
Let n = -127.4 - -126.553. Let f = -0.047 - n. Which is bigger: 1 or f?
1
Suppose -21*x - 394 = -20*x. Is x less than -392?
True
Let v = -936 + 941. Let d be (-5)/(3/(-2 - 1)). Is v smaller than d?
False
Let r = -23 + 57. Let u = r - 38. Let z = -11 - -8. Is z >= u?
True
Suppose 5*d = -0*d + 10. Suppose d*u + o = -0*o - 2, -10 = 5*o. Let k = 296/483 - 13/23. Is u <= k?
True
Let p(o) = o**3 + 5*o**2 - 4. Suppose 2*s + 2*s + 20 = 0. Let j be p(s). Do j and -4 have different values?
False
Let v = -3321849/11 - -301394. Let h = 593 + v. Which is greater: h or 0?
h
Let n = 0.86 - 0.93. Let p = -838.07 + 829. Let u = n - p. Which is smaller: u or 1?
1
Let d = 0.2 + 1.2. Let w = 1.48 - d. Let l = -5.08 + w. Which is smaller: -1 or l?
l
Suppose 0 = 4*f - 3*f - 1. Let p = 36 - 22. Let g be (4/(-5))/(p/(-10)). Is f <= g?
False
Let s = -13 + 16. Suppose -8 = -4*x, s*l + 5*x = 7*l + 14. Do -8/11 and l have the same value?
False
Suppose 3 = -t + 2. Let b be (2 + -3)/(t/67). Do 67 and b have the same value?
True
Let o = -29.1 + 28.9. Is 0.099 smaller than o?
False
Suppose -a + 2*a - 2 = 0. Let k be (-14)/(-10) - (a + -1). Let i = 19262 + -77047/4. Which is smaller: k or i?
i
Let o = -5.43 - -5.3. Let y = -841.13 - -837. Let v = y - o. Is v >= 0.1?
False
Let g = -9 - -14. Suppose 2*r - 3*r = -4. Suppose 0*v - 20 = -r*v. Are g and v unequal?
False
Let h(m) = m - 6. Let j(r) = -r**2 + 8*r + 21. Let q be j(9). Let x be h(q). Are 4 and x nonequal?
True
Let s = 55.4 - 130.4. Do s and 1 have the same value?
False
Let m = -633.6 - -634. Is -2 smaller than m?
True
Let q = 38 + -108. Let l = 51 + q. Is l bigger than 2?
False
Let k = -886 - -1209. Is k greater than or equal to -2?
True
Let l(b) = 3*b - 24*b - 18 + 2*b - 2*b**2 + b**2. Let i be l(-18). Which is smaller: i or -10/19?
-10/19
Let d = 827/26 + -420/13. Let m = -0.81 + -1.24. Let h = m - -0.05. Which is bigger: h or d?
d
Let q = -5 + -11. Let h = 36 + -53. Which is smaller: q or h?
h
Let y = 0.185 + 0.015. Let h = 0.2 + 9.8. Which is greater: y or h?
h
Let o be (25/4)/(3/12). Suppose 0 = 16*v - 21*v + o. Suppose -v*i - 7 = 3. Is -16/7 < i?
True
Let i be (-15 - -9)*2/(-4). Let l be -3*4*i/(-18). Suppose 0 = -5*d - 10, 3*d = 5*f - d - 3. Which is greater: l or f?
l
Let n(i) = -i**3 + 5 - 4*i + 7*i + i - 4*i**2. Let u be n(-5). Let k be ((-4)/35)/((-4)/u). Which is smaller: 1 or k?
k
Let n = 9 + -8.6. Let q = 0.22 - n. Is -1 smaller than q?
True
Let w(j) = -j + 11. Let n be w(12). Let y be -2 + (36/(-112))/(6/(-16)). Which is smaller: y or n?
y
Suppose 136 = -10*p + 1126. Let i = p + -87. Is 11 at least as big as i?
False
Let k be 6/8*45/6. Let g be 155/(-124) - 58/(-8). Are g and k equal?
False
Let j be (-2)/70 - 6/15. Let k = -307 - -3989/13. Is k >= j?
True
Let n = 9407/2258 + 2/3387. Is n != 3?
True
Let j = 730 + -730.1. Which is greater: j or -387?
j
Let g = 24 - 36. Which is smaller: g or -0.08?
g
Let i(c) = -2*c - 53. Let p be i(-23). Let o = -0.2 - 3.8. Which is smaller: p or o?
p
Let s(k) = k**3 - 20*k**2 - 20*k - 20. Let p be s(21). Let i be (2/(-66))/(7/(-21)). Do i and p have the same value?
False
Suppose u + 2*d = -16 - 19, 4 = -2*d. Let c = u - -25. Is c at least as big as -7?
True
Let x = -262 - -16504/63. Do -1 and x have different values?
True
Let w be (4/5)/(2/18). Let f(y) = -3*y**2 - 92*y + 461. Let r be f(-35). Is w < r?
False
Let t be 1915/(-55) + 3 + (-