 + 3. Let t = o - 1.13. Which is greater: t or 1?
1
Let k = 116 + -71. Let l be 15/42*(-12)/k. Which is smaller: 0 or l?
l
Let g = -1/12 - -43/12. Let r(c) = 4*c - 3*c**2 + 2*c**2 - c + 3. Let h be r(3). Is g greater than or equal to h?
True
Let x = -5 - -21. Let l = x - 25. Is 2/3 at least l?
True
Let z = 2 + 2. Is z <= 4?
True
Suppose 7*i - 2*i - 10 = 0. Suppose -w = i*w. Let s be 9/6 - 1/1. Which is smaller: s or w?
w
Let r(i) = -i**3 + 22*i**2 - 23*i + 46. Let d be r(21). Which is smaller: -5 or d?
-5
Let t be 21/3*6/7. Let j = t - 4. Suppose 2*r = -5 + 11. Is r greater than j?
True
Suppose 16*w = -0*w - 192. Which is smaller: 1/2 or w?
w
Suppose 4*x - 1 = x - k, 2*x - 19 = 3*k. Let u = -37/2 - -19. Which is smaller: u or x?
u
Suppose 0*l = 3*l - 6. Let m(c) be the second derivative of c**5/20 - c**4/3 - c**3 + 5*c**2/2 + 3*c. Let t be m(5). Which is greater: t or l?
l
Suppose 4*o - 5 - 1 = 2*p, -2*o - 2 = 4*p. Is p greater than 2/33?
False
Suppose 3 = 3*k - 2*b, 5*k - 11 = -3*b + 13. Let a = k + -3. Suppose -3*z + a = 3. Is 0 smaller than z?
False
Suppose 9*z - 4*z = 155. Is z smaller than 29?
False
Let k = -35322/55 + 642. Let h = k + -2/11. Let f = -2 + 3. Which is smaller: h or f?
h
Suppose 1 = b - 1. Suppose 0 = -5*j + i + 20, -b*j + 3*i = -7 - 1. Let p be ((-5)/8)/(-1)*j. Which is greater: 2 or p?
p
Let a = 12 - 7. Which is smaller: a or 8?
a
Let y be ((-2)/(-3))/(164/156 - 1). Is y != 13?
False
Let f = -1.82 - -1.7. Which is smaller: -1 or f?
-1
Suppose 3*m = 2*m - 2. Is -5/4 greater than or equal to m?
True
Let q = 9 + -8. Is q > -2/23?
True
Let a(l) = -l + 5 - 3*l**2 + 4*l**2 + 5*l. Let j be a(-4). Let v be (j/(-3))/(3/(-9)). Is v greater than or equal to 4?
True
Suppose 3*k = 2*f - 2 - 8, -2*f + 2*k = -6. Suppose -3*n + 8 = -2*o, 3*n - n - 16 = -4*o. Let q be -1 + ((-104)/(-30))/n. Is q at most as big as f?
False
Suppose -5*w - 10 + 30 = 0. Let m be ((-1)/3)/(w/42). Is m < -4?
False
Let j be ((-3)/(2 + 1) + 29)/(-1). Is j smaller than -26?
True
Let d(j) = j**2 - 15*j - 1. Let n be d(15). Which is bigger: n or -5/12?
-5/12
Let w = 6 + -6. Suppose -y + 40 = -5*o - w*y, 0 = -5*y. Let s be (2/(-6))/(o/12). Is s bigger than -0.1?
True
Suppose -11*k = -6*k - 50. Suppose -4*u - k = -14. Let a(z) = -z**2 - 5*z - 3. Let t be a(-4). Is t at least as big as u?
True
Let u = 44 - 43. Let o = -0.1 + 0.09. Is o greater than u?
False
Suppose 11 = 4*b - 3*b. Which is smaller: b or 12?
b
Suppose -3*z = -8*z - 5. Which is smaller: z or -2/27?
z
Let g be (-4)/3*(0 - 156/(-8)). Is g > -26?
False
Suppose 0 = -5*i - 44 - 6. Let s be 2/i - (-22)/10. Suppose 0 = -2*g - 0*g + s. Is 1/3 greater than or equal to g?
False
Suppose b - 3*z + 9 = 0, -z + 7 = -0*b + b. Suppose 3*r - 7 = -4. Suppose r = j + b. Which is greater: -1 or j?
-1
Suppose -2*b - 12 = 2*b. Let h(p) = p + 4. Let t be h(b). Which is smaller: t or -2/19?
-2/19
Let t = -6.08 - 1.02. Let c = 8 + -15. Let g = c - t. Which is smaller: -1/2 or g?
-1/2
Let q(s) = -s + 8. Suppose 3 - 27 = -2*c. Let p be q(c). Do p and -4 have the same value?
True
Let r(v) = -2*v**2 + v**3 + v**3 - v**3. Let w be r(2). Let m = -90 - -539/6. Is m smaller than w?
True
Let b = 18 - 11. Let y(l) = -l**3 + 8*l**2 - 6*l - 3. Let v be y(b). Do 3 and v have the same value?
False
Suppose 5*x - 3*n + 72 = 0, 0 = -4*x - 5*n + 2*n - 36. Is x not equal to -64/5?
True
Let a be 5/(-5) - (-58)/(-30). Let q = a + 18/5. Do -1 and q have different values?
True
Let q = 370 - 114329/309. Which is smaller: q or 1?
q
Let j = -42 - -81/2. Let t(l) = l**3 - 8*l**2 + 7*l + 2. Let i be t(7). Let s be (-1 - -3)*(-1)/i. Is j greater than or equal to s?
False
Let k = 8 + -8. Let o be (-2 - k)*6/(-4). Let y = o + -7. Is y at least as big as -3?
False
Let m(y) = 4*y**3 + y**2 - 1. Let a be m(-1). Let v be a*(4 - 0) - 0. Which is greater: v or -15?
-15
Let y = 217 + -192.2. Let g = -25 + y. Do g and 2 have different values?
True
Let q be (254766/(-9933) - -1)*-3. Let f = q - 810/11. Let v = f - 1/43. Is v equal to 0?
False
Suppose 0 = -r - 13 + 54. Is -0.1 < r?
True
Let d = 6 + -5.7. Let t be 1*-2*(-146)/552. Let n = -2/69 + t. Which is greater: d or n?
n
Suppose -8 + 2 = q. Let p be (-3)/(-18)*(-63)/q. Is 3 smaller than p?
False
Let m = -2/171 - -40/171. Which is greater: m or -0.4?
m
Let y = 13 - 14. Let q = 208 - 2083/10. Are q and y nonequal?
True
Let f(i) = i**2 - 10*i + 11. Let z be f(8). Do -5 and z have the same value?
True
Let v(j) = j**2 - 1. Let o be v(-3). Suppose 2*s + 5*z = 6, 6*s - 71 + 15 = 4*z. Is s bigger than o?
False
Let w be -1*1*-1*1. Let k be (0/w - 0)*1. Suppose 7*u = 4 + 3. Which is bigger: u or k?
u
Let v = -6/53 + -76/265. Let c = -38 + 192/5. Is c greater than or equal to v?
True
Suppose -48 = 4*s - 3*d, -2*s + 0*d - 22 = -d. Is 0.3 at least as big as s?
True
Let h = 248 - 9921/40. Is h greater than -1?
True
Let k = -59 + 59. Let f = -5 - -7. Let u be (0 - 1)*f/6. Are k and u equal?
False
Suppose -3*r - 21 = 3*q, -2*r - 4*q - 19 = 1. Is -25/6 smaller than r?
True
Let x = 526 + -3145/6. Is 3 greater than x?
True
Let f(q) = 2*q**2 - 7*q - 4. Let a be f(-7). Let t = -997/7 + a. Which is greater: t or 0?
t
Let t(a) = -a**3 + 3*a + 3. Let h be t(-2). Suppose 2*q + 3*k - 6 + 3 = 0, q + h*k = 5. Which is bigger: q or -1?
q
Let h(v) = -v**3 - 1 + 3*v + 0*v**3 + 3*v**2 - 4*v. Let c be h(2). Suppose -r + 3 = 3*d + 4*r, -5*r + 4 = 4*d. Is d greater than c?
False
Let m be 4/(-18) - ((-1114)/72 + 5). Is m < 11?
True
Let h be 0 + 3 + 0/2. Let i(p) = -1 - h*p + p + 3*p + 3. Let j be i(-3). Are j and 3/8 equal?
False
Let o = -2 + 3. Let g = o + -5/4. Do g and -0.1 have different values?
True
Suppose 21 + 28 = q. Suppose 11 = 2*a + 3. Suppose 0 = 5*x - 5*b - 45, -a*b - q = -3*x - 17. Is 5 smaller than x?
False
Let v be 2*(1/1)/(-5). Let m = 43 - 214/5. Is v at most as big as m?
True
Let b(t) = -2*t**3 + 2*t + 1. Let w be b(-1). Let k = w - -2. Let r be k - (2 + -2) - 0. Is 3 bigger than r?
False
Suppose 3*u + 0*u + 5*z = 13, -4*u + 2*z = 0. Let b(g) = -g**2 - 12*g - 13. Let q be b(-11). Which is greater: q or u?
u
Let r = 9 + -6. Suppose -40 = 2*x + r*x. Let i = x + 4. Which is bigger: -2 or i?
-2
Let h(o) = o**2 + o + 5. Let z be h(0). Which is greater: z or 7?
7
Suppose 0 = -3*x, -3*t + 4*x + 36 = -t. Which is bigger: 0 or t?
t
Let x = 106 + -1169/11. Let m(h) = h**3 + 7*h**2 + 5*h - 6. Let z be m(-6). Are x and z nonequal?
True
Let t be -1*((-1 - 3)/(-16))/(-1). Let x be (99/1)/((-716)/(-18)). Let f = -2/179 - x. Is t at least f?
True
Suppose -6*f = -24 - 18. Which is bigger: 5 or f?
f
Let c = 0.039 - -3.961. Is c bigger than -5?
True
Let a = -166/3 + 1157/21. Let z = 9/28 + a. Is -1 less than z?
True
Let i = 14 - 2. Suppose 0*p - 3*p = -i. Is 4 greater than or equal to p?
True
Let i be (-3)/2*12/(-9). Let l = i - 0. Let j be 1/(-1)*(-11)/11. Are l and j nonequal?
True
Let l(h) = -h**3 - 7*h**2 + 6*h - 9. Let s be l(-8). Which is smaller: 0 or s?
0
Suppose 4*j = 2*j - 2. Let x = 4 + -4. Which is smaller: x or j?
j
Suppose h - 32 = -3*h. Are 7 and h equal?
False
Suppose -1 = -2*j - 0*q + q, 0 = -4*j + q + 3. Is j at most 15/8?
True
Let o = 13 + -5. Let t be 4/o*(-20)/6. Which is smaller: -2 or t?
-2
Let h be (9/12)/((-171)/24). Which is smaller: h or 0?
h
Let w be (12/(-1 - 2))/1. Let s = w - -3. Suppose 0 = -x - 5*c - 25, -2*x - 3*c = -6*x + 15. Which is bigger: x or s?
x
Let v = 0.1 - 0.12. Let x = 0.32 + v. Let o = x + -0.1. Is o at least as big as -0.2?
True
Let x = -1.5 + 2. Are 0.3 and x nonequal?
True
Let h = -6360081 + 3221529. Let q = h + 2620691244/835. Let k = 2/167 + q. Is 0 >= k?
False
Let j = 1.2 - -1.7. Let z = j + 1.1. Let m = z - 4. Which is bigger: m or 4?
4
Let b = -262 - -1302/5. Is b != -1?
True
Let c = 9 - 9. Suppose c*w + 3*w + x - 2 = 0, -x = -5*w - 10. Is w bigger than -1?
False
Suppose -1 + 6 = 5*o. Which is bigger: -2/153 or o?
o
Let i be (-18110)/(-452177) - 1 - -1. Let l = 2/4477 - i. Let w = l + 238/909. Which is smaller: w or -1?
-1
Let f = 290 + -193. Let a = f + -677/7. Which is smaller: a or 1?
a
Let j be 3*((-8)/3 + 2/(-3)). Which is bigger: -12 or j?
j
Suppose -5*x = -4*j + 16, 2*j - 2*x + 4 = 3*j. Which is smaller: j or 3?
3
Let a = 6 + -5. Let b(p) = 5*p + 1. Let x be b(a). Suppose -x*y - 3 = 