 2. Let i be o(s). Is 2 < i?
False
Let z = 6 + -1. Is z bigger than 6?
False
Let h be (-5)/(-2)*(-6)/(-15). Is h at least as big as 1?
True
Let s = 3 + -3.6. Let j = -0.51 + 0.01. Let n = j - s. Which is greater: 4 or n?
4
Suppose 0 = -5*n + 18 + 12. Which is bigger: -3 or n?
n
Let u be 92/(-6) + (-15)/3. Is -19 <= u?
False
Let i(n) = -7*n + 1. Let t be i(-1). Suppose -t*m = -3*m. Which is smaller: 4/11 or m?
m
Let y = 0.04 + 0.06. Let l(t) = -t**2 - t + 10. Let x be l(0). Let m = -68/7 + x. Are m and y nonequal?
True
Let x be 1*-3 + 297/90. Which is greater: 1 or x?
1
Let z be ((-1)/5)/(6/(-12)). Let u = 0.5 - 0.56. Let x = u + -0.04. Is x smaller than z?
True
Suppose 6*b = -4*b + 190. Is 96/5 >= b?
True
Let j = 3.05 + -3. Let f = j - 2.05. Let i = f - -2.1. Is 1 at least i?
True
Suppose -n - 28 = 12. Is -37 at least as big as n?
True
Let q(d) = 2*d**2 - 3*d - 2. Let t be q(-1). Let w be (t - -1) + 0 + -1. Is w less than 8/5?
False
Suppose -2*u + 2*o + 10 = 0, 4*u - 3*o = -u + 21. Let b(t) = t**2 - 6*t + 2. Let j be b(u). Let n be (-12)/j - 6/(-21). Which is smaller: 1 or n?
1
Let n = 1829/9 - 203. Let f = 4 + 0. Suppose -2*i = 3*u + f, 5*i - 17 + 8 = 2*u. Which is smaller: i or n?
n
Let c = -3 + 3.8. Let u = -0.2 - c. Is 0 >= u?
True
Suppose 2*o = o - 3. Let p be 7/21 + 19/o. Let q be 9/24*(-4)/p. Which is greater: q or -1?
q
Let o = 274 + -3021/11. Which is greater: o or 0?
0
Suppose 3*t + 4*u - 41 = 0, -3*u - 9 = -4*t + 4. Suppose 4*x = -f - t, -4*f - 4*x - 17 = -5*f. Let l be (f/25)/((-4)/5). Is l > -2?
True
Suppose 0*j = 3*w + 2*j - 4, -3*w + 2*j = 16. Let t = 0 - -8. Suppose -15 = -3*l + t*l. Which is smaller: w or l?
l
Let w be 1 - (0/3 + 2). Are w and -7 nonequal?
True
Suppose -4*j - j = 0. Let h = 1 + j. Which is bigger: 2/13 or h?
h
Suppose 0*v = v + 2. Suppose 4*r - 36 = r. Let z be ((-18)/r)/(2/4). Is v at most z?
False
Let h = 62/15 + -1133/285. Let k = -445/912 - -19/48. Let s = k - h. Is -1 > s?
False
Suppose -2 - 2 = 4*g, -2*m - 4*g = 8. Suppose 0 = 3*u - 0*j - j - 2, 3*j = -3*u - 18. Which is bigger: u or m?
u
Suppose -4*v + 39 = 47. Which is smaller: -19/12 or v?
v
Suppose 0 = 5*h - 0*h. Suppose h = -a + 3 - 2. Which is smaller: 2 or a?
a
Suppose -8*q = -4*q - 4. Which is bigger: 2/129 or q?
q
Suppose 12 = -4*s - 2*u, -s + u + 0 + 3 = 0. Suppose -5*p + 5*i = 4*i + 25, 2*i = 0. Let f be p/(-2)*4/(-40). Which is bigger: f or s?
f
Let l be 2/(4 - 0)*8. Let r be 13/4 - (-27)/36. Is r less than l?
False
Let o = -18 + 17.6. Which is smaller: o or -3/7?
-3/7
Let k be (-1)/4*(-4 + 5). Let t = -2 - -2.1. Let q = t + -0.2. Is k != q?
True
Let t(v) = v**2 - v - 29. Let o be t(6). Let g = 2 + -1. Is o greater than or equal to g?
True
Let x = -0.01 - -10.01. Let d(v) = -2*v**2 - 4*v + 5. Let z be d(-3). Is x at most as big as z?
False
Let h = 15 - 4. Let d(o) = o - 3. Let w be d(h). Suppose q + w = -q. Is -3 not equal to q?
True
Let w(m) = m**3 + 5*m**2 + 2*m + 10. Let l be w(-5). Which is bigger: l or 1/13?
1/13
Suppose -p = 5*d - 3, 2*p = -5*d + d. Which is greater: -12/5 or p?
p
Let z = -2951789/448 - -52709/8. Let q = z + 3/64. Which is smaller: 1 or q?
q
Suppose -2*g + 2*l = 10, -15 + 36 = -g + 5*l. Which is greater: 0 or g?
0
Let n = 2.08 + -2. Let g = n + 5.92. Let r = -4 + g. Which is smaller: 0 or r?
0
Suppose 0 = -b + 3, b - 49 = -5*a - 1. Suppose -5*k + a*k - 4 = 0. Let n = -6 - -8. Which is greater: k or n?
n
Suppose 3*w + 54 = -0*b - 3*b, 0 = 3*w - 3*b + 54. Let z = w - -61. Suppose -4*j + 3*t = -12 + z, 2*j = -3*t + 7. Is j > -2?
False
Let v be -4 + -2 + (1 - -5). Let o = 71/126 + 23/42. Which is bigger: o or v?
o
Suppose 0 = 3*r - 2*r - 1. Let m = -971/7 - -141. Let a = m + -89/42. Which is smaller: a or r?
a
Let c be ((-3)/18*-131)/(-6). Let w = 26/9 + c. Let i = -6 + 6. Which is smaller: w or i?
w
Suppose 0*r = 2*r - 8. Suppose -7*h = -4*h + r*d - 18, 2*d = h + 4. Suppose 0*m - 2 = -h*m. Which is greater: m or 2?
2
Let t be ((-1)/3*-2)/(35/(-84)). Which is smaller: t or -1?
t
Suppose -t + 5*v + 0 = -6, -5*v + 2 = -3*t. Let u = 15 - 9. Let f = u + t. Which is bigger: f or 3?
3
Let x be (-372)/(-94) + 24/(-6). Which is smaller: x or 0?
x
Let n = -270/7 - -38. Suppose -4*o + 3 - 7 = 0. Which is bigger: n or o?
n
Suppose 4*o - 70 = 2*l - 0*l, 0 = -3*o + 2*l + 50. Let k be 13/52 + 71/o. Is k equal to 5?
False
Let h(f) = -f. Let y be (2 + -1)*(0 - -2). Let v be h(y). Let j = 2 + -3. Which is greater: v or j?
j
Let y be (12/48)/(4/(-6)). Is y >= 1?
False
Let a = -10 - -20. Is -1/3 at most as big as a?
True
Let w be -1 - ((-2)/8)/(-1). Suppose 3*k = -2*h + 30, k + 50 = 6*k - 3*h. Suppose -5*c + 5*r = 10, -3*c - 2*r = 3*r - k. Is c at most w?
False
Let p be (-2)/(-4) + (-1)/2. Let s = 211/4 - 53. Which is smaller: p or s?
s
Let s = -2.94 + -0.06. Let h = s + 5. Let z = 1 - h. Which is bigger: z or 1?
1
Let q = -73/560 - 1/80. Which is smaller: 1 or q?
q
Suppose -22*n = -17*n + 5. Let u = 0.5 + -0.3. Is n >= u?
False
Suppose 0 = -a + 5*x + 16, 5*a = -4*x - 0*x - 65. Let m be (-15)/a - 2/3. Which is smaller: m or -1/3?
-1/3
Let p(l) = l**2 - 4*l - 5. Let s be p(6). Is s at least as big as -1?
True
Let n = -7 + 1. Let j(b) = 5*b - 1. Let r be j(1). Let f = n + r. Is f > 0?
False
Let t = -2 - -2. Let z = 0 - t. Let u be ((-6)/(-30))/((-8)/10). Which is smaller: z or u?
u
Let q be (8/120)/((-2)/(-9)). Is 0 not equal to q?
True
Let j = 8 - 9. Which is smaller: j or 0?
j
Let d = -3 + 4. Let r = 2 + d. Are r and -1 nonequal?
True
Suppose p - 4 = -0*p. Let o be 2/(((-4)/2)/(-4)). Is o > p?
False
Suppose 5*j = -25, 0*s - 15 = 2*s + 3*j. Is 2/19 less than or equal to s?
False
Let s = -10 - -14. Suppose 2*a + 4*z = z + 12, z = -s*a + 4. Let b be a - -2*1 - 4. Do -3 and b have the same value?
False
Let c = -2.1 - -2. Let v = -49 - -48.7. Is c equal to v?
False
Let b be (5 - 4)*(-1)/(-3). Which is smaller: -0.03 or b?
-0.03
Let f = 57 - 57. Are f and 3/13 nonequal?
True
Let p(m) = -2*m + 5. Let w be p(5). Let n = -4 - -2. Let k be (-1 - 0 - 0) + n. Which is bigger: w or k?
k
Let h be (-2)/4*(-4 - -6). Let t = -1 - h. Which is smaller: t or -1/2?
-1/2
Let s = -1.81 - -1.71. Which is smaller: s or -19/8?
-19/8
Suppose 5*o - 5 = 2*y + 4*o, -5*y + 4*o = 20. Is 22 less than y?
False
Let p = -35689/2878 - -258250217/18997678. Let y = p + -264/287. Let v = y - 3/23. Which is smaller: -1 or v?
-1
Suppose -l - 5*d + 5 = 0, 9 = 2*l - 2*d - 1. Suppose 0 = 4*a - 3*f + 2, 0 = -l*a - 4*f + 3 + 10. Suppose -3*c = a + 2. Which is greater: c or 0.1?
0.1
Let v = 12 + -4. Suppose -w + 1 + v = 0. Is w smaller than 9?
False
Suppose i + i = -2*b - 2, 0 = i. Do 3/7 and b have different values?
True
Let w = -18.14 - -18. Let h = -0.04 - w. Does 1 = h?
False
Let q = -6 + 0. Let o be ((-4)/(-6))/(4/q). Are 2/19 and o equal?
False
Let o = -128 + 89. Is -38 > o?
True
Let n(j) = -j**2 + 19*j + 7. Let t be n(19). Let w(i) = -i**3 + 5*i**2 - 3*i + 1. Let c be w(4). Let a be (18/15)/(1/c). Which is bigger: t or a?
t
Let s be (-1)/(-2)*(-8)/(-15). Let p = s + 1/15. Let n = 0.1 + -2.1. Is p equal to n?
False
Let j be (0 - -1)/(-1)*0. Let w be (-726)/231 - (4 - 0)/(-1). Is j smaller than w?
True
Let h = 8 - 3. Let w be h/1 - (3 + -5). Let t = w + -22/3. Does 3/4 = t?
False
Let x = -27 - -202. Let q = -1227/7 + x. Is q less than 1?
True
Let k(z) = z**3 - 7*z**2 + 5*z + 4. Suppose -11 = -2*u + 1. Let r be k(u). Let h = -13 - -9. Which is smaller: r or h?
h
Let d(s) be the first derivative of 2*s**3/3 + s**2 - 2*s + 2. Let o be d(-2). Let l be (1 - o/5) + -1. Are -2/5 and l non-equal?
False
Let s = -35.9 - -36. Is 9/10 <= s?
False
Let x = 102 + -101. Let m(j) = j - 3. Let a be m(4). Are a and x non-equal?
False
Suppose 25 = -8*d + 3*d, 3*d + 21 = 2*l. Let t = l + 3. Suppose t = -4*f - 6. Is -2 < f?
False
Let m(z) = 9*z + 2*z + 2 + z**2 - 5*z. Let n = 13 - 19. Let r be m(n). Are 1 and r nonequal?
True
Let h be 52/105 + 4/(-10). Let b(r) = -11*r + 1. Let o(n) = -17*n + 2. Let x(z) = 8*b(z) - 5*o(z). Let f be x(-1). Which is smaller: f or h?
h
Let s = -27.12 + 27. Which is smaller: s or 0?
s
Let d(z) = z**3 + 2*z**2 - 4*z - 1. Let b be d(-3). Suppose -2*t = -t - 4. Suppose 0 = 2*f - t, -q + 5*f - 12 = -3*q. Do b and q have the same value?
False
Let f = 11 + -9. Is f < -1?
False
