an p?
False
Let l(b) = 139*b**3 + b**2 - 6*b + 9. Let o be l(2). Are o and -0.2 unequal?
True
Let n = -9.8 + 4. Let h = n + -30.2. Let b = -0.334 - -1.334. Which is bigger: h or b?
b
Suppose -26*j = -z - 21*j + 146, -3*z + j = -438. Suppose 135*v = z*v. Which is smaller: 9/53 or v?
v
Let t(b) = -9*b**3 + 2*b**2 - 1. Let r be t(-1). Let n be (6/r)/(657/730). Does 75 = n?
False
Suppose 4*q - 2*q - 180 = -o, 3*o = q + 512. Let j = o + -172. Suppose 3 = u, -3*c + 2*u + 153 = -3*u. Do c and j have the same value?
False
Let r = 6268 + -6940. Which is smaller: -3 or r?
r
Suppose -5*y + 3284 = -4*r, 5*y + 4*r - 870 = 2406. Suppose -9*x + y = -x. Let s = 150 - x. Do 67 and s have the same value?
False
Let p = -25607 - -33352. Is p smaller than 7745?
False
Suppose 104*t - 99*t = -435. Suppose -s - 5*h - 410 = 4*s, 0 = -3*h - 15. Let r = t - s. Is -9 at most as big as r?
False
Let t be (-10612)/(-86156) - 10/85. Which is smaller: 0 or t?
0
Suppose 3*h + 387 - 234 = 0. Let k = -48 - h. Let v = -340 - -1714/5. Which is smaller: v or k?
v
Suppose 448 = -5*r + 2*l, 5*r - 42*l = -37*l - 460. Is r at most -86?
True
Let f = 592087/3446883 + -2/34817. Let l = f + 500/2277. Let w = l + -114/115. Is w greater than -2/5?
False
Suppose -5*r + 2*b = -111, 6*r - 102 = 2*r - 5*b. Suppose -57 = -8*z + r. Which is greater: 2/9 or z?
z
Suppose 7 = 3*c + 4*u, 13*c - 9 = 12*c - 3*u. Let a(s) = -s**2 - 3*s - 5 + 2*s**3 + 0*s**2 + 6*s**2. Let q be a(c). Which is smaller: 7 or q?
q
Let f(r) = -171*r + 3297. Let w be f(0). Is 3297 at most as big as w?
True
Let c be (-1170)/(-60) - (-3)/(-6). Suppose c*q + 2530 = -27*q. Which is smaller: -7 or q?
q
Let f = -1370 - -1946. Which is smaller: 577 or f?
f
Let l = 151965 - 152634. Suppose 2*u + 3*u = -3340. Are l and u unequal?
True
Suppose 3*l = -0 - 9. Let m = -8727/5 + 1960. Let z = 211 - m. Is l equal to z?
False
Let x(g) = 6*g**3 - 111*g**2 + 35*g + 341. Let j be x(18). Let d = 49529/429 - 1268/11. Which is greater: d or j?
d
Let q = 17752 - 17753. Which is greater: q or 2/4743?
2/4743
Let r be 8/22*(-2)/68*(11 - 10). Does r = 0.3?
False
Suppose u - 205 = 5*k, 5*k + u + 0*u = -195. Let w = k - -3. Let h = w + 61. Are 24 and h unequal?
False
Let k = -10.7 + 3.7. Let w = 2213/220 + -303/55. Let x = w + -24/5. Which is smaller: k or x?
k
Let p(t) = 4*t**3 - 6*t + 7. Let g be p(1). Let q be (g - -34)*-1*(-1)/3. Suppose 2*w = 4*w - 26. Is q at most as big as w?
True
Let o be 292/12 + ((-77)/(-84) - 3/12). Let v be (-1)/3 + 80/24. Which is bigger: o or v?
o
Suppose 0 = -39*m - 8010 - 616 - 2333. Is m greater than -271?
False
Let w be (-6)/7 + 165/21 - 530. Is w <= -3145/6?
False
Let m = 82.6 + 316.4. Let b = m + -399.1. Which is smaller: 4/29 or b?
b
Let q(y) = -5*y**3 + 4*y**2 + y + 1. Let l be q(3). Let p = 661/7 + l. Let u be 18/(-42) - (-3)/7. Which is smaller: p or u?
p
Let k be ((-1)/15)/(12/(-1695)). Let p = -35/4 + k. Which is bigger: 0.114 or p?
p
Suppose -3*v - 31 = -28. Let u be (v - -4)/((-2)/4 - -1). Suppose 2*q - u + 4 = 0. Is -2/13 greater than q?
False
Let w = 8322 + -8322.09. Which is smaller: w or 14/29?
w
Let s be (-1771 + (-6 - -3))*77/(-154). Is s bigger than 888?
False
Let s = 5022 - 5021. Which is smaller: s or -14/589?
-14/589
Let u(n) = 2*n**3 - 8*n**2 + 12*n + 18. Let s be u(6). Suppose 448 + s = -11*b. Which is greater: -64 or b?
b
Suppose -2*g - 5*h + 834 = 0, 7*g - 6*g - 5*h = 462. Which is bigger: 428 or g?
g
Let m = -7178 - -8601. Is m >= 1423?
True
Let h = -0.2 - -0.12. Let x = 1805 - 8968/5. Let m = 523/45 - x. Which is greater: h or m?
m
Suppose 2*j = -w - 4*w + 20, -2*j = -10. Suppose 2*f = w*l - 16 + 4, 4*l = -3*f + 38. Let z be (-14)/2 - (-360)/25. Is z at least as big as l?
False
Let x(u) = u**2 - 4*u + 3. Let r be x(3). Suppose -22 = -i - 2*a - 4, 2*i - 2*a - 54 = r. Let j be (-2 - (-150)/i)/(2/16). Is 34 bigger than j?
False
Suppose 0 = -25*a - 203318 - 176832. Is a bigger than -15207?
True
Let f = 35086.998 + -35021. Let p = 0.002 + f. Let x = p - 65.5. Is x >= -3/7?
True
Let l be -3 + -18 - 3/(-3). Suppose -120 = -11*k + 23*k. Is k at least l?
True
Let x(o) = -o**3 + 7*o**2 + 9*o - 13. Let u be x(8). Let m(s) = -s**2 - 4*s + 4. Let t be m(u). Let i be 33/(-44) + (-38)/(-72). Is t at most i?
True
Let w be (0 - 46/(-115)) + 1*(-2)/5. Is w > 41?
False
Let m = 3392 + -3474. Is -1/3 equal to m?
False
Let b = 63.65 + -63.85. Which is bigger: b or 6012?
6012
Let j = 448/199 - -211784/1393. Is -2/7 >= j?
False
Suppose 12475 - 352 = 37*h - 29909. Which is smaller: -2/15 or h?
-2/15
Suppose 97 = 3*h + 217. Suppose 3*s + 0*s = 15. Suppose 0*w - s*w - 196 = -3*y, -w - 38 = -y. Is h equal to w?
False
Suppose -21*v - 8856 = -2505 + 15027. Is v > -1017?
False
Let p(w) = 2*w**2 + 27*w - 510. Let n be p(-24). Which is greater: n or 1593?
1593
Let q(y) = -y**3 - y**2 - 2*y + 165. Suppose 0 = 8*u - 4*u. Let x be q(u). Which is greater: 164 or x?
x
Let w be (-7)/(231/(-2)) - 513832/1089. Which is bigger: -473 or w?
w
Let p = 629 + -629. Let y be 261/(-185) + (-33)/(-55). Which is greater: y or p?
p
Suppose 2*j - 82 = -54. Let v = j + -8. Let h be (-3 + (-48)/(-9))/((-26)/v). Does 0 = h?
False
Suppose 2*g = -3*g + o + 13, 5 = -2*g - 3*o. Suppose -65 = -g*w + 241. Which is smaller: 152 or w?
152
Let w be (-5 + -40)*(-8)/24. Suppose 0 = 2*q + d + 13, -5*q + 5*d = 25 + w. Let p = 499/2 - 256. Is q smaller than p?
True
Suppose -2*o + 3192 = 5*q, q = -o + 1801 - 202. Which is smaller: 5/4 or o?
5/4
Let g = -368 + 366.59. Let j = -1.29 - g. Are -0.4 and j non-equal?
True
Let w be 602/114 - ((-812)/522 - 10/(-45)). Is w greater than or equal to 8?
False
Suppose 4*t - 15 = -7. Let l be (t - 0) + 481/(-247). Suppose -246 = -50*r - 46. Is r bigger than l?
True
Let g = -3108 - -4386. Do g and 1 have the same value?
False
Let b = 10459 + -10430. Let y(z) = -z**3 + 6*z**2 + 6. Let s be y(5). Is b < s?
True
Let n = 2453 + -2642. Is -210 less than n?
True
Suppose -8445 - 175 = -4*m - 5*n, 0 = -n - 4. Suppose -43*o + 13*o = m. Is -72 <= o?
True
Let y = 8 - 24. Let u = -135 + 139. Suppose 36*l - 32*l - u = 0. Which is smaller: y or l?
y
Let p = 130 - 222. Let c = p - -89.6. Is 1.1 at most as big as c?
False
Let z = -0.797 - -7.797. Is -72/7 less than or equal to z?
True
Suppose -3*n - 2*p + 628 = 0, -799 = -3*n + 2*p - 167. Let o = -429/2 + n. Suppose 58 - 26 = -8*w. Is o >= w?
False
Let y(l) = -3*l + 40. Let z be y(4). Let t = 214 + -186. Is z less than or equal to t?
True
Let x(h) = 5*h**2 - 34*h - 121. Let q be x(9). Let a be 151/4 + (-7)/(-28). Suppose -7*t + 3*t - a = 2*c, -3*t + 6 = 0. Is c < q?
True
Let g(m) = 3*m - 31. Let p be g(15). Suppose p*x = 13*x + 7. Suppose 153 = x*f + 2*f. Does f = 17?
True
Let r = 247 - 206. Let m = -40.9 + r. Is m less than 17/22?
True
Let l = 348567 + -13943921/40. Is -32 < l?
True
Let n = 1867 - 1868. Which is smaller: 6/2165 or n?
n
Let w = 0.0675 + 67.0325. Let d = w - 64. Let h = 0.9 + d. Which is bigger: -6 or h?
h
Suppose 0 = 5*u + 4*s - 980, -12*u = -17*u - 3*s + 985. Is u < 197?
False
Suppose 9*h - 3*h + 1146 = 0. Let s = h - -131. Let j be 543/(-9) + (-2)/(-6). Are s and j unequal?
False
Let s be -267 + (3/(-6))/(3/(-6)). Let f be s*(-3)/199 + -4. Let y be ((2 - 4) + 1)/(-1). Which is bigger: y or f?
y
Let n be (-8052)/8 - 39/78. Is -1005 > n?
True
Suppose -5*v + 3*v + 360 = -k, 3*k - 3*v = -1095. Let o = k + 262. Is o <= 1?
True
Let k be 0/((-8)/(-12)*3). Suppose 18*m - 13*m - 240 = k. Which is smaller: m or 47?
47
Suppose 56 - 78 = -22*q. Which is smaller: q or 20/183?
20/183
Let o = -289566 - -858852747/2966. Which is smaller: o or -1?
-1
Let s = 2.328 + -1.67. Let h = s + -0.778. Which is smaller: 2 or h?
h
Let b = 93.5 - 92.9. Which is greater: b or 6/19?
b
Let s(q) = -5*q + 219. Let y be s(-13). Let d be 96/(-600)*(-10)/y. Are d and 1 nonequal?
True
Let p(l) = l**2. Let x(h) = -22*h**2 + h + 1. Let i(v) = -p(v) + x(v). Let q be i(1). Let z = q + 16. Which is smaller: z or -7?
-7
Let t = -18 + 15. Let z be -20 - (2 - (6 + t)). Let i be 11 + -31 - (-12)/4. Is i less than z?
False
Let i(k) = -6*k**3 + 2*k**2 - 4*k - 14. Let p be i(3). Which is greater: p or -172?
p
Let o be (3944/(-145))/8 - (-6 - -3). Let w be (-1 - 0) + (-1 - 0). Let c be (1 - 1)*(w - -1). Are c and o non-equ