g = -504. Suppose -3*r + 0*r + 20 = -5*u, -4*r + g = -u. Let b = -2/875 - -5284/14875. Is b greater than or equal to u?
True
Let f be -571 - (9 - (2 - -4)). Which is bigger: f or -577?
f
Suppose 538*t - 266*t = 211*t + 61. Let i = 169 + -285. Is t at most as big as i?
False
Let y = -31625 - -37791877/1195. Which is bigger: -4/3 or y?
y
Let y = -1026.3 + 1060.3. Are 0.041 and y unequal?
True
Let a be -5 - ((-210)/7)/5. Let m(k) = -8*k**2 - 4 + 12*k**2 - 5*k - 3*k**2. Let j be m(6). Is a bigger than j?
False
Let k be 4/(-6) - ((-25)/(-75) + 0). Which is greater: k or -201?
k
Let h be (-14)/(-8) - (-6)/24. Let p(t) = -t**3 - 10*t**2 - 2*t - 13. Let a be p(-10). Suppose -5*l - h*l = -a. Is -2/39 at least as big as l?
False
Let t be 75*(2 - 2/(-2)). Let q(n) = 2*n + 78. Let g be q(-39). Suppose g = -11*o + t + 50. Which is greater: 27 or o?
27
Let v be 5/(4930/(-610) - -8). Is v at most as big as -63?
False
Suppose -5924 = -114*q + 4222. Suppose -337 = -3*j - 70. Is j smaller than q?
False
Let x = 206857/42957 + -1/1591. Let v = -4138/837 + x. Are v and -2 equal?
False
Suppose -7*b - 36 = 13. Let j = -7 + 1. Which is smaller: b or j?
b
Suppose -5*w - 2*x = -7*x + 13100, w = 3*x - 2616. Let g be w/(-513) + (-1)/9. Is g greater than or equal to 33/7?
True
Let q be 0/(-3)*(-1)/(-3). Suppose -3*z - 2 = -8. Suppose 5*d + 3*k - 4 = q, -3*d + 6*k = z*k + 15. Which is bigger: -2 or d?
d
Let p(v) = -v**2 + 231*v - 12726. Let u be p(92). Let d(j) = 9*j - 11. Let h be d(8). Which is greater: h or u?
u
Let o(z) = -z**3 - 4*z**2 + 4. Let h be o(-4). Let x(d) = -1041*d - 6222. Let s be x(-6). Which is smaller: h or s?
h
Let h = -8166826 + 106225996/13. Let v = -4398 + h. Which is smaller: v or 6?
6
Let k = 11208 - 11207. Which is smaller: k or -97/8?
-97/8
Let g = -97 + 79. Let x = g + 25. Suppose -2*m - 2 = -t, m = -0*m + 2*t - x. Is 18/11 less than m?
False
Let t = 0.46 - 0.4. Let k = t + 0.16. Let p be 6/8*(-36 + 61/(5856/3392)). Which is smaller: p or k?
p
Let q be (750/70 - 18)*1*-1 + -7. Is -53/7 greater than q?
False
Let s be (4/(-684))/((-1763)/1808715) - (-12)/(-2). Which is bigger: s or -1?
s
Let m = -993 - -937. Let d = 14.9 - 15. Which is bigger: d or m?
d
Let a(p) = -34*p**2 + 3*p + 6. Let b be a(4). Let o be 42/(-70) - b/10. Let g(y) = 6*y**3 + 2*y**2 - y - 1. Let q be g(2). Is q at most as big as o?
False
Suppose w + 0*w - 1 = 0. Let r be -17 - (16306/(-1085) - 2). Which is greater: r or w?
w
Let c be (4/10)/(30/3750). Suppose 20*w = c*w - 810. Are w and 27 unequal?
False
Let z = -157 - -137. Let d(f) be the third derivative of -f**4/6 - 3*f**3/2 - 2*f**2. Let b be d(3). Which is bigger: z or b?
z
Suppose -22*g + 3 + 1207 = 0. Let i be (-33)/g - (-189)/(-10). Is i at least 0?
False
Let i be (-4)/5*(14 + (-1780)/120)*3363. Is 2240 at most as big as i?
True
Let a = 4412 + -14258. Which is greater: -9845 or a?
-9845
Let u(x) = x**2 - x - 16. Let d be u(5). Suppose 0 = d*z + 2*i + 3*i - 187, -139 = -3*z - 4*i. Is 53 at least as big as z?
True
Suppose 266*z = 244*z - 10230. Is z not equal to -465?
False
Let k be (-2 + (-35)/(-20))*-1*(-3 + 52). Is 0.4 >= k?
False
Let o = -0.06 - 0.64. Let y = -1014 + 422. Let v = 592 + y. Is v <= o?
False
Let r = 11862.12 + -12141. Let l = 279 + r. Which is smaller: l or 5?
l
Let v = 9123 - 6328. Which is smaller: 2796 or v?
v
Let z be 112/(-196) - (-25)/7. Suppose 0 = r + z*u + 72, 0 = -r + 7*u - 11*u - 68. Let l = 85 + r. Which is bigger: l or -9/22?
l
Let w = -7.17 - -6.817. Let g = w + 0.253. Do g and 0.02 have different values?
True
Let u = -495 + 269. Let m = u - -225. Is m at most -45?
False
Let a be 535/46 + -294 + 284. Are a and 2 equal?
False
Let u = -1342 + 1342.0599. Suppose -68*i + 66*i - 4*g - 20 = 0, i + 5 = -g. Is u at most i?
False
Let u = -1000.5 + 1000.4. Are u and 13/265 non-equal?
True
Let m(z) = -z**3 + 20*z**2 - 9*z + 640. Let l be m(21). Let n = 0 - 0. Suppose 0 = -n*r + 2*r - 4*c - l, -2*r + c - 5 = 0. Which is smaller: r or -1?
r
Suppose 1630 = 24*i - 3554. Is 2388/11 > i?
True
Suppose 2*p - 4*o = -12, 648*o = 651*o - 9. Let g = -47.2 - -41. Let b = g + -31.8. Which is smaller: b or p?
b
Suppose -17*c + 5*f + 16 = -13*c, -2*c + 2*f + 8 = 0. Let k(w) = -w**2 + 6*w - 8. Let n be k(c). Which is smaller: 349 or n?
n
Let a = 3257 + -4038. Is a bigger than -5?
False
Let a be (-115)/(-575) + 1/885*958 - 1. Is -1 >= a?
False
Let l(b) = -b**3 + b**2 + 4*b + 6. Let q = -172 - -175. Let j be l(q). Which is greater: 3/98 or j?
3/98
Let f be 400/16*64/104. Are 15 and f unequal?
True
Let n be ((-2)/5)/(522/(-15)). Let o = -838/23 + 1018361/28014. Let f = n + o. Is f at least -1?
True
Let n = 3.576 + -0.126. Let i = -1230 - -1230.25. Let k = i - n. Which is smaller: k or 0.2?
k
Let o = 0.08831003 - -11219.81268997. Let z = o - 11225. Let k = z - -0.099. Is -1/13 < k?
False
Let p be 846/(-2256)*((-2)/(-4) - (-30)/(-99)). Which is smaller: p or 1?
p
Let k = -496963/89323370 + -1/71174. Which is bigger: k or -1?
k
Let g(p) be the third derivative of 26*p**2 - 25/2*p**3 + 0*p + 7/24*p**4 + 0. Let f be g(9). Which is bigger: f or -15?
f
Let u(c) = -3*c**2 - 37*c - 10. Let b(g) = -3*g**2 - 41*g - 10. Let f(y) = -2*b(y) + 3*u(y). Let v be f(-6). Which is smaller: 55 or v?
55
Let v(z) = z**3 - 15*z**2 + 14*z + 15. Let b be v(14). Let w be (48/b)/4*(-15)/(-6). Suppose -w = -34*a + 32*a. Which is smaller: a or 1/50?
1/50
Let f = -32776/57 - -575. Let s be (-74)/(-14) - (-4)/(-14). Suppose -2*v + v = -4*q - 12, 15 = 2*v - s*q. Is f >= v?
False
Suppose 2*u + 20 = 5*j, -3*j + 6*j = 2*u + 8. Let s be (-16)/12 - j/9. Which is greater: -7 or s?
s
Let a be -1033*(-2)/4 + (-1863)/(-1242). Is a at most 2588/5?
False
Let s be 1001692*22/(-2003408) - -11. Is -1 greater than s?
False
Suppose 9*m = -14*m + 111428 + 9943. Is m smaller than 5275?
False
Let a be -1 - (-1)/(7505/7515). Let m = -21060/34523 + a. Is m at most -1?
False
Let r be (-3344)/242 - (-10)/2. Let p = 6197/704 + r. Is p bigger than 0?
False
Let u = 22.73 + -515.73. Which is bigger: 0 or u?
0
Let a = -59 + 85. Let y be -2 + (4/a)/((-8)/(-100)). Let k be 13/11 + (-12)/66. Which is bigger: y or k?
k
Let l be (-3)/(-2)*(-8)/(-3). Suppose 2*q + 2*h = -60, 4*q - 3*q + l*h + 33 = 0. Let k be -3 - (-2)/(-16)*q. Is k < 1?
True
Let v = -3482.9 - -3483. Which is smaller: -4939 or v?
-4939
Let g = -3847 + 200045/52. Is g >= -1?
True
Let c = 175.19 - 176. Let t = c - -2.11. Let h be -2 - (-1 + 0 + -3). Is h greater than or equal to t?
True
Let z = 3778 + -3780. Which is smaller: z or -152/3?
-152/3
Suppose -110*i - 3833 = -166*i + 2327. Let j(l) = -l**3 - 6*l**2 - 7*l - 7. Let b be j(-5). Suppose -b*f = 34 + i. Is -49 equal to f?
False
Let z = 17219 - 21239. Is -4019 at most as big as z?
False
Let q = 8985 - 7614. Which is bigger: 1372 or q?
1372
Let b = -102 - -109. Suppose 3*d - 33 = 3*n - 7*n, d = 4*n - 5. Is d less than b?
False
Let t = 1424 + -1460. Which is greater: t or -49?
t
Let u = -1020 + 723. Let g = 284.1 + u. Let y = -14.4 - g. Which is bigger: y or 1/4?
1/4
Let n = 11 + -4. Suppose -4*o - 10 = -580*a + 579*a, -4 = -2*a. Is o less than n?
True
Suppose 760*d - 809*d = 16905. Is -324 equal to d?
False
Suppose -7614 + 70274 = 130*l. Is 2409/5 less than l?
True
Let a = -3.26 - -1.8. Let k = -2.9 - a. Let j = -0.44 - k. Is j > 0?
True
Let b = -37171 + 49457. Is b < 2/7?
False
Suppose 0 = -6408*p + 6361*p - 481844. Which is bigger: p or -10253?
p
Suppose -5*x + 6 = -4*h, 4*x + 3*h = h - 16. Let s be (-2 - 9/x)*6. Let k = 17 - s. Which is greater: -0.3 or k?
k
Let t(g) = -g**3 + 12*g**2 + 2*g + 8238. Let m be t(0). Which is greater: 8240 or m?
8240
Suppose 9*c + 860 - 50 = 0. Let r = c - -41. Are r and -50 unequal?
True
Let j be ((-256)/28 + 10)*-5663 + 8. Is j at most as big as -4846?
True
Let d be (85 - -2) + (-4)/(4 + -2). Let k = -26 - -110. Which is smaller: k or d?
k
Let t = 14 - -176. Let q = -190 + t. Is -15.8 smaller than q?
True
Let b(q) = -364*q + 8007. Let o be b(22). Let z = 1074/1645 - 23/35. Which is greater: o or z?
z
Let d = -34 + 141. Suppose 0 = -4*k + d - 67. Let z be 3/7 - k/56. Is z at least as big as -7?
True
Let k(r) = 18*r**2 + 15*r - 25. Let d be k(3). Suppose 5*s = 12*s + d. Is 0.5 equal to s?
False
Let p(g) = -g**2 + 69*g - 541. Let v b