gger: 10 or t?
10
Let h be 15/25 - (-17)/(-45). Which is smaller: -2 or h?
-2
Let b = -47 + 25. Is -1/3 != b?
True
Let h(i) = 4*i**3 - i. Let u(c) = -c**3 + 3*c**2 + 3*c + 5. Let s be u(4). Let z be h(s). Let t be -2 + -8 + z/1. Is -7 at least as big as t?
True
Suppose 4*w = -3*u - u + 64, 0 = 4*w - 4*u - 24. Which is smaller: w or 12?
w
Let w be (-6)/21 + 2594/(-84). Let d(r) = -r**3 + 7*r**2 - 3*r - 4. Let h be d(5). Let g = h + w. Is g <= -1?
False
Let c = -1 + 6. Suppose 9 = 3*p - 9. Is p > c?
True
Let b = -12716 + 142635/11. Let m = b + -251. Is m <= -1?
False
Let b(j) = -j**3 - j**2 + j - 1. Let w be b(0). Let k be w/3 - 2/(-3). Let u be 2 - (4/10 + 32/20). Is k <= u?
False
Let r = -10 - -11. Suppose 0 = -5*q - 3*z - z + 140, -111 = -4*q - 3*z. Let w be (2 - q/10) + 1. Is r at most w?
False
Suppose 16 = 4*l, -2*l + 32 = 5*a + l. Suppose -2*g + a = 2*g. Let p(k) = k**2 + 6*k + 2. Let h be p(-6). Is g at least as big as h?
False
Suppose 0 = -2*b - d - 3, 4*b + 10 = -b - 3*d. Let f be (-16)/(-88) - 344/(-528). Which is bigger: b or f?
b
Suppose 0 = 4*h - 7*h + 9. Suppose -3*v + r = -13, 0 = -h*r + 1 + 5. Suppose j + 0*j = -v. Is -3 <= j?
False
Let i be 6*(-3 + 2 + 0). Let w = -11/2 - i. Is w at most 2?
True
Let v = 7 + -7.02. Let s = 0 + v. Which is smaller: -1 or s?
-1
Let s = -2 + 0. Let r = 3 + s. Which is greater: r or 0?
r
Suppose -4*n - 4*k + 0*k + 4 = 0, -3*n - 2*k = 0. Let m be ((-1)/(-5))/(4/10). Let u = -1 + m. Which is smaller: u or n?
n
Let s = -76 + 457/6. Suppose -2*y + 3 = 1. Let i = 0 - y. Is s at least i?
True
Let i = -76 + 227/3. Which is bigger: i or -10?
i
Let n be 392/(-21) + 2/3. Let j be (-561)/30 + 1/5. Let d = n - j. Which is bigger: 0 or d?
d
Let p be (-2)/(-2 + 24/15). Suppose -4*y = b - 9, -4*y + 4 = -p*y + b. Are 1 and y non-equal?
False
Let u(k) = -k**3 - 8*k**2 + k + 10. Let q be u(-8). Suppose 0 = -4*n + 2*m + q, 0 = n + 2*n - m. Let j be 84/32 - (1 - -2). Is j not equal to n?
True
Let c(i) = i + 9. Let o be c(-6). Let x be ((-2)/o)/((-2)/(-12)). Let j(b) = -b**3 - 4*b**2 - b - 5. Let d be j(x). Do 0.2 and d have the same value?
False
Let z be -2 + 0 + (-7)/(-6). Let l be 2/4 + 15/(-2). Let i be 20/70 + 2/l. Is i < z?
False
Let c(m) = m**2 - 8*m + 10. Let u be c(7). Which is smaller: u or 2?
2
Let x(l) = -l - 14. Let k be x(-16). Which is greater: k or 7/10?
k
Let p = 0 + -0.3. Are -0.1 and p non-equal?
True
Let b(z) = 5*z. Let a be b(3). Let h be 2/(-3) + 40/a. Let i = h - 1. Are 3/5 and i non-equal?
True
Let p(i) = 2*i - 9. Let o be p(7). Let j(n) = n + 9. Let t be j(-4). Is t less than o?
False
Suppose 2*j + 3*j = 70. Suppose -2 = -0*d - 5*d + 2*c, j = 3*d + 2*c. Suppose -p = d*p. Is p at least 0?
True
Let y(v) = 3*v**2 - 5. Let b be y(3). Are b and 21 equal?
False
Let a = -2.057 + -0.043. Let w = a - -0.1. Let c be (-3)/4*(-4)/6. Which is bigger: c or w?
c
Let g be 1*(-1 + 0) + 5. Let j(d) = -d**2 - 9*d - 15. Let y be j(-5). Which is greater: y or g?
y
Let s be 3/(6/(-4)) - -11. Are s and 8 equal?
False
Let t be 7/21*2/(-9). Let d be (1 - 3)/(1/2). Let l be d - -5 - (2 - 2). Is t smaller than l?
True
Let z be (-30)/(-4)*(-2)/(-6). Let q(h) = 3*h**2 + 4*h - 2. Let w be q(-4). Let u be 36/w*10/4. Which is greater: z or u?
u
Suppose -7*g = 2 + 5. Let y be ((-6)/2)/(27/12). Is y not equal to g?
True
Suppose -2*b - 8 = -l + 5*l, -5*l - 23 = -4*b. Let m(u) = -u - 4*u**b - 1 - 6 + 3 - u**3. Let c be m(-4). Which is smaller: -0.1 or c?
-0.1
Let l be ((-238)/105)/(-17) - (-11)/(-20). Is -1 bigger than l?
False
Let y = -31 + 48. Are y and 17 nonequal?
False
Let y = 4 + -3. Let c = -2/815 + 2453/3260. Which is smaller: c or y?
c
Let c be ((-4)/42)/((-2)/(-36)*-4). Is 0 < c?
True
Let p = 45.9 + -48. Let f = p - -1.1. Let s be 2/4*-1 - 0. Which is greater: s or f?
s
Let x be (-10)/(-15) - 574/(-21). Which is smaller: x or 0.1?
0.1
Suppose 4*p - 51 = -3*i, i = 4*p + 2*i - 57. Which is smaller: 14 or p?
14
Suppose -19 = -2*l + 4*x - 47, 4*x = -l - 20. Let y = l + 29. Suppose 3*m + y = -2*h + 6*h, 3*m = 2*h - 5. Which is smaller: 3/4 or m?
3/4
Let l = -3.02 - -0.02. Let n = -3.2 - -3. Let v = n - -0.2. Is l at least as big as v?
False
Let d = -5 + 5. Is d less than -0.14?
False
Let x(y) = y - 16. Let o be x(8). Let r = -5 - o. Suppose -r*u - 2*j = -8, 3*j = 1 + 2. Is 1 equal to u?
False
Let y = 17 + -11. Let x = y - 10. Let l be 5/20 - 1/x. Is l >= 1?
False
Let f = -443.79 + 442. Let z = 0.21 - f. Which is smaller: z or -0.5?
-0.5
Let b = -9 + 14. Let t be ((-1)/(-5))/(2/b). Which is greater: t or 1?
1
Let h = 24.4 + -2.4. Let d = 27 - h. Let l(j) = -j - 4. Let a be l(-4). Which is bigger: d or a?
d
Suppose 25*q = 29*q + 72. Which is smaller: q or -19?
-19
Let j(a) = -a**3 - 2*a**2 + 2*a + 1. Let l be j(-3). Suppose 5*i + l + 1 = 0. Let u be ((-2)/(-5))/((-27)/(-15)). Which is smaller: u or i?
i
Let h = 11 - 12. Is 2/59 less than or equal to h?
False
Suppose 0 = -2*i + 6*i. Let q be -6*(1 - 3)/6. Suppose 0*f - 2*f = q. Which is bigger: f or i?
i
Let q = 0.1 + -0.3. Let d = q - -0.3. Let x(u) = 3*u + 17. Let v be x(-6). Do d and v have the same value?
False
Let w = 40 - 5. Let o be ((-3)/(-1))/(21/w). Suppose -4*k + o = k. Is 1 greater than or equal to k?
True
Let g be (2 - 0) + (-2 - 1). Suppose 0*c = -5*c - 50. Let l be (g - -3) + c/4. Is -1/2 at least l?
True
Let x = 329/8 + -83/2. Suppose 3*v - 4 = v. Suppose -v*s - 4 = -m - 7*s, 4*m - 2*s = -6. Which is smaller: m or x?
m
Let m = 876 - 11400/13. Is m > 0?
False
Suppose 6 = -5*l - 34. Suppose 6*n + 54 = 2*n - 2*a, 4*n - 4*a = -36. Let m = n - l. Which is smaller: -3 or m?
m
Let p be (-1 - 3)/(-2*1). Suppose -p*r = -r - 8. Suppose 0 = 4*f - r*f - 4. Is f >= -2?
True
Let f = 1269 + -3775/3. Let g = f + -253/24. Which is smaller: g or 0?
0
Let a(l) = -l**3 + 5*l**2 + 2*l - 4. Let q be a(5). Let r be q/21 - 1/28. Is -1 less than or equal to r?
True
Let l = -743.58 - -755. Let z = 11 - l. Let c = z - -0.02. Is -1/3 < c?
False
Let c be (-1)/(-3) + 58/6. Suppose -z - 5 = 2*j, -5*z = -3*z + c. Is -0.1 at least j?
False
Suppose s + t = -0*t + 3, t = 5*s - 3. Let j be 2/4 - s/2. Is 1/7 != j?
True
Suppose h - 12 = -3*h. Suppose -12*b + 14*b + 4 = 0. Let t = h + b. Which is smaller: 1/3 or t?
1/3
Let l be 6/33 - (-766)/22. Let q be (-2)/7 + 80/l. Suppose 4*c - q = 6. Are 0 and c unequal?
True
Let s be 4 - ((-2 - -2) + 1). Let l be s + ((-165)/24 - -1). Let y = l - -193/56. Which is bigger: 1 or y?
1
Suppose 2*w + 0 = 4. Let b = 1 + 2. Is b >= w?
True
Let r = -3/352 + -629/8800. Which is bigger: r or 1?
1
Let i be ((-2)/3)/((-1)/(-3)). Suppose 0 = -g + b - 6*b + 4, -3*g = -5*b - 12. Suppose 0 = -4*c + 5*r - 19, 5*c + 4*r = r + g. Which is bigger: i or c?
c
Let c = 3 + -5. Let z = -3 + -1. Let g = z - -4. Do g and c have the same value?
False
Let m = -8 + 9. Which is smaller: 10 or m?
m
Suppose 5*d + 2*z + 40 = -3*z, z = -4*d - 20. Suppose 17*m - 13*m - 56 = 0. Let o be (-161)/(-49) + d/m. Which is smaller: o or 2?
2
Let i be (1/(-3))/((-4)/72). Suppose 4*t + t = -5*k, 2*t = -4*k + i. Is t <= -3?
True
Let o = 95/3 - 31. Suppose -5*l + 13 - 28 = 0. Is l smaller than o?
True
Let i = -342 + 340. Let n = 10 - 14. Let c = n - -3. Which is bigger: i or c?
c
Suppose -7*q = 4*q. Which is smaller: -10/7 or q?
-10/7
Let j = -5477/15 + 365. Which is greater: 1 or j?
1
Suppose 3*x = -2*x. Suppose 55 = -x*l - 5*l. Are -11 and l nonequal?
False
Suppose -6 = 2*o - 5*o. Suppose t + o*i - 14 = -i, 0 = -t + 4*i - 14. Let l = -100 + 102. Is t greater than l?
False
Suppose -14*b = -11*b. Is 0 at least as big as b?
True
Let h = -14 - -18. Suppose 0 = h*a - 5*b - 23, -3*a - 2*a - 2*b + 37 = 0. Is 7 bigger than a?
False
Suppose -3*v = -j - 17, 3*j = -2*v + 7*j - 2. Which is smaller: -2 or v?
-2
Let p = -1 - -2. Let f be (2/(-5))/(1/(-5)). Let i = f - p. Which is greater: 1/2 or i?
i
Let w be (-3 - 2) + 0 - -4. Which is smaller: w or -1/3?
w
Let d = 46 + -32. Which is smaller: 2 or d?
2
Let m(b) = b - 5. Let r be m(7). Is 3 != r?
True
Suppose -h - 4 = -2*j - j, 5*j + 3*h - 30 = 0. Suppose 7*x - 13 = 1. Which is smaller: j or x?
x
Let t = 8 - -9. Let o = t - 137/8. Which is greater: o or 1?
1
Let x be 4/3 - ((-240)/9)/4. Which is smaller: x or 9?
x
Let p(w) = -w**2 + 10*w - 13. Let i be p(8). Let u be