 greater: k or 0.1?
0.1
Let s(x) = -x**3 + 4*x**2 + 5*x - 2. Let t be s(5). Let i be 4 + (-4 - t) + -1. Let l be 10/75*i*5. Do 0 and l have the same value?
False
Let g be (-2)/(-6) + (-5790)/36. Let y = -156 - g. Which is bigger: 4 or y?
y
Let g(i) = i**3 - 2*i**2 + i - 2. Let v(r) = 2*r - 2. Let k be v(2). Let s be g(k). Is -1/26 at least s?
False
Let z be ((-5)/70)/(2/(-2)). Let m(o) = o**2 - 4*o - 5. Let h be m(5). Which is smaller: h or z?
h
Let k be (-9 - -5)*(-2)/4. Let x be (k/(-6))/(5/15). Which is smaller: x or 1/4?
x
Suppose 0*v = 2*v + 6. Let a be 2*((-16)/6 - v). Is a < 1/3?
False
Suppose -t + 5 + 4 = 2*n, t + 16 = 3*n. Let w = -32 - -38. Is n >= w?
False
Suppose 5*p + 19 = 2*d, 0 = -d - 4*p - p - 13. Let a be 9/5 - (-4)/(-10). Is a less than d?
True
Let h be -1*2 + 7/4. Suppose 3 = v - 1. Suppose -3*t + 3*s + 12 = 0, -4*t - s = -2*s - v. Are h and t nonequal?
True
Let q = -5 + 5. Let i = q - -12. Let j be (-6)/(-88) - 3/i. Which is greater: j or 0?
0
Let h = 6 - 9. Is -1 at least h?
True
Let a(x) = x**3 + 8*x**2 - 2*x - 12. Let p be a(-8). Suppose -p*h - 16 = i + 3*i, 3*h - 5*i + 28 = 0. Is -2/5 at most as big as h?
False
Suppose 0 = -0*u + 3*u - 3. Suppose i - 4*i = -6. Which is smaller: i or u?
u
Suppose -5*z = 4*z - 6*z. Is z at most as big as -4/69?
False
Let i = -0.044 + -5.956. Which is smaller: i or 1?
i
Suppose -3*a - 3*q = 24, -3*a = 2*a - 2*q + 5. Do -2 and a have the same value?
False
Let q be (-6)/(-8) - 9/(-36)*1. Which is greater: q or -33?
q
Let o(t) = t**2 + 2*t - 7. Let b be o(-6). Which is smaller: 2 or b?
2
Let j = 9 + -9. Is -2/35 > j?
False
Let q(d) = -5*d**2 - 2*d - 1. Let t be (-1)/2*-7*6. Let s be (-15)/t - (-2)/(-7). Let p be q(s). Which is greater: p or 2/5?
2/5
Let r(x) = -5*x - 23. Let f be r(5). Are f and -50 equal?
False
Let w = -2.95 + -0.05. Is w less than or equal to 1?
True
Let f = 777 - 60607/78. Let b = f + -17/26. Suppose 26 = -5*i - 4*l, 6 - 2 = -l. Are b and i equal?
False
Suppose -3*b = -5*b - 6. Do -2 and b have the same value?
False
Let o(j) = 3*j + 2. Let i be o(-3). Which is smaller: -8 or i?
-8
Suppose 5*w = -4*r + 33, -2*r + 3*w - 16 = -w. Suppose -2*l + n = -r, -3*l + 8*l - 6 = 3*n. Let f be l + -2 + (-4)/(-3). Which is smaller: f or -1?
-1
Let f be 6 - (4/6 + (-154)/42). Is 6 equal to f?
False
Let l be 1*3 + (8 - 12). Do -2/7 and l have the same value?
False
Let d(u) = -18*u**3 + 3*u**2 - 2. Let w be d(-1). Is w >= 19?
True
Let o = 11 - 15. Let y = 3.8 + o. Which is smaller: 1/2 or y?
y
Suppose -h + 70 = -3*h + p, 5*h = -2*p - 184. Let i be (4/8)/((-2)/h). Let o(s) = -s + 13. Let a be o(i). Which is smaller: 5 or a?
a
Suppose p - 6*p - 11 = -2*j, 2 = 2*p - 4*j. Do p and -19/5 have different values?
True
Let q = 2/1177 + -2448/55319. Which is smaller: 0 or q?
q
Suppose -117 = 11*i - 106. Let a be (-10)/(-12)*2/(-10). Is i < a?
True
Suppose -3*t = 5*r + 35, -17*r + 22*r + 30 = -2*t. Let u = 5 - 11. Is t < u?
False
Let u(j) = -j**3 - 10*j**2 - 9*j. Let b be u(-9). Which is greater: -2/3 or b?
b
Let v = -6/37 + 171/370. Which is bigger: -1 or v?
v
Let t be 7 + -12 - (1 - 0). Let u be (-1)/2 + t + 7. Which is smaller: u or 0?
0
Let m(r) = -10*r - 10. Let k(v) = v + 1. Let n(b) = 8*k(b) + m(b). Let f be n(-4). Suppose t = -4*u + 6*u + f, u = 2*t - 6. Which is bigger: t or -2?
t
Let m be (-13)/2 + (-3)/(-6). Let h(y) = -y - 10. Let p be h(m). Suppose -3*j - 10 = -g, -4*j + 2*j = -4*g. Does j = p?
True
Let q = -9 + 10. Let j be (q/9)/(1/(-2)). Which is bigger: -1 or j?
j
Suppose -5*r + 140 = 4*c - 0*r, -c = 4*r - 46. Suppose -4*d - 10 = -c. Which is bigger: 4 or d?
d
Let c = 947/7 - 135. Let h = 7 + -5. Suppose 3*i = -h*i - 5. Is i < c?
True
Let v be 50/(-4)*(-4)/(-5). Let n = v + 3. Is n less than or equal to -8?
False
Suppose -3*i = -i - 6. Which is greater: 1 or i?
i
Let w be 4/(-8) + 7/22. Suppose -i = -a - 4, 5 = 2*i - 3. Is w >= a?
False
Let n = -40187/9 - -1756555/396. Let l = 115/4 + n. Let d = l + 27/22. Which is bigger: d or 2?
2
Let u be (-2 - -1)*(0 - -8). Let b(d) = d**3 - 4*d**2 + 2*d + 1. Let i be b(3). Let k be (i/u)/((-1)/(-4)). Is 1 at least as big as k?
True
Let u = -0.3 - -0.2. Is u equal to 2/9?
False
Let g be 1 - (-1 + 0/3). Let i be ((-2)/36)/(g/(-16)). Is i at least 0?
True
Let u(y) = -y - 2. Let a be u(-4). Let q be 2*(-2)/(-4)*a. Let w be 21/(-30) + q/10. Which is smaller: -1 or w?
-1
Let s be 13 + (-3)/3 + -3. Let b = -8 + s. Is 0.02 equal to b?
False
Let v = -7.027 + 0.127. Let q = -7 - v. Do q and 3 have the same value?
False
Suppose 0*d + 2*d - 5*l + 24 = 0, -3*l + 6 = 3*d. Suppose 0 = 5*c - 4*r - 31, 0 = c + 2*r + 2*r - 11. Let i be (-12)/c - 4/d. Which is smaller: i or 1?
i
Let m(f) = f**2 + 5*f + 4. Let y be m(-3). Let o = -5 + 4. Is y < o?
True
Suppose -3*f + 3*u - 2*u = 1, 4*f - 5 = -5*u. Which is greater: -3/10 or f?
f
Let m be (-57)/(-6) + 1/2. Suppose -m*d + 7*d = 0. Is d at most 0?
True
Let r(j) = j**2 + 5*j - 4. Suppose 0*n - 3*z + 40 = -5*n, -5*z = -n - 30. Let s be r(n). Suppose -4*a - 8 = 4. Is s > a?
False
Let b = -1/61 + 78/1037. Is b < 1?
True
Let k = -1.4 - -5.4. Which is bigger: k or 0.1?
k
Suppose -5*g = -3*f - 2, 3*g + 15 = -3*f - 3. Let k be (2 - 1)*-52 + g. Let i = k + 164/3. Are 1 and i nonequal?
True
Let g be (-5)/(-20) - (-2)/(-4). Which is smaller: 0 or g?
g
Let y = 6 + 20. Is y != 26?
False
Let h(a) = -3*a**2 + 7*a + 8. Let o be h(7). Let v be (-64)/o - 3/5. Is v less than or equal to 1?
True
Let c = 5 + -4. Let v = 0.3 + -0.2. Let u = -1.1 + v. Which is smaller: u or c?
u
Suppose -5*k + 0 = -5*m - 15, 0 = -2*k + 8. Let s be (3/21)/(m/2). Which is smaller: s or 1/4?
1/4
Suppose 4*y - 28 = -5*x - 12, -y - 2*x + 7 = 0. Let r be (-2 - y)/(4/20). Let w be 10/(-8)*r/(-25). Which is bigger: -1 or w?
w
Suppose -18 - 7 = 5*x, 4*w = -4*x - 24. Suppose 0 = 2*k - 22. Let z = k + -45/4. Which is bigger: w or z?
z
Let z be 9/(-3) + (-3992)/(-1332). Let l = -4/37 + z. Suppose 0 + 1 = v. Is v less than or equal to l?
False
Let c = -32 + 31. Which is bigger: 3/16 or c?
3/16
Let j = -2322/85 - -136/5. Suppose -7*s = -3*s - 4. Let i be (s + -2 - -1)/(-3). Which is smaller: i or j?
j
Suppose -h + 4 = -3*h. Suppose -4 + 16 = 4*z. Suppose n + 2 = -3*w + z, -2*n - 1 = 3*w. Is h at most as big as n?
True
Let x = -148 + 166. Which is greater: -2/5 or x?
x
Let d(x) = x**2 - 7*x + 4. Let h be d(6). Let y be 4*h*(-1)/108. Is 1 != y?
True
Let u be (-4)/18 + 204/(-54). Let g = -3 - u. Is 9/8 bigger than g?
True
Suppose -5*p + 11 = y, -6*p = -p - 2*y - 23. Let c be (p/5)/(4/(-10)). Suppose -h = 2 + 1. Is c less than h?
False
Suppose -a - 54 = -2*p, 2*a = p - 0*p - 30. Is p at most 27?
True
Let k = 0.3 - 0.29. Let a = -0.01 + k. Which is bigger: 0.3 or a?
0.3
Let q be 3/10*(-3 - -5). Suppose 2*z - 1 + 6 = -3*w, 3*z - 9 = w. Which is smaller: q or z?
q
Suppose 0*y - 5*y = 4*j + 16, y - 22 = 2*j. Is -37/4 greater than j?
False
Suppose -5 + 5 = -9*p. Is -2/5 at most as big as p?
True
Suppose -3*t = -0 - 6. Let q(v) = v**2. Let a be q(-1). Let w be (a/t)/((-3)/(-6)). Which is smaller: -1 or w?
-1
Suppose 0 = -0*k + 2*k. Let a = -5 + 6. Let l be (-3)/(a + 47/(-2)). Is l equal to k?
False
Let z = 0.097 - -0.003. Is -0.048 <= z?
True
Let b = -2.3 - -1.3. Is b <= 1/49?
True
Suppose -2*k = k. Is k smaller than 1?
True
Let v = -1 - 0. Let k(y) = 44*y. Let a be k(-2). Let p = -173/2 - a. Is p > v?
True
Suppose 32 = n - 5. Suppose 5*v + n = 7. Let s be v/15 - 8/5. Which is smaller: s or -3?
-3
Suppose 5*i - 3*v - 12 = 0, 4*i = -0*i - 4*v + 16. Let s(f) = -f**2 + 7*f + 1. Let l be s(7). Which is bigger: l or i?
i
Let d(z) = 2*z**2 + z - 2. Let l be d(-2). Let o = 5 - l. Let g be 6/(-9)*6/(-8). Is o < g?
False
Let n(p) = -4*p - 24. Let g be n(-6). Which is greater: g or -1?
g
Let m(q) = -5*q**3 - 5*q**2 - 12*q. Let u(r) = 9*r**3 + 10*r**2 + 23*r. Let g(o) = 11*m(o) + 6*u(o). Let n be g(6). Let a = n + 1. Are 1/6 and a equal?
False
Suppose 492 = -5*y + 5*v - 198, -3*v - 6 = 0. Let f = 977/7 + y. Which is greater: f or -1?
f
Let l = 0.07 + -2.13. Let c = -2 - l. Which is greater: c or -1?
c
Let l = -13 - -12. Let t = 28/115 - 24/23. Is l > t?
False
Let g(v) = 21*v - 1. Let k be g(1). Let x be (-75)/k - 2/8. Which is bigger: -3 or x?
-3
Let i be 3/15*(-1)/2. Let g be 504/(-315)