 = -2*p - 3*p + 7. Suppose -22 - 5 = 5*s + 4*x, 0 = p*s + 5*x + 24. Let u = 12 - 16. Which is bigger: s or u?
s
Let v = 2847/11 + -259. Which is smaller: v or 2?
v
Let s = -10 - -12. Suppose 4*c - s = 5*c. Suppose -2*p + 3 - 1 = 0. Which is smaller: p or c?
c
Suppose -3*o + 0*o - 84 = 0. Let s = o + 113/4. Suppose 0 = 4*h - 2 - 2. Which is bigger: h or s?
h
Let w(h) = 3*h**2 - h. Let l be w(1). Let c be (l - 1) + 700/(-715). Let i = c + 10/143. Which is greater: -1 or i?
i
Suppose 0 = -3*k + 3, -1 = -j - 2*k + 3. Let l be (-10)/14*j/(-5). Which is smaller: l or -0.06?
-0.06
Let b(j) = -j**2 - 5*j + 1. Let v be b(-4). Suppose p = -u - 3, -2*u + 3*u = 3*p - 3. Suppose 0 = 5*o + t, v*o + t - 6*t = p. Which is smaller: o or -2?
-2
Let k be 1/3 - (-10)/15. Is 1 >= k?
True
Suppose -3*u = -5*u + 8. Suppose -2*w + u = -2. Suppose 3*k = -2*m + 7, -2*m + w*k + 1 + 0 = 0. Are m and 3/5 unequal?
True
Suppose -2*g = 3*y + 2 - 11, -5*g + 20 = 5*y. Suppose 3*v - 6 + 18 = 0, -5*v - 17 = g*r. Does r = 3?
False
Let r be -1 - (-1)/(1/4). Let d = -3 + r. Let c be (-1)/3 + 2 + -1. Does c = d?
False
Let h = 1 + 1. Let t be 6/4 + 1/h. Do t and 2/7 have the same value?
False
Let f = -11 + 28. Suppose -4 = n, p + 0*p - 2*n = f. Suppose 3*q - p = 3*s, -3*s = -4*q - 5*s. Which is greater: -2/13 or q?
q
Let w be (-39)/(-60) + 4/(-10). Is w smaller than 0.3?
True
Suppose -j = 5*a - 0*a - 37, 6 = 2*a - 4*j. Let f be 1/(-3)*a + 2. Let o = 0 - 1. Which is bigger: o or f?
f
Let x(r) = -r**2 + 5*r - 5. Let a be x(5). Is -6 at least as big as a?
False
Let x = 22 - 11. Which is smaller: 2 or x?
2
Suppose 3 = -4*f - 1. Let l be 1 - f*(1 + 0). Which is smaller: l or 2/7?
2/7
Suppose -q = -3*q. Let k be 0 - (4/7 - q). Is -2 less than or equal to k?
True
Let w be 4/(-6)*(-15)/(-65). Let z be 4/(-5)*10/(-4). Suppose 2*r + 0 = -z. Which is bigger: r or w?
w
Let c = 31 + -26.97. Let l = 0.53 + -0.5. Let g = l - c. Which is smaller: g or 0.1?
g
Let b be ((-1)/(-3))/((-10)/6). Which is bigger: b or -0.1?
-0.1
Suppose -3*j - 12 = 0, 2*l - 3*j - 14 = -0*j. Is l equal to 3/8?
False
Let f be (75/12)/5*4. Suppose 3*a = f*b - 67, 3*a - 4*a - 3*b + 1 = 0. Is a greater than or equal to -13?
False
Let p(a) = -a + 2. Let m be p(2). Suppose m = -2*x - 0*x - 4. Let s be 2 + 0 + -2 + x. Which is smaller: s or -3?
-3
Let o = 0 + 1. Let g = -6/7 + 19/14. Which is greater: o or g?
o
Let k(q) = -q**2 - q. Let r be k(-3). Let z = 8 + -15. Which is smaller: r or z?
z
Let j be (-40)/(-25) - (-2)/5. Suppose 0 = -j*t + t - 1. Do t and -1 have the same value?
True
Let a(c) be the second derivative of c**3/6 + 2*c**2 + 3*c. Let h be a(-3). Is h smaller than 1?
False
Suppose 4*o - 5*l + 11 = 0, 0 = 2*o - o - 5*l + 14. Is 3/17 >= o?
False
Suppose 0 = -3*s + 19*s + 96. Suppose 0 = -w - 5*a - 24 - 2, 26 = -3*w - 2*a. Does s = w?
True
Let t be 0 - 6/(-39)*-1. Let h be 1 + 2 + -2 - 1. Let j be -1 - -2*(h + 1). Are j and t equal?
False
Let l = 6.8 - 8.8. Which is smaller: 1/2 or l?
l
Let j = 3.87 - -0.13. Is j not equal to 7?
True
Suppose 20 = 3*n + 2*n. Suppose -s + 1 - 2 = 0, 4*u - 28 = -n*s. Is u not equal to -2/7?
True
Let t be (-2)/(-2 - (-6)/4). Suppose 0 = l + t. Let a be 5/(-2)*(1 - -1). Which is greater: l or a?
l
Suppose -46 = -5*z + 4*i, 3*z + 2*i = -i + 6. Suppose -n + z*n = -5. Is 0.2 greater than n?
True
Let a be -11*(-1 + (1 - 1)). Suppose 0*t - 2*d = 3*t + 4, d - a = 5*t. Let z(f) = -5*f - 43. Let v be z(-8). Which is bigger: t or v?
t
Let a be (3/(-10) - 0)*16. Suppose 4*y = -5*p - 15, 3*y + 2*p - 45 = -58. Which is smaller: a or y?
y
Let y = -0.05 - 1.95. Let h = -2.51 + 0.41. Let c = y - h. Which is smaller: c or -0.1?
-0.1
Let v(j) = -17 - j + 17. Let i be v(0). Are -1/4 and i nonequal?
True
Let v be (-8)/28 - 34/(-70). Let f = v - -2/15. Let u(j) = j**2 + 3*j - 3. Let t be u(-4). Which is smaller: f or t?
f
Let z(r) = 7*r**2 - r + 2. Let g be z(2). Let w be ((-2)/g)/((-25)/3). Let d = w - 2/25. Which is greater: -1 or d?
d
Suppose -r + 3*c + 89 = 4*r, 0 = -c - 3. Suppose 0 = -4*y - r, -b + 5*y + 15 = -6. Suppose b = k - 2*k. Is -1/6 equal to k?
False
Let f(j) = -j**3 + 7*j**2 - 5*j. Let h be f(6). Suppose -h = -3*w - 0*w, -5*y + 2 = w. Let s be 2/(-21)*(-7 - -1). Is s <= y?
False
Let s = -20 + 11. Let b be (0*(-3)/s)/1. Is 0 at most as big as b?
True
Suppose p + 14 = -4. Let q be 2/(-4) - 117/p. Which is smaller: q or 5?
5
Let r(w) = 3*w - 4. Let f be r(3). Suppose 4*h = f*t - 5, 2*t - 4 + 2 = 4*h. Which is greater: -2 or h?
h
Let s = -2.061 - -0.061. Is s greater than or equal to -6/13?
False
Let j(h) = 31*h**3 - 2*h**2 + 2*h - 1. Let l be j(1). Let b be (-4)/l + 1/(-5). Which is smaller: b or -1?
-1
Let g be (1 - 2)/((-40)/10). Is g != -6/23?
True
Let x = -6 - -8. Let i = 0 - -1. Let f = i - -2. Which is smaller: f or x?
x
Let p = -3 + 3. Let d = 5 - 8. Let w = d - -3. Are p and w nonequal?
False
Suppose -2*j = -4*r + 12, r - 13 = -5*j + 3*j. Suppose 2*c = -p - 0*c - 5, j*p - c = -2. Suppose 0 = -2*n - 0*n. Which is greater: n or p?
n
Let r(n) = 2*n**3 - 2*n - 1. Let a be r(-1). Let o be (-1 - 1) + 104/154. Let t = -8/7 - o. Which is greater: t or a?
t
Let g = -9 - -15/2. Which is greater: -0.3 or g?
-0.3
Let z be ((-2)/(-3))/((-14)/6). Let n be (3 + -2)/(1 - 2). Is n less than or equal to z?
True
Let n be (-3*6/9)/1. Let v = n - -2. Which is bigger: 2/13 or v?
2/13
Let i be (36/24)/(2/(-12)). Are -4 and i equal?
False
Let v be ((-1)/(-5))/(2/(-5)). Let j be (2 - 1)/((-2)/16). Let w be j/30*10/4. Is v greater than w?
True
Let a be (3 - 0)*(-303)/(-45). Is a >= 19?
True
Suppose -o - 1 = 1. Let l be 1/o*0/(-5). Which is smaller: l or -4?
-4
Let c(x) = x - 3. Let g be c(2). Let b be 2/6*3/(-4). Are g and b non-equal?
True
Let f be 8*(1/(-2))/(-1). Suppose v - 3*z = 15, f*z = -2*v + 5 - 15. Let k be v*1 - 170/55. Which is smaller: -0.1 or k?
-0.1
Let n(f) = -4*f + 7. Let q be n(6). Which is bigger: q or -18?
q
Let c = 78 - 97. Which is smaller: -21 or c?
-21
Let m = 0.8 - 1.5. Let r = m + 0.6. Which is greater: r or -1/2?
r
Suppose 0 = -k + 24 + 15. Is k equal to 38?
False
Let y(m) = -m**2 - 8*m - 7. Let f be y(-7). Suppose 4*t - 1 - 7 = f. Suppose t*l = 6*l + 4. Which is smaller: l or -2/5?
l
Let r = -146/3 + 49. Is 0.06 > r?
False
Let t be 70/(-75) + 9/15. Let r = 0.6 + -0.5. Is r <= t?
False
Let r = -2 + 7. Suppose -r*m = -x - 9, -x - 2*m + 0 = -5. Which is smaller: x or 2/3?
2/3
Suppose 0 = 4*h + 4*j + 8, -4*h = -2*j + 9 - 31. Suppose -p - 4 = h*p. Is p greater than or equal to -1?
True
Let c(d) = -d**2 + 4*d - 2. Let g(w) = 2*w - 5. Let z(u) = -u - 1. Let s be z(-5). Let o be g(s). Let k be c(o). Which is smaller: 2 or k?
k
Let h = 48 - 43. Do 6 and h have different values?
True
Let v = -0.0555 + 5.2755. Let s = -5 + v. Let p = s - -0.08. Which is greater: p or -0.1?
p
Suppose -4*w + w = 24. Let q(x) = -x**2 - 7*x + 4. Let v be q(w). Let i = -4 - v. Is 0 not equal to i?
False
Let r be 0/(0 + -2 + 0). Which is bigger: r or -6/7?
r
Let s = -72 - -218/3. Which is smaller: s or 1?
s
Suppose 0 = 2*a - a. Let y = 4 - a. Is y < 4?
False
Let h be ((-274)/108)/(803/22). Let c = 1/219 - h. Is 0 equal to c?
False
Let d = -16 - -10. Suppose -4*b - 8 - 4 = 0. Which is greater: b or d?
b
Let z = 8/23 - 55/92. Which is smaller: z or 6?
z
Suppose 4 = 2*x + 2. Suppose -3*t + 5*t + 32 = 0. Let g be (-4)/(-14) - t/(-56). Is g >= x?
False
Suppose -3*k = -5*k + 4*k. Let c be 1 + 26/(-20) - 0. Which is greater: k or c?
k
Let x = 7 - 5. Suppose 0 = q + x*q - 30. Suppose u = -u + q. Is 5 >= u?
True
Let l = -52 + 31. Which is bigger: l or -0.1?
-0.1
Let f = 2902/11 - 264. Are f and -3 equal?
False
Suppose 150 = -2*g + 16. Which is greater: -65 or g?
-65
Let m be 44/33*15/1. Is m at least as big as 19?
True
Suppose 182 - 22 = -4*y. Let x be (9/y)/(24/20). Is -1 bigger than x?
False
Suppose 18*k - 9 = 9*k. Which is bigger: k or -10/29?
k
Let z = -0.4 + -7. Which is greater: z or -0.1?
-0.1
Let z be 0 + 2 - (-11 - -12). Is -2/17 bigger than z?
False
Let y be (-6 + 0)*(-2)/4. Let r be (-4)/6*y*-1. Is r less than or equal to 3?
True
Let j(w) = -2*w**2 - 12*w. Let u be j(-6). Is -1/27 less than u?
True
Suppose -u - 8 + 10 = 0. Let l be u*4/(8/5). Which is smaller: 3 or l?
3
Let p = 16 - 10. Let m = -3 + p. Which is smal