w + 1. Let c be 37/2 + 2/4. Let s be l(c). Which is greater: s or -2?
s
Let a = -199 - -1792/9. Let t = -12 - -11.6. Which is smaller: a or t?
t
Let p be ((-192)/84)/8 + 18/14. Which is greater: 11/212 or p?
p
Suppose -2*w = -2*j, -4*w = -3*j + 4*j - 5. Suppose 3*u + 0*f = -4*f - 74, 4*f = -u - 30. Let b be w - (0 - u/18). Is b greater than or equal to -1?
True
Let k = 6.1 - 6. Let y = 4.04 + -0.04. Let f = y + -3. Which is smaller: k or f?
k
Let l = -25 - -35. Let j = l - 10.4. Which is smaller: 2 or j?
j
Let n(u) = -36*u - 2. Let p(t) = t**3 + 7*t**2 + 5*t - 7. Let s(j) = 2*j - 32. Let z be s(13). Let h be p(z). Let b be n(h). Is 33 <= b?
True
Let r be (-45)/(-15)*2/(-6). Does -1/7 = r?
False
Let z = -1.37 + -0.47. Is -2/7 < z?
False
Let k be (-6)/21 - (-36)/28. Suppose k = u - 0, 3*a = -2*u - 52. Let r be ((-8)/a)/(2/6). Is 1 < r?
True
Let n = 2.97 - -0.03. Let z = n - 2.9. Let u(d) = -4*d**2 + 26*d + 37. Let o be u(8). Which is bigger: o or z?
z
Suppose -2*b - 38 - 69 = h, 5*h - 77 = 2*b. Let f(d) = 27*d + 2. Let s be f(-2). Which is smaller: s or b?
s
Let d = 30 + -26. Let l be 2/d*-3*-42. Suppose 5*g + 0*x + 101 = -4*x, 3*x + l = -3*g. Which is smaller: -16 or g?
g
Let j = -2.125 - -0.005. Let r = -0.07 - 0.05. Let n = r - j. Which is greater: -0.1 or n?
n
Let w(f) = 6*f - 143. Let a be w(24). Let o = 0.5 + 3.5. Which is smaller: a or o?
a
Suppose 978 = -112*q + 306. Which is bigger: q or -135/29?
-135/29
Let m be (2 - 6) + 9/1. Suppose m - 11 = -s. Suppose 7*a - s = 1. Are 3/8 and a nonequal?
True
Let h = -158.6 + 6.6. Let v = -160 - h. Is 1 less than v?
False
Let h = 35.5 - 18.5. Which is greater: -2/3 or h?
h
Suppose -y - 131 = 3*j, 7*y - 3*y + 4*j + 492 = 0. Which is smaller: y or -120?
-120
Let c(j) = 382*j + 616. Let d be c(-5). Is d at most as big as -1293?
True
Let v(k) = -k**2 - 20*k - 17. Let i(h) = 10*h + 8. Let r(p) = -5*i(p) - 2*v(p). Let g be r(7). Is 22 >= g?
True
Let x be (-5 - (-644)/70)*58/3. Which is bigger: x or 80?
x
Let t(g) = g**2 + 13*g + 28. Let d be t(-6). Let y be (-4)/28 + (-30)/d + -13. Is y at most -62/5?
False
Suppose 4*i + 8*t - 5*t + 175 = 0, 5*t - 167 = 4*i. Is i greater than -44?
True
Let i(r) = 2*r + 1. Let l be i(-2). Let k be 7 - (4 + -2 - 5). Let d(u) = -u**2 + 11*u - 12. Let b be d(k). Which is smaller: l or b?
l
Let t = 76 - 23. Let v = 53 - t. Is v < 3/100?
True
Let d(b) = -2*b + 3. Let l be d(2). Let c = 3429 - 301755/88. Let q = c + -243/616. Is l bigger than q?
False
Suppose 0*k = 5*k + 10. Let r = 13 - 43/3. Let i = r - -19/12. Is i less than k?
False
Suppose 3*n = -3*u + 135, -n + 8*u + 21 = 3*u. Which is greater: 42 or n?
42
Let i be 28 + -1*(5 - 0). Which is smaller: 29 or i?
i
Let m = -73 + 124. Which is bigger: m or 52?
52
Let r be (-2)/(-4) + (-309)/206. Does r = -28/31?
False
Let v be (-3)/(3 + 99)*-6. Let a(n) = -n**3 - 5*n**2 - n - 6. Let f be a(-5). Is f > v?
False
Let u = 437 - 436.5. Are u and -26 equal?
False
Let m = -7.21 - -7.248. Is -3 equal to m?
False
Let i(p) = 39*p**3 + 8*p**2 - 2. Let v be i(-1). Let n = -1/3 - 0. Is n > v?
True
Let n = 730 - 1519/2. Is -29 smaller than n?
False
Let m = -114 - -103. Which is smaller: m or -10?
m
Suppose -433*s = -454*s + 5208. Which is smaller: 250 or s?
s
Let h be 110/220 - 550/(-4). Is 139 less than h?
False
Let g(t) = -t**3 + 15. Let n be g(0). Let u = n + -5. Which is smaller: 8 or u?
8
Let g = -11/6 - -4/3. Is g < 0.05?
True
Suppose -3*c + 4 = -2*c. Suppose -4*t + 16 = -c*a, 3*a = 4*t - 7 - 6. Is -2/69 <= t?
True
Let n = 234 + -169. Is n > 63?
True
Let j(x) = -4*x + 18. Let f be (21/18 - 1)*2*12. Let c be j(f). Is 2 != c?
False
Let t(b) = 20*b - 1. Let x be t(1). Let y = 20 - x. Is -2/159 less than y?
True
Let n = 6 - -3. Let i = 62 - 57. Let o = i - n. Which is smaller: -2 or o?
o
Let a(n) = n**3 + 5*n**2 - 9*n - 7. Let w be a(3). Which is smaller: w or 34?
34
Let x = -36.053 - -0.053. Let s = x + 35.96. Which is bigger: 0 or s?
0
Let o(n) = n**2 + 20*n + 11. Let k be o(-16). Let w be 1/(-4) - 23*(-54)/(-24). Are k and w nonequal?
True
Let a(j) = -j**3 + 7*j**2 - 8*j - 3. Let d be a(6). Let q be (d/6)/(1/(-22)). Let g be 10/q + (-24)/11. Is 0.1 > g?
True
Let h = 62/3013 - 1/23. Let b = -1453/524 - h. Are -4 and b non-equal?
True
Let w be ((-95)/38)/(1/(-2)). Suppose d + 5 = 5*i - 17, 5*i - 30 = w*d. Is 3 less than i?
True
Suppose -5*n + 6*n + 15 = 3*h, 5*h = 2*n + 28. Suppose 3*k - k = -16. Which is smaller: k or n?
n
Let a = 49/5 - 142/15. Is a equal to 1632?
False
Suppose 0*l = 4*l - 12. Let o = 0.404 + -0.014. Let f = 0.39 - o. Is f at most l?
True
Let v = -559 - -600. Which is bigger: v or 40?
v
Suppose -4*k = -95 - 385. Let i = 132 - k. Is 0 != i?
True
Let i(n) = -n**3 - 15*n**2 - n - 12. Let p be i(-15). Suppose 6 + p = 5*z - q, 2*q + 13 = 5*z. Let s = -117 - -935/8. Is s > z?
False
Suppose 16*t - 17 - 15 = 0. Let h be 36/(-28) - t/14. Let j(g) = g + 1. Let o be j(-3). Which is smaller: h or o?
o
Let f be ((-150)/(-260))/((-3)/8). Is -3 equal to f?
False
Let o be 1025/(-1075) + (-6)/129. Is o at most as big as -22/65?
True
Let v be 5/((-20)/18)*(-4)/(-2). Let n be 6/v + (-8)/(-12). Are -28/5 and n non-equal?
True
Suppose y = -2*f - 2, -2*f - y = 3*f + 11. Let p(n) = n**3 + 2*n**2 - 5*n + 3. Let d be p(-4). Which is smaller: f or d?
d
Let k = 0.58 - 0.7. Let o = -0.188 - -146.188. Let s = o - 148. Which is bigger: k or s?
k
Let a be (-4 + 0)*1 + (-94)/(-26). Let k = a - -64/65. Suppose -2*y - y + 6 = -5*z, -8 = -4*z - 4*y. Is z at least as big as k?
False
Let w = 7342/5 - 190907/130. Suppose h - 2 + 1 = 0. Suppose -2*j - h - 5 = 0, -3*j - 10 = n. Which is smaller: n or w?
n
Let r(k) = k**2 + 5*k + 4. Let b be r(-4). Let w = 171 + -171. Suppose b = -2*u - w*u - 8, 3*g + 8 = -2*u. Which is smaller: g or -1/15?
-1/15
Let h = -1.75 + 1.85. Is -6 < h?
True
Let z(l) = l**3 + 3*l**2 - 18*l - 3. Let u be z(-5). Let k = 37 - u. Is -10/11 > k?
False
Let m = 9 + -19. Let b = 9.99 + m. Let u = -12.1 - -12. Which is greater: b or u?
b
Let b(m) = 11*m - 48. Let s be b(12). Is 83 < s?
True
Let w be 172/20 - 6/(-15). Let b be 6/w - 123/198. Let d = -29/124 + -1/62. Which is smaller: d or b?
d
Let q be (-2)/6 + 1576/(-24). Let i = q - -69. Which is smaller: 6/7 or i?
6/7
Let l = -0.2924 + 0.1924. Which is smaller: 560 or l?
l
Let b be (-1 + 1)/((-20)/(-20)). Is b less than or equal to -1/2332?
False
Let x(z) = z**3 - 4*z**2 - 3*z - 1. Let b be x(5). Let f be 3/b + 26/(-6). Let k be f/(-8)*4 + -3. Is k at most -2/7?
True
Let q(t) = t**2 + 11*t + 34. Let g be q(-11). Does g = 40?
False
Let y = -94/1377 + -4/81. Let v be ((-162)/12)/9*(-40)/6. Suppose -4*s - 5*i = -v, s - 2*i - 2*i + 8 = 0. Which is smaller: s or y?
y
Let w be (-2)/((-80)/15) - 1323/4424. Which is smaller: w or -1?
-1
Let b = -3.166 + 0.066. Let t = 3.14 + b. Is -0.02 less than t?
True
Let f = -1634 + 1629. Is f greater than or equal to -35?
True
Let t = 17459/166221 + -22/207. Which is smaller: t or 1?
t
Let b be (-34)/(-153) + (-586)/(-36). Let j = 10 - -6. Which is greater: b or j?
b
Let h(t) = 14*t + 2. Let y be h(1). Let u be 1*4*10/y. Let b = u + -3. Does b = 3/2?
False
Let g = 1/110 - -199/2310. Which is greater: g or -8/3?
g
Let o = -7.3277 - 0.0423. Let n = o + 8.3. Is -0.1 equal to n?
False
Let h(t) = 22*t + 12. Let z be h(-7). Let s be z/(-6) - 6/9. Is s >= 22?
True
Let t be 1*(2 + 3/(-2)). Let k(s) = 13*s + 5. Let b be k(-14). Let l = 2477/14 + b. Is l at most as big as t?
True
Let f = 7/5 - 9/10. Suppose -3*s - 4*d = 22, -4*d = 4*s - 7 + 39. Let b = s - -11. Which is bigger: f or b?
b
Suppose -4*r - 5*h + 5 = -9*r, -2*r - 2*h = -10. Let s be -17 - 1/(r/2). Let p be s/810*(-10)/4. Is -1 greater than p?
False
Let n = -53.14 - -53. Let h = 3.14 + n. Is h at least 0.1?
True
Let y be ((-6)/(-14))/(110/35). Let s be 4/(4 + (-6 - -3)). Suppose 5*v - s = v. Is y less than or equal to v?
True
Let j = -0.001 + -0.099. Which is smaller: -0.3 or j?
-0.3
Suppose 2*d = 5*d - 4*o - 7, 1 = 5*d + 4*o. Let m = 17.6 - 19. Is d less than or equal to m?
False
Let n = 0.038 - 55.038. Let u = 54.8 + n. Which is greater: u or -5?
u
Let c be 4062/435 + (4 - 8). Let g = -2/435 + c. Is g not equal to 4?
True
Let q be 320/55 + -4 - 2. Let w = q + 15/22. Which is greater: 0.02 or w?
w
Suppos