+ l, 4*l = 5*z - 10. Is z < -33/10?
False
Let x = 7722.687 - 7723. Which is greater: x or -2?
x
Let q be ((-8)/160)/((-4)/(-15)). Let z(i) = 2*i - 26. Let x be z(20). Suppose x*u + 8 = 6*u. Is u greater than q?
False
Let n be 6/(-18)*-15 - -14*(-17)/2. Which is greater: -1958/17 or n?
n
Let t = 6469 + -6163. Is 306 bigger than t?
False
Let n(t) = -55*t - 62*t + 97*t + 90. Let p be n(5). Which is smaller: p or -39/4?
p
Let v = -3683/2010 - -13/402. Let x = 962/3487 + -1/317. Which is smaller: x or v?
v
Let i = -0.377 + 0.077. Suppose p - d + 24 + 24 = 0, -5*p - d - 246 = 0. Let s be 4/7 - (-35)/p. Which is smaller: s or i?
i
Let o be ((-70)/51486)/7*24/(-300)*15. Which is smaller: o or -1?
-1
Let c be (-5)/(-7) - (3 + (-46)/14). Suppose -n - 45 = -3*f, -4*n + c = -11. Which is greater: f or 4?
f
Let i(t) = -3*t**3 - 17*t**2 - 12*t + 2. Let w be i(-1). Is 0.3284 equal to w?
False
Let v = -909/10 - -91. Let u = -8/5 + v. Let h be 1/(8/((-200)/(-35))). Which is greater: h or u?
h
Let v be (-8)/(-12) - 36476/(-114). Let s = v + -320. Let o be -2 + (-3 - 8 - -13) + -8 + 8. Which is greater: s or o?
s
Let t be 1/(-4) + (-29660)/144. Let a = t - -206. Let v be (-5 - (-1)/((-63)/(-324)))/1. Is a less than or equal to v?
True
Let g = -322 - -207. Let i = g + 93. Which is greater: i or -14?
-14
Let o = 2431.9 - 2432. Which is greater: o or 2554?
2554
Suppose 34 = -p + 3*p. Suppose -3 + p = m. Let y(k) = -5*k + 76. Let z be y(13). Are z and m nonequal?
True
Suppose 0 = 48*j + 20*j + 75*j - 62634. Which is smaller: j or 437?
437
Suppose -2*b + 7*b = -2*b. Let t = 68403/400 - 171. Is b greater than t?
False
Let o = 93/13 + -2060/39. Which is bigger: o or -0.02?
-0.02
Suppose -11*l + 431*l = 0. Let g = 10727/171145 - 3/2633. Is g at most l?
False
Let d = -13895.9 + 13896. Which is bigger: -24142 or d?
d
Let n(w) = 3*w**2 - 14*w - 4. Suppose 3*j + 3*j - 36 = 0. Let o be n(j). Let g be ((-24)/20)/((-8)/o). Which is smaller: 0.9 or g?
0.9
Suppose 3*a + 2*a - 410 = 0. Suppose -176*x + 12359 = -2249. Is x not equal to a?
True
Let h = -1461 + 1176. Is -1/6 greater than or equal to h?
True
Let r = -41.7 + -233.3. Let x = r + 272. Which is smaller: x or 1/5?
x
Suppose -26 = 28*l - 41*l. Let z = -10 - -16. Suppose -y + l*x - 135 = -z*y, -5*y - 4*x + 145 = 0. Is y < 49/2?
False
Let a = 11592 + -14077. Which is greater: -2487 or a?
a
Suppose o - a = 4*a - 426, 3*o - 3*a = -1230. Let d = 92/303 + -671/1212. Is o greater than d?
False
Let x(v) = -6 + v + 5*v + 5*v - 10*v. Let z be x(9). Suppose 0*d - 66 = -3*d + z*i, 0 = -5*d - 5*i + 60. Is d at least 15?
True
Let q(z) = -5*z - 683. Let w be q(0). Let l = 85 + w. Let x be ((-39)/l)/(9/(-12)). Which is smaller: x or 1?
x
Let i = -38776/15 - -2584. Let t = -344 - -343. Which is greater: i or t?
t
Suppose -3*k = 11*u - 12*u + 10490, 5*k + u = -17494. Which is smaller: k or -3497?
k
Let h = -3520 + 5582. Which is smaller: h or 2060?
2060
Let j = 523286731584572824/1402805166993201 - -5174834/217218307. Let v = 2/339897 + j. Let h = -374 + v. Which is smaller: h or -2?
-2
Let c be (-850)/(-98) - (-15 + 6 + 18). Are 0 and c equal?
False
Suppose 0 = -6*b + 8*b - i + 31, -91 = 5*b + 2*i. Suppose -d + 2*d - x + 39 = 0, -3*d + 4*x = 118. Let z = d + 20. Is b not equal to z?
True
Let w = 2859 - 2964. Is w smaller than -90?
True
Let q be ((-992)/(-66))/(-8) - ((-180)/(-15) + -14). Is q bigger than -2/473?
True
Suppose 0 = -2*o - o + 3, 2*q - o - 47 = 0. Suppose -8*g - q = -0*g. Let w be g*(-21)/(-12) - (-5)/20. Which is greater: w or -1?
-1
Suppose 15 = -4*u + 5*g, 6*u = 2*u - 2*g + 34. Does u = 132/23?
False
Suppose 11 - 2 = -3*y. Suppose 1486 = -23*q + 1486. Which is greater: q or y?
q
Let a = 2.061 + -4.021. Do a and -0.08 have different values?
True
Let o = -2593 + 2643. Is -32 less than or equal to o?
True
Let g = -2.2 + 2.144. Let o = -6.356 - g. Let s = -6.3 - o. Which is bigger: s or -1/7?
s
Let j = 11477/6 - 23585/12. Which is bigger: j or -53?
j
Let q be 6*(0 + (-1)/(-2)). Let i be (-81 + 1 + (4 - 5))/1. Let y = -157/2 - i. Is q greater than y?
True
Suppose -76*r + 80*r - 10 = -2*a, -4 = 2*r - 2*a. Which is smaller: r or -10/1479?
-10/1479
Let w be 136*(3/2)/(-3). Suppose 460 - 1192 = 12*k. Let c be k + (-9 - -5 - 4). Which is bigger: c or w?
w
Let h = 0.06684 - -0.13316. Is 2554 <= h?
False
Let a(w) = 19*w + 11. Let d be a(-3). Let b be (-48748)/(-22) - (-2)/11. Let j = b + -4523/2. Is d at least j?
False
Suppose 483*d + 40362 = 441*d. Which is smaller: d or -967?
-967
Let w = -11 + 1. Let s = -169 - -285. Let r = 115 - s. Are r and w non-equal?
True
Let g be (-16)/(560/(-15)) + (-478)/1442. Which is greater: 1 or g?
1
Let j(t) = -48*t**2 - 4*t. Let x be j(2). Suppose 48 - 769 - 2079 = 14*n. Is x at most n?
True
Suppose -2*n + 1598 = 4*c, 5*c + 4*n - 548 - 1454 = 0. Suppose -5*f = -i - 695, c = 4*f - 5*i - 137. Which is greater: f or 141?
141
Let p be (26/28)/((-1 - -1) + (-2)/(-7)). Let k be (12/(-10))/((-6)/(-20)). Let f be (-6)/((-9)/(-3)) - k. Which is greater: f or p?
p
Suppose -5*q - 1 = 14. Let s(n) = -n**3 - 3*n**2 - n - 16. Let u be s(q). Suppose -2*b + 45 = -5*b. Which is greater: u or b?
u
Let q = -150 + 143. Let a be (-3)/q + 200/(-42). Which is smaller: -5 or a?
-5
Let f(x) be the third derivative of -x**5/60 + 35*x**4/24 - 127*x**3/6 + 52*x**2 + x. Let g be f(31). Which is greater: 2 or g?
2
Let r = -23.967 - -24. Let p = r - -0.347. Let q = 0.32 - p. Which is smaller: q or -2/9?
-2/9
Let v = -9059 - -9021. Let l = 1 + -4/3. Which is smaller: v or l?
v
Suppose s + 95 = -4*s. Let u(j) = -61*j**2 + 13*j + 31. Let x be u(-3). Let v = 556 + x. Is s at most v?
True
Let d(l) = 8*l**2 - 35*l + 157. Let b be d(11). Is b at most as big as 739?
False
Let f be ((-88)/132 - (8188/1542 - 2)) + 4. Is f greater than or equal to 2/7?
False
Suppose 4*r = -5*w - 2093 - 2095, -r = -2*w + 1060. Is -1050 <= r?
False
Let c = -308 - -304.95. Let r = -2.05 - c. Which is greater: r or -76?
r
Let z = 13665/388 - -100/97. Are z and -1/10 unequal?
True
Let f(v) = -2*v**2 + 21*v - 16. Let a(z) = -z + 18. Let b be a(13). Suppose 0 = 4*c - 3*l - 31, 0*c - 62 = -b*c - 4*l. Let m be f(c). Which is smaller: m or 1?
m
Let z(x) = -x**2 + 48*x - 555. Let g be z(30). Which is greater: -89 or g?
g
Let d = 373 - 100. Suppose -2*u + b + d = 0, -10*b = -12*b + 10. Which is smaller: u or 136?
136
Let u = 5.91 - 262.91. Let x = u - -257.087. Which is smaller: -1 or x?
-1
Let t be (-80758)/54087 - 3/((-9)/2). Is t > -1?
True
Suppose -2*r - 3708 - 1252 = -5*g, -3*g + 12 = 0. Which is greater: r or 4?
4
Suppose -103*c - 14400 = -53*c. Which is greater: c or -277?
-277
Suppose -15 = 7*k - 2*k. Suppose -2*a = -3*d - 21, 2*a - 7 = d + 6*a. Let v be (d - (-25)/4)/(6/4). Is k less than or equal to v?
True
Suppose -53657 = -145*d - 189678 - 195304. Which is smaller: -2284 or d?
d
Let r be 28/24*(-12)/10*5. Which is smaller: -125/19 or r?
r
Let h = -14609/2 - -39661/6. Which is greater: h or -693?
-693
Suppose 2717 = 5*q - 6*c + 3*c, 4*q = 3*c + 2176. Which is bigger: 538 or q?
q
Let i(d) = -9*d**2 - 3*d - 19. Let m be i(5). Let r = 275 + m. Which is smaller: r or 10?
10
Let h = -7085 + 7028. Let c = -7351 + 36476/5. Which is greater: c or h?
c
Let d = 4.9735 + -4.9415. Let b = 0.3 - 0.2. Which is smaller: b or d?
d
Let g be (392/192 + -2)/(1 - 15/27). Is 1 > g?
True
Let q = -7411 + 7063. Is q < -338?
True
Let c = 0.065465 + 4.934535. Let w = 1416 - 203905/144. Is w >= c?
False
Let k be ((-1)/(-9))/((-93)/(-18)). Suppose -188*w = -182*w - 312. Suppose w*j - 38*j + 14 = 0. Is k bigger than j?
True
Let j = 36918/31 - 1191. Is -8 at least as big as j?
False
Let w = 149 + -142.84. Let h = 3.34 + -2.5. Let y = h + w. Is y <= -2?
False
Suppose -3*c - 5*n = 749, -2*c + n + 240 = 735. Let b be (-7 + (-1672)/c)/2. Is b at least 0?
False
Let y = 94.1 + -81. Let i = 13.1 - y. Is i greater than 69/2?
False
Let c(s) = -8*s**2 - 531*s + 473. Let v be c(-52). Which is smaller: 6455 or v?
v
Let z be 16/88 + 3/(-12441)*721. Let y = 1637/16211 - z. Which is smaller: y or 1?
y
Let q = -86 - -93. Let b be (3/9)/(q/(-21))*12. Is b less than -94/7?
False
Let q = -225 + 180. Let n = -45 - q. Which is smaller: n or 14/9?
n
Let d be (-73)/(-15) + 0 + (-4)/(-30). Let p be -53*((-1)