hich is smaller: o or p?
p
Let b be (18/(-63))/(0 + -3). Which is bigger: -1 or b?
b
Let o be (-1)/2 - (-27)/54. Do o and -2/15 have the same value?
False
Let i be (-4)/8*(-2 - -2). Is i bigger than 1/27?
False
Let v = -11 + 10. Let r = -6 + 2.8. Let n = 3 + r. Is v at least as big as n?
False
Let o = 799 + -95083/119. Which is greater: -1 or o?
o
Let r(m) = m + 8. Let v be r(-8). Suppose v = 4*s - 5*w + 2 + 3, -3*s + 2*w + 5 = 0. Is 5 < s?
False
Let c be (-4)/(-6) + 10/3. Let m be (-8)/c - (2 - -1). Let f be (5 + m)/((-2)/(-2)). Is f at most as big as 0?
True
Let v be (-2)/((-14)/12 + 1). Let c be (2/20)/(v/15). Which is bigger: c or 1?
1
Suppose -3*i + 4*c = -16, -4*c = -0*i - 2*i + 16. Let p = -95 + 949/10. Is p at least i?
False
Let h = -110 + 772/7. Is 0.2 greater than h?
False
Let v = 10/83 + 541/332. Which is bigger: 2 or v?
2
Let h be (-4)/18 + (-136547)/(-360). Let g = -379 + h. Let n = g - 19/40. Which is smaller: n or 0?
n
Let x = -13 - -6. Suppose -h = 3*s, -2*s + 3*h = 9 + 2. Are s and x non-equal?
True
Let j = 5.4 - 6. Let q = j + 4.6. Let v = 0.21 - -0.79. Which is smaller: q or v?
v
Let j = 7 - 3. Let i = j - 2. Suppose 0 = -i*k - 2*k. Which is smaller: 1/2 or k?
k
Let o be ((-36)/(-24))/((-69)/4). Which is smaller: o or 0?
o
Let s be (-2)/(-5) + (-6)/40. Suppose 4*r - 20 = -r. Suppose 0 = r*o + 9 - 5. Which is smaller: o or s?
o
Let f(p) = p**2 + 4*p + 3. Let c = 4 + -4. Suppose c = -3*o - 0*o - 6. Let g be f(o). Do g and -2 have different values?
True
Let m = -235/174 + 1/58. Suppose -9 = -5*k + 2*k - 3*g, -k + 2*g - 12 = 0. Is m bigger than k?
True
Let u = 4 + -2. Is u >= 7/3?
False
Let t = 5.019 + -0.019. Which is greater: 3 or t?
t
Let t = 44 - 44. Is 1/5 less than or equal to t?
False
Let d = -9 - -14. Suppose -d*k = -k + 4. Let h = 3 + -4. Is k less than h?
False
Suppose 1 = 7*c + 1. Which is smaller: -5/6 or c?
-5/6
Suppose 0 = 5*l + 5, 2*r + l + 2*l = -11. Suppose -5*c = -5*t, -2*t + c + 2*c + 1 = 0. Let x be (3 + 0)/(t + 0). Which is smaller: x or r?
r
Let r be (1 - 2) + 6 - 0. Suppose -6 = -3*c + r*c. Which is greater: c or -4?
c
Let h = -0.11 + 0.01. Suppose 0 = 2*i - 0*i - 18. Let b be 2/(-12)*i/12. Is b smaller than h?
True
Let h be (7 - -23)*(-8)/(-50). Does 5 = h?
False
Let l be 2/4*(-4 - -4). Is -1 less than l?
True
Suppose -6*b + 0*b = 36. Suppose 2*n - n - 6 = 0. Let p(f) = f**3 - 7*f**2 + 4*f + 7. Let h be p(n). Which is greater: h or b?
h
Let x = 9 - 18. Are x and -5 non-equal?
True
Let h = -0.4 + 0.19. Let y = -0.11 - h. Let s = -5 + 3. Is s smaller than y?
True
Let v be (-15)/(-230)*(-16)/(-6). Is 1 >= v?
True
Let n = 0.13 - 0.37. Let c = 0.2 + -0.24. Let g = c - n. Which is smaller: g or -1?
-1
Let y = 22864 + -136879/6. Let h = 51 - y. Is h <= -1?
False
Suppose -5*m + 50 = 5*b, -2*b - 35 = -4*m - b. Suppose 3*a - m = -2*p, 0*p - 5*p = 5*a - 20. Let z be 6/16*(-2)/(-3). Is a at most as big as z?
False
Let z = 0.4 + 0.6. Is z greater than -5?
True
Suppose 4*j - 18 - 50 = 0. Is 15 at least as big as j?
False
Let q = -0.08 - -0.08. Let f = 8 - 11. Which is greater: q or f?
q
Let s(i) = -i**3 - 4*i**2 - 2*i. Let a be s(-3). Suppose 17*u = 12*u - 5. Which is greater: u or a?
u
Let v = 2 - 1. Suppose -4*l + 2*l + 5*t + 13 = 0, 2*t = -6. Let n = v - l. Is n less than 2?
False
Let c(z) = z - 1. Let f be c(-9). Suppose -5*u - 4 - 1 = 0. Which is smaller: f or u?
f
Let b = 0.2 - 1.2. Let n = b - -0.7. Do n and -2 have the same value?
False
Suppose 3*b = -2*w - 3 - 0, 5*b = -2*w - 5. Let v be ((-1)/6)/b*-3. Which is smaller: v or 2/5?
v
Let n be 1/3 + (-136)/12. Does -11 = n?
True
Let a be 2/(-4) + (-14)/(-4). Let p(x) = -x**3 + x**3 - 1 - 4*x**2 - 2*x**3 + a*x**3. Let m be p(4). Is m <= -1?
True
Let k(t) = t**3 - 3*t**2 + t. Let q be k(1). Let s be 1*(16/(-14))/4. Which is bigger: s or q?
s
Let g be (2 + -1)/(3/54). Suppose b + 12 = -0*b + 5*i, 3*i - g = -3*b. Which is bigger: b or 0?
b
Let y(b) be the third derivative of -b**4/24 + 5*b**3/6 - 2*b**2. Let j be y(4). Let w = 78 - 388/5. Which is greater: w or j?
j
Let m(d) = -d**3 - 2*d**2 + 1. Let l be m(-1). Suppose -5*o + 1 + 19 = 0. Let z be ((-2)/26)/((-2)/o). Is z smaller than l?
False
Let z be 4 - (-2 - -2) - 2. Let t be ((-6)/87)/((-2)/z). Which is greater: -1 or t?
t
Let b be (-69)/2 - 3/(-6). Let x = -477/14 - b. Which is smaller: -1 or x?
-1
Let r = -23 - -17. Do r and -6 have different values?
False
Let c(u) = 0*u**2 + 2*u**2 - u**2 + 1. Let r be c(0). Which is bigger: r or 6?
6
Let i = 70 + -137/2. Suppose 0 = -b - b - y - 7, -4*y = 3*b + 18. Let u(d) = -d. Let v be u(b). Which is greater: i or v?
v
Suppose 7*k = 9*k + 28. Let g(h) = -h**3 - 14*h**2 + 2*h + 18. Let w be g(k). Which is smaller: -9 or w?
w
Let t(k) = k**3 - 10*k**2 + 6*k + 16. Let d be t(9). Is d < 1?
True
Let t = -0.23 + 0.3. Let g = 0.38 + -0.5. Let o = t + g. Is o at least as big as 0?
False
Let o = 1141180298 - 8747147010236/7665. Let u = 1/1533 + o. Let z = 19/5 + u. Is -1 <= z?
True
Suppose k - 9 = -8. Which is bigger: 1/36 or k?
k
Let u = -4 - -6. Let j(n) = n**2 + 5*n + 5. Let i be j(-4). Which is smaller: i or u?
i
Let a = -9/2 - -25/6. Which is greater: a or -4?
a
Let a(v) = -2*v + 7. Suppose 2*t = 3*z + 3*t - 10, -5*z + 3*t = -26. Let n be a(z). Let m be 12/2*2/32. Which is greater: m or n?
m
Let r = 41 - 35. Which is bigger: r or 1?
r
Suppose -2*b - 2 = 2*c, -3*b + 0*b - 2*c = 1. Let o = 2 + b. Which is greater: o or 2?
o
Let c be (-5 + 15)/(0 - 2). Let p = c - -5. Let y be (2/(-6))/(13/6). Are p and y equal?
False
Let m = -53/84 - -2/3. Which is bigger: m or 0?
m
Let b = -3 - -3. Let w = 2.9 + -3. Let h = w + 0.2. Which is bigger: h or b?
h
Let x(m) = m**2 + 7*m + 7. Let s be x(-6). Is 0 equal to s?
False
Let v be 792/(-30) + 3 + 5. Which is smaller: v or -17?
v
Suppose -6*j + 2*j = 0. Suppose j = -2*x - 4*o + 2, -9 = 5*x - 4*o - 0. Let g = 0 - x. Are -3 and g non-equal?
True
Suppose -15 = -5*y + 4*k - 5, 8 = 4*y - 5*k. Let r be 1/(-7)*(y - -1). Which is smaller: r or -1?
-1
Let o = 20 - 40. Is o < -21?
False
Let h = 37 + -38. Is h greater than or equal to 1/39?
False
Let f(n) = 3*n**2 - 30*n - 26. Let c be f(11). Suppose 0 = -0*l - 5*l + 30. Is l less than or equal to c?
True
Let k = 1.5 - 0.5. Which is greater: 0.03 or k?
k
Let l = 202.8 - 181. Let k = l + -11.7. Let v = k + -10. Does -3/4 = v?
False
Let l be (48/24)/((-50)/(-46) + -1). Do 24 and l have the same value?
False
Let o = 11/41 + 333/287. Suppose -3*t + 5*j + 26 = 0, -5 = 5*j + 15. Is o not equal to t?
True
Let h be 4/(-18) + (-20)/36. Which is smaller: h or 0?
h
Suppose 0 = -7*f + 4*f. Are f and 0 non-equal?
False
Let y(u) = -u**2 - 6*u + 8. Let l be y(-6). Let s(m) = m**2 + 13*m + 21. Let r be s(-10). Let n = l + r. Is 0 equal to n?
False
Let a = -0.017 - 2.283. Let s = -1.3 - a. Is s at most 1/3?
False
Let u = 0.02 + 2.98. Let t(v) = -2*v - 33. Let c be t(-16). Which is greater: u or c?
u
Let u be 16/72 - (-250)/9. Which is greater: 29 or u?
29
Let c be (-19)/(-2)*18/15. Let z = -23/2 + c. Is 0 <= z?
False
Suppose -2*h + 4 = -0. Suppose -h*u + 6*t - 2*t + 4 = 0, -6 = -3*u + t. Are 2 and u equal?
True
Let v = 45 - 45. Do -2/9 and v have different values?
True
Let p be 2 - ((-2)/1 - -2). Let c be 2 + (p - 2) - -1. Let o be (6/4)/((-15)/(-20)). Is c smaller than o?
False
Let d be -1 + 1 - (7 + -6). Is -2/7 > d?
True
Let q(a) = 17*a**2 - 2*a + 1. Let y be q(1). Suppose 0 = -w - 3*x - y, -23 = -2*w + 8*x - 3*x. Is w at least as big as 2/33?
False
Suppose 3*j = 2*j + 3, -t + j = 2. Which is greater: 2/87 or t?
t
Suppose 4*o - 2 = -2*f - 0, -f - 4*o = 5. Which is smaller: 6 or f?
6
Let k(i) be the third derivative of -i**5/120 + 3*i**4/8 - i**3/6 - 2*i**2. Let n(q) be the first derivative of k(q). Let p be n(7). Does p = 1/2?
False
Let h(t) = -t**3 - 16*t**2 + 20*t + 57. Let c be h(-17). Which is smaller: 5 or c?
5
Let w be ((-1)/(-1))/((4 + -5)*1). Which is smaller: 4/23 or w?
w
Suppose 2*d - 1 - 3 = 0. Suppose 3*k - 8 = 5*k + 5*z, -2*k + 5*z = -12. Is k greater than d?
False
Let d = -0.1 + 7.1. Let g = 9 - d. Is g greater than or equal to 2?
True
Let a(l) = -l**3 + 9*l**2 + 10*l + 2. Let m be a(10). Suppose -1 = -3*c + m. Is 7/3 greater than c?
True
Let j(y) = -y**2 + 11*y + 14. Suppose -48 = -3*v - 9. Let h 