u or -1?
u
Let c(n) = 2*n - 28. Let r be c(15). Let j(b) be the first derivative of b**3/3 - b**2 + b - 1. Let k be j(1). Which is greater: k or r?
r
Let f be (-10)/55 + 6/33. Which is bigger: f or 2/11?
2/11
Let s be ((-81)/18 - -5)/(2/(-4)). Which is smaller: -5/31 or s?
s
Let u = -13 + 12. Let r = 0.5 + u. Is r smaller than 1/2?
True
Suppose 2*t + 17 = -5*r, 0*t - t - 2*r - 11 = 0. Is t greater than or equal to -23?
True
Suppose -3*w + 6 + 0 = 0. Suppose -w*h + 3 = -h. Is 2 at most h?
True
Let d(g) = g**2 - 7*g + 5. Suppose -4*y - y + 30 = 0. Let v be d(y). Which is bigger: v or -1/7?
-1/7
Let z = 3 - -1. Suppose 3*g = -z*h + 10, -2*h + 2*g + 2*g - 6 = 0. Suppose -4*o - 5 = -1. Is o <= h?
True
Suppose -2*z + v = 3, -2*z - 2*v - 1 = -v. Let g = z - 0. Let n be -1*(2 + -2)/(-1). Which is smaller: g or n?
g
Let g = -115/4 + 29. Which is greater: g or -1?
g
Suppose 4*b = b + 18. Which is greater: 5 or b?
b
Let d = 6 + -2. Let x = 28 - 29. Let r(q) = -3*q**3 + q**2 - q - 1. Let j be r(x). Is j less than or equal to d?
True
Let q = 102.1 - 98. Let l = q - 3.12. Let x = l + 0.02. Is x greater than 1/2?
True
Suppose -3*r = 5*z - 7*r + 13, 0 = 2*z + r. Which is smaller: z or 0?
z
Let o = -82/3 - -27. Let y = 0 + -0.1. Let l = y + 0.3. Is o less than l?
True
Suppose 3*r - 48 = 3*w, 0 = -w + 3*w + 4*r + 56. Let a be ((-24)/w)/(2/(-5)). Which is bigger: a or -2/3?
-2/3
Let l be -3*3/(-3) - -2. Which is greater: l or 4?
l
Let r = 1.24 - 1.24. Are r and -13 nonequal?
True
Suppose -a - 1 + 4 = -3*x, 3*x - 4*a = -3. Which is smaller: x or 1/30?
x
Let r = -13 + 12. Is r at least -4?
True
Let j = -66/7 + 681/70. Is j less than -1?
False
Let z be ((-1)/(-6))/(2/(-4))*-9. Which is smaller: 2 or z?
2
Suppose -m - 330 = -3*m + 4*j, -5*m + 2*j + 841 = 0. Let z = m - 264. Let k be z/(-100) + (-1)/5. Which is greater: 1 or k?
1
Let v = 3.5 - 3.4. Do v and -2.7 have the same value?
False
Suppose -3*m = 2*o - 3, 3*o - 3*m + 6 = 4*o. Let c be (o/(-9))/(2/(-6)). Which is smaller: c or -3/5?
c
Suppose 2*y - 2*h - 2 = 7*y, -3*y + 4*h = -4. Let p = y + -4. Let q be 8/(-12) + 14/(-6). Is p at most as big as q?
True
Let c = -33 + 39. Which is bigger: 8 or c?
8
Let k be -2 + 0 + 506/242. Let w be ((-1)/2)/(1/2). Is k greater than w?
True
Let x = 6 + -5.6. Let z = -1.4 + x. Which is smaller: z or 0.2?
z
Let x(g) = -4*g**3 - g**2 - g - 1. Let q be x(-1). Suppose 0 = -2*h - 0*h + 6. Let w = q - h. Which is smaller: w or 1?
w
Let q(o) = -5*o - 1. Let f(h) = -5*h. Let l(w) = -6*f(w) + 5*q(w). Let a be l(2). Is a < 5?
False
Suppose 0 = o - 0*o + 165. Let q = 66280 + -465113/7. Let t = q - o. Is t greater than or equal to -0.2?
True
Suppose -3*i = 5*i + 8. Let p = 0.3 + -0.1. Which is bigger: i or p?
p
Let m be (-16)/90 + 6/15. Let l(z) = -z**3 - 6*z**2 + z + 8. Let y be l(-6). Let k = 1 - y. Does k = m?
False
Let q = -7.1 - -7. Which is smaller: q or 2/91?
q
Let r = 0.533 + 27.767. Let u = r + -32. Let i = u - -0.7. Are i and -1 nonequal?
True
Let z be (42/8)/(6/16). Suppose a - 13 = -z. Is a less than -2/11?
True
Let m(v) = -3*v**3 - 11*v**2 + 12*v - 8. Let x(t) = -4*t**3 - 12*t**2 + 13*t - 9. Let z(s) = 3*m(s) - 2*x(s). Let w be z(-10). Does w = -0.2?
False
Let s be 2/(-4) + 3/4. Let x be 3 + 5/((-15)/9). Is x smaller than s?
True
Let m = -1/3217658 - 31513742421/99747398. Let f = -316 - m. Which is bigger: f or 1?
1
Let t be (5 - 3) + -2 + -1. Let u be 138/(-12) + t/2. Let o = -10 - u. Which is bigger: 1 or o?
o
Let x = 34 - 34.1. Let q = 2.2 + -0.2. Is x equal to q?
False
Suppose 50 = -0*w + 5*w. Let q = 19 - w. Which is greater: 8 or q?
q
Let w be (-4 + 5 + -3)/(3 - 5). Is w > 6/25?
True
Let j be (5 + 276/(-56))/(1/(-12)). Which is bigger: -1 or j?
j
Let h = 11 - 7. Let q = 3 - h. Let y = 12/11 + -86/99. Which is smaller: q or y?
q
Let x(l) = 4 + l - 5 - 2. Let h be x(3). Is -1 at least as big as h?
False
Let b be (-15)/5 - (148/10 + -3). Is b not equal to -15?
True
Let y be 4/6*(4 + -1). Is y at most as big as 3?
True
Let v = 113/4 + -28. Let s be 8 - (-4)/(-2 - 0). Suppose -5*a + s*z - 9 = 2*z, 3*a = 5*z - 8. Which is greater: v or a?
v
Suppose -5*h = -2*v + 64, 13 + 41 = -5*h - 3*v. Let n = h + 10. Let q be (-8)/3 - 2/(-3). Is n less than q?
False
Let u = 4 + -3. Let o = u + -1. Let c = o + -1. Which is bigger: -1/4 or c?
-1/4
Let j be -4 + ((-31)/(-4) - 4). Suppose 0 = 4*k - 4 - 0. Which is smaller: k or j?
j
Let q be (-4)/4 + -4 + 23. Let l be 12/(-4) + q/4. Suppose 3*f - 4*g = -2*f + 27, 5*f = 3*g + 24. Is f <= l?
False
Let p = -4 + 7. Let t = -4 - -7. Is t > p?
False
Let g = 25 + -42. Are -15 and g equal?
False
Let y be (-3)/15*10/(-6). Which is smaller: y or 1?
y
Let x = 10 + -12. Which is smaller: -2/3 or x?
x
Suppose -o = -7 + 6. Which is smaller: 4 or o?
o
Let x be 1/(-2)*(7 - -3). Let c = 5 + x. Which is smaller: 3/4 or c?
c
Suppose -3*i + 7*i = 12. Suppose 0 = k + 4*k + 10. Let a = i + k. Is -2/7 >= a?
False
Let w = -16.2 - -12.2. Let j = 0 + -0.1. Which is bigger: j or w?
j
Suppose 2*a = -4*m - 2*a - 24, 3*m - 2*a = 7. Does m = 0?
False
Let p = -48 - -76. Let m be 4/(-14) - 20/p. Is m greater than or equal to -1?
True
Let v = -6 - -4. Let a be (2/4)/((-1)/v). Let y be (a/4)/((-3)/(-18)). Is 2 < y?
False
Let h = 4.35 + 0.65. Is 0.2 <= h?
True
Suppose -m = -0*m + 7. Let j be ((0 - -2) + -3)*m. Let r(z) = z**3 - 8*z**2 + 7*z + 2. Let v be r(j). Is v less than 3?
True
Let d(x) = -x - 12. Let v be d(-12). Suppose -4*o = h - 13, -5*o = -h - v*h - 5. Is 3/2 > o?
False
Let z be ((-3)/(-3))/(2/2). Let v be 6/(-33) + z + -1. Which is bigger: 1 or v?
1
Let p(z) = -2*z**3 + z**2 - 1. Let k be ((-1)/(-1))/(1 - 0). Let r be p(k). Let n(i) = -i**2 - 4*i + 4. Let q be n(-5). Which is bigger: q or r?
q
Let c(i) = -i**2 + 25*i - 42. Let u be c(17). Is u less than 94?
False
Let u = 9 + -16. Let b be -2 - u/((-14)/(-4)). Which is smaller: b or 1/9?
b
Let z = 4 + -11. Which is smaller: -8 or z?
-8
Let r = 22 - 19. Which is smaller: r or -8?
-8
Let t = 23 + -14. Suppose 2*c + 1 = t. Is 5 less than c?
False
Suppose 5*o - 5*j - 12 = 73, 0 = 2*o - j - 29. Let b be (-15)/o + 1/4. Which is greater: b or -4/7?
-4/7
Suppose -14 = -3*t + 7. Which is smaller: t or 6?
6
Let w = 65/196 - 4/49. Let g = -1.4 - -0.4. Which is bigger: w or g?
w
Let r = 39 + -24. Do r and 14 have the same value?
False
Let w = -10 - -13. Suppose w*i = -u - 17, 15 + 10 = -5*u. Which is greater: i or 1/3?
1/3
Let c = -0.25 - -0.15. Let h be 3/2 + 2/4. Let w = -3 + h. Which is bigger: w or c?
c
Let t = -0.004 - -0.034. Is -0.2 at least as big as t?
False
Let y = -3 + 3. Suppose 0 = 2*s - 5*p - 16, -4*s + 4*p + 0 + 8 = y. Let x be s/(-4) - (-3)/(-6). Are -1/5 and x equal?
False
Suppose -8*l + 10 = -3*l. Let z be l*((-108)/(-8))/9. Which is bigger: z or 2?
z
Let q be 50/18 + 4/18. Suppose k + 4*k = -h + 26, -3*k + 16 = h. Let c be 1*(-2 - h*-4). Are c and q unequal?
True
Let p = -9 + 5. Suppose -7*c + 3*c = 12. Is c equal to p?
False
Let k = -44/7 - -46/7. Let q = 5 + -6. Let x = -1 - q. Which is smaller: x or k?
x
Let d = 161 - 160. Is 8/35 less than or equal to d?
True
Let z = -368 - -2037/5. Let b = z - 39. Is -1 >= b?
False
Let w be (-26)/(-30) + -1 + 0. Let y(s) = s**3 - 8*s**2 + s - 8. Let d be y(8). Which is greater: w or d?
d
Suppose 3*i - 6*i = 0. Which is smaller: 2/17 or i?
i
Suppose 5*n - t - 2 = 3*t, -4*n = -4*t - 4. Let z be (-2 - (-59)/14) + n. Let j = 19/42 + z. Which is smaller: 0.1 or j?
0.1
Suppose 4*a + 3*l - 17 = -0*a, -2*a + 2*l = 2. Let w = 107 + -1607/15. Do a and w have different values?
True
Let o(u) = 1 + 0 - 3 + 8*u + u**2. Let f be (12/(-10))/((-3)/(-20)). Let x be o(f). Which is greater: 0.1 or x?
0.1
Let t = -1 + 1. Let w be 2*3/(-30) - 0. Which is greater: w or t?
t
Let m be (1 + (-6)/4)*0. Let o = 3 + m. Let h be o/12 + (-3)/(-84). Which is smaller: h or 1?
h
Let g = 14 + -1. Let c = g + -11.96. Let u = c + -0.04. Which is greater: u or -2?
u
Let h(m) = -m**3 - 4*m**2 + 5*m. Let i be h(-5). Suppose i = c + 1 - 2. Which is greater: c or 0.2?
c
Let c(m) = m - 1. Let o be c(1). Let q = -1 + o. Is 1/9 not equal to q?
True
Let p = 0.798 - -0.202. Let c = 5 - 5.07. Which is greater: p or c?
p
Let h = -2.17 - -0.07. Let k = h - -1. Let b = -1 - k. Is 3 <= b?
False
Suppose 21*f - 23*f + 2 = 0