ch is greater: p or -2/7?
p
Suppose y = 6*y + 5, -2 = -3*z - 4*y. Let w = z + -12. Let f = 8 + w. Are f and -3 equal?
False
Let g(h) = -h**3 - 8*h**2 + 0*h - h - 3 - h - 4*h. Let o be g(-7). Which is bigger: o or -9?
-9
Let p(j) = -3*j**3 - 6*j**2 - 5*j + 4. Let k be p(-4). Let m be (-37786)/k + 3/(-12). Let y = -315 - m. Which is smaller: 0 or y?
0
Let j = 3 - 0. Is j <= 0.1?
False
Suppose 9 = -4*o + 4*t - 15, 4*t = 12. Let y be o*((-14)/(-12))/7. Are -3 and y nonequal?
True
Let t be (-3)/(-6) + 36/(-66). Which is bigger: 1 or t?
1
Let z = 72 + -75. Which is bigger: -20/7 or z?
-20/7
Let s = 5 - 2. Suppose z - 1 = -6. Let k = s + z. Is k less than -3?
False
Let l be 19/5 - (-5 + 9). Do l and 1 have the same value?
False
Suppose k + 2*i = 4, 7*i + 8 = 2*k + 2*i. Let n be (-18)/4*(-8)/6. Suppose -n = -3*q + q. Is q bigger than k?
False
Suppose -12 = 3*c + g - 1, -2 = c + 2*g. Let b be (-3)/(-1)*(-2)/3. Let d be -2 + b + (-8)/c. Is -1/2 >= d?
True
Let y(q) = q**2 - 7*q - 9. Let n be y(8). Let f be 4 + (6 + 4)/n. Is -6 != f?
False
Let p = 0.32 - 0.22. Which is bigger: 4 or p?
4
Let q = -0.01 - -0.01. Does 12 = q?
False
Let u = -101 + 117. Which is greater: u or 0.06?
u
Suppose -5*y + j - 4 = 0, j + j = -2*y + 8. Let r = 5 - 0. Let p be (r/2)/(-2 - -4). Which is smaller: p or y?
y
Let w be 4/6 + (-7)/(-3). Let v = w + -4. Let a = 0 - v. Is 1 >= a?
True
Let w be (-2 + 3)/(2/18). Let y = w - 5. Suppose -3*o = y*r + 13, 0 = 6*r - r + 20. Which is greater: -1/7 or o?
o
Let k = -33 - -49. Is k smaller than 15?
False
Let x(q) = -2*q - 1. Let k be x(-1). Suppose 0 = -17*s - 17*s. Is k < s?
False
Let m = -0.82 - 0.18. Is 1/3 <= m?
False
Let z = 5 - 8. Let y be 1 - 0 - 3/z. Is 2 equal to y?
True
Let g = -0.63 - 0.35. Let s = -0.02 + g. Is -0.2 greater than or equal to s?
True
Let l(i) = -3*i**2 + i - 3. Let p be l(-3). Let f = 12497/375 + 1/125. Let t = p + f. Which is smaller: t or 0?
0
Suppose 2*w = 6 + 6. Let o = 12 + -25. Let m = 19 + o. Do w and m have the same value?
True
Let j = -18 + 15. Let p be 8/(-12)*j/(-2). Suppose 0 = -3*w - w - 4. Is p at most as big as w?
True
Suppose 4*b - 3*t = -2*t + 15, 3*b = 3*t. Suppose -y - y = b*p - 7, -4*p = -4*y. Suppose 4*m - 5*m = h - p, 0 = 4*h - 8. Is m greater than -1?
False
Let r = -12 + 26. Which is smaller: r or 15?
r
Let q(s) = 10*s + 4*s**2 + 3*s**2 + 12 - 2*s**2 - 4*s**2. Let j be q(-8). Suppose 8 = x - 3*x. Are j and x unequal?
False
Let p = -5251/9 - -585. Is 1 less than p?
True
Suppose 1 - 4 = 3*j. Let g be (-3 - 0)/(0 - j). Let s be 2/g + 16/20. Which is smaller: s or -1?
-1
Let m(t) = 3*t - 9. Let g be m(6). Let a be (5 + -1)*g/(-4). Let v = a + 19/2. Which is smaller: v or -5?
-5
Suppose -2*b + 3*b = 0. Suppose u = -2, -2*t + 2*u + 8 + 6 = b. Suppose -4*q - 8 = 4*o + 4, -t*o = -5*q + 15. Is 1 at least as big as q?
True
Let x(n) = n**3 + 2*n**2 - 3*n - 1. Let p be x(-3). Which is smaller: p or -2/21?
p
Let f be ((-1)/1)/((-9)/27). Suppose -2*c + 27 = -f*a, -3*a + 0 - 12 = 3*c. Are -8 and a equal?
False
Let u be 0/(-1*(0 - 1)). Let q be 25/15 + (u - 1). Which is bigger: q or 1?
1
Let q = 7554/5 + -1506. Which is smaller: 0.1 or q?
0.1
Let c = 1.3 - 0.3. Let f be 2/14*(-2)/(24/(-42)). Which is smaller: c or f?
f
Suppose 0 = -6*i + 2*i + 40. Let b be (-20)/25 - 2/i. Is b != -3/7?
True
Suppose -5*g + 13 = 3. Suppose -5*s + g*s = 0. Suppose 9*t - 4*t = s. Which is bigger: t or 1/3?
1/3
Let c(f) = 2*f**2 + f - 1. Let a be c(1). Let s(g) = g - 5. Let v be s(5). Are v and a nonequal?
True
Suppose 5*k + 1 = -39. Let y = 8 - 1. Let d = k + y. Is d at most -3/4?
True
Let c be (1/(-2))/(6/6). Are -7 and c non-equal?
True
Let t be 6/9*6/4. Let g be (-1)/3 - (-4)/3. Is t smaller than g?
False
Let v(u) = -u - 7. Let k be v(-5). Suppose 3*a - 14 = a + 4*d, 0 = -2*a + 5*d + 18. Let c(w) = -3*w**2 - w. Let l be c(a). Is k at most as big as l?
True
Let d be (-1*1)/((-11)/(-55)). Which is bigger: d or -6?
d
Let v be -2 - 0 - (-1068)/531. Let u = v + -187/885. Is u > 1?
False
Let o = 16 + -115. Is -99 at most o?
True
Let w = 0.2 - 1.1. Let s = 0.1 + -0.2. Let n = w + s. Are n and -2/7 unequal?
True
Suppose -5*h = 3*g + 13, 0 = 2*g + 3*g + 4*h + 13. Suppose 4*c - 8*n + 3*n - 1 = 0, -5*c + n - 4 = 0. Let b be c/5 + (-114)/(-270). Which is smaller: g or b?
g
Let u = -1 - 0. Let h = 5 + u. Let s = 5 - h. Is s not equal to 1/2?
True
Let t = 137/42 + -24/7. Let x = 0 - -4. Suppose x*d - 5 = -q, -5*d + 0*q = 4*q - 20. Which is greater: t or d?
d
Suppose -10*u - 5 = -15*u. Which is bigger: -2/29 or u?
u
Let g(p) = 4*p**2 + p. Let s be g(1). Which is bigger: s or 3?
s
Suppose 0 = 5*h - 38 - 2. Which is bigger: 0.3 or h?
h
Let x be 4/12 + -3*(-17)/9. Suppose -4*o = o. Suppose 0 = -a - 3*w - 12, -w + 2 - x = o. Which is smaller: a or 1/10?
a
Let k = -298.2 + 298. Let g = -3 + 3. Are k and g nonequal?
True
Let s = 173/2 + -2945/34. Let b = 0.12 + -0.22. Is b at least s?
True
Let x be ((-5 + 3)/(-6))/((-4)/(-3)). Which is greater: x or -19?
x
Let i be 2/8 + 22/8. Let g be (3 - 5 - -10)/i. Is g at most 4?
True
Let t = 0 - 1. Let j = t - -4. Suppose -3*n - n = -12. Is j <= n?
True
Let k(l) = l**2 + 6*l - 1. Let v be k(-6). Suppose 12 = -2*r - 4. Let m = r + 8. Is v <= m?
True
Let k = 0 + -2. Let m(f) = -f**3 + f. Let w be m(-2). Let u(q) = q**2 - 6*q - 1. Let t be u(w). Which is smaller: t or k?
k
Let j be (-9)/6*(-8)/6. Let z be j/(-6) + 4/(-6). Is -3/13 at most z?
False
Let w = -3 - -3. Let j(y) = y**2 - y + 3. Let n be j(w). Which is greater: 2 or n?
n
Let w(t) be the second derivative of 2/3*t**3 + 1/12*t**4 + 0 + 2*t - t**2. Let m be w(-5). Are 3 and m nonequal?
False
Suppose 4*x = 4*r + 28, -5*r + x - 3*x - 28 = 0. Let l = r - -13. Let c(d) = -d**2 + 7*d + 1. Let a be c(l). Is 4/7 smaller than a?
True
Let a = 601 - 1819/3. Let r = 11/2 + a. Which is greater: 1 or r?
1
Let b(a) = -a**3 - 6*a**2 - 4*a - 1. Let h be b(-5). Which is smaller: -7 or h?
-7
Let t(f) = f**3 + 5*f**2 - f - 4. Let u be t(-5). Is u bigger than -2/55?
True
Let y(q) = q - 8. Let k(f) = -f - 1. Let n be k(-1). Suppose -5*i + 0*w + 4*w = -39, -4*i - w + 27 = n. Let t be y(i). Which is bigger: -2 or t?
t
Let y be 24/(-20) + (-1)/(-5). Which is smaller: -2 or y?
-2
Suppose 2*z - 3*z = 0. Let d be 2/(-32)*-3*4/(-6). Is d at least as big as z?
False
Suppose -321 = -c - 321. Is 5/77 bigger than c?
True
Suppose -2*o - 22 - 4 = 0. Let h = o - -13. Which is bigger: h or 4/7?
4/7
Let q = -167/511 + 3/73. Let p be 2/(0 - (-2 + 0)). Which is greater: q or p?
p
Let l = 20 - 20. Which is smaller: 6 or l?
l
Let n be ((-711)/(-30))/(2/4). Let p = n - 47. Is 0 bigger than p?
False
Let f(i) be the second derivative of -i**3/6 - 3*i**2/2 + 3*i. Let d be f(-4). Let j be (-26)/(-6) - d/3. Is 3 at most as big as j?
True
Let v = -106 - -106.2. Let d = -0.07 + 0.37. Let s = d - v. Do s and -1/2 have the same value?
False
Let n = 0.02 - -7.98. Let v = 5.9 - n. Let y = v - -2. Is -3 <= y?
True
Suppose 3*p - 4*p = 2. Are -1 and p non-equal?
True
Let o(z) = -z**3 - 3*z**2 - 5*z + 7 + 0*z**2 + 9*z**2. Let n be o(5). Let r be n/4 + (-9)/12. Which is smaller: r or 2?
r
Let q(j) = -3*j - 11. Let b be q(0). Is -7 at least b?
True
Let i = 74 + -76.05. Let u = -0.05 - i. Let q = -1 + u. Which is greater: q or 0.1?
q
Suppose 2*l - 6*l + 20 = 0. Let x = l + 1. Let n be x/4*4/(-12). Which is smaller: n or -2?
-2
Let s = -114475/1437 - 2/479. Let w = 81 + s. Is w < 2?
True
Let z = -2 - 24. Suppose 2 = 2*w - l - 5, -5*l - 3 = -2*w. Let q be z/(-12) - w/6. Which is greater: q or 2?
2
Let b = 90 + -91.1. Are b and -3 nonequal?
True
Let y = 50 - 395/8. Which is smaller: y or 2?
y
Let d = 0.07 + -0.11. Let v = -2.96 + d. Is v <= -1?
True
Let r = -0.5 + 0. Let k = r + 1. Let x = k - 0.1. Which is smaller: -1 or x?
-1
Suppose -5*z - c - 22 = -65, 4*z + 3*c = 41. Let r = z - 7. Are r and 1 unequal?
False
Let y = -66 - -64.87. Let z = y + 1.2. Let g = z - -0.03. Are 1 and g equal?
False
Suppose 3*t + 2*n + 19 = 6*n, -n = 5*t + 1. Let q be 28/270 - (-4)/6. Let h = -10/27 + q. Do h and t have the same value?
False
Let j be 5/(-4) + (-10)/(-5). Are 2/9 and j nonequal?
True
Let m(l) = l - 6. Let i = 19 + -14. Let g be m(i). Is g greater than or equal to 5/4?
False
Suppose 2*s = -0*s + 12. Suppose 4*g - 2*