120)). Which is smaller: y or 0.6?
0.6
Let q = -445/2 - -239. Let j = -17 + q. Which is smaller: -1/3 or j?
j
Suppose a + f = -2*f + 15, a = 5*f - 25. Suppose -2*s + h + 18 = 0, a*s - h + 10 = 2*s. Do s and 0 have different values?
True
Let m be 2/(-2)*(-22 + 11). Is 11 at most m?
True
Let t = -793/27246 + 2/717. Let u = 121/266 + t. Let x = -19/28 + u. Which is smaller: -1 or x?
-1
Let q = 0.1 - 5.1. Let a = q + 4. Let f = 0 + a. Which is greater: f or -3?
f
Let c be ((-1)/(-3))/(5/30). Let b be (1 - c/2)/(-2). Let x = 35/74 + 1/37. Is b > x?
False
Let a = 2.5 + -3.5. Is -0.43 greater than a?
True
Let s be (-2)/14 - (-2)/14. Is 0 >= s?
True
Let h(n) = -3*n - 17. Let x be h(-5). Do -21 and x have the same value?
False
Let z be ((-6)/2)/((-3)/3). Let b = z + 1. Let s be (-120)/(-55) - b/2. Is 1/2 smaller than s?
False
Let d = -3 + 3.04. Let p = 0.01 + d. Let b = -1.95 - p. Which is bigger: b or -2/7?
-2/7
Suppose 3*z - 4*v = -z + 40, 3*v = -3*z + 60. Which is bigger: -0.1 or z?
z
Let j = 65 - 65. Let g(s) = -s**2 + 4*s - 2. Let r be g(4). Is r > j?
False
Let t = -0.1 + 0. Let o = 3812/13 + -293. Which is smaller: t or o?
t
Let a be (-444)/42 + 8/14. Let o = -7 - a. Which is greater: o or 4?
4
Let w = -10 + 9.1. Let n = 0.1 - w. Which is smaller: 5 or n?
n
Let k = 8 - 9. Let z = 0.28 - -8.72. Is k smaller than z?
True
Let y be 72/33 - 4/22. Let i(p) = -p**3 - 4*p**2 - 5*p - 4. Let c be i(-3). Is y >= c?
True
Let n = -13 - -11. Let i = n - -2. Which is smaller: i or -0.1?
-0.1
Suppose -2 = -2*i - 0*i, i = -4*n - 19. Let a = n - -8. Are 3 and a equal?
True
Let u(z) = -z**2 + 8*z - 7. Let s be u(6). Suppose 9 + 16 = -s*c. Which is smaller: c or -6?
-6
Suppose 5*i + 5 = 20. Let s = i + -1. Let y be s/(-3) - 2/6. Which is bigger: -4 or y?
y
Let b(x) = x - 2. Let r be b(1). Is r at most 1?
True
Let f = -1.9 - -0.9. Let s = -3.02 + 7.1. Let l = s - 0.08. Which is smaller: f or l?
f
Let v(u) = -u**2 - 8*u - 1. Let x be v(-7). Let m be ((-1)/(-2))/(x/8). Is m <= 1/4?
False
Suppose 3*p - 4 = 7*p. Let a be (-2 - -2) + 2*p. Let i be (-12)/(-16) + a/(-8). Is 0 at least i?
False
Let r = 0 + 4. Let m be (-3)/(-5) - r/(-10). Let x be 3 + (-1)/m + 0. Is x greater than or equal to 1?
True
Let k = -2.8 - -3. Let j be (-1)/10*2625/14. Let b = 19 + j. Is k at least as big as b?
False
Suppose 1 + 4 = -5*d. Let j = -7 + 10. Suppose 8 = -2*a - j*f, -2*a = -4*a - f - 4. Is a greater than d?
False
Let p = -6.66 + 7. Let x = p - 0.04. Which is smaller: 2 or x?
x
Suppose -2*i = -4*i + 14. Let z = 10 + -17. Let t = i + z. Is 0 less than or equal to t?
True
Let m(n) be the second derivative of -n**3/6 + n**2/2 + 3*n. Let x = -3 - 0. Let s be m(x). Does s = 5?
False
Let y = 387 + -4265/11. Are -2 and y equal?
False
Let u = -4006/13 + 308. Let v(c) = -c - 11. Let k be v(-9). Let r be (-1 + 4)*-1 - k. Is u bigger than r?
True
Let d be (6/45)/((-4)/432). Which is smaller: -14 or d?
d
Suppose -5*b = 8 - 3. Which is bigger: -1/31 or b?
-1/31
Suppose -5*c + 3*d + 90 = 21, 2*c - 5*d - 39 = 0. Does c = 12?
True
Let c(b) = -2*b**2 + 3*b - 2. Let u be c(3). Let s be 2/(1 - u - 1). Which is smaller: -1 or s?
-1
Let d be 6/4*(-5 - -3). Let w be (d/2)/(11 - -1). Is w <= 0?
True
Let f(s) = 4*s - 4. Let i be f(5). Let n be i/2*9/30. Let v = 2 - n. Which is bigger: -1 or v?
v
Let s = -1259/8 + 157. Let f(g) = -g**2 - 2*g - 1. Suppose -3 = 2*n - 1. Let o be f(n). Is s less than o?
True
Suppose -3*v - 3 = -5*o, 2*v = 7*v + 5. Suppose o*x - 2 = -3*c - 5*x, 3*c + x - 10 = 0. Suppose 10 = 3*t + c*g - 9, 4*g = 3*t + 13. Is -4/9 at most t?
True
Let q(z) = z**2 + 9*z + 5. Let m be 12/3*-1*2. Let h be q(m). Let y be 0/(-2 + (-3 - h)). Does y = -1/3?
False
Suppose 7*p + 7 = 6*p. Suppose 0 = b - g + 9, 3*b + g + 20 - 5 = 0. Is b at least p?
True
Let p be ((-1)/2)/(3/8). Let s = 119 - 120. Is p smaller than s?
True
Suppose 5*g - 50 = 7*g. Let c be (-2)/8 + g/(-20). Does c = 8/7?
False
Suppose -5*b = 9 - 29. Let g be b*(14/4 + -3). Is g greater than 1?
True
Let d = -0.2 + 0.32. Let x = d + -0.02. Which is smaller: x or 0?
0
Suppose 0 = 5*b - 4*b - 1. Suppose 2*m - 6 = h, -5*m + 15 = 5*h - 0*h. Are h and b non-equal?
True
Suppose 0*b + 4*b + 8 = 0. Is b greater than -1?
False
Let a(c) be the second derivative of c**4/6 - c**3/6 - 4*c. Let d be a(-1). Is d at most 2?
False
Let z(o) = -2*o**3 - o**2 + o - 2. Let u be z(-3). Suppose 7*y - 2*y + u = 0. Which is bigger: y or -9?
y
Let k be -10*(24/10 + -2) + 3. Which is smaller: 1/199 or k?
k
Let b be 30/25*(-5)/2. Is 3 != b?
True
Let z(r) = -r**3 + 8*r**2 + 8. Let b be z(8). Is b greater than or equal to 6?
True
Let u = -1.1 + 1. Let q = 5 + -7. Which is greater: u or q?
u
Let z = 0.5 - 0.4. Let u = z - 1.1. Is -1/3 greater than or equal to u?
True
Let s(x) = -x + 3. Let l(c) = 2*c**3 - 2*c**2 - 2*c. Let d be l(2). Let k be s(d). Is k not equal to -1/13?
True
Let d = 5.8 + -5.6. Which is smaller: d or 37?
d
Let k be (2 + -2)/(2 - 4). Suppose 5*p - 35 = -2*g, p + 25 = -4*p. Let y be ((-2)/(-30))/(12/g). Is k at least as big as y?
False
Let a be 3/(-2) - (-6)/4. Suppose n - 5*j = -33 + 14, -n - j + 5 = a. Which is bigger: 5 or n?
5
Let y be 4 + -2 + -5 + (6 - 3). Which is smaller: y or 2/203?
y
Let y be (-4)/10 - 4/(-10). Suppose 0 = -z - y + 1. Which is greater: z or 3/5?
z
Suppose -k - 5*i = -6, 2*i - 4 = -2. Is -1/20 smaller than k?
True
Suppose -l + 1 = 4*u - 7, l - 2*u = -10. Is l not equal to 0.2?
True
Let y be ((-2)/(-4) - 1) + (-9)/(-2). Which is smaller: 0 or y?
0
Let v = 74 + -56. Which is bigger: 19 or v?
19
Let m = -40 + 16. Is m less than -23?
True
Suppose -23*b = -22*b + 5. Are -8 and b equal?
False
Suppose -2*k - 19 = -3*k - 3*z, 2*k - 2*z - 14 = 0. Let y = k + -10. Is y >= 0.06?
False
Let a = -8 + 12. Is a bigger than 6?
False
Suppose 3*z - 22 = 3*i - 7, -3*i + 20 = 4*z. Let y be (-3)/6*i + 1. Is y smaller than -4/9?
False
Suppose -b + 3*t + 10 = 0, t - 3*t = -3*b + 9. Which is smaller: b or 3?
b
Let t be 1/2 - (-49)/14. Suppose 9 = 3*v - 0*v. Is v not equal to t?
True
Let y(k) = -k**2 - 7*k + 1. Suppose 12 = -2*v + 2. Let z be y(v). Is 11 at least as big as z?
True
Let y = 42 + -41. Is y <= 0.7?
False
Let w(m) = m + 1. Let z be w(-2). Let g(o) = o - 26. Let l be g(28). Which is smaller: l or z?
z
Let q(j) = -j**3 + 9*j**2 + 5. Let h be q(9). Suppose 4*c - 7 = -w, 3*w - 4 = h*c - 17. Let a be (2 + 6/(-2))*w. Is a at most -6?
False
Let r(n) be the third derivative of n**5/60 + 7*n**4/24 + n**3/3 + 5*n**2. Let k be r(-7). Which is smaller: k or 1/2?
1/2
Let r be 2 + 2/(-8)*0. Are r and 1/2 nonequal?
True
Suppose -5*z = 10, -5*z + z + 176 = 2*x. Which is greater: 93 or x?
93
Let y = 16 + -13. Suppose -k = y*o, -k = k + 4*o + 6. Is k smaller than -9?
False
Let p = -11 - -7. Let w be (-1104)/p*4/(-1102). Let l = w - -26/29. Is 0 != l?
True
Let t(c) = -c**3 + 15*c**2 + 19*c - 47. Let b be t(16). Which is bigger: 3/38 or b?
b
Let z(p) be the third derivative of p**4/24 + p**3/6 + 5*p**2. Let r be z(0). Is -1/3 less than r?
True
Let a = 5 + -1. Let v be 9/a - (-3)/(-1). Which is greater: v or -1?
v
Let u = -9 + 16. Let n = u - 8. Which is smaller: n or 0.1?
n
Let x be 39/13 + 15/(-4). Which is bigger: 2 or x?
2
Suppose 3*o - 7 = 4*a, -2*o - 5 = 5*a - 2. Is 11 greater than o?
True
Let r be ((-48)/32)/((-6)/(-56)). Which is bigger: r or -15?
r
Let u = 15 - 13. Is u at most as big as 1?
False
Suppose n - 2*n = 0. Suppose n = -m + 4. Suppose 2*b - 10 = -6*l + l, l = 0. Which is greater: m or b?
b
Let d be 40/70*(-7)/6. Is 36 bigger than d?
True
Let p = -4/147 - 218/2793. Let j(y) = y**3 - 2*y**2 - 2*y - 2. Let t be j(3). Is p <= t?
True
Let v = 97/259 + 2/37. Which is smaller: 4 or v?
v
Let c be ((-12)/(-45))/(6/15). Which is bigger: c or 3/14?
c
Let d be 352/(-33) + 6/9. Which is greater: -8 or d?
-8
Let t be 4 + -4 + (-1)/13. Let r = t - 8/65. Which is bigger: r or 1?
1
Let l = -222 - -264.9. Let u = 51 - l. Let s = u - 8. Which is greater: 2/7 or s?
2/7
Let q = 5 - 11. Let i be q/9 - (-10)/24. Which is smaller: 3 or i?
i
Let j be (-4)/15*(4 - 145/30). Which is bigger: j or 2?
2
Let o(s) = -s**2 + 2*s + 3. Suppose -6*t + 2*t = -12. Let b be o(t). Does 2/5 = b?
False
Suppose d - f = 47, -5*f + 6*f = -2*d + 79. Is 42 at least as big as d?
True
Suppose 