Let v be n(5). Let x = -2.7 - -2.57. Let w = x + -0.07. Which is greater: v or w?
v
Let s = -67 - -46. Let t = -1.29 + 64.29. Let x = -63.1 + t. Which is smaller: s or x?
s
Let k(f) = -f**3 - 10*f**2 + 50*f + 18. Let b be k(-14). Which is greater: 104 or b?
104
Suppose -1 = 2*a + 1. Let c(t) = 7*t + 9. Let i(m) = 6*m + 10. Let w(j) = 5*c(j) - 6*i(j). Let y be w(-11). Which is greater: a or y?
a
Let x = 2.37 + 203.63. Which is bigger: -0.2 or x?
x
Suppose -4*s = s + 5. Let b be 5 + (4 - (0 + 4)). Let c = s + b. Which is smaller: c or 3?
3
Let t = 2281 + -16103/7. Let c = t - -565/28. Let g = c + 19/12. Is g < 3?
True
Suppose 3*l - l = -12. Let u be 1 - -1 - 1 - l/3. Are u and 1 equal?
False
Let r = 15.626 + 0.274. Which is smaller: -1/3 or r?
-1/3
Suppose -6 - 69 = -4*x + g, 5*g = -5*x + 125. Which is greater: 138/7 or x?
x
Suppose 12 = 2*s + 2. Suppose 4*r = s*r. Suppose r*z = -2*z. Is 1 less than z?
False
Suppose -8 = 11*c + 58. Is -47 <= c?
True
Suppose -3*k + 3*w = -2*w + 13, 7 = 3*k - w. Let m(a) = a**3 - 4*a**2 + a + 2. Let t be m(k). Is t less than 20/3?
True
Let y be ((-3 - -11) + -6)/(6/99). Is 26 greater than y?
False
Suppose -3*t + 9*t = 18. Let y be (2/t)/((-10)/(-15)). Is y not equal to -1?
True
Let b = -11 - -7. Let f be (-99)/(-81) - b/(-18). Let r be (-1 + 9/7)/(145/203). Is f < r?
False
Let j = 16.7 + 0.3. Let y = 32 + -33. Which is greater: y or j?
j
Suppose -q + 16 = -5*g + 2, -5*g = 3*q - 2. Suppose 373*y + 24 = 365*y. Which is bigger: g or y?
g
Let t(r) = -r + 14. Let n be t(20). Let l be (-25)/n + (-3)/18. Suppose 2*a = -4*j + 4, 3*a - 3*j + 8 + l = 0. Is a greater than 6?
False
Let g be (50/(-2))/(-5) - (-1 + 4). Suppose -3*d + g*d + 136 = 4*a, -120 = -4*a - 5*d. Which is smaller: 101/3 or a?
101/3
Let k = 4 + -3.9. Let b = 2/1025 - 1039/7175. Which is greater: k or b?
k
Suppose -5 = -13*l + 34. Suppose 58 = -4*c + 5*u - 0*u, 40 = -l*c + 2*u. Which is greater: -15 or c?
c
Let v = 1.143 - 0.063. Let l = -0.08 + v. Let p be 0 - 1 - (2 - -1). Is p at least as big as l?
False
Suppose k - 2*n - 3*n + 24 = 0, 0 = -3*k - 2*n + 13. Is -5/19 at least k?
False
Suppose 0 = -3*n, 4*t + 2*n - n = 16. Let u(p) = p**2 - 7. Let q be u(t). Is 7 greater than q?
False
Let a = 229 + -228.97. Let w = -1 - 3. Let y = w + 2. Which is smaller: a or y?
y
Let u(y) = -y**2 - 6*y - 2. Let x be u(-6). Let r = 1 - x. Let z(o) = -5*o - 307. Let w be z(-62). Is w equal to r?
True
Suppose -1556 + 180 = 16*n. Which is bigger: -84 or n?
-84
Let o = 13 - 13. Suppose -2*m + 5*f = 170, -f + o*f = -3*m - 255. Let h be 10/6*17/m. Which is smaller: h or 0?
h
Let z be (-2)/(-16) - (-230)/(-560). Which is bigger: -24/5 or z?
z
Let z be (-38424)/44 + (-18)/(-66). Which is greater: z or -872?
-872
Let f be (-53)/(-12) - (-84)/48. Which is greater: f or 0.2?
f
Let d be 16478/440 - (-2 - 27/(-12)). Which is greater: 37 or d?
d
Let o = -680 + 673.016. Let y = o + -0.016. Is 1 >= y?
True
Let l = -48953/900 - -1358/25. Let k = l - 3/20. Which is smaller: k or -1/2?
-1/2
Let v = 2136 + -2134. Is v less than 45/34?
False
Let x = 0.114 + -0.154. Let w = 0.02 - x. Let l = -3 - -2. Is w less than or equal to l?
False
Let m = -323.994 + 324. Is 0 greater than or equal to m?
False
Let d be 2/(20/(-22) - -1). Suppose -2*w + 3*h = -24, 3*w - 2*h + 92 = 123. Let s = w - d. Which is bigger: -14 or s?
s
Let m = -3/290 - -25/174. Suppose 3*q = 5*d + 19, -d - 18 + 5 = 4*q. Is q bigger than m?
False
Let r = -3 - 2. Let l = r + 9. Suppose -81 + 81 = -9*z. Is z at least as big as l?
False
Let r = -1/62 + -1217/1426. Let s = r - -293/46. Is 7 <= s?
False
Let k(x) = -2*x + 34. Let t be k(18). Let z be (26/39)/(t + (-32)/(-18)). Which is bigger: -2 or z?
-2
Let v = -0.66 - 5.34. Which is smaller: 0.6 or v?
v
Let t be (1 + -3)*(-1)/(-7)*7. Is 1 less than t?
False
Let m = -1.69 + -0.31. Which is bigger: 10 or m?
10
Suppose -12998*a - 2484 = -13044*a. Let w(u) = 56*u - 1. Let z be w(1). Do z and a have different values?
True
Suppose -100 = -7*c + 2*c. Let x be -1 + c/(-24) + 2. Let j = -5.2 - -5. Is x not equal to j?
True
Let c = -57 - -61. Suppose 5*x + c = 6*x. Which is greater: 6 or x?
6
Let m be 15/25 - 33/1620*29. Which is greater: m or -1?
m
Suppose -k + 7 = -0. Suppose 3*y + 4*n = 19, 3*n - k*n + 14 = -2*y. Which is smaller: 0 or y?
0
Let h be -1 + -1 + 2/2. Let w(b) = b**3 - b**2 + 1. Let y be w(h). Let p be 3 + 50/(-15) + (-4)/6. Is p greater than y?
False
Suppose 0*p = -2*p - 5*t - 57, 0 = -5*t - 25. Let q be (p/(-17))/(-1) - -1. Let u be (13 - 12)*(-2 - -1). Is q > u?
True
Let c = 350830/3 + -1007233115/8613. Let m = c + 1/783. Which is smaller: m or -1?
-1
Let m = -366 - -388. Is m <= 258/11?
True
Let s(n) = -4*n - 13. Let b be s(-7). Suppose 4*k + 16 = 0, 0 = -d + 2*k - 7*k + b. Let m = d + -35. Do 1 and m have the same value?
False
Let g = 1.2 + 8.8. Let n = -9.3 + g. Let k = n - 0.5. Is k < 1?
True
Let t = 14.33 - 0.33. Let d = -0.004 + 12.004. Let g = t - d. Which is smaller: g or -1/3?
-1/3
Suppose -1 = -3*q + 8*g - 10*g, 3*g = 4*q + 10. Which is smaller: q or -2/125?
q
Let j = -809/3 - -269. Suppose 0 = -5*y + 4*b + 4, 0*b = -5*y - b - 1. Is j smaller than y?
True
Suppose 5*d + 245 = 2*n, -4*n + 427 = -3*d - 98. Which is smaller: 133 or n?
133
Let k = 318 + -319.024. Let l = k + 0.024. Which is greater: l or 1?
1
Let x = -13.8 + -0.2. Let y = 0.24 - -15.76. Let q = y + x. Is q at most as big as 1?
False
Suppose n = 4*n - 6. Suppose 4*m = n*m + 5*m. Is m not equal to -0.01?
True
Let y = 833 + -73303/88. Let f = 23/88 - y. Which is smaller: -2.3 or f?
-2.3
Let a = 523/18778 + 2/229. Is 0 < a?
True
Let v = -1 - -1. Let l(q) = -q**3 - q**2 + 18*q - 4. Let n be l(4). Let u be -2 + -1 + (-2)/n*19. Is u greater than or equal to v?
True
Let k = -0.084 - 13.916. Let c = k - -38. Is c equal to 2?
False
Let k be (-2 - 22/(-10))*(4 + 1). Let g be ((-4)/k)/(10/(-17)). Which is smaller: 6 or g?
6
Let w = -0.2039 + 0.1989. Which is smaller: 1 or w?
w
Let z = -109965/58 - -1896. Which is smaller: z or 0?
0
Let t = 1.327 + -1.127. Which is greater: t or 3/22?
t
Let g = 145/77 + -1581/847. Let v be -3 - -1 - -2 - 0. Which is bigger: g or v?
g
Suppose 0 = -g - g - 4*b - 22, 17 = 3*g - 4*b. Let y be (7985/280)/(-3 + 7/2). Let l = -229/4 + y. Which is smaller: g or l?
g
Let h(r) = 24*r**3 - r**2 + 1. Let g be h(-1). Let c be g/(-16)*16/66. Let j = c - 162/385. Which is bigger: j or 1?
1
Let f = -8.5 + 8.417. Let x = f - 1.877. Let q = x - 0.04. Which is bigger: -1 or q?
-1
Let i = -105/2 + 54. Suppose 14*x - 29 + 15 = 0. Which is smaller: i or x?
x
Let t = -734 + 735. Is t bigger than -1/9?
True
Let a = 8 - -23. Suppose 2*k = -5*x + 2*x - 22, 3*k = -4*x - a. Let b(i) = -i**2 + 2*i + 1. Let h be b(3). Which is smaller: x or h?
x
Let d be (1 + 0)/(1*10/(-3660)). Which is smaller: -365 or d?
d
Let a(t) = -2*t**2 + 26*t - 5. Let x be a(15). Let g = x - -73. Is 37/4 at least g?
True
Suppose -f + 4*g + 30 = -3*f, f = 3*g + 10. Let c = f + 8. Suppose 2*l - 11 = -3*k, -4*l = -8*k + 5*k - 13. Which is bigger: c or l?
l
Let n be 2*10*95/(-20). Let t be 1/(-1) - n/97. Is t >= 0?
False
Let l be (-1544)/30 + (-9 - 1729/(-195)). Which is smaller: -52 or l?
-52
Let x(g) = 5*g**3 - g**2 - 17*g - 9. Let h be x(4). Which is greater: 2 or h?
h
Let u = -1417.1 - -1417. Do 3/23 and u have different values?
True
Let l = -1956 + 1930. Which is greater: l or -24?
-24
Let j be -5 + 3 - (1 - 2/1). Is j bigger than 6/911?
False
Let g = -0.3 - -0.2. Let n = 0 + g. Let j = 0.464 + -0.164. Which is bigger: n or j?
j
Suppose 14 - 4 = 2*o. Suppose -o - 4 = -b. Let i be (b/(-6))/((-6)/(-8)). Which is smaller: i or -3?
-3
Let u = 30.7 + -39. Are -3 and u non-equal?
True
Suppose 14*o - 472 - 284 = 0. Suppose 73*x - 76*x = o. Which is bigger: -19 or x?
x
Let p = 56742/5 - 11306. Which is greater: 41 or p?
p
Let w(h) = -34*h - 295. Let k be w(-24). Which is greater: k or 1039/2?
k
Let k = 99.8 - 99.789. Which is smaller: 0.3 or k?
k
Suppose -2*g + 2*f = -3*f + 8, 2*g + 2*f = 6. Let u(q) = -7*q**2 + 3*q - 2. Let i be u(g). Let d be 2*(15/i)/(-5). Which is smaller: -3/11 or d?
-3/11
Let y(n) = -n**2 - 8*n + 10. Let t be y(-8). Suppose 0 = 4*b - t - 26. Which is greater: 8 or b?
b
Let o be (0 + 6/(-8))*(-156)/117. Let f = -31289/1