greater: 61 or c?
61
Suppose -11*o + 9*o = -6. Suppose j = -3*g - 6, -2*j + o = 3*g + 2*j. Do g and -3 have different values?
False
Let w = 0.976 - 1. Let v = w - 4.776. Let x = 5 + v. Which is smaller: 3/4 or x?
x
Let l(d) = -d + 1. Let j be l(1). Let w = -2781/7 + 398. Which is smaller: w or j?
j
Let b(x) = -x**2 - 4*x - 5. Suppose -3*c - 11 = -2*y, -1 = -c + y + 2*y. Let l be b(c). Let v = -6 - l. Is -2/7 equal to v?
False
Let m = 3 - -15. Which is greater: -0.4 or m?
m
Let n(l) = -l - 11. Let y be n(-5). Is y bigger than 1?
False
Let i = 13/58 - 391/580. Let h = i - -1/4. Which is bigger: h or -1?
h
Let p be 1*-8*6/(-4). Suppose -4*q + p = -q. Suppose 4*a + 1 - 9 = 0. Which is bigger: a or q?
q
Let k(i) = -i**3 - 10*i**2 + 9*i - 21. Let n be k(-11). Which is smaller: 3 or n?
n
Let m = -874033/12815 - -10/2563. Let b = m + 68. Let x(s) = -s + 7. Let u be x(8). Which is greater: u or b?
b
Suppose 0*r = -2*r + 4. Suppose -4*s = -3*a + 11, 3*s = -r*s + 2*a - 5. Let w(d) = d**2 + 5*d - 7. Let n be w(-6). Which is smaller: n or s?
n
Let w(d) = d - 3. Let l be w(1). Which is smaller: -14/13 or l?
l
Suppose -d = 4*s + 15, -3*d - 5*s = -7*d + 45. Suppose 2*p + 4 = -4*h - p, -p + 6 = d*h. Is h greater than or equal to 2?
True
Suppose -4*v - 34 = -5*k + 6, 24 = 3*k - 3*v. Is k < 14?
True
Suppose -3 = -x - 2*m, 3*x + 0*x - 4*m - 29 = 0. Suppose -5*b - 4*w + 1 = 0, -5*b + 4*w - 2*w + x = 0. Which is bigger: 1/6 or b?
b
Let i = 506 + -2522/5. Which is smaller: 1 or i?
1
Suppose 0*w - 1 = w. Let t be (-2 + -6)/(2*w). Suppose u + 4*g = 23, 3*g = -3*u - u + 27. Are t and u nonequal?
True
Let z(k) = 1 + 4 - k - 4. Let c be z(-4). Is 0 less than or equal to c?
True
Suppose -4*k - 10 = -v, 2*v - 1 = 3. Which is smaller: k or -7/4?
k
Let o be ((-2)/(-30))/(10/(-30)). Let d(z) = -z + 4. Let w be d(5). Is w greater than or equal to o?
False
Let g = -4 + 4.2. Let y = -0.5 + g. Let u be (-8)/10*(-3)/6. Are y and u unequal?
True
Let a = -8 + 12. Let n(l) = -l**3 - 6*l**2 - 7*l - 6. Let b be n(-5). Suppose -b*m = -m - 9. Which is smaller: m or a?
m
Suppose -5*x + 3*y + 18 = -y, 5*y = -5*x. Let q be (3/9)/(x/(-18)). Are -4 and q unequal?
True
Let v = 1 - 1. Let y = -9 - -9. Are y and v equal?
True
Suppose 0 = 3*j - 4*h + 5, 0*j + 4*j + 8 = 4*h. Let a = -3 - j. Are -1/8 and a non-equal?
True
Let b = -58/3 + 125/6. Which is greater: 1 or b?
b
Let j(c) = -c**2 + 6*c - 1. Let a be j(3). Which is smaller: a or 10?
a
Let u be ((20/(-3))/5)/((-2)/(-3)). Is -17 greater than u?
False
Let i be 23/(-4) + (-2)/8. Let l = 5 + i. Let h be l + 1 + 4/4. Are h and 1/5 nonequal?
True
Let h(o) = -o**3 - 7*o**2 - 6*o + 4. Let g be h(-6). Suppose -4*w = 3*t - 16, g*t - 15 + 2 = 3*w. Is 6 at most t?
False
Suppose 15 = 2*n + n. Suppose -9 = -n*x + 6. Is x bigger than 4?
False
Let v = 16 - 10. Let t = -7 + v. Let c be 8/10*1/(-2). Which is bigger: t or c?
c
Let m = 49 + -50. Which is greater: m or 2/221?
2/221
Suppose 5*k - 2*k = 0. Is -1/2 smaller than k?
True
Suppose 3*p + x + 46 = 0, -5*p + 3*x = 2*x + 74. Is p != -15?
False
Let p(w) = -w**3 - 3*w**2 + 6*w + 4. Let z be p(-4). Let m = -5 + 8. Let k be (m/6)/(2/(-20)). Which is greater: k or z?
z
Let q(d) = d**3 + 6*d**2 + 6*d + 5. Let t be q(-5). Let f = t - 0. Let z(l) = -2*l**2 + 9*l + 5. Let m be z(5). Is m >= f?
True
Let m(i) = 3 - 4 + i + 0. Suppose 2*s = -5*j - s + 1, -j + 1 = s. Let o be m(j). Do -3 and o have the same value?
False
Let d = 0.52 + -0.6. Let w = -8.08 - d. Let h = -7.7 - w. Is h at least as big as -0.2?
True
Let n(l) = 3*l - 3. Let j be n(5). Let h be j/(-20)*1*-5. Suppose 0 = h*s - 0*s - 3. Is -5 != s?
True
Suppose 0 = 5*k + z - 5, 0 = -z - 0*z + 5. Suppose -5*p + 4 + 6 = 0. Which is bigger: p or k?
p
Let o be 108/(-24)*(-8)/(-6). Let k = -10 - o. Which is smaller: -1 or k?
k
Let t = 28 - 28. Is t bigger than -1?
True
Let t = 119 - 92. Is 26 >= t?
False
Let q(f) = -f**2 + 4*f + 6. Let r be q(5). Let y = -83 + 175/2. Let d = y + -3. Which is smaller: r or d?
r
Suppose 3*p + m + 2*m = -24, p = -2*m - 7. Let k(l) = -l - 10. Let q be k(p). Which is smaller: q or -4/3?
-4/3
Suppose 2*x - 3 = 5. Does 1 = x?
False
Let u = 0.3 - 1.3. Which is smaller: -12 or u?
-12
Suppose 5*k = 2 + 3. Suppose k = 4*l - 3*l. Let t be (-2 + 4)*l/(-3). Which is bigger: t or 0?
0
Let i(f) = -f - 1. Let y be i(3). Let z be (-10)/2*(-1)/(-1). Which is smaller: y or z?
z
Let f(a) = -a**2 - 3*a + 6. Let d be f(-5). Which is smaller: -1/3 or d?
d
Let o(a) be the third derivative of a**5/15 + a**4/24 - a**3/6 + a**2. Let w be o(1). Let v(z) = -4*z - 1. Let n be v(-1). Is w greater than or equal to n?
True
Let y be 1 + (-18)/4 + 0. Do 0.1 and y have the same value?
False
Let z = -6 - -6. Let i be (z/2 - -2)/(-2). Is i less than -4/3?
False
Let c(g) = -12*g + 1. Let n be c(-1). Which is smaller: n or 14?
n
Let n(h) = -h + 3. Let v be n(4). Let c be 4/8*12/(-18). Is c equal to v?
False
Let f(c) = 2*c + 6 - 3*c - c. Let j be f(3). Is j != 2?
True
Let r = -26 - -26. Is r bigger than 2/39?
False
Suppose i - 12 = -i + 2*r, -5*r = 2*i + 9. Suppose 0 = z + i. Is -3 at most z?
True
Let n be 408/170 + (-1)/((-5)/(-2)). Which is greater: n or 15/8?
n
Let j be (-4)/2 - (-5 + 3). Let b(x) = -2*x + x + x**3 + 2 + 0*x. Let o be b(j). Is o != 3?
True
Let u(g) = g**3 - 5*g**2 + 5*g - 3. Let f be u(4). Let v = 0.7 - 0.4. Let y = -0.2 + v. Are y and f unequal?
True
Let k be (-4 + 2)*9/2. Let x be (-12)/(-54) + 2/k. Let w be x/((-1)/((-1)/(-2))). Which is bigger: 2/35 or w?
2/35
Let a be 3/(-18) - (-45)/918. Suppose -9 = 4*x + v - 4*v, 12 = 3*x + 4*v. Which is smaller: a or x?
a
Suppose 2*u - 2 = 8. Let b = u - 0. Let f be 4/10 - (-1)/b. Is 0 at least as big as f?
False
Suppose 0*q = q - 1. Is 5/3 < q?
False
Let i = 15 - 10. Let r be ((-1)/i)/((-2)/(-14)). Which is smaller: 0 or r?
r
Let b(r) = r**2 - 6*r - 4. Let w be 5 - ((3 - 4) + -1). Let d be b(w). Suppose -d*v = -v + 2. Do 0 and v have the same value?
False
Let r = 15 + -10. Let o = r - 5. Is 2/7 equal to o?
False
Let k be 13 - 18 - (-4 - 0). Let t = -4/191 + 490/5157. Is t less than or equal to k?
False
Suppose -30 = 3*b - 5*w + 20, 4*w - 56 = 4*b. Is -5 at least b?
True
Suppose -44 = -5*j - 5*c + 1, 4*j + 3*c - 32 = 0. Let u = 53 - 53. Suppose -j*v + 10 + 5 = u. Are v and 2 equal?
False
Let a = 4 - 4. Let j = 0.01 - 0.01. Let y = a - j. Which is greater: y or -0.1?
y
Let u(a) = -a**3 - 5*a**2 + 6*a + 4. Let b be u(-6). Suppose -3*o - 21 = 2*s + 2*o, -b*s + 5*o = -33. Let i be (s/4)/(1/2). Which is smaller: -2/5 or i?
-2/5
Let l = 1.9 + 0.1. Let c = l + -2.1. Are -2 and c equal?
False
Let j = -9 - -8.6. Let x = -0.7 - j. Which is bigger: 1 or x?
1
Let g be 1/(2962/(-992) + 3). Let x = -71 + g. Which is smaller: 0.1 or x?
x
Let o be (3/6*0)/(-1). Let a = -5 - -3. Let i be 3 + o + a - 1. Which is smaller: i or -4/3?
-4/3
Let x(z) = -z**3 - 9*z**2 - 8*z - 1. Let y be x(-8). Let q = -3 - -6. Let b = -3 + q. Which is smaller: y or b?
y
Let c(h) = h**3 + 1. Let d be c(1). Suppose o = -3*i - 2*o + 51, 3*i = -d*o + 53. Suppose 4*y = 0, -5*q + 5*y + i = -1. Does q = 4?
True
Let b be (1 - -2 - -7)*9/72. Which is smaller: b or 1?
1
Let p = 163 - 812/5. Is p not equal to 1?
True
Let c = 3078/7 + -438. Let d be 9/4 + (-12)/(-16). Which is smaller: c or d?
c
Let g(c) = -c**3 - 4*c**2 - 5*c - 2. Let h be g(-3). Suppose -h*x + 1 = 5. Let s = -59 - -411/7. Is s at most x?
False
Let c(s) = s + 2. Let u be c(2). Let j(r) = -r**3 + 3*r + 2. Let i be j(-2). Let q = i - u. Which is bigger: -2 or q?
q
Let t(w) = w**3 + 4*w**2 - w + 1. Let d be t(-4). Suppose 3*m - 3*a - 18 = 0, 0 = -5*m + 2*a + 2*a + 30. Which is bigger: d or m?
m
Suppose i = -5*p - 3 - 3, 12 = i - 4*p. Suppose -2*c + i + 20 = 0. Is 11 bigger than c?
False
Suppose -5*o = 8 - 3. Let f be 4*o - (2 - 4). Let x be (10/12)/(-5)*f. Is -2/5 != x?
True
Let f(i) = -i - 6. Let x be f(-10). Let s be 15/(-10)*x/(-30). Is s bigger than 0?
True
Suppose -24 = -3*t - 2*m - 2*m, 3*m = -4*t + 25. Suppose 0 = 5*h - t*y - 61, -5*y = -2*h - h + 47. Let x = h - 8. Which is greater: -1/5 or x?
x
Let b(r) = 4*r**2 - 3*r - 5 - r + r**3 - 2*r. Let s be b(-5). Let n = -3210/11 - -292. Are n and s nonequal?
True
Suppose 0 = -a + 1 - 4, -3 = 3*l - a. Let o(c) = -c**2 - 4*c - 3. Let h be o(l)