 or s?
3/7
Suppose 2*j + 2*j - 2*s = 14, 0 = 2*j - 3*s - 1. Suppose u + 2 + 2 = o, -20 = -j*u - 5*o. Which is smaller: u or -2?
-2
Let h = -6 - -7. Let k be (-2 - h) + (-40)/(-14). Is -1 <= k?
True
Let b be 1/(-1*(-2)/(-4)). Let c be (-1 - (2 + -7))/b. Let q be c/4*(2 + -4). Is q < 1?
False
Let t = 1/30 - 7/10. Let u = -5 + 5.01. Is u greater than t?
True
Let a(j) = -j**3 + j**2 + 3*j + 1. Let c be a(3). Let z = -15/2 - c. Let s = 0.18 - 1.18. Which is greater: z or s?
z
Suppose -5*u - 21 = 29. Which is greater: -11 or u?
u
Let x(s) = 2*s + 1 + 0*s**2 + s + s**2. Let w be x(-1). Let o = 725/7 + -104. Which is smaller: w or o?
w
Let k(v) = -v**2 + 1. Let u be k(0). Let i = u + 0. Suppose -3*a + i = -2. Is a >= 0?
True
Suppose -5 = 3*w - 20. Suppose 0 = -2*z + w*r + 13, 0*z - 2*r = -3*z - 8. Let x be ((-15)/z + -2)*0. Which is smaller: x or -1/6?
-1/6
Suppose -2*n = n + 3. Let w be 0 - n/2*0. Suppose 5*x - 3*x = -4*g + 8, -2*g + 8 = w. Is -3 at least x?
True
Let c = -45.4 - -2.4. Which is smaller: c or -1?
c
Let i(q) = q**3 + 4*q**2 - 4*q + 1. Let o be i(-5). Let a(w) = w**2 + w + 6. Let s be a(0). Let u = s + -10. Is o != u?
False
Suppose -5*q + 30 = -4*z, -2 = 3*q + 4*z - 52. Let o be 96/12*1/q. Is 0 less than or equal to o?
True
Let v = 2.14 - 2. Let g = -0.44 - -0.24. Let y = v + g. Is y < 2/3?
True
Let j(g) = -2*g + 6. Let u be j(4). Let f be (-1)/u*(0 + -2). Let v = 109/21 + -34/7. Which is bigger: v or f?
v
Let s be 7 + -1*3/3. Suppose -2*u + 0*u + s = 0, -3*n - 711 = 2*u. Let k = n - -4543/19. Which is smaller: k or -1?
-1
Suppose s = 3*h + 4*s - 9, -h + 7 = -s. Suppose 0 = 5*v + w - 20, v + 4*w - 4 = h*w. Suppose 3*c = -2*y + 3, -5 = -v*c - c - y. Which is smaller: c or 1/5?
1/5
Suppose 3*j = 2*j + 9. Let h be ((-2)/(-15))/((-3)/j). Let q = -0.2 + 0.1. Does q = h?
False
Let k be 3*1*(-4)/(-8). Is k less than -2/65?
False
Let i be 1/2*0 - 3. Is i >= -14?
True
Suppose -b + 2*b = 26. Suppose 6 - b = 4*h. Suppose 2*n + 12 = 2*q, 4*n + 35 - 10 = 5*q. Is n <= h?
True
Let k = 0.9 + -0.85. Which is bigger: 1/4 or k?
1/4
Let k be (-4)/(-6) - 156/18. Let n(l) = -2*l**2 - 2*l + 4. Let q be n(-3). Is q >= k?
True
Let n = -2 - -2.03. Let b = n - -2.97. Let d = 3.2 - b. Is d greater than or equal to 0.1?
True
Let c be (18/8)/((-6)/24). Is c at most -2/3?
True
Suppose -5*t - 10 = -3*s, -t + 4 = -3*t. Let q = s - 4. Which is bigger: -5 or q?
q
Let z = 0.13 + 0.07. Which is bigger: 1/13 or z?
z
Let h = -4433/4779 + 54/59. Let z = 38073 + -3083858/81. Let v = z + h. Which is greater: 0 or v?
v
Let m be (2/(-4))/((-3)/(-403)). Let i = m - -67. Let x be 10/15 - 2/3. Which is bigger: x or i?
x
Let l = 8 - 3. Let u = l + -6. Let p = 0.8 + u. Is p <= -1/3?
False
Suppose 0 = 2*x - 0 - 2. Let m = 944/4167 + -2/463. Does x = m?
False
Let b = 4/69 + 37/23. Let k(c) = -c**2 - 11*c - 15. Let u be k(-9). Which is greater: u or b?
u
Let o = 44 - 17. Are o and 26 unequal?
True
Let c be (-52)/(-16) - 6/(-8). Let t = -4 + c. Which is bigger: t or 1?
1
Suppose l + 6 = -10. Let u = l - -9. Do -8 and u have different values?
True
Let a = 0.8 + -4.8. Let p = a - -4.07. Which is smaller: 0.2 or p?
p
Suppose 5*h = 4*y + 44, 3*h - 4*y - 18 - 2 = 0. Suppose -12 = -8*u + h*u. Is 0 < u?
False
Suppose 2*i + 80 = -3*i. Let t be (-4)/i + (-26)/8. Which is smaller: t or -2?
t
Let m be (-2)/(-12) - (-105)/18. Which is smaller: 8 or m?
m
Suppose 5*a - 34 - 1 = 0. Let g = a - 6. Are g and 2 nonequal?
True
Let w(j) = -15*j + 17. Suppose 39 = -5*m + 2*m + 2*p, -4*p = 0. Let z(i) = 7*i - 8. Let r(d) = m*z(d) - 6*w(d). Let f be r(4). Do -1 and f have the same value?
False
Let k = 205 - 204.974. Which is smaller: k or -1?
-1
Let m be 45*2/14 - (-48)/84. Which is smaller: m or 4?
4
Let c be ((-2)/(-11))/((-5)/(-15)). Which is smaller: 2 or c?
c
Suppose y = -3*f + 23, -f - 2*y = 4*f - 39. Do f and 6 have the same value?
False
Let t = -3.2 + 7.4. Let z = t + -4. Which is smaller: 3 or z?
z
Let b = -45 + 46. Is 12/35 less than or equal to b?
True
Let x = -0.22 + -15.78. Let m = x - -14. Is m <= 2?
True
Suppose 2*h + 0*h + 2 = 0. Let l(v) = -76*v - 4. Let q be l(3). Let m = -1853/8 - q. Is m > h?
True
Let c = -464/3 + 156. Which is smaller: c or 1?
1
Let r = 17.4 + -1.4. Which is smaller: r or 0.1?
0.1
Let h = 8.6 + -9.6. Is h at most 0.036?
True
Let k = 3.3 + -3. Let w = -0.7 - k. Suppose 5 = 6*p - p. Are w and p non-equal?
True
Let v be 60/(-8)*8/(-10). Let b be 9/(-7) + v/21. Does b = 1/4?
False
Suppose 5*h + 2 = -3. Let i = 6 + -6.8. Which is smaller: i or h?
h
Let x = 298/221 + -16/13. Which is greater: x or 1?
1
Let c = 28 + -64. Let w be 70/c*3/(-15). Let g = -5/18 - w. Is g greater than or equal to 1?
False
Let a = -3 + 7. Let c(d) = a*d + 2*d - 5*d - 2. Let i be c(2). Which is bigger: -2/5 or i?
i
Let f = -10067/8 - -1249. Which is greater: f or -10?
f
Suppose -k = v, -v - v = -k - 3. Are k and 1/12 unequal?
True
Let b = 271 - 1907/7. Which is smaller: 1 or b?
b
Suppose h + 4*h = -3*w + 131, -54 = -2*h - 2*w. Suppose -q + 5*q - 28 = 4*o, 4*o - q + h = 0. Let m be 40/(-150)*o/(-4). Is 3/2 bigger than m?
True
Let f be 6/(-4)*4/(-33). Is -1 less than or equal to f?
True
Let b be 27/132 - 2/8. Is b at most -1?
False
Let q(u) = u**3 - 5*u**2 - 6*u + 8. Let c be q(8). Let p = c - 71. Let o = -245/3 + p. Which is smaller: -2 or o?
-2
Let p = 3472/15 + -6131/45. Let t = 95 - p. Let o = 0 + 0. Which is smaller: o or t?
t
Let o be -2*1/2 + 1. Suppose o*t = t - 14. Suppose -5*y + t = 4*n, 6 + 5 = 4*y + 3*n. Is y at most as big as 2?
True
Let u = 17/12 + -5/4. Let n = u + 1/12. Let s = 0.4 + -2.4. Which is bigger: s or n?
n
Suppose 5*x - 4 + 3 = -2*q, 0 = 4*q + 8. Let j be -1 - (-1)/((-2)/(-4)). Is x <= j?
True
Let l = 4 + -5. Let i be l/(0 + 1)*1. Let q = 20/21 - 2/3. Is q less than or equal to i?
False
Let p = -86 - -85.5. Is p greater than -1.4?
True
Let k(f) = -f - 5. Let q be k(-7). Are 0.3 and q non-equal?
True
Let r be (2/(-10))/((-8)/(-260)). Is r bigger than -8?
True
Let a be (-5)/(-8) + 7/(-14). Which is greater: a or 1?
1
Suppose 6*h - 3*h + 3 = 0. Which is bigger: 1/23 or h?
1/23
Let o(y) = 6*y**2 - 1. Let j be o(-1). Suppose j*r = r + 8. Let t be 3/(-2) + r/(-4). Which is smaller: t or -1?
t
Let w be (95/(-5))/(-1) + -4. Which is bigger: 14 or w?
w
Suppose 5*l - 2*l = 12. Is 0 >= l?
False
Let r = -0.03 - -0.03. Is 23 smaller than r?
False
Suppose -2*k = -5*y - 34, -5*k - 2*y + 15 = -12. Suppose -w = 3*j + 4*w - k, 25 = 5*w. Let z be -2 + (-1)/j*8. Is -2 > z?
False
Let l = -306/11 - -28. Is l greater than 0?
True
Let k = -48 + 32. Let r be ((-2)/(-24))/((-4)/k). Let h be 2/4 - (-1)/2. Which is greater: r or h?
h
Let q(b) = -3*b - 1. Let i be q(1). Let m = -6 + 3. Which is smaller: i or m?
i
Let i = 6 + -5. Let p(t) = -t**3 - 4*t**2 - t + 1. Let a be p(-4). Suppose -4*m - 7 = -a*u, -2*m - 2*u + 14 - 4 = 0. Which is bigger: i or m?
m
Suppose -4*h - 5*l + 18 = 0, 3*h = 4*l - 0 - 2. Which is smaller: 8/5 or h?
8/5
Let d(h) = -h**3 + 15*h**2 + 16*h - 5. Let i be d(16). Which is smaller: -6 or i?
-6
Let b be 0 + 1 + (-94)/57. Let a = b - -6/19. Let o be (-7)/6 + 2/2. Which is smaller: o or a?
a
Let p(i) = i**2 + 13*i + 2. Let f be p(-15). Let o be 2/12*f/6. Is 2 greater than or equal to o?
True
Let g = -37 - -187/5. Let w(p) = -p**3 + 6*p**2 - 6*p + 5. Let s = 2 - -3. Let z be w(s). Is z at least g?
False
Let d be (20/(-8))/(2/4). Is -5 not equal to d?
False
Suppose -5*k + a + 24 = 2*a, 4*k - 5*a + 4 = 0. Let g(u) = u - 4. Let q be g(k). Let x be (5/(-10))/((-3)/(-2)). Is q greater than x?
True
Let l be 2/4 - 26/36. Is 3 <= l?
False
Let k be 3 + 56/(-16)*(-1 + 2). Is -5 < k?
True
Let b be 3 + (1 - 8)/1. Which is bigger: -3 or b?
-3
Let h be (10/(-12) + 1)*1. Let y(b) be the second derivative of -b**3/6 - b**2 + b. Let m be y(-2). Which is smaller: m or h?
m
Let r be ((-2)/(-4))/(3/12). Let w = 22 + -20. Let n be (1 + w - -1)/r. Which is smaller: n or 3?
n
Let v = -1.4 - -2. Which is smaller: v or -0.2?
-0.2
Let w be -30 - (-1 + 1 + 0). Let q be w/9 + 2 + 2. Which is smaller: q or 0?
0
Let g(l) = 2*l**3 - 4*l**2 - l + 3. Let n be g(3). Suppose -8*m - 45 + 181 = 0. Are n and m equal?
False
Let d = 1.2 - 0.8. Let n = d - 0.1. Is n smaller than -2?
False
Let o = 2.2 + 0.8. Let k = o + -1. Let