 4*s - 1. Suppose 3*p + 3 + 3 = 0. Which is greater: s or p?
p
Suppose 3*h + 2*h - 15 = 0. Suppose h*b - 6 = 12. Let p be 2*4 + (5 - b). Which is smaller: 8 or p?
p
Let o = 4.9 - 5. Let x = 0 + o. Which is smaller: 0 or x?
x
Suppose -7*c = -6*c + 24. Are -22 and c equal?
False
Let g be 7 - 2 - (4 + -5). Let l be 117/g*(-2)/3. Is l bigger than -14?
True
Let s = -12.15 + 1.15. Which is greater: s or -1?
-1
Let a(r) = r**2 - r + 1. Let p(i) = -3*i**2 + 3*i - 9. Let l(g) = -4*a(g) - p(g). Let f be l(0). Is 5 at least as big as f?
True
Let j = 5 - 2. Let p = 61.1 + -65. Let y = -4 - p. Which is greater: j or y?
j
Let i be 20/3 - 8/(-24). Let t be (-2)/(-7) + (-94)/(-14). Is i smaller than t?
False
Let f = -1 + -5. Let u = f - -3. Which is greater: u or 2?
2
Suppose 1 = -p - 2*l, 1 = -3*p - 4*l - 2. Let f = -3952/25 + 158. Is f > p?
True
Let i be (-8054)/26*(0 - 1). Let m = i + -310. Which is smaller: -1 or m?
-1
Let r(j) = 5*j**2 + 39*j - 8. Let c be r(-8). Let s = -754/17 + 1435/68. Let d = s - -1775/76. Is c less than d?
True
Let w be (-1 - -11)*17/527. Which is smaller: 0 or w?
0
Let q(j) = -2*j + 13. Let x(i) = -2*i + 12. Let g(k) = -3*q(k) + 4*x(k). Let b be g(4). Which is greater: 2 or b?
2
Let w be (-15)/12 - 1/(-4). Let m be (-4)/(-54)*-3 - 49/(-126). Is w at most as big as m?
True
Let g = 0.39 - 0.39. Let j = 1.93 - 0.23. Is g greater than j?
False
Let v = 5 + -5. Is -3 not equal to v?
True
Let v(b) = b**3 + 13*b**2 + 13*b + 12. Let t be v(-12). Is 2/43 smaller than t?
False
Let l be (-2)/(-8) + (-102)/(-8). Suppose 0 = 4*v + 4*j - 12, -4*v + 3*j - l = 3. Let x = 43/111 - 2/37. Are x and v equal?
False
Let r = 2 + 2. Suppose -7 = -r*z - w, 8 = -2*z + 3*z - w. Let s be 1*(9/z)/3. Does 0 = s?
False
Let j be (4/5)/(4/10). Suppose -j*p + 4 = -6. Let x be (-9)/(-20) + (-1)/p. Is x > 3?
False
Suppose -2*y - 3*y - 70 = 0. Let b(x) = -x**2 - 3*x + 3. Let r be b(-6). Which is bigger: r or y?
y
Let i(g) = -g**3 + 5*g**2 - 5*g - 2. Let o be i(3). Which is bigger: o or -2/5?
o
Let v be 2/2*(-11 + 6). Let q(p) = p. Let s be q(4). Suppose -5*l = -j + 19, l - s = 5*j + 21. Is j greater than or equal to v?
False
Let p(l) = -2*l - 2. Let r be p(-1). Which is smaller: r or -9/8?
-9/8
Let q(r) = r**3 - 6*r**2 - 8*r + 3. Let o be q(7). Let i = -4 - o. Let d be (-5)/3 - -1*1. Which is smaller: i or d?
d
Let x be 2/7 + 75/7. Let n be (-26)/(-22) - 2/x. Is 0 not equal to n?
True
Let m be ((-33)/44)/(2/8). Let p be (-4)/2 - m/(-3). Does 0 = p?
False
Let l be 0/3*(-2)/2. Let p be (18/15)/((-2)/(-10)). Let b be p/15 + (-3)/(-5). Is l equal to b?
False
Let l = 74 + -79. Are l and -5 unequal?
False
Let h = -4.9 + 5. Let i = 0.03 + 1.37. Let r = i - 7.4. Which is greater: h or r?
h
Let p = -4 + 6. Suppose -2*v + 3*a + 3 = -0*v, 2 = 2*v - p*a. Which is smaller: v or 3/7?
v
Let y = -2 - -8. Let m = y - 5. Is 2/9 greater than or equal to m?
False
Let d(v) = -v**2 - 2*v. Let j be d(-2). Let f be (-2)/(-4) - 3816/16. Let i = 2144/9 + f. Is j at most i?
True
Let b = -4029/11 - -366. Which is smaller: b or -1?
-1
Let h(z) be the first derivative of 1/3*z**3 + 2 - z**2 - z. Let y be h(2). Which is smaller: -2 or y?
-2
Let y = 0.033 + -7.433. Let h = -142 + 135. Let i = h - y. Which is smaller: -2 or i?
-2
Let z be -3 - -6 - -1*7. Suppose -14*x + 9*x + z = 0. Is 1 != x?
True
Suppose 1 = -4*k - 15. Which is greater: 1/5 or k?
1/5
Let k = -3 + 1. Let z be 3/((k - -1)*8). Which is bigger: -1 or z?
z
Suppose -3*u - u = 5*z + 13, -3*u + 2*z + 19 = 0. Suppose -4*h = -u*h + 8. Let q be 1*16/10*-5. Is q greater than or equal to h?
True
Suppose 0 = -4*g - 3*j - 22 - 3, -g = 3*j - 5. Which is smaller: g or -3?
g
Let i be (4 - (-96)/(-27))/2. Which is greater: i or 0?
i
Let k(g) = 6*g**2 - 3*g + 2. Let j(u) = u - 1. Let r be j(2). Let d be k(r). Is d < 6?
True
Let y = 3.9 + 0.1. Let q = -3.8 + y. Is -0.1 > q?
False
Suppose 0 = v + 3*v + 5*m + 25, v + 2*m + 10 = 0. Let c be 3*-2 - (-2 + v). Is c greater than or equal to -4?
True
Let y = -93742/93 + 1008. Which is smaller: 1 or y?
y
Let c be (-3)/(2/(-12)*-2). Let f be (-6)/c + (-16)/15. Which is bigger: 0 or f?
0
Let i = 34.2 - 24. Let n = i + -0.2. Which is smaller: 1 or n?
1
Let a(z) = z**3 - 4*z**2 - z. Let n be a(5). Let u be 18/30 + (-2)/n. Let s be (2 - 2/1) + 1. Which is bigger: u or s?
s
Suppose -t + 134 = 9*y - 5*y, 4*y - 4*t - 124 = 0. Which is bigger: 34 or y?
34
Let h(p) = -p**3 + 10*p**2 - 8*p - 5. Let t be h(9). Suppose -t = -3*o + 2. Are o and 3 non-equal?
True
Let g = 11 + -23. Which is smaller: -0.1 or g?
g
Suppose r + 2*v - 9 = 0, 2*r + v = -v + 8. Let k(d) = d. Let x be k(-3). Is r less than x?
False
Let x(p) = -3*p + 40. Let o be x(10). Is o at least as big as 9?
True
Let y = 8.6 + -7. Which is greater: y or 0.1?
y
Let h = -9 + 10. Suppose -2*x - x = 0. Suppose x*b = 4*b. Which is smaller: b or h?
b
Let s = 69/4 - 17. Let p = -0.8 - 0.2. Is p > s?
False
Suppose -4 - 1 = l. Which is greater: -6 or l?
l
Let y be 3/2*(-24)/18. Is y at most as big as -9?
False
Let j be (-4)/(-10)*(-15)/(-57). Let r = 4 - 5. Which is smaller: r or j?
r
Let b(v) = v**2 - 5*v + 9. Let r be b(5). Let t = 10 - r. Is 2 >= t?
True
Let q be ((-14)/8)/(1/(-4)). Let o(a) = -a**3 + 20*a**2 - 17*a - 30. Let f be o(19). Which is smaller: q or f?
q
Let x(j) = -2*j**2 - j - 5. Let m be x(0). Let r be 10/m + 1/4. Which is greater: r or -1?
-1
Let v(w) = 3*w + w + 2*w - 1 - 5*w. Let c be v(-3). Which is smaller: -15/4 or c?
c
Let v(m) = 2*m + 6. Let y be v(-5). Let w(i) = -i - 6. Let z be w(y). Let l be z/(-13) - 12/(-260). Is l smaller than 0.2?
False
Let c = -21 + 9. Is c less than or equal to -56/5?
True
Let k = -24635/7 - -3525. Are k and 7 unequal?
True
Suppose 2*a = 8 - 4. Which is bigger: -1 or a?
a
Let n = 0 + 15. Let b be ((-18)/n)/(2 - 0). Let z(j) = j + 1. Let a be z(-2). Is a smaller than b?
True
Suppose -l + 3*d - 1 = 0, -3*l = 6*d - d + 3. Is l > -2/9?
False
Let y(h) = -h + 1. Let s be y(-1). Let x = 28 + -25. Which is bigger: s or x?
x
Suppose 7*m = 122 + 4. Is m <= 3?
False
Let t be 3 - (-21)/18 - 4. Which is greater: t or -0.2?
t
Let r(p) = -p**2 - 11*p + 17. Let z be r(-12). Suppose -z = 3*u + 1. Is -5/7 bigger than u?
True
Suppose -5*w + 3*w = 762. Let m = w + 3425/9. Is 0 smaller than m?
False
Let q be (-38)/90 + (-4)/(-18). Which is smaller: 1 or q?
q
Let s be -6 + 2 - 339/(-105). Let a = 2470 + -86456/35. Let r = a - s. Which is bigger: 1 or r?
1
Let r = -0.058 + -0.042. Let v = -0.3 + 0.1. Let h = v + 0.5. Is h at most as big as r?
False
Let s be (-2)/3 - (-26)/3. Let z = s + -4. Which is smaller: 5 or z?
z
Suppose 0 = 2*m - 0*m + 4*q - 18, -5*q = 5*m - 70. Is 0 bigger than m?
False
Let y(z) = -z**2 + 2*z + 1. Let l be y(2). Let p be 0 + ((-6)/57)/l. Which is bigger: p or -2/5?
p
Let z = -28.3 - -28.2. Let p = 15 - 21. Is p at least z?
False
Suppose -6 - 4 = -5*d. Suppose -i - 2 = -2*u, -2*i + 0*i = -2*u - 2. Is u at most as big as d?
False
Let y = -0.35 - 0.05. Let k = -10 + 9.96. Let z = k - -2.04. Which is smaller: z or y?
y
Let n be 3 - -1 - (0 + -1). Suppose 4*p - n*p = 1. Let i = 3 + p. Is 4/5 at least i?
False
Let m = -28 - -30. Let y = -32 - -167/5. Which is smaller: y or m?
y
Suppose -d - 2 = -5*k, 0 = -0*k - 3*k + 4*d + 8. Let p(t) = 2*t**2 + t. Let o be p(-2). Which is smaller: o or k?
k
Let o(p) = p**3 + 6*p**2 + 4*p - 2. Let l be (-1)/3 + (-42)/9. Let n be o(l). Suppose -r = -n*r. Which is smaller: r or 2/3?
r
Let r = 3.8 - 0.8. Let x = r - 0. Let f = x - 1. Is f less than -0.1?
False
Let a = -15 - -16. Let j be (-4)/2 - (-3783)/24. Let u = -156 + j. Which is bigger: a or u?
a
Suppose -3*s + s = -8. Suppose 0 = s*h - 3 - 1. Which is smaller: -1/15 or h?
-1/15
Let a be (-20)/2 - (3 + -2). Let k = -11 - a. Is 1/5 not equal to k?
True
Let p be (5/(-10))/(2/(-280)). Let b be (-4)/14 + (-64)/p. Which is greater: -2 or b?
b
Let t = 3.84 - -0.26. Let w = t + 0.9. Is w smaller than -1?
False
Suppose -5*r - 3*x = -4*x + 19, -2*r + x - 7 = 0. Is r > -5?
True
Let g = -27 - -29. Let d = -1 - 1. Is d equal to g?
False
Let s = -1 + 0.9. Let w = 8.08 + -8. Let k = -1.92 - w. Are s and k unequal?
True
Suppose 53 = -10*o + 5*o - 2*a, 5*o = 5*a - 60. Let x be (-8)/o - (4 + -3). Is x greater than 0?
False
Suppose 0 = -0*i + 4*i - 352.