same value?
False
Let a(z) = -954*z + 330. Let w be a(-2). Is 2239 < w?
False
Suppose 701 + 1362 = 2*o + 5*y, y = -1. Let p be (-320)/o - -6*3/99. Is p greater than 1?
False
Let d = -20854 - -20855.38. Which is smaller: d or 91?
d
Let b = -29625 + 29622.75. Which is smaller: b or -21?
-21
Let d(r) = 2*r**3 + 22*r**2 - 12*r - 133. Let g be d(-11). Which is smaller: g or -44/39?
-44/39
Let z = -3836 - -3835. Is -1 at least z?
True
Let l = 30 - 16. Let x = -13 + l. Let k be 4/22 + (-759)/3509. Which is greater: k or x?
x
Suppose -2*m + 5*i - 9722 = 0, 6*i - 21014 = 4*m - 1546. Is m smaller than -4877?
False
Suppose s + 4*s = -4*l + 14, 1 = l. Suppose -31 = s*o - 3*q - 17, q - 4 = 0. Which is smaller: 0 or o?
o
Let z be 6/18 - (28/12 + 0). Let n be 88 + 11 - (-4 - z). Let i = -0.23 + 0.23. Which is smaller: i or n?
i
Let q(v) = -3*v**3 + 7*v**2 - v. Let r be q(-5). Let w be (r/(-138) + 5)*413. Let u = -404 + w. Is 1 >= u?
True
Let i = -51 + 80. Let j be (-8 + 5)*366/(-6). Let n = j - 155. Is n bigger than i?
False
Let y(w) = 3*w**2 - 2*w + 13. Let h be y(2). Suppose 24*r - 3 = h*r. Let p be (-5)/2*(-6)/(-40). Is p > r?
False
Let s(z) = 49*z - 22. Let b be s(8). Let l = b - 266. Let r = 255 + -152. Which is bigger: l or r?
l
Let y = 270 + -266. Suppose 3*u = y*g + 112, -2*g - u - 56 = -0*u. Is g bigger than -109/4?
False
Let p = 43 + -44. Let a(j) be the third derivative of j**6/120 + 3*j**5/20 + j**4/12 + 11*j**3/6 - 13*j**2. Let g be a(-9). Which is smaller: g or p?
g
Let c be 2/(14/5 - (-30)/(-10)) + -6. Let m = 11 + -16. Is m less than c?
False
Let c(f) = 29*f - 593. Let s be c(23). Are 53 and s non-equal?
True
Let b(v) = 0 + 17623*v - 17621*v - 2. Let s be b(-20). Is s less than -39?
True
Let y = -1323 + 1328. Is y greater than 187?
False
Let b be ((-180)/(-840))/((-4)/((-32)/(-6))). Is b > 89?
False
Let p be (30/100 - 1752/40)*(-6)/9. Is 479/16 at most p?
False
Let a = -44469 + 5869811/132. Is -2 >= a?
False
Suppose -2*k = -6, -4*t + 2*t + k = -5. Suppose 0 = t*m - 3*m - 8. Suppose m*g + 13 = 5. Are -3 and g equal?
False
Suppose 5*z - 4 = 3*z - 4*n, 3*z - 3*n = 15. Let r be (-270)/(-36)*z/6. Let v(d) = 3*d - 5. Let g be v(3). Which is greater: r or g?
r
Let j(n) = n**2 - 7*n + 9. Let t be j(5). Let z = t + 2. Which is bigger: -1/27 or z?
z
Let b = -1.9 - 0. Let m = 2.3 - b. Let f = 3.2 - m. Which is smaller: 1 or f?
f
Let g = 43 + -38. Let m(q) = q**3 - 3*q**2 - 9*q - 4. Let f be m(g). Let i be f/7 + 44/(-11). Which is smaller: -3 or i?
i
Let s(y) = -95*y - 1389. Let j be s(-15). Which is greater: j or 13?
j
Let c(x) be the first derivative of x + 2 - 1/3*x**3 - x**2. Let z be c(0). Which is smaller: z or 5?
z
Let r(m) = -7*m**2 + 7*m + 59. Let a be r(9). Let h = 717 + a. Which is smaller: 274 or h?
h
Let l be 26/104 - 20/16. Is 1/6522 < l?
False
Let n = -0.015 + -20.985. Let u = 398.1 + -377. Let s = u + n. Which is smaller: 11 or s?
s
Let d = 200 - 28. Let n = d + -25. Suppose 129 = -4*o - n. Which is bigger: o or -70?
o
Let d be 4/(-3) - (-227)/681 - (1 - -1). Is d >= 6?
False
Let y be 144/5 + (-1)/(-5). Suppose -6*w + 65 = 5*t - w, y = 3*t + w. Let c(r) = -2*r**3 - r**2 - 4*r + 4. Let n be c(0). Which is smaller: t or n?
n
Let p = 196.8 + -13.8. Let b = p - 184. Does b = -19/5?
False
Let t(z) = z**3 - 9*z**2 - 2*z + 17. Let q be 4/(-58) + 22355/2465. Let g be t(q). Which is bigger: g or 2/355?
2/355
Let z = -52.9353 - 1.0647. Is z <= 49/3?
True
Let a(x) = x**3 - 2*x**2 - x - 19. Let p(q) = 5*q. Let g be p(1). Let u be a(g). Suppose 259 = 5*h - u. Which is bigger: 61 or h?
h
Let d(x) = -78*x - 1327. Let u be d(-17). Is u greater than 1/22329?
False
Let s be 280/32*(-2)/(-345). Do s and -1 have different values?
True
Let h be -6*((36/(-8) - 2) + 189/27). Which is smaller: -86 or h?
-86
Let c be (-25 - -10)*(0 - 1). Let l be (-38)/((-21)/c - -1). Suppose -111 = 5*x + 2*a + 41, -5*a = 3*x + l. Which is smaller: x or -28?
x
Let m = 2 + -1.9. Let s = 0.3 - m. Let l be 4/((-16)/5) + 92/69 + 427/(-84). Which is greater: l or s?
s
Let d = -32/25 + 508/475. Let l = 22 + -22. Suppose 3*x + 13 - 2 = -2*n, -4*x + 2*n + 4 = l. Is d at most x?
False
Let z be (56/(-8) + 9)/(-108). Which is smaller: 49 or z?
z
Let m = -46.8 - 7.2. Let g be ((-42)/308)/((-3)/(-28)). Let y = 45/44 + g. Which is bigger: y or m?
y
Let h = -653728/3 + 218016. Let v = -253 - -361. Which is greater: h or v?
v
Let m(z) = 158*z**3 + z**2 - 20*z + 33. Let v be m(3). Let r be (-4)/(-9) + (v/(-81) - 8). Which is bigger: r or -423/7?
r
Let w = 39.737 - -0.263. Let o = -40.1691 - -0.0691. Let x = w + o. Which is bigger: x or 10?
10
Let n(v) = -2*v**2 - 2*v + 47. Let b be n(-13). Let s = 1861/7 + b. Let p = -0.1 + 0.5. Which is greater: p or s?
s
Let x = 114172/945 + 179/135. Which is smaller: x or 123?
x
Let u = -80410 + 80410. Let x = -4.1 - 34.9. Which is greater: u or x?
u
Suppose -o = -2, -5*o - 11 = -3*v - 3*o. Suppose -2*c + v*c = 0. Is -3/43 at least as big as c?
False
Let t(x) = x**3 - 9*x**2 - x + 14. Let f be t(9). Suppose 4 = j, -f*m - j + 4 = 5. Let z be m*(-4 + 5)*-29. Which is greater: -1 or z?
z
Let k be ((-152)/96*9)/((-119)/116 - -1). Is 552 greater than k?
True
Let o = 332813/2 + -163370. Which is smaller: 3038 or o?
o
Let o = -68527 + 68526.8. Let s = -54 - -94. Suppose -2*f + 52 = 3*w, -4*f + 0*f = -3*w + s. Are o and w unequal?
True
Let v(h) = 24*h**3 + 7*h**2 - 7. Let m be v(-1). Which is bigger: m or -21?
-21
Let w = -31157 - -30573. Which is bigger: -581 or w?
-581
Let k be (-52)/(-3328)*-16*(-1 - 1*-5). Let r be ((-2)/78)/(262/12). Let a = 121/8515 - r. Is k less than a?
True
Let p(g) = g**3 + 111*g**2 + 1008*g - 316. Let x be p(-101). Which is smaller: -186 or x?
-186
Let q(c) = -c + 15. Suppose 2*y + 6 = 36. Let b be q(y). Let f be (3/(-2) + b)/((-255)/180). Is 2 greater than f?
True
Let u be (-20)/(1 - 6) - (-6 - -1). Suppose -2*d + 13 = 5*t, -4*d = 4*t + 1 - u. Which is greater: -2/179 or d?
-2/179
Let z be 41/(3154130/538482) - (-1 + 8 - 0). Which is greater: z or -1?
z
Let s = 2.1 + -2. Let r = -8885.58 + 8885. Which is greater: r or s?
s
Let j = 1824 + -5785/3. Let p = 1669/16 + j. Is p != -1?
True
Suppose -2*t + 2*l = -100, 3*t + 3*l - 110 = -2*l. Suppose -23*u - 68 + t = 0. Which is smaller: u or -3/475?
u
Suppose -83*u = -43*u - 69*u - 169244. Is u bigger than -5836?
False
Let h = 14004 + -5139443/367. Is h greater than 1?
False
Suppose -26 + 31 = -5*b, -4*b = -u + 463. Is u greater than or equal to 1/4?
True
Let w = -12074 + 12088. Let s = 5 - 33. Let l be 6/s*8/6. Is w greater than or equal to l?
True
Suppose -3*l = -24*l + 42. Let h(o) = -o**3 + 6*o - 4. Let r be h(4). Let t be r/(-2)*l/4. Which is smaller: t or 1?
1
Suppose 21 = 3*l, -17*h - 5*l = -12*h - 30. Is -87/37 equal to h?
False
Let i be 8/(-26)*(4/16)/(6/(-48)). Is 0.022 not equal to i?
True
Let o = 0.3132 + 19.6368. Which is bigger: o or -0.4?
o
Let j be 207 + 0 + 3/3. Suppose b + j = -3*b. Let l = -56 - b. Which is bigger: -10/3 or l?
-10/3
Suppose 18 = -5*l + 33. Let a be (0 + l + -4)*3. Let i be 144/(-32) - (-2 - (0 - -1)). Is a at most as big as i?
True
Let m = -9767 + 136735/14. Which is smaller: -3 or m?
-3
Suppose -58 = 30*j + 4 + 28. Which is smaller: j or -480?
-480
Let f(d) = 23*d**2 - 68*d - 60. Let t(x) = 8*x**2 - 22*x - 20. Let a(h) = -6*f(h) + 17*t(h). Let m be a(15). Which is greater: 79 or m?
m
Let w = 127 - 126. Let j be (-45)/51 + w - 195/(-221). Is j less than or equal to 5/21?
False
Let q = -1316 + 4518. Which is greater: 16003/5 or q?
q
Let a be (-4)/((-130)/(-39)*(-4)/10). Suppose a*b + 15 = -51. Which is smaller: b or -20?
b
Suppose -5*u = -1 - 9. Let x be u/(-4)*78/(-91). Is x greater than or equal to -3/7?
True
Let i = -14 + 13.986. Let a = i + -0.346. Let w = 0.22 + a. Which is smaller: -0.2 or w?
-0.2
Suppose 2*z + 23 = 5*h, 9*h - 3*z = 5*h + 24. Let a be 6/3*3*-5. Let o be (-2)/a*220/8. Is o at most h?
True
Let x = -242 - -243. Let i be 394/(-26) - x/(52/(-8)). Which is smaller: i or -16?
-16
Suppose -15*n = -4*n - 22. Suppose -2*i = n*t - 18, -3*t + 67 = 3*i - 8*t. Is 66/5 equal to i?
False
Let p(w) = 2*w - 99. Let l be p(13). Suppose 3*s = -2*r - 119 - 18, 5*r - 2*s = -371. Is l at most r?
True
Suppose 0 = -3*w + d + 8943, -d - 1390 = 4*w - 13307. Suppo