s smaller: t or c?
c
Let m be (2*(-1)/(-4))/((-9)/(-306)). Which is bigger: 2/5 or m?
m
Suppose 0 = -3*g + u - 3*u - 26, 0 = -2*u - 8. Let x(i) = i + 6. Let j be x(g). Are 8 and j unequal?
True
Let c = 0.68 - 0.58. Which is smaller: -2 or c?
-2
Let i be 72/171*-1*1/4. Suppose 4*v - 2 = 5*v. Is v greater than i?
False
Let m = -7.178 - -0.078. Let t = m + 7. Let b = -5 + 9. Are b and t nonequal?
True
Let v(p) = p + 3. Let h be v(-2). Suppose 4*w + 3 = x, 2*x - 4 = 3*w + 2. Which is smaller: h or w?
w
Suppose 2*n = 4*n. Suppose n = 2*c + 2*c - 4. Which is greater: c or -0.2?
c
Let d = 4 - 2. Let w(x) = -3*x**2 + x - 3 - x**3 + 13*x**d - 8. Let k be w(10). Is -2 less than k?
True
Suppose 5*c = 3*i + 17, -i - 4*i - 51 = 3*c. Suppose 13*v + 8*v + 189 = 0. Is i != v?
False
Let l = 82 - 58. Are l and 23 equal?
False
Let o be 30/4*(-2)/(-20). Let m = o + -17/28. Do 0 and m have different values?
True
Let i(u) = u + 1. Let l be i(-1). Which is smaller: l or -2/3?
-2/3
Let t(k) = 22*k**3 + 2*k**2 + 3*k + 2. Let o be t(-1). Let l be 216/10 + o/35. Is 20 bigger than l?
False
Let u = 10 - 20. Let l be 2/4 + u/4. Let p = 3 - l. Which is greater: p or 4?
p
Let v(h) = h**3 + 12*h**2 + 10*h - 9. Let f be v(-11). Let p = -135/91 + 36/13. Are f and p equal?
False
Suppose -u - 11 = -4*x, -5*u + 2 = -3*x + 6. Which is smaller: x or 12/7?
12/7
Suppose 3*u - 6*u + 4 = -2*n, -3*n + 13 = 5*u. Let x(o) = -o**2 - 3*o + 8. Let t be x(5). Let r be t/(-63) + (-16)/72. Which is smaller: r or n?
r
Let p(k) = k**2 - 5*k + 5. Let b be p(5). Suppose b*o = 8 + 12. Which is greater: 6 or o?
6
Let j = -6 - 3. Let m be -1 + 21/j + 3. Is -1 greater than m?
False
Let a = 0.251 + 0.039. Let u = 2 - 1.99. Let o = u + a. Which is smaller: -1 or o?
-1
Suppose 21 = -f + 29. Is 6 >= f?
False
Let d(j) = -2*j**2 + 5*j - 6. Let x be d(4). Let h be -4 - 3*x/15. Is h bigger than -1?
True
Let b = -1485 - -2913/2. Which is bigger: -28 or b?
-28
Let l = -1 + 9. Is 8 smaller than l?
False
Let n = 26 + -24. Which is smaller: 1/2 or n?
1/2
Let i(a) = -a**2 + 5*a + 6. Let j be i(5). Suppose -2*g + 3*y + 22 = y, g = 2*y + 13. Let z be (-12)/g*9/j. Which is greater: -1 or z?
-1
Let b = -20 + 12. Let v = b + 14. Which is smaller: v or 0.1?
0.1
Let y = 8.6 - 8.5. Which is smaller: y or 2/3?
y
Let i be (12/(-8))/(6/(-4)). Which is bigger: 6 or i?
6
Let n = 16 - 15. Is n greater than or equal to 11?
False
Let l be (1/(-6))/(1/(-9)). Is 4 equal to l?
False
Let j = 49 + -177. Let m = -515/4 - j. Suppose -2 = 2*q - 3*q, 2 = 4*u + 5*q. Is m less than u?
False
Let u(d) = -d**2 - d + 3. Let k be u(-2). Which is bigger: -2/15 or k?
k
Let h(y) = y**3 + 8*y**2 + 6*y - 3. Let d be h(-7). Let m = 16 - 11. Which is bigger: d or m?
m
Let y = -20 + 28. Let s be -1 + 2 - y/(-2). Suppose m = s, 14 = -c + 2*m + 3. Is 2/9 at least c?
True
Let a = 18.7 - 28. Let g = -9 - a. Is g >= 3?
False
Suppose -3*z - 31 = a + 1, z - 2*a = -13. Which is bigger: z or -14?
z
Let a = 121.9 - 128. Let p = a + 6. Which is bigger: p or -0.7?
p
Let q be (-4)/2*-2*1. Let h(o) = o**3 - 3*o**2 - 3*o - 4. Let v be h(q). Suppose -2*n + v*n = 0. Is 2/7 != n?
True
Let b(p) = p**2 + 5*p + 3. Let y = -14 + 9. Let k be b(y). Suppose -3*r + 6*r + q - 3 = 0, 5*r = -k*q + 9. Which is greater: 0.3 or r?
0.3
Let n(t) = -t**2 + 8*t - 8. Let v be n(6). Which is smaller: 0 or v?
0
Let v = -20 - -11. Which is bigger: -1 or v?
-1
Let c be ((-1)/14)/((-2)/1364). Let h = 49 - c. Which is greater: -2 or h?
h
Suppose -5*b = x + 4*x + 15, 20 = -5*x. Suppose -6 = -2*r - 2*i, -2*r - i + 2 = -b. Which is bigger: r or -3/5?
r
Let x(y) be the third derivative of -y**4/24 + 11*y**3/6 - 2*y**2. Let h(g) = -g + 4. Let m be h(-6). Let d be x(m). Is 1/3 at most as big as d?
True
Let o = -18 - -34. Let y be ((-15)/4 - -3)*o. Let n be 6/(-52)*y/(-9). Which is smaller: n or -1?
-1
Let r = -10.03 - -10. Let o = r + 0.13. Which is smaller: -0.6 or o?
-0.6
Let j = 0.03 + 1.97. Is 3 at least as big as j?
True
Let t = -0.15 - -0.25. Which is bigger: 2/3 or t?
2/3
Let z be (2/2)/(-1)*-5. Suppose -15 = 3*t + 2*t - z*q, -5*t + 4*q - 14 = 0. Let p be 1 + 2 + -2 - 2. Which is smaller: p or t?
t
Let x = -16/9 + 22/9. Which is bigger: -0.2 or x?
x
Let t(z) = -z**3 + 7*z**2 - 5*z - 1. Let a = 6 + 0. Let f be t(a). Is -2 bigger than f?
False
Suppose 0 = -b - b. Let u = -8 + 11. Let y = u - 2. Which is greater: b or y?
y
Let g = 110 - 768/7. Is g less than -1/4?
False
Let x = 0 + 2. Let a = 2 - x. Let j be (-46)/(-22) + 2/(-1). Which is greater: j or a?
j
Let d = 288 - 288.1. Let f = 840 + -6747/8. Let x = f + 159/40. Which is smaller: x or d?
d
Let n = -24 + 20. Which is greater: -6 or n?
n
Suppose -5*l = o - 5, -l - 21 = 3*o - 4*l. Is o smaller than -5?
False
Suppose v - 3*v + 2*j = 2, -3*v = -2*j + 3. Let p = v + -5. Is p less than -5?
True
Let r = -26 - -25. Is r smaller than -1/6?
True
Let g(p) = p**3 + 7*p**2 + 7*p + 4. Let t be g(-6). Let n(f) = -f**3 + 3*f + 1. Let q be n(t). Is q smaller than 4?
True
Let f(t) = -6*t - 1. Let j be (0 - (-2)/2) + -2. Let h be f(j). Suppose 0*s - 1 = r - s, 17 = -h*r + s. Which is greater: -5 or r?
r
Suppose -5*j + 8 = -3*j - 4*u, 0 = 3*u + 9. Which is greater: -9/14 or j?
-9/14
Suppose 0 = -f + 3. Suppose -f*p - 7 + 4 = 0. Is p greater than -2?
True
Let p be 3/48*2*2. Let v = 2 - -1. Suppose 5 = -2*c + v. Which is smaller: p or c?
c
Let a = 47 + -48. Suppose h = -3*h + 40. Which is greater: h or a?
h
Let h(b) = b**3 + 5*b**2 - 8*b - 8. Let g be h(-6). Let q = -2 + g. Let n be ((-1)/(-3))/(1/9). Is n != q?
True
Let c be 26/(-8) - 24/(-6). Let r be 2 + 4 + -2 + -2. Which is smaller: r or c?
c
Suppose -43 = -5*a - 4*w, 2*a - 7*w = -2*w + 4. Suppose g = -2*x - 6, x - 4*x - a = g. Let v be (1 + -1)/(0 - 1). Which is bigger: x or v?
v
Suppose m - 8 = -1. Suppose -w + 20 = -5*w, -m = -2*k + 3*w. Are -5 and k equal?
False
Let h be ((-45)/12)/(-5)*4. Let a = h + -2. Which is bigger: a or -3?
a
Suppose 5*a = 3*a - 12. Which is greater: -7 or a?
a
Let t(u) = u + 1. Let v(z) = -5*z + 7. Let q(g) = -6*t(g) - v(g). Let x be q(-11). Which is bigger: x or -6/5?
-6/5
Let t(o) = o**3 - o**2 - o - 1. Let j be t(-1). Let i be j/(2 - 0) + 1. Let u = -811/5 + 163. Which is smaller: i or u?
i
Let d = 20 + 3. Which is smaller: d or 1?
1
Let y be 56/(-4) + (-5 - -8). Which is bigger: y or -21/2?
-21/2
Let d = -13541 - -68071/5. Let g = d + -73. Let q(x) = -x**3 - 3*x - 3. Let h be q(-1). Which is smaller: h or g?
g
Let j = 5.4 - 5. Let t = -0.2 + j. Let z = -2.05 + 0.05. Do t and z have the same value?
False
Suppose x = 4*p - 13, -x - 2*p + 3 = 2*p. Let n be 7/20 + (-2)/x. Do 1 and n have the same value?
False
Let m(h) = h - 2. Let d be m(1). Is d bigger than 18?
False
Suppose 3*w + 3*m - 4*m = 1, -w = -5*m + 9. Does w = 2?
False
Suppose -3*g + 0*g = 2*j + 24, -2*g - 2*j - 14 = 0. Let z = g - -19. Is z less than or equal to 10?
True
Suppose 0 = 2*k - d + 2 - 4, -2*k - 6 = -5*d. Suppose -k*y - 1 - 1 = 0. Let s = 1009/45 + -111/5. Is s less than or equal to y?
False
Let h = 23 + -4. Suppose -5*n + n - h = 5*t, 0 = -3*t - 4*n - 13. Suppose 15 = c - 6*c. Is t not equal to c?
False
Let b = 6.2 + -6. Let o be (-9)/(-18)*3/((-9)/(-2)). Is b less than o?
True
Let m = -2 - 2. Let y = 24.32 + -0.32. Let h = 25 - y. Which is smaller: m or h?
m
Let p(n) = -n**2 + n + 3. Let y be p(4). Let o = y - -16. Let i = o + -7. Which is bigger: -0.6 or i?
i
Suppose -3 - 1 = 2*z. Let g be (-10 - -11)/((-2)/(-8)). Suppose 2*l + 8*k - 8 = g*k, 3*l = -3*k. Which is smaller: z or l?
l
Suppose g = 3*u - 1, -2*u = 4*g - u + 4. Is 1 > g?
True
Let q = 0.064 + 1.036. Are -1 and q equal?
False
Suppose 7 = -2*g + 41. Suppose -5*v = -2*i - 7 - 15, g = -i + 4*v. Which is smaller: i or 2/7?
i
Let y(t) = -t**2 + t + 3. Let v(s) = -2*s**2 + 3*s + 6. Let d(w) = 3*v(w) - 5*y(w). Let j be d(-2). Does j = -7?
False
Let q = -9 + 14. Suppose r = -3*r + 5*f - 7, -f = q*r + 16. Let v be -1 + -1 + 0 + 0. Is v at most r?
False
Let t be (-6)/(-21) + 717/63. Let h = t - 10. Which is smaller: h or 1?
1
Let z = 3755 + -45109/12. Let c = z + 21/4. Let k = 17/18 - c. Is 0 equal to k?
False
Let z(c) = -c + 4. Suppose 4*f = -f + 15. Let p be z(f). Which is bigger: p or -3/7?
p
Let w(q) = -2*q**2 - q - 1. Let t be w(-1). Suppose 15*l -