a be t(-16). Is a bigger than -1/140?
False
Suppose -3*t + 144 = -5*t. Let i = -48 - t. Let a be 2/(i/33) + -3. Is 0.2 bigger than a?
True
Let a be (18/21)/(9 + 1514/(-168)). Which is bigger: 1/2 or a?
1/2
Let v(q) = -q**2 - q + 5. Let b be v(-3). Let p be (-18)/86*-19 + (-2 - 2). Which is bigger: b or p?
p
Let a = 55.3 - 55.3. Which is greater: -64 or a?
a
Let u = -859 + 835. Which is bigger: u or -22?
-22
Let j = 261 + -261. Is j at most -2/411?
False
Let v = -202.05 - -108. Let d = v - -94. Which is greater: 1/2 or d?
1/2
Let r(q) be the first derivative of -q**3/3 - 2*q**2 + 6*q + 5. Let s be r(-5). Let w be -2*(7/(-8))/7. Which is greater: w or s?
s
Let y be 672/161 - (3 + 0). Let h = y - 47/138. Suppose 5*u = 2 + 3. Which is smaller: h or u?
h
Let i = 494 + -494. Is 85 greater than i?
True
Let j = -31 - -19. Let w = 18 + j. Let b = 73.9 - 74. Is w less than b?
False
Let w = -1175 + 1175. Do w and 752 have different values?
True
Suppose a = -4*y + 101, 5*y + 2*a + 3*a - 130 = 0. Let k = y - 27. Which is greater: 4 or k?
4
Let f be (-2)/(48/(-563)) + 21/(-7). Let b = 125/6 - f. Is 0 at least as big as b?
False
Let u = -14.62 + 0.12. Let x = u + 15.03. Is 0.1 greater than x?
False
Let v(o) = -o**3 + 9*o**2 - 3*o + 3. Let s be 5*((-39)/(-15) - 1). Let k be v(s). Let x = k - 171/4. Is x < 1?
True
Suppose 5*r + j + 2 = 8, 3*r = j + 10. Suppose 5*d - 5*u = d + 24, -14 = r*d + 4*u. Let m = 3227 - 3225. Which is bigger: m or d?
m
Let v = 6 - 8.5. Let t = -2.3 - v. Which is bigger: t or -0.2?
t
Let x be (-2)/(-4)*(-2)/4. Let g = -29 - -29.52. Let j = 0.92 - g. Which is smaller: x or j?
x
Let i = 598 - 4176/7. Let h be (-3 - (-1 - 2))/(-2). Suppose -5 = -5*r - h*r. Which is greater: r or i?
i
Let l = 3.009 + -0.009. Let z = 1 - -2. Is l greater than z?
False
Let o be (22/8)/(2/(-8)). Let r = o - -15. Suppose -r*w - w - 30 = 5*t, -3*w = -4*t + 11. Which is smaller: w or -3?
w
Let h = -55/42 + 15/7. Suppose 5*o + 9 = -4*o. Let t be (3*1/(-3))/(1*o). Is t bigger than h?
True
Suppose 0 = 2*f + 5*t + 11, -5*t - 2 = f + 6. Which is bigger: -2 or f?
-2
Suppose -5*c - 26 = h, -3*h = -2*c - 5 - 2. Let v = 23.1 - 27. Let j = -4 - v. Which is bigger: h or j?
j
Let n(i) be the first derivative of -4*i**3/3 - 8*i**2 - 2*i - 8. Let a be n(-6). Is -51 equal to a?
False
Let g = -18.975 - -19. Let p = -9.025 + g. Which is smaller: p or -0.1?
p
Suppose 0 = o - 4*n - n - 25, 3*n + 15 = 4*o. Suppose -2*r + o = -4. Suppose 3*z + 4*p = 9, 3*p - r = -z + 6. Is -0.1 < z?
False
Let v = -190.31 + 190. Is 3 smaller than v?
False
Let q = 6 + -6.2. Let v = 58.13 - 57. Let x = v + -0.13. Which is smaller: q or x?
q
Let m = 803/2610 - 2/261. Let q(j) = -j**3 - 3*j**2 + 6*j + 8. Let l be q(-4). Suppose -t + l = 1. Is t at most as big as m?
True
Let m be (-2)/6 + 1/3. Let a(s) = -s**3 + 5*s**2 + s - 5. Suppose t - 2*i - 5 = 0, -7*t + 8*t - 5 = -i. Let g be a(t). Is g greater than m?
False
Let o = -1505 + 1514. Is -46 greater than or equal to o?
False
Let b = 11.15 + -11. Let y = -0.06 + b. Let i = 0.19 - y. Does i = 12?
False
Let i = -561/2 - -280. Which is bigger: -13.9 or i?
i
Let q = 5167 + -5206. Let h(s) = -s**3 - s - 40. Let z be h(0). Which is smaller: q or z?
z
Let t be 7*16/280*(-380)/14. Which is greater: -11 or t?
t
Suppose -47*a + 486 = -41*a. Is -1/3 greater than or equal to a?
False
Let w = -476 + 255. Which is smaller: w or -222?
-222
Let v(h) = 6*h**2 + 3*h - 77. Let k be v(7). Which is greater: 240 or k?
240
Let y be (-8)/(-32)*-1 - (-13053)/(-12). Are -1088 and y equal?
True
Suppose 8*g = -3*g - 11. Let l = -53/2 - -26. Which is bigger: l or g?
l
Suppose 5*p + 11 = 4*f, 2*p + f = -f + 10. Let b be p*((-6)/33 - 4/(-22)). Is b > -1/10?
True
Let g be (1 - 2)/1 - 1. Suppose 3*r + r = -4. Let n be g + ((-3)/2)/r. Is -2/5 at least as big as n?
True
Let p be (-1045)/10 - (-3)/(-6). Let h = 42 + p. Do -62 and h have the same value?
False
Let z be (((-884)/(-39))/17)/((-6)/(-1125)). Which is greater: z or 249?
z
Suppose -4*d = -2*x - 102, -d - 5*x = d - 45. Let s(b) = -b**3 - 17*b**2 - 14*b + 17. Let j be s(-16). Let c = d + j. Is c < 9?
False
Suppose 2*y = -y. Suppose y = c - 5 - 5. Let h = -9 + c. Is h greater than -4/9?
True
Suppose 258 = 5*h + 2*b, 2*h + 25 = 5*b + 105. Suppose -142 = -3*i - 2*o, -2*o = -3 + 11. Are i and h non-equal?
False
Suppose -3*v = 5*s - 8*v + 995, -s - 205 = v. Is s <= -202?
True
Let t = 485.9 - 460. Let v = t + -26. Which is greater: 2/17 or v?
2/17
Let z = 36 + -351/10. Let w be ((-3)/80)/(3/(-12)). Let v = z - w. Is 0 greater than v?
False
Let h = -235 + 234. Is 804 != h?
True
Let q(m) = 7*m + 1. Let g be q(-1). Let t(l) = 2*l**2 + 26*l - 20. Let i be t(-17). Let c be -2 + 5 - (i/12 + -1). Which is smaller: c or g?
g
Let g(k) = k**2 - 19*k - 90. Let v be g(14). Which is smaller: -161 or v?
-161
Suppose 42 = -37*n + 38*n. Let b be -1*(70/(-4) - n/28). Which is smaller: b or 20?
b
Let o = 3104/2603 - 48/137. Let m = -793 + 795. Which is smaller: m or o?
o
Let q = 4.2 - -13.8. Let n = q + -17.9. Which is bigger: n or 88?
88
Suppose -3*o = -4*x - x - 5, -o + 3*x = 1. Let r be 55 - (4/(-10) + 27/(-45)). Let u = r + -51. Is o equal to u?
True
Let k be 4/(-18) - (-2192)/10188. Let o = -1708/1415 - k. Suppose 0 = 2*g + 3*v + v - 18, 0 = g + 5*v - 24. Which is greater: o or g?
g
Let g = 2206 + -4233/2. Is 91 equal to g?
False
Let v = 3300 + -3300.2299. Which is bigger: v or -1?
v
Suppose 2*q = -0*q + 62. Suppose p + 4*i = q, p + 60 = 4*p + i. Let w = p - 17. Is w less than or equal to 12/11?
False
Suppose -105*r + 109*r - 8 = 0. Let f be 1/(1 + -2)*1. Let u be f/(3/27) - r. Which is bigger: -10 or u?
-10
Let d be (-18)/12*(-2)/(-44). Let y(a) = -a**3 - a**2 - 11*a - 26. Let j be y(-2). Which is smaller: j or d?
d
Let w = -15 - -9. Let x(a) be the first derivative of a**3/3 + 11*a**2/2 + 20*a + 8. Let o be x(-8). Is w at most o?
True
Suppose j - 3*j = 0. Suppose 0 = -208*u + 210*u - 316. Suppose 14 = 12*r + u. Which is bigger: r or j?
j
Let p = -40 + 29. Let v be (p + 14)*(-2)/78. Let f = -1 + 0. Is f less than v?
True
Let x be 17/102*2*(-6)/872. Is x not equal to 1?
True
Let d = -112 - -38.9. Let w = d + 73. Which is bigger: -11 or w?
w
Let b = -0.23 - -1.23. Let g = 10 + b. Let p = g - 8. Is p greater than -1/10?
True
Let u be -12*(4 + 0)/4. Let l(f) = 8*f + 7. Let x be l(u). Is -89 > x?
False
Let k be ((-5)/63)/(40/(-496)). Let i = -3/7 + k. Which is smaller: 1 or i?
i
Let y be 6 + (-7 - -4) + 0. Suppose c - 1 = -3*d + 44, -5*d + c + 75 = 0. Suppose -d = -5*m + 5*g, 2*g = -4*m - 3 + 9. Which is smaller: m or y?
m
Let t = 70.1 - 82.28. Let a = 0.18 + t. Let d = 12.4 + a. Which is smaller: d or 3?
d
Let q be (3 - 365/65) + 0/2. Are q and -3 non-equal?
True
Let s be (-7)/(-21) - 112/(-6). Let r = s + -14. Suppose -r = -7*g + 2*g. Is -2/25 at most as big as g?
True
Let s = -14 + 16. Let t(n) be the first derivative of -n**4/4 + 2*n**3/3 - 1. Let x be t(s). Which is bigger: x or 1/5?
1/5
Let j = -3.9 + 4. Let m = -13.1 + j. Suppose 14*u = 13*u. Is m > u?
False
Let h = -2115 + 23267/11. Which is greater: -1 or h?
h
Let r(y) = y**3 + 6*y**2 - 8. Let o be r(-6). Let s be (-68)/(-16) - (-2)/o. Let p be -1*(-1 - (-2)/s). Do -3 and p have different values?
True
Let y be (-9)/(-42)*(-21 + 6). Does y = -2?
False
Let n(g) = g**2 + 4*g + 7. Let z(b) = -2*b**2 - 9*b - 15. Let x(a) = 7*n(a) + 4*z(a). Let r be x(-6). Which is bigger: 3/14 or r?
r
Let r = -27.6 + 26.6. Let h be -1*3*3/27. Which is greater: h or r?
h
Let c = -0.0024 - -326.0024. Which is bigger: 0.1 or c?
c
Let o = 36690/23 - 1601. Is o at least as big as -6?
True
Suppose 0 = 4*h + 15 - 7. Let x be h*(55/30)/(-11). Suppose 8*k - 3*k = 0. Which is bigger: x or k?
x
Suppose 0 = 16*g - 42*g + 2470. Is g less than 94?
False
Suppose 1323 = 4*r - 25*r. Is r smaller than 6/11?
True
Let x be 2/233*(3 - 1). Let h be 4 + (6 - (-662860)/(-66405)). Let d = h + x. Are d and -1 equal?
False
Let x = 543/5 + -11393/105. Does 1 = x?
False
Let c(s) = s + 2*s - 1 - 4*s. Let p be c(-1). Suppose p = -7*j + 3*j. Which is smaller: -3/10 or j?
-3/10
Let f(p) = -4*p - 13. Let h be f(-6). Let u = h - 14. Let y be (-1)/(-3) - 2/u. Is y less than 1?
False
Let g = -2/2727 + -743/226341. Let x = 9457/1245 - g. Is 9 < x?
Fals