/(-9) - 3). Let h be (((-192)/l)/(-4))/(24/20). Is 0 less than h?
True
Let r be (2 + 99/2)*4. Suppose -5*k + 49 = -r. Suppose -k*l = -56*l. Which is smaller: l or 4?
l
Let p = 0.3277 - -1450.6723. Which is smaller: -2 or p?
-2
Let k be (42/98 - 1331/231)*9/(-4). Is k greater than 237?
False
Let c = 68 - 67. Let h = 16.2 - 15. Let s = 0.2 - h. Is s at most c?
True
Suppose 12*t + 29 - 353 = 0. Suppose -187*p - t = -190*p. Which is smaller: 8 or p?
8
Let s = 521.9 - 236.9. Is s at least as big as -4?
True
Let z be (-1 + 2754/(-12))*(-4)/18. Let x = -3893/63 + z. Which is greater: x or -10?
-10
Let b be (-5*(-15)/100)/(1/(-168)). Let y be (32/(-18))/(42/b). Is y at least 5?
True
Let h(v) = 331*v**2 + 73*v - 144. Let d be h(2). Which is smaller: d or 1324?
1324
Let y = 1.17 - 0.46. Let o = 0.048 - -0.242. Let p = o + y. Which is bigger: p or -1/7?
p
Suppose 0 = 10*q + 981 - 861. Suppose 3*g + 21 = 3*r, 7*g = 2*g - 2*r - 49. Is q at least g?
False
Let n(u) = -u + 8. Let x be n(7). Let i = 84357/1129706 + 1/10558. Is i at most x?
True
Let z = 17/362 - 7069/50318. Which is greater: 0 or z?
0
Suppose -3*m - 385*p + 382*p = 3303, 0 = -2*m + 3*p - 2217. Is -1104 smaller than m?
False
Let w = -83 - -82. Let g be (w/(-2))/((-14)/(-28)). Let x be 3 + -13 + (-2)/((-2)/g). Which is smaller: x or -3?
x
Suppose -c + 0*c + 17 = 0. Let b = 5996 - 41970/7. Which is bigger: c or b?
c
Let j be (-2960)/62790*3 + 2/13. Is j less than 0.27?
True
Suppose 9 = 3*s - 3*w, 0 = -3*s + 5*s - 4*w. Let y be (3 + (-14)/s)/(5/3). Let a(t) = 2*t**3 - 2*t + 1. Let b be a(1). Which is bigger: y or b?
b
Suppose 78*p = 2*l + 81*p + 11, 5*l - 4*p - 7 = 0. Is 47/218 at most as big as l?
False
Let j = 452 + -1358/3. Let n = 6.97 + -16.18. Let x = n - -0.21. Is x smaller than j?
True
Let p = 73245 + -1538147/21. Let o be -2*1*(-2)/(-2). Let x be 1/(-2) - (-1)/o. Is x less than p?
True
Let d(m) = m + 7. Let p be d(-10). Let j be 3*((-512)/6 - (6 - 10)). Let b = j + 239. Do p and b have different values?
True
Suppose 5*u - 17 = s, -5 = -3*u + 2*u + s. Let d(h) = 0*h**u + 2*h**3 + 0*h**3 - 4*h**2 + 2 - 3*h - h**3. Let c be d(4). Which is smaller: c or -12?
-12
Let s(b) = -b**3 - 5*b**2 + 76*b + 456. Let r be s(-8). Which is greater: 290/7 or r?
290/7
Let r = -2565 + 2566. Which is smaller: r or 16/87?
16/87
Suppose 0 = -5*s + 2*g + 80, -28*g = -2*s - 32*g + 32. Let x(l) = l**3 - 20*l**2 + 50*l + 50. Let p be x(s). Which is smaller: p or -176?
-176
Suppose 7 - 3 = -10*y + 14. Let l = -21/47 + 3397/7708. Which is smaller: y or l?
l
Let j(w) = -288*w**2 - w - 2. Let q be j(-1). Let o = 235 + q. Which is smaller: o or -53?
o
Let i = 26 - 3. Suppose -25*v = -i*v - 40. Suppose 76 = 4*y + v. Does 12 = y?
False
Let k be 0*(-3)/(-9) - -2. Let y be k/10 + 198/(-15). Let q be (-4625)/(-555)*(-18)/10. Which is smaller: y or q?
q
Let n(p) = p**3 + 56*p**2 - 309*p - 346. Let h be n(-61). Is h <= -5?
True
Suppose -3*y + 7*k - 22 = 5*k, 0 = 4*y - 3*k + 30. Let c be -2 - 10/y - (-100)/390. Let o(z) = z**2 - 9*z + 1. Let a be o(9). Which is smaller: a or c?
c
Let x be 58/165 - 1/5. Let o = 6183 + -6184. Is o smaller than x?
True
Let s(t) = -327*t + 1215. Let w be s(24). Is -13267/2 smaller than w?
True
Let c = 1797.54 + -1910.887. Let g = 113 + c. Let y = 0.053 - g. Which is bigger: y or -1/2?
y
Let m = 0.26 - 16.26. Let c = -391.998 - -380.998. Which is bigger: c or m?
c
Let h = -73/33 - -43/33. Which is greater: -1 or h?
h
Let h = 0.1511 + -21.1511. Is h at least as big as -8?
False
Let a(x) = -x**2 - 9*x - 44. Let k be a(-19). Is k less than -236?
False
Let c be (-5)/(-3) - (-75)/225. Is 52/37 >= c?
False
Suppose 3*t + 5*t - 144 = 0. Suppose 0 = 13*j - t*j + 1865. Let d be j/(-605) + (-9)/(-15). Which is smaller: d or 1?
d
Suppose -h - 25 = -3*b, b = -2 + 6. Let w = -342418/13 - -26326. Is w less than or equal to h?
True
Let k = 3/11395 + 1081/39176010. Is k >= -1?
True
Suppose 2*l + 560 = 5*f, 43*l - 38*l = 4*f - 1417. Do -292 and l have different values?
True
Let z = 170 + -169.455. Let t = 0.245 - z. Which is smaller: t or -7/4?
-7/4
Let p(i) = 9*i**2 + 259*i - 57. Let n be p(-29). Which is greater: n or 8/717?
n
Suppose -2*u - 2*a = 52 - 40, 3*a = u - 18. Is -15/23 at most as big as u?
True
Let q(a) = a**3 - 11*a**2 + 9*a + 30. Let h be q(10). Suppose -5*r + 5*l + h = 0, l + 4 = -6*r + r. Which is smaller: r or -9/20?
-9/20
Let m(j) = 369*j - 1777. Let f be m(21). Does 5970 = f?
False
Let o be (14 - (-3)/1)*(0 + 1). Suppose 3*m = -2*l + o, 4 = 2*l - m + 7. Is -168 > l?
False
Let k be (-177)/(-63) + -1 - 48/(-56) - 5. Which is smaller: k or -1?
k
Let b be ((-122)/(-305))/((-26)/10). Is b at least -5.5?
True
Let x = 972 - 970. Let i = 489 + -489.209. Is i greater than or equal to x?
False
Let g = -4166 + 9692. Is 5525 equal to g?
False
Let m = 139137 + -3478389/25. Suppose b = -4*b + 10. Which is smaller: m or b?
m
Let w be ((-10620)/(-234) + -47)*(3 + -1 + 14). Is 2/5 at least as big as w?
True
Suppose 5*n - 11*n = n - 322. Which is smaller: -110 or n?
-110
Let b = 238 + -503. Let r = 270 + b. Is 2/23 equal to r?
False
Let l(b) = -2*b**2 + 14*b. Suppose -54 = 4*z - 82. Let w be l(z). Let d = 0.7 - -0.3. Is w at most as big as d?
True
Let v = -75 + 27. Let r = -163 + 153. Let a(p) = p**3 + 10*p**2 + 7*p + 21. Let y be a(r). Which is smaller: y or v?
y
Let z = 434151 + -41245154/95. Let i be 1265/95 + 1/(-1). Let d = z + i. Is d at least as big as 3?
True
Let m be 12/(-54)*(-90)/340. Let b = -0.4 + 0.2. Which is bigger: m or b?
m
Suppose -2*j = -5*c - 448, -360 = 4*c - 7*j + 5*j. Let x = c + 148. Suppose 5*k = -0*k - x. Which is smaller: -3 or k?
k
Let q = 964 + -4821/5. Let t = 14.48 - 0.48. Is t greater than or equal to q?
True
Let s = -2114 + 2113.9. Is 26/211 less than s?
False
Let w be 3/(-6) - 17/(-6). Let q be 152/(-18) + (-8)/(-18). Let s(r) = r**3 + 12*r**2 + 30*r - 15. Let z be s(q). Are w and z non-equal?
True
Let j = -1236.9 - -1236.8. Does j = 0.5829?
False
Let m(y) = 5*y**2 + 30*y. Suppose -q = -5*t - 27, -33 = 24*t - 20*t + 3*q. Let b be m(t). Is b greater than or equal to -1/67?
True
Let w(n) = 8*n - 145. Let p be w(-8). Suppose -c + 5*r = 220, -4*r - 944 = 5*c + 98. Which is smaller: p or c?
c
Let l be ((-6)/(-8))/(42/2744). Suppose -32*w = -10*w - 1078. Is w != l?
False
Let d be (-435)/174 + (-55)/(-10). Which is greater: 474/115 or d?
474/115
Let r = -1157 - -1146. Let q = 2.5 + -3. Which is smaller: q or r?
r
Let n be -14 + (-11 - -20) + (-229)/(-10). Do 0.08 and n have different values?
True
Let z = -0.612 - 11.868. Let b = -0.98 - z. Is 0 at least as big as b?
False
Suppose 0 = 5*t - w + 81, t - w + 33 = -t. Let g = t - -16. Suppose 4*c + g*x = 5*x + 13, -1 = 2*c - x. Is -18/11 bigger than c?
True
Let x = -6569 + 6129. Is x at least as big as -447?
True
Let f = 1501 - 1499. Which is smaller: 0.768 or f?
0.768
Let c be ((-12)/75)/(-1 + 14/10). Let a = -123 - -102. Let j = a - -314/15. Does c = j?
False
Suppose -d + 2 = t, 0*d = -4*t - 5*d + 11. Suppose -5*a - 3*n + 617 = -743, -5*a + 5*n + 1400 = 0. Let i = a - 3577/13. Which is smaller: i or t?
t
Let u = -1693 - -952. Let w = u - -738. Which is bigger: 76 or w?
76
Let n be -1*1 + 5 + 0. Suppose n*i - c + 72 = 0, -c + 4*c + 69 = -3*i. Let j be (6/(-4))/(9*23/(-782))*-3. Are j and i nonequal?
True
Let c = -28.971 - -31.971. Let v = -7 + 11. Let a be -1 + (v - (-4)/(-2)). Which is greater: c or a?
c
Let k = -1 + 1.2. Let n = -488.34 + 561.34. Which is smaller: n or k?
k
Let n = 716/3817 + -2/347. Let q = -74.59 + 74. Let a = q + 0.49. Which is smaller: n or a?
a
Let j = 122 - 117. Suppose 0 = 2*k + 5*v - 11, j*k - v = 12 + 2. Let y be (0/3 + -92)/((-15)/k). Which is smaller: y or 18?
18
Suppose 0 = -3*b - 5*a + 934, 0*a - 1217 = -4*b - a. Suppose 0 = 18*u + 75 + b. Which is bigger: u or -109/5?
u
Suppose 23234 = 31*g + 40388 + 52162. Which is bigger: g or -2237?
g
Let x = -1149 + 1133. Is x >= -8?
False
Suppose -p = 3*o + 2*p + 9, 0 = o - 3*p - 17. Let w be o + 1 + 3/(2 - 1). Let n be 3/4*w/(-45). Is 1 at most as big as n?
False
Suppose -511 = -4*q - 507. Let v(u) = -63*u**2 + 4*u - 2. Let f be v(2). Which is smaller: q or f?
f
Let b(x) = x**3 - 32*x**2 - 3*x - 26. Let c be (528/(-77))/(9/(-42)). Let r be b(c). Which is smaller: r 