ig as -33?
True
Let m(p) = -p**3 + 45*p**2 + 34*p + 379. Let w be m(46). Which is greater: w or -45?
-45
Let t(z) = -z**3 - 38*z**2 + 7*z + 117. Let y be t(-38). Is y at most as big as -134?
True
Let d = 727.166 + -1.166. Let f = d + -726.897. Let p = 0.103 - f. Which is smaller: -10 or p?
-10
Let i(w) = w**2 - 7*w + 7. Let g be i(6). Let t be 59648/84448 + (5 - 160/28). Is t equal to g?
False
Let h = 68 + -48. Let z = h - 11. Let p = 200 + -397/2. Do z and p have different values?
True
Let w = -859 + 35216/41. Let k(v) = -v**3 + 25*v**2 + 114*v + 59. Let j be k(29). Is w > j?
False
Let a be 1*(1033 + -3 + -17). Is 1013 at most a?
True
Suppose -3*y + 4*o + 86 = 0, 3*o + 11 = 3*y - 73. Which is bigger: y or 86?
86
Let u(r) = 4*r - 53. Let c(v) = 6*v - 53. Let n(j) = 5*c(j) - 6*u(j). Let o be n(-9). Is -1/3 at most o?
False
Let f = 234 - 223. Let y(r) = -r**3 + 12*r**2 - 9*r + 2. Let u be y(f). Which is bigger: u or 22?
u
Suppose 0 = -6*j + j + 20. Suppose -3*r + 4*r = h + 41, j*r - 203 = 5*h. Suppose 2*s - 8 = 0, 4*x - 3*s + 164 = -s. Is x <= h?
True
Let w be 1/(4 - 35/9). Suppose -43*k = -46*k - w. Let b be ((-39)/45 + 1)*(0 - k). Which is smaller: 1/18 or b?
1/18
Let t be (18/10)/(6 - (-108)/(-20)). Suppose 3*m + j - 1 - 7 = 0, -t*j = -2*m - 2. Let a(r) = r - 6. Let q be a(9). Is q at least as big as m?
True
Let i = -673 + 475. Let g = i + 123. Is g smaller than -74?
True
Let d = -1.94 + -8.36. Let w = -18.3 - d. Let b = 1 - 0.8. Is w at most as big as b?
True
Let r = 17893 + -21329. Is r less than 1/4?
True
Let m = 434970/11 - 39624. Which is smaller: -82 or m?
-82
Let a(n) = 15*n**2 - 455*n + 3146. Let h be a(7). Is 3 greater than or equal to h?
False
Let o be (1 - 897/(-183)) + -6. Let c = -152/305 - o. Which is smaller: c or 1.96?
c
Suppose -k = -5*w - 21, -7*w - 2*k = -8*w + 3. Let f be (w - -1 - (1 + -5))/(-1). Which is smaller: 3/37 or f?
f
Suppose 6*h = -3*c - 8541, 4*h - 2446 = 3*c + 6055. Which is greater: c or -2837?
-2837
Let m be ((-180)/(-192))/(51/(-68)) + (-3566)/8. Which is smaller: -443 or m?
m
Let d(x) = 108*x**2 - x - 1. Let k be d(-1). Let n = k + -88. Let v be (-2 + -1)*(-38)/6. Is n equal to v?
False
Let a = -46241/35 - 2227/5. Are -1767 and a non-equal?
True
Let o = -489.29 - 7.71. Let w = 497.09 + o. Which is smaller: w or 0.1?
w
Suppose -3*r - 3 = -2*j + 21, -j + 5*r = -26. Suppose 4*p = p + j. Suppose -p*s = 2*s - 5*q - 9, s - 5 = 4*q. Is s at most 2/47?
False
Suppose 33*d + 42*d - 8360 = -134*d. Which is greater: 34 or d?
d
Let o(g) = -7*g**2 + 2. Let w be o(0). Suppose 3*v - 3 = 3*n, 0 = -v + w*n - 15 + 16. Which is greater: v or -1/38?
v
Let n = -1449463/3825 - -9396/25. Let o = n + 29/9. Let c(j) = -j**3 + 6*j**2 - j + 7. Let z be c(6). Which is greater: z or o?
z
Suppose -83*l - 102900 = -139*l - 42*l. Are l and 1050 non-equal?
False
Suppose 0*f = -15*f - 16*f - 1333. Is f at least as big as -18?
False
Suppose 57*y - 55*y + 5*j + 123 = 0, -3*j - 3 = 0. Is y at least as big as -60?
True
Let g = 17 - 16. Suppose 5*i = -m + 22 - g, 18 = 2*i - 2*m. Are i and -13 nonequal?
True
Let k be (-1410)/5499*6/170. Is 2/17 greater than or equal to k?
True
Suppose -s = 1 + 11. Let j be (-16)/(-6)*495/s. Is j < -111?
False
Let v(n) = -n - 9. Suppose 2*y + 3*d + 64 = 0, -y = -5*y + 3*d - 92. Let g = y + 26. Let a be v(g). Which is bigger: a or -10?
a
Let g be (-12)/120*1/(-2). Suppose 5*x + 0 = -5. Do x and g have the same value?
False
Suppose -5*w + 359 = -3*d + 56, -4*w - 4*d = -268. Let y(n) = -n**3 - 5*n**2 + 4*n - 4. Let v be y(3). Let a = v + w. Which is greater: a or 1/58?
1/58
Let v = -6141 - -3165. Which is bigger: -2977 or v?
v
Let v = 41796 + -42558. Is 2 greater than v?
True
Let w = 46 - 49. Let g = w + 3. Suppose 5*q - a = -g*a - 50, 4*q = 3*a - 51. Which is bigger: -1 or q?
-1
Suppose 51*a = 52*a - 9, 0 = -2*j - 4*a - 808. Which is greater: j or -430?
j
Let a be 12954/(-68)*2/7*(-252)/(-54). Are -1011/4 and a unequal?
True
Let h = -9005/672672 - 1/4576. Which is bigger: -4 or h?
h
Let x(n) = n**2 + n - 1. Let r be x(-1). Let i be (4 - (-168)/(-40))/((1300/10)/13). Is r at least i?
False
Let l = 50664/11 + -48789431/10593. Is l smaller than 1?
True
Let c be (-12)/15 + 1585/1950. Let m = c - -149/546. Let j = 17.3 + -2.3. Is m at most j?
True
Let t = -13 + 12.92. Let n(l) = 3*l**2 - 8*l - 13. Let z be n(4). Suppose -2*u + 3*v = 2*v + 9, -3*u + z = 4*v. Are t and u equal?
False
Let v(f) = -f**3 - 128*f**2 + 229*f - 274. Let w be v(-130). Are 3757 and w equal?
False
Let g be (-45)/30 - (-58)/4. Suppose -3*x + 2*d + g = 0, 4*x + 5*d - 20 = 7*d. Is 5 < x?
True
Suppose 2*b - 12*o - 18 = -13*o, -3*o + 46 = 5*b. Which is smaller: -24 or b?
-24
Let r = 935.3 - 895. Let l = 40 - r. Which is smaller: l or 0.075?
l
Suppose 6*y = 9*y - 21. Let x(z) = -z**3 - 9*z**2 - 3*z - 20. Let k be x(-9). Are k and y equal?
True
Let h = -2.6039 + -13.1961. Which is bigger: 54 or h?
54
Suppose 23*d + 15631 - 16114 = 0. Let y = 24 + -58. Let a = y + 57. Which is smaller: a or d?
d
Let f(q) = q**2 - 5*q + 1. Let l(k) = k**3 - 9*k**2 - 4. Let o be l(9). Let t be f(o). Let w = t - 38. Which is greater: w or 0.4?
0.4
Let v = 32477/3 + -1299181/120. Let z = -1/24 - v. Which is smaller: -2 or z?
-2
Let x = -35186 + 35199.0628. Let k = 0.0628 - x. Which is bigger: k or 9?
9
Let r(t) = -221*t - 728. Let m be r(4). Is -1613 greater than or equal to m?
False
Let n = -7433037/64 - -116136. Which is smaller: n or -6?
-6
Suppose 27 = 123*l - 84*l - 66*l. Is -132/109 at least as big as l?
False
Suppose w = 17*w + 112. Let l be 8 + w + (-29 + -2 - -1). Which is smaller: -27 or l?
l
Let u be 36024/190 - 4/(-10). Let j = u + -263. Is j less than 0?
True
Suppose -8247*r = -8257*r - 36340. Is -3633 > r?
True
Let z be 2602/(-174) - ((-1920)/(-72) + -27). Which is bigger: z or -15?
z
Let h be (-1)/(-18)*-3 + (-70)/12. Let c be ((3/2)/(-1))/(3/h). Let n be c*(-120)/(-50)*40/6. Is 1 >= n?
False
Let z = 0.41 + -0.01. Let u = 195 - 178.29. Let o = u - 16.7. Is z greater than or equal to o?
True
Let l = -33638 - -32059. Is l >= -7893/5?
False
Suppose 5*a - 3*u = 13, -120*a = -124*a - u + 24. Let j = 8 - -6. Suppose 6 + j = a*p. Is p greater than or equal to 34/9?
True
Let v be 6405/(-180) + 2/(-8). Let u = -44069/1230 - v. Do u and 0 have the same value?
False
Let g = -0.425 - 0.575. Which is greater: g or -0.2789?
-0.2789
Let p be (-2)/(-6) - 0 - 32/1068*7. Which is bigger: p or -1?
p
Let t(r) be the first derivative of r**4/4 - r**2 - r - 9. Let j be t(0). Let l = -863/369 + 2/369. Is j bigger than l?
True
Let r(i) = 4 - 13*i + 12 + 6 - 5 - 2*i**2. Let m(l) = -l**3 + 18*l**2 + 2*l - 43. Let v be m(18). Let k be r(v). Are k and 8 non-equal?
True
Suppose -4*d - 5*u - 855 = 0, 0*d + 9*d - 5*u + 1810 = 0. Is d greater than -210?
True
Let l = -27 + 45. Suppose 4*p - 162 = -4*g - 66, p = -3*g + 42. Is p at most as big as l?
True
Let k = 158.148 - 0.148. Let n = k - 150.1. Which is smaller: 0 or n?
0
Let y = 64822/9 - 829888/117. Which is smaller: -4 or y?
-4
Let p = 216/47 + -416833/90710. Which is smaller: p or 1?
p
Let a = -9693 + 9695. Suppose 5*d - 25 = -v + 23, -d + 12 = v. Is a > d?
False
Suppose 4 = 4*i, -2*s + 0*i = 3*i + 3. Let x be (7/s - -2) + (-2)/(-2). Let m(j) = -2*j + 6. Let r be m(3). Does r = x?
False
Suppose 5*o - 4*d = 45, -3*o - 8 = 4*d - 3. Let l be (6 + (-8 + o - 0))/93. Which is bigger: 0 or l?
l
Suppose 2*h - 22 = h + 5*z, -2*z - 4 = 0. Suppose 0*p - 3*p = -h, 0 = -5*q + 5*p + 595. Let t be q/238 + (-2)/4. Which is smaller: t or 1?
t
Let f(r) = r**3 - 90*r**2 - 186*r + 195. Let x be f(92). Which is smaller: 263/23 or x?
x
Let r = 182 - 69. Let j = 118 - r. Which is smaller: j or 2/13?
2/13
Let m be (3 + -5 - 0)*(-45)/(-10). Let l be -5 - m - (-1)/2*-8. Which is bigger: l or 102?
102
Let j = -967 + 967. Suppose 8*t - 6*t - 2 = 0. Which is greater: j or t?
t
Let x be (4/6)/((-18)/783). Let b = 9 + x. Let j be 8/(-6) - b/6. Is j smaller than 5?
True
Let i = 20863/8722 + -117/178. Which is greater: 2/3 or i?
i
Let t = -14898 + 15051. Which is bigger: -47 or t?
t
Let f = 4/587 - -339/36394. Let p = 576 + -576. Is f < p?
False
Let a be -2*(-5326)/(-144) + 35/(-140). Is -73 less than a?
False
Suppose 6*c + 9 = 63. Suppose -10*u - 10 = -c*u. Let h(o) 