3*r**2 + 51*r - 55. Let o be a(-18). Which is bigger: o or 1/44?
1/44
Let z = -2.5 + 2. Let d = -0.384 - -0.084. Let x = z - d. Which is greater: x or -0.7?
x
Let i be (-90)/(-90) + (1 - 136/67). Which is bigger: -2/7 or i?
i
Suppose 23 = -l - 5*u, 0 = 3*l - 0*u - 3*u + 15. Let f = -9 - l. Which is smaller: f or 1/15?
f
Suppose 13*f + 5*f - 126 = 0. Suppose h = -0*h + 5. Suppose 3*i - h*y + y = -23, -y + f = -2*i. Which is bigger: i or -1.4?
i
Let i be 18/45 + (-304)/10. Let u = i + 31. Is 2/15 > u?
False
Let c(k) = -k**3 - 2*k - 1. Let t be c(-1). Let i be 5/t*(-12)/(-6). Suppose -a + 3*h = -18, i*h + 8 = 4*a - 6*a. Which is smaller: -2 or a?
-2
Let u = 82 + -13. Let p be 5 - (u - (-4 + 1)). Which is bigger: -66 or p?
-66
Let z = 1250.969 - 1251. Are 1.2 and z non-equal?
True
Let j be 4/20*21 - 4. Which is greater: j or 0?
j
Let a = 407 + -494. Is a greater than -88?
True
Let p = 1 + 7. Let c(k) = 3*k**2 + 18*k - 8. Let l(b) = -4*b**2 - 27*b + 12. Let x(j) = 7*c(j) + 5*l(j). Let n be x(p). Are -11/4 and n nonequal?
True
Suppose -g + 5*t = 12, -5*t = -4*g + 33 - 81. Let j be 3 - (-4)/4*-13. Which is greater: j or g?
j
Let i = -283/240 - 1/48. Suppose q = -15 + 115. Let y = q + -102. Which is smaller: y or i?
y
Let l = 301 - 301. Which is bigger: -7/104 or l?
l
Let q = 6572 + -6544.022. Let l = -0.022 - q. Let o = -28.1 - l. Which is greater: o or -4?
o
Let p(o) = -3 + 3*o**2 + 4 + o**3 - 4*o + 2*o**2. Let k be p(-6). Let n = 11 + k. Are -4 and n nonequal?
True
Let g(t) = t**3 - 23*t**2 + 22*t - 1. Let c be g(22). Do 27/7 and c have the same value?
False
Let q be (-16 - -17)/(21/(-6)). Which is bigger: 0.2 or q?
0.2
Let c(b) = b**3 + 23*b**2 - b - 27. Let z be c(-23). Let o be ((-2)/(-4))/(z/(-8))*-1. Let k be 34/(-195) - 1/(-5). Which is smaller: o or k?
o
Let w = 1.543 + -1.593. Which is bigger: w or 1/23?
1/23
Let x be (0 - 3 - -5) + (-5)/3. Suppose 5*t - 2*t = -3*c + 12, -2*c - 22 = -4*t. Which is bigger: x or c?
x
Let x = -1/68 + -269/204. Let o be 1/2 + 244/24. Let j = o + -10. Which is smaller: x or j?
x
Suppose 0 = -7*x + 12 + 2. Suppose -2*k - 4 = -x. Let s = 556 - 2792/5. Which is greater: s or k?
k
Suppose 6*t - 202 - 38 = 0. Is 43 at least t?
True
Let b = 2.0328 + -0.0328. Do b and -44 have the same value?
False
Let g(q) = -q**3 - 4*q**2 + 5*q + 5. Let a be g(-5). Suppose a*c - c = 0. Let x be 2 - (1 - (-18)/21). Which is smaller: c or x?
c
Let a(t) = -t**3 - 7*t**2 - t - 6. Suppose -51 = 5*n + 4*j, j = n + 2*j + 11. Let z be a(n). Let x be z/(-3) - 4/36. Which is bigger: 1 or x?
1
Suppose 4*y - 341 + 437 = 0. Which is greater: -17 or y?
-17
Let h = -360 - -299. Which is smaller: -62 or h?
-62
Let w be 28/140 + (-346)/1680. Which is bigger: 1 or w?
1
Suppose -m = 5*d + 116, 20 = -58*d + 57*d - m. Let a(w) = 24*w. Let g be a(-1). Is d > g?
False
Let g = 321 + -286. Is g < 35?
False
Let r(j) = -4*j - 23. Let l be r(-7). Let w = l - 3. Which is greater: w or -2/43?
w
Let r = 2617/9515 - 2/865. Is r at most as big as -19?
False
Let l = -37/3 - -13. Let x be 2/(-3)*(-10 + 63/6). Is x greater than l?
False
Let m be (-8)/4 - (-34 + 11). Does 19 = m?
False
Let f(m) = -m**3 + 14*m**2 + 16*m + 16. Let q(x) = -2*x + 15. Let k be q(0). Let v be f(k). Is v smaller than 31?
False
Let q be (8 + -7)*(1 + -2 - 31). Let y be ((28/q)/(-7))/((-2)/(-4)). Which is greater: 10/9 or y?
10/9
Let u = 2/22513 - 70249/30505115. Which is smaller: -1 or u?
-1
Let k(j) = -2*j**2 + 19*j - 5. Suppose 3*t + 3*b - 36 = 0, 0*b + 44 = 4*t + 3*b. Let l be k(t). Which is greater: 18 or l?
l
Let k(b) = b**2 + b - 4. Let d be k(-5). Let o = 12 - d. Which is smaller: o or -0.06?
o
Let z(b) = -b**3 - 7*b**2 - b - 6. Let o be z(-7). Let r be (4*(-9)/3)/o. Let t be ((-30)/r)/(2/(-4)). Is -6 > t?
False
Let a be (-7)/(-1155)*5*-3. Which is smaller: -2 or a?
-2
Let g = -107 - -108. Let a be (-5)/(5/(-4) - (g - 2)). Which is smaller: a or 21?
a
Suppose -2*a = -5*a + 36. Suppose 5*t - 2*y - 3 = 5, t + a = -3*y. Let g = 22075/33 - 669. Which is smaller: g or t?
g
Let u = -0.87 - 295.13. Which is greater: 1 or u?
1
Let l(i) = -13*i - 2. Let k be l(-5). Let c be k/18 + 2/(-4). Suppose 5*n - 18 = r, -c*r - 2 + 4 = -n. Does r = 0?
False
Let h(o) = 3*o + 186. Let x be h(-51). Let f = 391/2 + -163. Which is smaller: x or f?
f
Let y be 2*3/(-12)*(0 + -2). Let i = 15451/51 + -303. Is y bigger than i?
True
Let m(y) = y**3 + 14*y**2 + 12*y - 57. Let v be m(-8). Is 231 greater than v?
False
Let b be (6/4)/(4/(-8)). Let a(p) = p**3 + 7*p**2 + 9*p - 5. Let i be a(-5). Suppose 3*f + 2*f + 3*y + 11 = i, -5*f - y - 7 = 0. Is b at least as big as f?
False
Let f = -654 - -655. Does f = 9/13?
False
Let f = 181 - 180. Which is smaller: f or -25?
-25
Let v(g) = -2*g**3 - 25*g**2 - 3*g - 60. Let w be v(-11). Which is smaller: w or -389?
w
Let w = -85 - -90. Let v = 5 - 5. Suppose r = -v + w. Which is greater: 7 or r?
7
Let d(r) = 2*r**2 - 45*r + 100. Let x be d(20). Let n(p) be the first derivative of -p**3/3 - p**2/2 - 1. Let h be n(0). Is h >= x?
True
Let h = -112/33 - -4276/1221. Suppose 0 = 150*l - 5*l - 145. Is l at least as big as h?
True
Let q = -29.22 + 29. Let r = -0.02 - q. Let x = 0.166 - -3.834. Which is bigger: x or r?
x
Let m = -145/9 - -16. Let d(v) = -15*v - 4. Let q be d(4). Let x = 255/4 + q. Which is smaller: x or m?
x
Let z be (8/(-3) - (-4)/2)*-3. Suppose -3*i = -z*i + 2*u + 5, -4*u = -2*i + 6. Is -1/14 not equal to i?
True
Let i be 176/(-92) + 18/9. Which is bigger: 4 or i?
4
Let s be (-2)/(-22)*4*(-15)/6. Which is greater: s or -4?
s
Let y(d) = -d**3 + d**2 + 2*d - 2. Let h be y(2). Let m = -9 + 8. Let g = m - -1. Which is greater: g or h?
g
Suppose l + 6 = -l, 0 = 5*v - 2*l - 21. Let t be (v*(1 + 0))/(-7*2). Which is bigger: 1 or t?
1
Let j be ((-30)/12*-1)/((-1)/(-2)). Is 6 smaller than j?
False
Let g be (-361)/(-57) - (-1)/(-3). Let b be 124/(-130) - g/(-39). Which is smaller: b or 0?
b
Let s be 4/(-10)*(-627)/(-38). Which is greater: s or -7?
s
Suppose -604*s - 90 = -599*s. Which is smaller: s or -15?
s
Suppose 4*q = -3*j + 2*q + 152, 4*q + 74 = j. Let n be (2/(-3))/(60/j). Suppose -4*l + 4*m = 12, 2*l - 4*m + m = -8. Which is smaller: n or l?
l
Let q be -1*1 - (-20)/5. Let k be 10/q*(-126)/(-35). Are k and 12 equal?
True
Let l = 362 + -362.057. Let b = -6 - -7. Are l and b non-equal?
True
Let d = -696 - -713. Is 17 at most d?
True
Suppose 8*u - 107 = 325. Suppose -4*w + 2*j = -86, -3*j + u = 3*w - j. Which is bigger: 18 or w?
w
Suppose 0 = -r - 5*m + 168, 4*r = -6*m + 2*m + 752. Suppose 5*q - r = -4*j, 0*j - 56 = -q + 5*j. Suppose 0 = 5*l - q - 29. Which is smaller: l or 0?
0
Let z = -19/10 - -1861/990. Is z equal to 0?
False
Suppose v = -3*b + 2*b - 2, 3*b + 6 = 3*v. Suppose -2*u + 4*o - 4 = -6, -3*u - 2*o + 3 = v. Which is bigger: -2/41 or u?
u
Let a = -92/3 - -31. Let j = 27 - 26.918. Which is greater: j or a?
a
Let n be 14/(-4)*10*-1. Suppose -2*d = -7*d - n. Are 1 and d equal?
False
Let a = 1012 - 986. Are a and -0.1 equal?
False
Let l = -3951/8 - -489. Which is smaller: l or -5?
-5
Let v(w) = w**2 - 80*w - 6864. Let c be v(132). Let o = 125/6 + -20. Let i = 1/2 + o. Is i > c?
True
Let h be 7/14 - 4/8. Is h at least as big as -1.111?
True
Suppose 0 = -3*r - 4*o + 6, 8*o - 11 = -2*r + 3*o. Let h be 2/1 + (-41 + r)*1. Is h at least as big as -41?
True
Let k = -22885/76 - -301. Let p be 35/(-14)*12/855. Let n = p - k. Is -1 greater than or equal to n?
False
Let i(w) = -w + 3. Suppose -3*u + 5 = -1. Let t be i(u). Let p be (-60)/(-64)*8*2/140. Is p > t?
False
Suppose -2*b + u + 3*u - 8 = 0, 3*u = -b - 24. Let d = b + 12. Which is smaller: d or -1/5?
-1/5
Let b = -49.256 - -0.256. Which is smaller: b or 0.3?
b
Let o(x) = -x - 8. Let l be o(-11). Suppose l*a + 57 = 153. Suppose 2*h + a = 5*y + 4, -3*y + 13 = -5*h. Is 6 at most y?
True
Let y be 14/4 - (0 + 3). Is y at most 16?
True
Let s = 0.03 - -0.07. Let b = s + 9.9. Let j = 14 + -14. Which is smaller: b or j?
j
Suppose 2*u + 3 = u. Let x be u*-2*10/12. Let s(y) = y**3 + 6*y**2 + 3*y - 5. Let l be s(-5). Is l <= x?
True
Let m be (-3*16/(-48))/((-2)/(-70)). Which is bigger: m or -1?
m
Let o(w) = w**3 + 7*w**2 - 9*w - 10. Let t be o(-8). Let z(x) = 8*x - 2 + 0 + 3 - 7*x. Let a be z(t). Does a = -2/5?
False
Let d = -60 + 60