igger: p or 1/4?
1/4
Let f = 0.8 + 0.2. Let a = -6 + f. Let k = 3 + a. Is k at most -0.2?
True
Let m be (2 - (-2 - -2)) + 10. Is m <= 12?
True
Let i = 3 - 2.6. Suppose 3*k - 3 = 4*k. Let x be (-1)/k + 2/(-6). Which is greater: x or i?
i
Let k(b) = 32*b**2 + 2*b + 1. Let c be k(-1). Suppose -2*n = -c - 1. Is 16 smaller than n?
False
Let t be (-7 + 0)/(4/(-4)). Which is bigger: t or 6?
t
Suppose -6*i + 7*i - 10 = 0. Let h = 19 - i. Do 9 and h have the same value?
True
Let y(g) = g**3 + 13*g**2 - 1. Let d be y(-13). Is 1/82 > d?
True
Let u = -1 - -0.9. Is 0.22 bigger than u?
True
Let u(t) = -t**3 + 32*t**2 + 70*t - 77. Let r be u(34). Suppose 5*x + 21 = -29. Which is smaller: x or r?
x
Let n be 10/5*58/4. Let b = n + -57/2. Let j = -1/50 - 9/50. Which is smaller: b or j?
j
Let y be 2*(-1 + 3/2). Let s be 1/2*(-1 + y). Let x = -84 - -84.2. Is x >= s?
True
Let m(t) = t + 4. Let f be m(-2). Let c be 0*((-9)/6)/(-3). Suppose 6*b - f*b = c. Is b greater than or equal to -0.1?
True
Suppose 2 = -4*d + 2*v, 2*d - 2 = -v - 1. Let q = -1 + 10. Let t = q - 37/4. Which is smaller: t or d?
t
Suppose 1 = a - 2*r, r = -a - a - 23. Is a != -29/3?
True
Let r = -2 + 5. Suppose 0 = 4*v + r*j - 28, 5*j = 5*v - 26 - 9. Suppose v*w = 3*w + 8. Is -2/7 less than or equal to w?
True
Let d = 5.2 + -4. Which is greater: d or 0.2?
d
Suppose -n + x = -0*n - 19, -2 = -2*x. Suppose 2*g - n = 6*g. Which is smaller: -9/2 or g?
g
Suppose -14 + 0 = -2*h. Let u be 1/14*(-3 + h). Is u bigger than -2/7?
True
Let x(t) = t**2 - 4*t + 5. Suppose -q + 3 = -1. Let u be x(q). Is u >= 5?
True
Let u = 31 + -30.6. Are 4/11 and u non-equal?
True
Suppose -4*w = 4*a - 36, -22 = -3*a + 2*w - 5. Which is bigger: 9 or a?
9
Let s be (74/(-144))/((-3)/6). Let a = 7/9 - s. Which is smaller: 1/3 or a?
a
Let k(c) = 2*c**3 + c**2 + 2*c + 1. Let r = -3 + 2. Let m be k(r). Which is smaller: m or -1?
m
Let r = 16 - 32. Let c = 16 + r. Which is bigger: c or 1/2?
1/2
Let g = 3.99 + 0.01. Let h = g + -4.5. Let q = h - -0.4. Is -1 > q?
False
Let o = 1 - -3/2. Is 3/4 greater than o?
False
Let u be 30/2*(-21)/(-35). Let l = u + -6. Suppose 7*w = -l*f + 2*w - 20, 4*f = 4*w + 16. Which is smaller: f or 1?
f
Let x = 29/52 - 4/13. Let j = 0.3 - 0.34. Let o = 0.14 + j. Is o at least x?
False
Let t be (-2 + -2 + 5)/1. Is -2 greater than t?
False
Let m = 271/9 - 30. Suppose 3*i = -5*p + 15, 5*i = 5*p + 9*i - 20. Is p at most m?
True
Let p = 0 - 11. Is p not equal to -11?
False
Let i = -30 - -6. Let g be ((-6)/20)/(i/20). Is -0.1 at most g?
True
Let w = -112 + 164. Is w at most 51?
False
Let b(q) = -7*q**3 - q. Let h be b(-1). Is 8 equal to h?
True
Let m be 3 + (3 - 6) + 4. Suppose -3*c - 5*r = 2*c - 120, -2*c - m*r + 58 = 0. Which is smaller: c or 1?
1
Let q be 13/5 + (-2)/(-5). Suppose -m - 2*m + 35 = -4*s, 0 = -s - 2*m + 5. Let u be (1 + s/q)*3. Do -2 and u have different values?
False
Let d = -8 - -6. Let x = -14.8 + 15. Is x at most d?
False
Let j = 3 - 2. Let f be (-4)/(-24)*-4*9/(-3). Is f greater than j?
True
Let y = 3007/18 + -167. Are -1 and y equal?
False
Let h be 10/(-4)*(-12)/5. Let z(k) = 3*k - 15. Let p be z(h). Which is greater: 9/4 or p?
p
Let y = 32 + -34. Is y less than -0.7?
True
Let o = 1.91 + -2. Let s = o - 0.01. Let b = s - -3.1. Is 0.1 at least b?
False
Let c = -7 - -7. Suppose 2*o - 3*o = -4*i + 20, c = -4*o - i + 5. Is 1/7 less than or equal to o?
False
Let k be 6/(-8) + 2/(-8). Let g = -15 - -15. Let x = 0.2 + g. Does x = k?
False
Let g(b) = b**3 + 2*b**2 - 3*b - 2. Let v be g(-3). Let a = 35 - 38. Let r = v - a. Which is bigger: -2/15 or r?
r
Let x be (-1)/3*-1*-1. Let h = -36.4 - -36. Which is bigger: x or h?
x
Let f be 11 + (0 - 1 - 0). Which is bigger: f or 11?
11
Suppose -5*c + 2*c = 0. Let b = -7/6 + 5/6. Which is greater: c or b?
c
Let s = -68 - -202/3. Let w(v) be the third derivative of -v**5/60 - v**4/4 - 7*v**3/6 + 3*v**2. Let g be w(-5). Which is smaller: g or s?
g
Let c = 158/13 - 12. Let y(p) = p**2 + 4*p - 6. Let i be y(-5). Is i >= c?
False
Suppose 3*g - l + 0*l = 14, -g + 5*l = 0. Let k(b) = b**2 - 4*b - 1. Suppose d + 5 = 10. Let r be k(d). Which is smaller: g or r?
r
Suppose -2*t - t = -12. Let w be (-6)/(-9)*(-6)/t. Let q = 4 - 4. Does w = q?
False
Suppose 0 = -3*g + 6, -2*c - 2*c = -4*g - 36. Suppose -2*r - 8 = -n, 6*r - r = -2*n - c. Suppose 2 = -n*v - 6. Which is greater: v or -5?
v
Suppose -2*p - 3 = -p. Let n(g) = g - 1. Let l be n(p). Is l < -4?
False
Let i = -0.08 - 1.12. Let v = i - -1. Is v > 2/3?
False
Let g(p) = p + 3. Let y be g(-4). Which is smaller: -4/11 or y?
y
Let c(q) = -55*q - 35. Let s(d) = 8*d + 5. Let t(f) = -3*c(f) - 20*s(f). Let i(a) = -11*a - 11. Let g(u) = 4*i(u) + 9*t(u). Let v be g(0). Is 1 > v?
False
Let m = 31859/37 - 861. Which is bigger: 0 or m?
m
Let x = 6 - 9. Let n = x + -2. Suppose 4*l - l + 23 = 5*j, -12 = -4*l - 4*j. Is n greater than or equal to l?
False
Let x be 148/(4/9*(-45)/(-10)). Which is bigger: x or 73?
x
Let o be ((-1)/7)/((-3)/21). Do -1/4 and o have different values?
True
Let h = -258 - -2067/8. Which is greater: -1/3 or h?
h
Let i = 25 + -31. Let y(j) = -j - 1. Let g be y(6). Is i less than g?
False
Let c be ((-6)/(-2))/(-3) + 4. Let k = c + -7. Let p = k + 3. Which is smaller: 1/7 or p?
p
Let v = -18 + 25. Let y(f) = -f**2 + 7*f. Let s be y(v). Let r = 0 + 0. Are r and s equal?
True
Let v be (-2)/6*(3 + -18). Suppose v*d = d. Which is smaller: d or -1?
-1
Let i(j) = 17*j. Let r be i(2). Let z be 10/45 - r/72. Which is smaller: z or 1?
z
Let p = 1.2 - 7.4. Let c = 6 + p. Are c and 1 non-equal?
True
Suppose 0*j - 10 = -r + 2*j, -2*r + 24 = -3*j. Is r at least 18?
True
Let w = -21 - -46. Suppose 2*g + 3*g + w = 0. Let o = -4 - g. Which is bigger: 3/2 or o?
3/2
Suppose -b - 15 = -6*g + 3*g, -13 = 3*b - g. Let k be (-3)/b*0/(-2). Which is smaller: k or 6/11?
k
Let q(u) = u**3 + 6*u**2 + 5*u + 1. Let x be q(-5). Is -2/11 bigger than x?
False
Suppose 4*m = -l + 1, 4 = 4*m + l + 3*l. Which is greater: m or -6/43?
m
Let m = 0 + 1. Let x be 2/4*(-1)/(-2). Is x at most as big as m?
True
Let q(w) = w + 9. Let j be q(-6). Suppose -j*v - 21 = -5*b, -4*b = v - 2 - 8. Is v at least as big as -1?
False
Suppose -4*s - 32 = 5*p + 67, p - s = -18. Let y = 13 + p. Let f be (1/y)/(5/(-20)). Are f and 1/8 non-equal?
True
Suppose 3 = -5*a + 8. Let j be a/2 + (-2)/6. Let i = 16 - 15. Which is smaller: i or j?
j
Suppose 7 = -5*i + 3*p + 1, -3*i - 6 = -3*p. Do i and 2/13 have the same value?
False
Suppose -2*s + 6*s = 0. Let h = 62158/28677 + -225/121. Let p = 2/79 + h. Which is greater: s or p?
p
Suppose 3*q - 11 = 2*r - 0*r, 4*q = 4*r + 16. Let y(w) = -w**3 + w**2 + w + 1. Let k be y(r). Let v be 3*(3 - 2) - 2. Which is greater: v or k?
k
Let b be -2 - -2 - (-2 + 7/3). Which is smaller: b or 3.3?
b
Let d = -72 + 71.8. Which is smaller: -17 or d?
-17
Let j = -556/9 - -76163/1233. Let i = j + 559/1507. Does i = 1?
False
Suppose 2*z + 3 = 7. Suppose -p + 1 = z. Let q be -3*(-3)/12 + p. Which is greater: q or -1?
q
Suppose 2*w - 5 = 3*w. Let p(j) = -j**3 - 6*j**2 - 2*j + 5. Let b be p(w). Let r be (-6)/b - (-4)/10. Is 1 smaller than r?
False
Let v = 9.1 - 9. Is v != 86?
True
Let n = 15 + -11. Let o = n + -7. Suppose 2*l + 15 = -3*l. Is l <= o?
True
Let u = -7705/16666 + 1/1282. Which is smaller: u or 0?
u
Suppose c + 5 = -4*s + s, 3*s = 2*c + 1. Let u be ((-4)/(-2) + -5)/1. Is u at least as big as c?
False
Let y(p) = p**2 + 8*p + 11. Let n be y(-4). Which is smaller: -6 or n?
-6
Let l = -184 - -130. Let w be (-12)/l*6/(-10). Are w and 1 nonequal?
True
Let c be (-11 + 1)/2*-1. Let b = c + -2. Suppose 2 = w + w, b*w = -2*m + 3. Which is greater: 1/3 or m?
1/3
Let b = -30 + 29. Let c = 5 - 6. Let w = c - -2. Is b smaller than w?
True
Suppose 2*v - 13 = 5*n + 5, -2*v = n + 6. Which is smaller: -2/11 or v?
v
Let o(i) = -2*i + 9. Let h be o(8). Let p = -10 - h. Which is bigger: -2 or p?
-2
Let z be (-5)/10 + 3/2. Is z at least as big as 2?
False
Let g(s) = s**2 - 4*s - 2. Let v be g(6). Let h = -4 - 4. Let z be h/(-10) + v/50. Which is smaller: z or 1/4?
1/4
Let m(z) = -z**2 - 7*z - 5. Let u be m(-4). Let f(w) = -w + 6. Let q be f(u). Which is bigger: q or -3?
q
Let r be (-4)/6*63/14. Let l be (1 - (-1 - r)) + -3. Let q be l + 3 + 1 - 1. Is q not equal