h is greater: r or 5?
5
Suppose 0 = -y - 1. Let p be y/(-4) - (-15)/(-12). Let l(x) = x**3 + 2*x**2 - x - 1. Let j be l(p). Is j > 3/4?
True
Suppose 3*c - 2*d + 69 = 0, 50 = -5*c + 2*d - 61. Is c > -21?
False
Let r = -64.3 + 68. Let o = -4 + r. Let v = o - -1.3. Which is smaller: v or -1/3?
-1/3
Suppose -3*q - 3*h - 3 = 0, 1 + 2 = -3*h. Which is smaller: 3/8 or q?
q
Let j = -5 + 10. Suppose -5*c - n + 0*n + 28 = 0, -3*c - j*n = -30. Is 5 less than c?
False
Let f = -17.2 - -8.8. Let p = -8 - f. Which is greater: 0 or p?
p
Let w = -9/5 - -22/15. Let s be (-3)/(-3) + 4/2. Suppose -3 = -s*u - 0. Which is bigger: w or u?
u
Suppose -6 = 2*x - 5*x. Let s(d) = -11*d - 35. Let o(t) = -5*t - 17. Let i(g) = -9*o(g) + 4*s(g). Let b be i(-9). Which is bigger: x or b?
b
Let s = 37/8 - 141/40. Let y = 3/5 - s. Let a = -2.3 - 0.7. Which is greater: a or y?
y
Let z = 0.22 - 0.11. Let t = 0.11 - z. Which is bigger: -0.2 or t?
t
Let k be ((-4)/10)/((-1)/5). Let a be (k/5)/(9/(-5)). Suppose -3 = 2*g - 5. Do g and a have the same value?
False
Let v(f) = 3*f + 1. Let j be v(1). Suppose -j = 3*x - 1. Let u = -9 + 9. Does x = u?
False
Suppose m - 40 = -37. Which is bigger: 7 or m?
7
Let b be 10/(-3)*24/10. Let a = 10 + b. Which is smaller: 0 or a?
0
Suppose -60 = 3*k - 0*k. Let h = 39/2 + k. Suppose 4*s = 3*s. Is s smaller than h?
False
Let q(l) = l - 9. Let h be q(11). Let s be 6/4 + (-9)/6. Let m = s + h. Which is bigger: m or 1?
m
Let v = -20 - -14. Let u be (5 + -5)/(v/2). Which is bigger: 3/5 or u?
3/5
Suppose -3 = -2*f + f - k, k - 11 = -5*f. Let q(x) = -5*x**f + 3 + 3*x**2 - 1 - 2*x. Let w be q(-2). Is -3 greater than w?
False
Let o = 0.4 - 0.6. Let x = -7 + 6. Which is bigger: o or x?
o
Let a be 2/(-4*3/42). Let h be 21/(-7) - 1*3. Are h and a equal?
False
Let k = 6 - 3. Suppose -k*v + 10 = 2*v. Let g = 8 + -4. Do v and g have different values?
True
Let x be (8/(-4))/(47/1). Which is bigger: 0 or x?
0
Let s(d) = d + 7*d**2 + 0*d - 6*d**2. Let b be s(-3). Suppose -2*t + l + 17 = 0, -4*l = 2*t - 0*t + 8. Is b at most as big as t?
True
Let m(w) = -w + 17. Let o(v) = -v + 16. Let s(i) = -6*m(i) + 7*o(i). Let d be s(9). Is -4/13 > d?
False
Let k = 13 - 15. Let i = -10 - k. Which is bigger: i or 0?
0
Let c(o) = o**3 - 21*o**2 - o + 22. Let f be c(21). Which is smaller: f or -22?
-22
Let y be 256/120 - (1 - -1). Suppose 0 = -2*f - g + 5, 0 = 2*f - 5*g + 8 + 5. Is f at least y?
True
Let t = -20 - -34. Suppose -21 = 5*i + t. Let a(u) = u**3 + 8*u**2 + 8*u + 4. Let s be a(i). Is -4 greater than s?
False
Let d = 174 + -2263/13. Is d > 2/3?
False
Suppose 4 = -5*o - 1. Let n be 3/(-2) + (-26)/(-4). Suppose -u + 0*u + 5 = -2*w, -n*w = -3*u + 13. Which is smaller: u or o?
o
Let p = 2 - -3. Suppose p*l - v = 24, 4*l - 2*v = -l + 28. Which is smaller: l or 2?
2
Suppose -4*y = -1 - 47. Let n be 12/(-18)*y/26. Let w = n - -3/52. Are 1 and w non-equal?
True
Suppose -n - 1 = 1. Let w be (1 - 0)*n/(-4). Suppose 5*p = p. Are w and p non-equal?
True
Let r = -10 + 10. Is 2 not equal to r?
True
Let w = 4.9 + -1.6. Let y = 2.1 - -0.9. Let g = w - y. Is 1/2 greater than g?
True
Let o = 3 - -5. Do 6 and o have different values?
True
Suppose 0 = 2*u + 3*z + z - 38, -5*u + 53 = -4*z. Which is bigger: u or 0?
u
Let z be (-6)/(-21) + 2/(-7). Let f be (2/(z - 8))/(-1). Is 1 < f?
False
Let h be 1/(7/(-18))*(-294)/63. Is 12 at most as big as h?
True
Suppose -2*t = -3*s + 1345, -4*s + 459 = -t - 1341. Let r = 1367/3 - s. Is r less than 5?
True
Suppose 5*k + 5 = 2*o + 3*o, o - 13 = -2*k. Let p be (1 - 0)*3 + o. Let a(g) = g - 7. Let f be a(p). Which is smaller: -1/10 or f?
-1/10
Let h be 6/(1 + 2)*8. Let w = -16 + h. Which is bigger: -6/7 or w?
w
Let q = 51 - 97. Which is bigger: q or 0?
0
Let f = -25 + 26. Which is bigger: f or -6?
f
Let p be 0/(-1 + 1/(-1)). Let l be (39/18)/((-4)/(-24)). Suppose p = -5*x + q + l, -2*q = 3*x - 15 + 2. Is x less than or equal to 3?
True
Let y(r) = r**2 - 3*r - 8. Let q = -2 + 9. Let h be y(q). Let v be 0 + -2 + h/9. Which is smaller: 0.3 or v?
v
Let k = 2.3 + -2.4. Does 16 = k?
False
Let m be (-14)/52 - 4/(-8). Suppose 2*z - 2 = -4. Which is smaller: m or z?
z
Let l be 22/(-55) - (-33)/(-5). Let n = l - -6. Is 2/9 at most as big as n?
False
Suppose x = 2*r + 6, 24 = -4*r + 2*x + 3*x. Is -2/129 bigger than r?
True
Suppose -9*s - 477 = -81. Is s less than -44?
False
Suppose -3 = 4*u + 33. Is u at least -1?
False
Suppose -6*g = -3*g + 3. Let v be (-15)/(-6)*4/5. Which is bigger: g or v?
v
Let m be 22/6 + (-6)/9. Suppose 2*x = m*x. Let y be ((4/3)/2)/2. Which is smaller: y or x?
x
Suppose b - 3*b + 30 = 0. Let x be (-45)/(-60) + b/(-4). Does -5 = x?
False
Suppose 2*j + 7 = -i, -6*i - 21 = -4*j - i. Let u = 751/477 - 14/9. Let f = 113/371 - u. Is f at least as big as j?
True
Let n be (5/10)/((-394)/196 + 2). Is n smaller than -49?
False
Suppose 3*w + 2*h = 80, 2*w - h - 12 = 39. Is 27 bigger than w?
True
Let b(i) = -i**2 + 4*i + 2. Let f be b(5). Is f less than -7/2?
False
Suppose 0 = -2*m + 1 + 3. Suppose z - 1 = m*i - 0, 0 = -5*z + 2*i - 3. Is -2 < z?
True
Let w = 0.6 - -1.8. Let c = 1 - 1.4. Let p = w + c. Is -1/2 less than or equal to p?
True
Let q = 77/6 - 1777/138. Do 1 and q have the same value?
False
Suppose u + 1 = -x - 25, 0 = 4*x - u + 79. Let o = x + 16. Which is bigger: -3 or o?
-3
Let k be (-2)/1*(-2)/(-8). Suppose 0*s + 5*s - 10 = 0. Let g = s + -4. Which is smaller: k or g?
g
Suppose 4*k - 4 = 4*z + 4, -2*z - 3*k = -1. Suppose -4*i + 82 + 98 = 0. Let b be (i/12)/3 - 1. Is z bigger than b?
False
Suppose 4*l = -2*n - 34, 5*n + 4*l = -47 - 14. Which is smaller: n or -0.2?
n
Let r(c) be the second derivative of -c**4/12 + 2*c**3/3 + 3*c**2/2 - 9*c. Let p(i) = -i + 9. Let b be p(5). Let k be r(b). Is 3 less than or equal to k?
True
Let j(n) = n**3 - 4*n**2 - n + 4. Suppose 4*h + 2*f - 24 = 0, 4*h = -3*f - 1 + 29. Let q be j(h). Is -1 at most as big as q?
True
Suppose 2*q - 860 = -8*q. Which is smaller: q or 87?
q
Suppose 28 = 5*p + 2*l, -2*p + 1 = 5*l - 6. Is p greater than or equal to 6?
True
Let z be 145/160 + -2 + 1. Is -1 > z?
False
Let m = 5 - 1. Suppose -3*x + 3 = 4*z - m, 5*x + 4*z = 9. Let q be 4/(-2) + (2 - x). Is -1 at most q?
True
Suppose 0 = 2*a + a - 9. Let u be (a*(-1)/(-6))/1. Which is smaller: 1 or u?
u
Suppose -f - f = 196. Suppose 0 = k + 3*k - 12. Let t be k/(-5) + f/(-105). Which is smaller: t or 1?
t
Let r(z) = z**2 - 9*z. Let g = 31 + -22. Let y be r(g). Let t = -5/6 + 7/6. Is t not equal to y?
True
Suppose 3*x = -5*h - 0*x - 12, -14 = 3*h - 5*x. Let u = h + 2. Let j = -572/3 - -189. Which is smaller: u or j?
j
Suppose 4*c = -k - 0*c - 3, -3*k + 3*c + 36 = 0. Let o be (10/(-15))/((-2)/k). Let i be (-4)/(-3)*(-9)/(-6). Which is smaller: i or o?
i
Let p(o) = -o**2 - 7*o + 4. Let t be p(-6). Suppose 4*v - i = 40, 4*v = 5*i + 36 + 20. Which is greater: v or t?
t
Suppose 4*w + 4 - 12 = 0. Let h be 3 + (-194)/38 + w. Which is smaller: 1 or h?
h
Let b = 10 + -10. Is b at most -10?
False
Suppose 4*b + 3*x - 2 = 0, b - 1 = 5*x + 11. Suppose 0 = q - 2, 3*q - 6 = b*a - 3*a. Which is bigger: a or -2/41?
a
Let w(f) = -5*f**3 + 3*f**2 - 9*f. Let h(a) = a**3 - a**2 + 2*a. Let i(s) = 9*h(s) + 2*w(s). Let y be i(-3). Is y less than 0?
False
Let g = 12 + -6. Let x(a) = a - 5. Let r be x(g). Let l be (-2)/(-8) + (-150)/216. Which is smaller: l or r?
l
Let w be (2 + 28/(-13))*1. Suppose 12 = -5*z + 62. Let r be z - 14 - 7/(-2). Which is bigger: r or w?
w
Let t = -26.9 - -28. Let p = t - 1. Which is bigger: p or -2/7?
p
Let i(g) = -g**3 - 9*g**2 - 23*g + 10. Let k be i(-7). Is k at least 72?
True
Suppose 2 = c + b - 6*b, 2*c - 4 = -4*b. Suppose 3*f = -c - 1. Suppose -y = -r - r - 12, 5*r - 2*y + 28 = 0. Which is smaller: r or f?
r
Let w be (-6)/(-10) - 14*2/(-4). Which is greater: w or 8?
8
Suppose -2*a + 7 = -1, -12 = 4*b - 2*a. Let y = b + 1. Let x = -4 - y. Is -3 not equal to x?
True
Suppose -207 = -10*h + h. Do 26 and h have the same value?
False
Suppose -2*x - x = 0. Suppose 2*s - b - b + 30 = x, 0 = 5*s + 4*b + 48. Let i be (-6)/s + 30/(-44). Is i smaller than 1?
True
Let k be 4/6 + 26/6. Let p = -12 - -8. Let y be p/k*2/(-4). Which is bigger: 0 or y?
y
Let q(l) = l**3 + 3*l**2 - 5*l - 3. Let z(x) = 4*x**3 + x + 1. Let i be z(-1). Let h be q(i)