ller: h or v?
h
Let l = 0.83 - 0.9. Let a = l + -2.93. Suppose 3 = -0*c + c. Which is bigger: c or a?
c
Let q(p) = -13*p. Let k be q(1). Suppose 0 = u + 14 - 1. Is u greater than or equal to k?
True
Let s(t) be the first derivative of -t**2/2 - 12*t - 7. Let w be s(-5). Is -6 bigger than w?
True
Suppose -3 = w - b, -2*b - 2*b + 12 = -5*w. Is w at least -1/3?
True
Let y be 2/(-12)*(-4)/(-1). Let i = 7 + -7. Let j be (2 - 1) + -1 + i. Which is smaller: y or j?
y
Let b = -1.64 + 1.24. Do b and -10 have the same value?
False
Suppose 103 = 2*k + 89. Let o be 0 + (40/6 - 1). Is k less than o?
False
Suppose h + 18 = 7*h. Is h bigger than 3?
False
Suppose 1 - 12 = -4*w - a, -5*a + 19 = 2*w. Let s be (0 + 0 + 1)*w. Suppose 5*y - c - 11 = 0, 2*y - 1 = -2*c - c. Does y = s?
True
Let x be 42/(-12)*((-114)/21 + 2). Suppose 4*s = -2*r + 42, 0 = 5*r - 6*s + 3*s - 40. Is x less than r?
False
Suppose 0*q = 3*r + 2*q + 2, -3*q - 3 = 3*r. Which is smaller: r or -8/13?
-8/13
Let k be (-4)/(-8)*(-1 - -9). Suppose k*s + 2*q = 5*q + 16, -4*s + q = -16. Which is greater: s or 3?
s
Let r = -5.89 + 1.19. Let t = 14 - 9. Let p = r + t. Is p at most as big as 0.1?
False
Let j = 4.97 + 0.03. Let k = j - 5. Let h = k - 0.3. Which is greater: h or 1/3?
1/3
Let l = 3 - 3.3. Let g = 0.4 + l. Which is greater: g or 2/7?
2/7
Let g(s) = -s + 3. Let x be g(0). Suppose 7 = -x*d - 17. Let c = 2 + d. Which is smaller: -0.1 or c?
c
Suppose -8 + 76 = -4*u. Which is greater: u or -16?
-16
Let s = -24 + 12. Let x be (-12)/14*21/s. Is 1 <= x?
True
Suppose z - 2 = -z. Let h be ((-2)/2 - -1)*z. Let g = 6 - 5. Which is greater: g or h?
g
Let f be (2/5)/(5/(150/(-18))). Suppose 0*q - 5*q - 5 = 0. Which is smaller: q or f?
q
Let j = -1 - -5. Let t(k) = -k + 8. Let n be t(j). Let w be ((-9)/(-18))/((-2)/(-8)). Is w greater than or equal to n?
False
Let o(a) = a**3 - 4*a**2 + a - 4. Let v be o(4). Let p be (4 - v)*2/8. Suppose h = 3 - p. Do 1/2 and h have different values?
True
Let c = 0.2 - -0.2. Let u = 0.4 - c. Which is smaller: u or -1/2?
-1/2
Let j be 3/(-5) - 2/5. Let a be j*-9*(-2)/3. Let f be -4 + 5 - a/(-2). Which is bigger: 0 or f?
0
Let a(v) = -5*v. Let b be a(-1). Let p be 5/(-2)*(-24)/15. Is b at most p?
False
Let s = -29/45 - 1/45. Suppose -5*v - 4*b = -v, 0 = -5*b + 5. Are s and v non-equal?
True
Let s(v) = -v**2 + 15*v - 27. Let z be s(13). Which is bigger: z or -1/66?
-1/66
Suppose 5*u - 1247 = -7. Let y = -1987/8 + u. Is y equal to -1?
False
Let w be 2/(-10) + (-12)/15. Let o be (8 - 10) + (w - -1). Which is smaller: -3 or o?
-3
Suppose 0 = -c - 4*g + g + 1, -c - 5*g = -3. Let n = -4 + 2. Is n less than c?
False
Let x be (1*2)/((-21)/(-3)). Is -21/2 > x?
False
Let y = -5.1 + 5.47. Let u = 0.03 + y. Is u bigger than 3?
False
Let k = -1103 + 1096. Suppose 4*s + 0 = -3*h - 16, 0 = 5*h + s + 38. Which is bigger: h or k?
k
Let t = -18.32 - -0.32. Which is bigger: t or -2/5?
-2/5
Let y = -0.4 - -0.4. Let j = -9 - -11. Suppose -4*s + 3*v + 1 + 4 = 0, j*v + 8 = -2*s. Which is smaller: s or y?
s
Suppose 0 = 3*k + 4*p + 1 - 21, -2*p + 10 = -4*k. Suppose 3*o - o + 8 = k. Which is bigger: -3 or o?
-3
Let s(f) = f**3 + 6*f**2 - 4*f + 22. Let z be s(-7). Is 2/21 less than z?
True
Suppose 4*k - 14 = 5*j - 3*j, 3*j - 3 = -2*k. Suppose 0*v + 6 = 2*m - v, -5*m + 13 = -2*v. Which is smaller: k or m?
m
Let h be -7 - -4 - 248/(-40). Is h bigger than 4?
False
Suppose 2*m - 3*a - 16 = -0*a, 3*m - 2*a - 14 = 0. Let l = 3 - m. Suppose -w + 2 = -l. Which is smaller: 1 or w?
1
Suppose 2*y + 2*y - 28 = 0. Is y greater than or equal to 2?
True
Let f = 0.032 - 4.832. Let u = -5 - f. Let k = -0.8 + u. Does k = -0.1?
False
Let v be 4/14 - 340/2023. Is -1 not equal to v?
True
Suppose 0 = -14*z + 16*z. Which is bigger: z or 4/43?
4/43
Let o = -3 + 3. Let g be 4/(-7) + 88/7. Let r = g - 10. Which is greater: r or o?
r
Let s(a) = 2*a**2 - 10*a + 1. Let x be s(7). Let p = 105/4 - x. Which is greater: -2 or p?
-2
Let h = -143 + 144. Which is greater: 1/194 or h?
h
Let n be (106/(-8))/((-30)/(-4)). Let d = n - -8/5. Let x = -2 - -3. Are x and d non-equal?
True
Let j = 9/4 + -2. Let d = 5.2 - 0.2. Are j and d non-equal?
True
Suppose 0*c + 7*c = -21. Which is bigger: c or -1?
-1
Suppose -4*q = n + 1, -5*q + 14 = -2*n - 1. Suppose 4*g = 4*y + 28, 0*g - 49 = -2*g - 5*y. Let i be 1/(-28) - 3/g. Is i at most q?
True
Let k = -1.6 - -0.7. Let p = k + 0.8. Which is smaller: 1/3 or p?
p
Let b = 13 - 11. Which is smaller: b or 0?
0
Let f = -13 - -18. Let y = -8 + f. Is 2 less than y?
False
Let l = 67404/5 - 13383. Let h = l - 16127/165. Which is smaller: h or 1?
h
Let v = -114.814 - 0.186. Let c = -110.1 - v. Let m = c + -5. Are 0.03 and m non-equal?
True
Suppose -z + 2*y - 248 = -3*z, 0 = -z - 2*y + 122. Let p = z + -1384/11. Let g(x) = x**3 + 2*x**2 - 2*x - 3. Let a be g(-2). Is a greater than or equal to p?
True
Suppose 4*u - 164 = 4*f, -129 = -5*u - f + 88. Which is greater: 45 or u?
45
Let i be (4/8)/(1/(-34)). Is i less than -17?
False
Let k = -0.13 - -2.13. Which is smaller: k or -6?
-6
Suppose -h = 4 - 7. Which is greater: 2 or h?
h
Let c(j) = j**3 + 3*j**2 + 2. Let h be c(-3). Suppose q + 1 = h*q. Is 3/7 less than or equal to q?
True
Let q be 1 + 18 + 3 + 1. Suppose -5*i + 2*j + 6 = -q, 5*i = 4*j + 23. Suppose -3*b + i*b = 0. Which is bigger: -1 or b?
b
Let q = 17 - 13. Suppose 4*r = -5*l + 22, -q*r + r + 5 = -2*l. Which is bigger: 0.1 or l?
l
Suppose 4 = 2*n - 0. Suppose -3*z = 2*z + n*s + 6, 4*z + 18 = 5*s. Let r be (2/(-6))/(z/18). Is r <= 3?
True
Let g = 81 + -80.9. Which is greater: 96 or g?
96
Let f be 764/10184*-2 + (-8)/(-76). Is 0 greater than or equal to f?
True
Let u(d) = -3*d - 6. Let g be u(3). Is -15 at least g?
True
Let y(v) = v**2 - 6*v + 5. Let i be y(5). Let u be (-3)/(-15)*15/4. Which is smaller: u or i?
i
Let t(g) be the third derivative of -g**5/60 + g**4/12 + g**3/6 + 2*g**2. Let w be t(2). Suppose -4*h = -w - 3. Does 1 = h?
True
Let x be (-9)/6 + (-4780513686826)/131284. Let n = 36413530 + x. Let m = 2/1427 - n. Which is smaller: 0 or m?
0
Let y be (4 - 4)/(1 - 0). Let j = -1225349/3900780 - -2/75015. Let t = j - 1/52. Which is bigger: y or t?
y
Suppose -2*k = -k - 2*n + 3, k + 2*n = 9. Let a be 0/k + 6/2. Is 4 greater than or equal to a?
True
Suppose 0 = 4*h - 5*h + o + 3, 3*h = -5*o + 1. Let k be (-2)/(-8) + (-30)/(-8). Let u(t) = -t + 5. Let m be u(k). Is m greater than h?
False
Let u = -25.1 - -24. Let l = u - -1.2. Let f = 1 + -1. Is f >= l?
False
Let q = 2.14 - 0.14. Let r(i) = -i**2 - 7*i + 2. Let p be r(-4). Let j be ((-18)/p - -1)*1. Which is greater: q or j?
q
Suppose -4*b - v - 8 = 4*v, 0 = -2*b - 2*v - 4. Which is smaller: -0.07 or b?
b
Let u(g) = g**2 - 5*g + 3. Let t be u(5). Suppose t*c - 8 = 4*a, -5*a - 8 = 5*c - a. Suppose -3*h + 6*h = 3*p + 9, -3*h - 3*p = 3. Is h less than or equal to c?
False
Let v be 50*(-5)/(-4)*2. Let z = 9/776 - 486597/3880. Let f = v + z. Which is smaller: 0 or f?
f
Suppose 0*b - 3*b - 15 = 0, 2*b = 4*a - 18. Suppose -5*i = -3*w - 10, 0*w - a*w + 30 = 4*i. Let s be 8/20 + 13/i. Is s bigger than 3?
False
Let x(s) = -s + 1. Let q be x(-2). Suppose -8 = -7*g + q*g. Is 1 != g?
True
Let r be 4/11*2/(-4468). Let h = r + -270188/774081. Let i = 1/63 + h. Is 1 at least as big as i?
True
Let i = 1 - 1.16. Which is bigger: i or -2/3?
i
Let w be (5/10)/(1/12). Which is smaller: w or 5?
5
Suppose 3 - 19 = 4*s. Let i be (-4 + 1)*s/12. Which is smaller: 7 or i?
i
Let f(s) = 8 - 2 - s**2 - 6*s - s. Let o be f(-8). Which is smaller: -3 or o?
-3
Let m = -51609/46 - -1122. Which is greater: -1 or m?
m
Let s(d) = -3*d - 20. Let n be s(-8). Are n and 0 non-equal?
True
Suppose 4*y = x - 95, -5*x + 2*y = -0*y - 403. Is 80 less than or equal to x?
False
Let s(o) = 5*o - 7. Let r be s(3). Let f be 2/r - (-14)/8. Do f and 0 have different values?
True
Let c(q) = q**2 - 3. Let v be c(-2). Which is smaller: v or 3/10?
3/10
Suppose -l = -0*l + 9. Let d = 146 + -155. Do l and d have different values?
False
Let q be ((-15)/(-10))/(4/(-8)). Is -2 bigger than q?
True
Let g = 18.8 - 19. Is -3/4 bigger than g?
False
Let c = -0.97 - -0.07. Let b = 7 - 8. Let z = b - c. Which is greater: 3/2 or z?
3/2
Let w = -34 - -34. Which is greater: w or 1/39?
1/39
Let x = 1.23 + -0.93. Which is