Let b = -80/3 - -3043/114. Is q at least as big as b?
False
Let s = 0.693 + -89.793. Let g = 62.1 + s. Is g bigger than 1/6?
False
Let p = 2851 + -34235/12. Let y be 0 + (-34)/12 + 0. Let i = p + y. Is -4 < i?
False
Let i be (-3)/(-6)*1*6. Suppose -3 = -h, -2*z - h = -5*z + i. Suppose 30 = -5*o + z*o. Is -10 at least o?
True
Let l be 419 + (-5 - 3/(-3)) + 3. Let x be (-27)/(-45) + l/(-80) - -4. Let g = -4 + 4.1. Is g at most as big as x?
False
Let l(a) = a**2 + 6*a - 8. Let o be l(-7). Let w = -1891 - -1891. Let y be o + w + -1 + 2 + -1. Which is smaller: 6/35 or y?
y
Let s be (-9)/(-12) + 15/76. Suppose 2*n + 29*o = 27*o, -4 = -6*n - 4*o. Which is smaller: s or n?
s
Let k = 17.1344 - 16.9344. Let m = -0.07 + 0.084. Is m bigger than k?
False
Let n(b) = b**2 - 5*b - 5. Let j be n(6). Suppose 34 + 33 = 41*w - 15. Which is smaller: j or w?
j
Let j = 329 - 328. Which is bigger: 3/1583 or j?
j
Let t be (-226980)/312*4/(-6). Which is bigger: t or 486?
486
Let b(v) = -8*v + 76. Let w be b(17). Let z be w/5*((-15)/12 + 2). Let j = 23 + -33. Which is smaller: j or z?
j
Let y = -42.1 - 259.9. Let o = y - 144. Which is greater: 0.1 or o?
0.1
Let g = 268 + -299. Let l be (-2)/4 - (-15)/30 - g. Let t(f) = 8*f**2 - 2*f + 2. Let q be t(2). Which is greater: l or q?
l
Let a be 3 + 386867/(-21489) + 15. Is a <= -1?
False
Let j = -177139 + 1243279/7. Which is greater: 473 or j?
473
Let a = -1058 - -677. Let b = a + 380. Let s = 845 - 21973/26. Does s = b?
False
Let i = -141 + 147. Suppose 5*d = i*d. Which is greater: 4/15 or d?
4/15
Let x(r) be the first derivative of -r**4/4 + 6*r**2 + 11*r - 50. Let u be x(-6). Is 155 smaller than u?
False
Suppose -2*t + 3*t + 20 = 0. Let a(w) = -3*w**2 + 23*w + 9. Let g be a(8). Let i be g/(-2) - (-390)/(-20). Is t > i?
False
Suppose -26 = 3*h + 10. Let w be (2 - 0)/h - 4075/120. Which is smaller: -33 or w?
w
Let h = -1.9242 + 0.7242. Are 458 and h equal?
False
Let i(t) = -t**3 + 7*t**2 - t + 35. Let w(s) = -s**2 - s - 2. Let c(j) = i(j) + 4*w(j). Let g be c(6). Is -110 bigger than g?
True
Suppose -m = -8*m + 2282. Let a be 3/12*(-8)/m. Which is smaller: 1 or a?
a
Let m = 544 - 103. Let p be 6867/m + 8/14*-1. Which is greater: p or 16?
16
Suppose 4*u - 14 = -3*z, -u + 73 = -3*z + 77. Is z not equal to -218?
True
Suppose 5*q - 5*j = -2*j + 21, -4*q + j + 14 = 0. Let m be 194*1*(-3 - (q - 7)). Which is bigger: 193 or m?
m
Let y = -9516 + 1532070/161. Let m = -4961/805 + y. Is -7 greater than m?
False
Suppose 25 = -6*z + z. Suppose -159 = -4*o - 3*t, 2*o = -5*t + 25 + 44. Suppose -500*k + 494*k = o. Is k != z?
True
Let p be (48/(-15))/((-2)/(-910)). Let b = -2178 - p. Let m = b + 9380/13. Is m less than or equal to 0?
True
Let o be (-16)/(-24) + 13630/(-3714) + 3. Let r = 3879 - 3878. Which is smaller: r or o?
o
Let t = -27 - 19. Let b = t + 45.16. Let u = -0.84 - b. Which is smaller: u or -1/17?
-1/17
Let l be 239/1912 - (3126/16)/3. Do -117 and l have different values?
True
Let y be -15 + 12 - ((-18715)/(-12490))/((-4)/8). Are -1 and y non-equal?
True
Let k be (25/10)/(8/364) + 4. Let a = -107 + k. Which is smaller: a or 11?
a
Let x be (-1 - (-13)/3)/((-20)/(-90)). Let y = x - 17. Let a be 2/16*(-390)/52. Which is bigger: a or y?
a
Let a = 2/49 - -80/441. Let s be ((-5)/5 - -1) + (-718)/(-11151). Let x = -4/413 - s. Is a at most as big as x?
False
Let t = 12133 - 14528. Does t = -2393?
False
Let l(j) = -j**2 - 9*j + 792. Let w be l(24). Which is greater: w or 66/329?
66/329
Let c be ((-3)/(-2))/(1*6/8). Suppose 2*p = -3*d - 10, -7 = -3*d + p - 2. Suppose 2*y - 13 = f, 22 = -f + 5*y - d*y. Which is bigger: c or f?
c
Let d be 52/20 - 3 - 289348930592/1270. Let o = d + 227835684. Let m = o + -1880. Is m at most as big as 1?
True
Let f = -26 + 26.58. Let t = f - 0.18. Let c = -0.392 - -0.292. Which is smaller: t or c?
c
Let n = 0.0275 - 5.8675. Let v = n - -5.85. Which is smaller: v or 34?
v
Suppose -2*j + 112 = 2*c, 9 = -5*c - 1. Suppose 4*o + 0*o - 232 = 0. Is j bigger than o?
False
Let v = 8 - 6. Suppose -v*y = -4 + 6. Let l = -94 - -88. Is y at most l?
False
Suppose 50643 = 55*o - 10022. Is o greater than 3310/3?
False
Let v(k) = k**3 + 3*k + 3. Suppose -5*q - 10 = 5*x, 2*x - 3*x = 0. Let w be v(q). Let b be ((585/(-6))/(-5))/(-2). Which is bigger: w or b?
b
Suppose -2*v - 6 = 2*t + 6, -2*v - 1 = t. Let w be (-59)/t + 12/(-4). Is w > 2?
True
Suppose -132*x = -124 + 4480. Is -35 at least as big as x?
False
Let n = 273 + -536. Let z = -262 - n. Is -1/5 equal to z?
False
Let f = 149 - 748/5. Let v = 0.1 - 3.54. Let w = -0.44 - v. Is w at most f?
False
Let q = 153.08 + -3055.08. Which is smaller: q or -3?
q
Let q(s) = 11 - 4 + s - 2*s + 3. Let z be q(0). Let g be (-15 - -10)*(1 + 46/z). Which is greater: g or -26?
-26
Let x be 7/21 + 44/440 + (-6647)/(-30). Suppose -2*q + 223 + 223 = 0. Which is bigger: q or x?
q
Let v = 2000/129 + -23480387/1514460. Is 1 less than v?
False
Let k(d) = -d + 11. Let l(z) = -6*z + 56. Let g(b) = 11*k(b) - 2*l(b). Let c = 300 + -310. Let p be g(c). Is 0 at most p?
False
Let b = -36.62 + 27.62. Which is smaller: -167 or b?
-167
Suppose v + 4145 = -4*b, 4*v - 2204 + 136 = 2*b. Let x be b/(-10) - (224/40 + -6). Which is smaller: x or 103?
103
Let i = 147 + -145. Suppose -t - i*c = 3*c + 36, -t - 41 = 4*c. Which is smaller: -63 or t?
-63
Let p = -0.934 + 0.334. Let b = -106.88 + 107. Is b at least p?
True
Suppose 0 = -25*y + 3*y - 88. Let l(a) = -a**3 + a**2 + a - 2. Let d be l(2). Let i be 26/d + y*6/(-8). Is 1 at most i?
False
Let g = 216714 - 1954110136/9017. Which is smaller: -1 or g?
-1
Let t = 39.075 - 0.075. Let b = -152 - -120. Let q = t + b. Which is greater: q or 2?
q
Let l = 52.1 - -6.8. Let w = 59 - l. Let j = -20 - 28. Which is bigger: j or w?
w
Suppose 4*l - 338 = 750. Let a = 263 - l. Which is greater: -16 or a?
a
Let t = -123.57 + 0.77. Let b = t + 123. Is b less than -25?
False
Let l = -9523 - -66665/7. Do l and 1/132 have different values?
True
Let q be (-1818)/144 - 6/16. Suppose -4*f - 2*v = 22, 20 = -3*f - v + 4. Which is bigger: f or q?
f
Let s = -7019 + 7961.5. Are s and 1/3 unequal?
True
Let i be (18/(-4))/(24/896). Suppose 76*t - 153*t - 12044 = 1046. Is i < t?
False
Let b be 2*-1 - (36/(-3))/(-2). Let n(q) = 5*q + 31. Let o be n(b). Is o less than or equal to -10?
False
Let m be 96/(-56)*(((-9450)/(-160) - 5) + 1). Is m smaller than -95?
False
Let t(g) = -4 - 4*g - 2*g + 11*g + g**2 + 9*g. Let b be t(-10). Is -44 not equal to b?
False
Let f = -3474 - -3478. Are 274 and f unequal?
True
Let i = -3377 - -4145. Which is smaller: i or 767?
767
Let q(x) = x**2 - 18*x. Let n be q(18). Suppose -17*t + 1 - 188 = n. Which is greater: 0.04 or t?
0.04
Let c = -25174542 - -881181356/35. Let k = c + -2068. Is 0 bigger than k?
False
Let f = -55 + 36.9. Let o = 59.9 - f. Which is greater: -1 or o?
o
Let m be ((1 - -25) + 1)/(3/4). Suppose -70 = -5*g + 95. Do g and m have different values?
True
Let q = 12.68 - 13.8. Let r = q - -2.12. Is 21 <= r?
False
Suppose -y - 5*j + 458 = 0, 5*j = 4*y - 835 - 747. Let w(h) = -82*h - 2. Let z be w(-5). Is z >= y?
True
Let r be 1/((-5)/(-8)*(-1)/(-10)). Let n be 62/(-6) + r/12. Suppose -3*c = 5*x + 50, c - 2 = -x + 2*x. Is x at most as big as n?
False
Let v = 15428 - 27299. Do -11870 and v have the same value?
False
Suppose 0 = -0*a + a - 54. Suppose 28*k - 21*k = -27*k + 1870. Let v = a - k. Which is bigger: 1/148 or v?
1/148
Let p be (-98)/(-42)*68145/(-539). Let u be (0 - 1)*1*295. Is u equal to p?
True
Let j be (3/4)/((-13857)/248). Let p = 12 - -18. Let u = 31 - p. Which is smaller: j or u?
j
Let y be 3/(-9) + -1 + (-8)/(-6). Suppose 0 = -2*r, y = 4*x - 4*r - 3 - 9. Let l = -4 - -10. Is l at most x?
False
Let l = -194 + 192. Let r be (-1)/(2*l/4). Is r > -3/151?
True
Let j be ((-252)/48)/(3/(-20)). Let y = -17 - -51. Which is smaller: y or j?
y
Let l be ((-3)/(-2))/(90/600). Let g be ((-3)/(-2))/(-2 - (-15)/l). Let s be 226/(-4) + g/2. Which is smaller: s or -59?
-59
Let t be ((-4)/(-2) - -38) + 2. Let n be (-88)/t + (-38)/(-57). Let g(x) = 2*x**3 + 9*x**2 - 19*x - 7. Let v be g(-6). Which is smaller: v or n?
n
Let r be -3 - ((-2)/3 - (5 + 25/(-6))). Is r less than -157?
False
Suppose m + m + 5*l = -145, 2*m + 105 = 3*l. Let k(t) = -57*t**2 - t. Let