et q = -159 + 470. Let n = 311.21 - q. Which is smaller: n or l?
l
Let h = 25 + -49/2. Let d = -347841.111 - -347841. Which is smaller: d or h?
d
Let k = 115.22 + 12.48. Let z = 128 - k. Are -78 and z non-equal?
True
Let b = -989/4 - -495/2. Which is bigger: 1705 or b?
1705
Suppose 3*w + 16 - 88 = 0. Suppose 0 = w*p - p + 1012. Is p <= -45?
False
Let a = -4151/15 + 277. Let i = 46 + -49. Let j be i - (3 - (-25)/(-5)). Is a bigger than j?
True
Let j(g) = -10*g**3 + 71*g**2 + 266*g + 6. Let r be j(-4). Which is greater: 722 or r?
722
Let d = 246 + -138. Let p = d - 98. Suppose 8 = -4*h, 4*j - 2*h - 52 = -16. Which is bigger: j or p?
p
Let r = -2427 + 2426.8. Which is greater: -2.68 or r?
r
Let x(t) = -8*t + 48. Let s be x(-8). Let j be (-1)/(-1) + (-6 - s/(-24)). Which is greater: 3/8 or j?
3/8
Let j = 29 - 15. Let d be (3/(-2) - (j - 16))*30. Which is smaller: d or 16?
d
Let f be (1849 + -2)*-3 + 277 + -271. Is -5534 >= f?
True
Let x(q) = -q**3 + q**2 + 2*q - 11. Let d be x(0). Let i = -20 + 20.44. Let j = i - 0.54. Is d bigger than j?
False
Let m = 578 + -26587/46. Let o = 234 + 0. Let y = o - 234. Which is greater: y or m?
m
Let h = -52 - -55. Suppose y = 3*w + w, 0 = -h*w + 3*y. Suppose w = -4*r - 13 + 9. Is -2 less than r?
True
Let q(d) = -d**2 - 5*d + 30. Let b be q(-9). Let w be 51/(-15) + b/(-15) - -2. Is w <= -36/37?
True
Let z = 128 - -52. Let a = -180 + z. Is -2/459 != a?
True
Suppose -69*f + 71*f + 66 = 0. Let c be (11/f)/((-1)/(-15)). Is c at least as big as 5?
False
Let b(p) be the second derivative of -25*p**4/12 - p**2/2 + p + 19. Let a be b(-2). Which is smaller: a or -203/2?
-203/2
Let n = -0.21 + -1.29. Let j = -1.5 + n. Suppose -4*p = -5*i - 62, -4*p + 33 = -3*i - 3*p. Which is smaller: j or i?
i
Let c(i) = -i**2 + 21*i - 81. Let o be c(13). Suppose 0 = o*w - 6*w. Is w greater than -2/341?
True
Let s be (-39)/(-2 - 3/3). Let y(d) = d**2 - 14*d + 13. Let k be y(s). Let x = -12 + 10. Which is bigger: x or k?
k
Suppose 20*g = 27*g - 42. Let a be ((-144)/(-15) - 8)/g. Which is smaller: 0.2 or a?
0.2
Suppose 418 = -2*z + 2*d + 17816, 2*d - 43530 = -5*z. Suppose 0 = -44*i - 20*i + z. Do 273/2 and i have different values?
True
Let j = 443.39 - 442. Let v = 5 - 4.9. Is v at most j?
True
Let x be (38 + -252)*219/6. Which is smaller: x or -7810?
x
Let x = -2351 - -2438. Let n = -1.8 - -1.8. Which is smaller: n or x?
n
Let b(f) = f + 6. Let m be b(-10). Let k be m/(20/(-6) - -3). Let l(h) = -h**3 + 9*h**2 + 6*h + 53. Let c be l(10). Is k smaller than c?
True
Let b be 18*(84/14 + 0 + 62/(-6)). Does 3/2 = b?
False
Let m = 36935/4 - 9234. Is 13192 bigger than m?
True
Suppose 2*h = 2*o + 11564, -88*h + 3*o + 11569 = -86*h. Which is bigger: h or 5778?
5778
Let z be 12/((-252)/(-161)) - 7 - (-81609)/45. Which is smaller: 1813 or z?
1813
Let g = 157 - 150. Let k be 7/(-49) - 657/g. Is k at least -93?
False
Let p = 19186 - 1280. Are -1 and p unequal?
True
Suppose -7 = -4*q + 2*c + 3, -5*q + 15 = -5*c. Let i = 32/43 + -653/473. Do q and i have the same value?
False
Let x be -8*(-6 + 4)*(-4)/8. Which is bigger: x or -58?
x
Let h = -106.096 + 106. Let f = -0.196 - h. Is -30 at most as big as f?
True
Let i = 27 + -22. Let q(h) be the first derivative of -h**2/2 + 5*h + 19. Let g be q(i). Do g and 34 have different values?
True
Let z be (76227/12 - 45/(-60))*-1. Which is smaller: -6352 or z?
z
Let j(s) be the second derivative of -s**5/20 - s**4/2 + 19*s**3/3 - 21*s**2/2 + 129*s. Let y be j(-10). Let m be 468/(-1095) - (-4)/10. Is y <= m?
True
Suppose -w + 33*x - 31*x = 231, -713 = 3*w - 2*x. Which is greater: w or -235?
-235
Let l = -0.114 - -123.114. Let h = l - 123.52. Which is greater: -2 or h?
h
Let t = 23 + -17. Let m be 0 - ((-8)/t)/((-4)/(-18)). Let z be (171/(-18))/(0 + (-3)/m). Does 19 = z?
True
Let q = -5.59 - -6.371. Let j = -0.081 + q. Is -7 less than j?
True
Let c = 17/715 - 749/1430. Which is smaller: c or -674.1?
-674.1
Let n = -5.54 + 715.54. Let i = n - 711. Do 16 and i have the same value?
False
Let d(n) = n + 2. Let s be d(-2). Let i be s - 0 - (-1)/((-6)/48). Which is bigger: i or -64/9?
-64/9
Let o(z) = z**3 + 11*z**2 + 4*z + 11. Let v be o(-9). Suppose 4*u - v = -17. Let c be (2/6)/((-10)/u). Which is bigger: 6/25 or c?
6/25
Let j be (-8 - 28)/(-12) - 2. Let p be (-8)/(-12) + (-136)/159. Is j <= p?
False
Let s = -1.1 - -0.1. Let n = -397.3 + 160.4. Let i = n + 237. Is i not equal to s?
True
Let a be 1 - 0 - (-3 - -2). Suppose 5*t - 18 = p, -2*p - 5*t + t = 8. Which is bigger: a or p?
a
Let q = -87 + 3397/39. Suppose 0 = 196*m - 109*m - 87. Is m at most q?
False
Suppose 436*j - 14432 = 421*j + 1513. Which is bigger: j or 1?
j
Let r be 26 - (4 + -6)/(3/6). Suppose y - r + 41 = 0. Let f = 1 + -6. Is y greater than or equal to f?
False
Let h(y) = y**3 - 80*y**2 + 158*y - 118. Let s be h(78). Is s at most as big as 592/15?
True
Let i = -15150 - -15151. Which is smaller: 2/33179 or i?
2/33179
Let g = -213 - -171. Let s = g - -85/2. Which is bigger: 2 or s?
2
Let q(f) = -f**3 - 7*f**2 - 2*f - 5. Let y be q(-8). Suppose 74*u = y*u - 2. Suppose 2*l - n = 107, -u*l + n + 127 = -4*n. Are 52 and l equal?
False
Let p = 1.17 + -0.47. Let v = 1.3 + p. Let b = 23 + -22.4. Is v bigger than b?
True
Suppose -6*k + 10*k + 2*o = 12, 12 = 5*k + o. Let u be k*6/15*(-5)/(-2). Suppose -3*f + h + 5 = -f, -h = -4*f + 7. Is u less than f?
False
Suppose -25*s + 110 = -3*s. Which is bigger: 171 or s?
171
Let a = 3/44 - -15/22. Suppose -o + j + 2*j = -7, -54 = -5*o - 4*j. Let p be (-10)/(-4)*8/o. Which is smaller: p or a?
a
Let i = -176 + 176. Is i != 6/343?
True
Let z = 341628509707/267 - 1279501177. Let x = 6350 - z. Is x >= -1?
True
Suppose -4*x = 2*u - 10482, 3*u = -4*x + 6758 + 3725. Is 2619 at least as big as x?
False
Let r = -124 + 85. Let i be 5 + 171/(-33) - r/33. Is 1/93 > i?
False
Let h = -1121 + 1121. Which is greater: -3/2738 or h?
h
Let g(y) = -2*y - 8. Let b be g(-14). Let x be 1/(36/(-838)) - b/90. Is x equal to -23?
False
Let g = -575.73 - -570. Let u = g - -2.1. Let z = 3.8 + u. Which is greater: -1 or z?
z
Suppose -g = 2*o + 299, 4*o + 30 = -g - 271. Let l = g + 3265/11. Is -2/5 bigger than l?
False
Let k = -22/19 + -793/152. Does k = -7?
False
Let t be (((-228)/(-27))/2)/((-279)/11718). Which is greater: t or -177?
-177
Suppose 54 - 8 = -27*a - 170. Are a and 4 equal?
False
Let l(z) = 3*z**3 - 4*z**2 + z + 6. Let k be l(-6). Let b(r) = -176*r + 1051. Let s be b(6). Let p be s/2*k/(-630). Is p >= -4?
True
Let v be 18118*4/(-253064) - (-256)/896. Are v and 1 nonequal?
True
Let l = -9692/7 - -4603686/3325. Let g be (-104)/4 + (-228036)/(-8550). Let w = l + g. Does w = -21?
False
Suppose -5 - 5 = n. Suppose 0 = 11*c - 10*c - 55. Suppose -c - 293 = 29*p. Which is smaller: n or p?
p
Suppose -3*n - 5 = -5*q + 18, -4*n = 5*q - 16. Let m be (-9 - -1)*((-27)/q)/(-1). Is m greater than or equal to -53?
False
Suppose 327 = 3*c - 42. Let o = -128213 - -1537079/12. Let j = c + o. Do j and -1 have the same value?
False
Let y = -80 + 97. Let r = y - 5. Is r <= 9?
False
Let b be 1074/(-26) + (-2 - (-1 - 0)). Let s = 525/26 - b. Let v = -64 + s. Which is bigger: v or -1?
-1
Let m(f) = 10*f**3 + f**2 + 23*f + 32. Let y be m(-2). Which is smaller: y or -87?
y
Let o = 524 - 805. Let b = -221 - o. Is 59 bigger than b?
False
Let u be (-107 + 25)/(2 - 0). Let j = u + -50. Which is bigger: j or -89?
-89
Let i = 4554 + -4525. Which is smaller: 0.7 or i?
0.7
Let l = 1127.7 - 1128. Is l <= 102/7?
True
Let n = -2.6 - 11.4. Let o be ((-28)/(-6))/((-15)/90). Let r be (42/o)/(21/4). Which is bigger: r or n?
r
Let d be (((-12)/(-15))/((54/15)/(-9)))/(-1). Let i = -6 - -4. Let r = 5 + i. Which is bigger: r or d?
r
Let w(v) = 7*v - 127. Let b be w(20). Which is greater: b or 16?
16
Let x = -1440/29 - -1470/29. Let g = 2307 - 2306. Is x != g?
True
Suppose 248 = -4*o + 4*b, -o - 247 = 3*o - 5*b. Let f = -84 + o. Is f < -147?
False
Suppose -4*b = -3*q - 2, 4*b - 2 + 4 = 5*q. Let g be (-277)/(-91) - (-21)/(-49). Which is greater: g or q?
g
Let z be -1 + 1 + -2 + 3. Let f(j) = 5*j - 14. Let x be f(0). Let k be 0/1 - x/336. Which is greater: k or z?
z
Let s = -3538 + 3693. Let p(z) = 32*z - 5. Let a be p(5). Is a != s?
False
Let c(v) = 7*v - 1086. Let y be c(121). Which is