e
Let n = 92 + -458/5. Let j = 0 - -4. Let v(l) = l - 4. Let a be v(j). Which is smaller: n or a?
a
Let p(w) = -w**2 + 4*w + 4. Let b be p(4). Let j be 0 - 48/(b - 2). Let o be -2 + 0 + j/(-11). Is o at most 1?
True
Suppose -4*k - 28 = -8. Let q = k - -1. Let c be (3/4)/((-1)/q). Is 3 < c?
False
Let m = -2.93 + 3. Let y = m + -0.37. Let n = -0.4 - y. Which is smaller: n or -1?
-1
Suppose 4*j + 2*x - 16 = -42, 2*j + 3 = x. Is j < 0.2?
True
Let s = -0.06 - -16.06. Which is greater: s or -2/5?
s
Suppose -c + 3*u - 149 = 0, -2*c - 5*u - 221 - 44 = 0. Let b be 10/12*21/c. Do b and -1 have the same value?
False
Let i = -319 + 13077/41. Is -1 at least i?
False
Suppose -2*y = y. Let j(d) = -d**2 - 3*d - 2. Let m be j(3). Let p be m/12*(-2)/5. Is y greater than p?
False
Suppose -3*a - 8 = -23. Is 11/2 < a?
False
Suppose n = -3*o - 17, -n + 0*n = o + 9. Let x = n - -8. Suppose 1 = 2*r - x*r. Which is bigger: 2/5 or r?
2/5
Let g be (3/(-9))/((-5)/315). Suppose 4*o + j = g, 9*o = 4*o + 4*j + 42. Which is smaller: 8 or o?
o
Suppose 6*a = -49 + 67. Which is smaller: a or 3/2?
3/2
Let c(z) = -z**3 + 4*z**2 - z - 3. Let n be c(3). Let g be n - 2 - -3 - 2. Let p = g + -3. Is p at least as big as -1/4?
False
Let b = -0.2 + 0.1. Let n = -3.1 - -9.1. Do n and b have the same value?
False
Let r = 56.8 + -57. Is r <= 2/7?
True
Let q(b) = 2*b + 33. Let j be q(-11). Which is greater: j or 12?
12
Suppose 1 = -j + 7. Suppose 0 = d + 2*d - j. Which is smaller: d or 0?
0
Let v = -0.2 + 9.2. Let n = 4 - v. Let b = 2 + -3. Is b <= n?
False
Let h = 1.99 + -0.88. Let p = h + -0.11. Which is smaller: -4/5 or p?
-4/5
Let w = -7 + 6.8. Is -2 less than w?
True
Let n = 20 + -21.1. Let v = 0.1 + n. Do v and 0 have different values?
True
Let r = 33 + -30. Let g be (0 + (-1)/11)*2. Is g not equal to r?
True
Let v(p) = -p - 8. Suppose 0*x = -x - 21. Let z = -29 - x. Let u be v(z). Which is smaller: -5/4 or u?
-5/4
Let u be -7 + -1 - 1*-2. Is u bigger than -8?
True
Let v = 303 - 2117/7. Let c be (-1)/(3/18*-2). Suppose -4*s - c = -7. Is s greater than or equal to v?
True
Suppose 0 = v + 9*v + 30. Suppose 6 = -4*l - 6. Is v != l?
False
Let r be ((-18)/(-3) - 1) + -1. Suppose 5 + 3 = -r*u. Let t be 8/(-6) + 4/(-6). Is t at most as big as u?
True
Let c = -1.1 - -1.1. Let l be (-25)/8 + 0 + 3. Is c less than or equal to l?
False
Let i be (1 - 4) + 18/9. Let d be ((-3)/(-1))/3*i. Which is greater: d or -3?
d
Suppose -y = y. Suppose 2*t + 0*t = y. Which is bigger: 2/13 or t?
2/13
Let b be (-2 - (-2 + 1)) + -1. Let o = b - -1. Let v(r) = r**2 - 2*r - 2. Let h be v(-1). Which is bigger: o or h?
h
Suppose -z - 2*z + 9 = 0. Suppose 4*g - z*c = 29, -4*c + 9 = 3*g - 2*c. Which is smaller: 6 or g?
g
Suppose 5*k + 15 = -5*i, 3*i + 0*i - 4*k - 19 = 0. Suppose 3*o = 4*o - 3*d - 3, 4*d = 2*o. Let a = o - -6. Is a >= i?
False
Let z = -26 + 24.3. Let h = z - 0.3. Is h greater than -2?
False
Suppose 11 = l - 36. Suppose 5*r = 15, 2*w - 134 - l = -5*r. Let o = w + -579/7. Which is smaller: o or 0?
0
Let y = 1 - 1. Let u = 1088 + -14093/13. Let d = u + -1045/273. Which is bigger: d or y?
d
Let d = -2.06 - -2. Let x = d - 0.94. Which is smaller: 1 or x?
x
Let c be (-2516)/(-3048) + 2/(-2). Let p = -1/127 - c. Which is greater: p or 0?
p
Let n be 2/(-12) + 3/(-6). Let j be (-4)/18 - 104/18. Let s(q) = q + 7. Let b be s(j). Which is bigger: n or b?
b
Let b(o) = -2*o**2 - 16*o - 50. Let s be b(-8). Which is smaller: -48 or s?
s
Suppose -u - d + 3 + 0 = 0, 3*d = 9. Suppose x - o = 6*x, u = 2*x + o. Let p = 179/3 + -59. Is p at least as big as x?
True
Let r be (3/3)/((-2)/(-42)). Let j = r - 21. Which is greater: -1/27 or j?
j
Let b(y) = y**3 - 3*y**2 - 4*y + 2. Let k be b(4). Suppose h + 2 = k*h. Suppose -h*q + j = -8, q - 4*j = -0*j + 11. Which is bigger: 4 or q?
4
Suppose 4 = -7*a + 18. Is a >= 11?
False
Suppose 4*p = 2*q - q - 1, -3*q = 9. Let j(t) = -2*t - 2. Let d be j(2). Let l be (-5)/15 - 4/d. Which is greater: l or p?
l
Let h(k) = 3*k**2 + 14*k + 7. Suppose -4 - 6 = -2*a. Let f(b) = -2*b**2 - 7*b - 4. Let n(p) = a*f(p) + 3*h(p). Let z be n(7). Is -1/12 greater than z?
False
Suppose -u + 3 = 4. Which is greater: u or -7?
u
Let a = 0 + 2. Let d be (-2 + a)/(4 + -2). Let v = 3 + -2. Which is bigger: d or v?
v
Let t = 175/732 + 2/183. Let v be (12/104)/(9/12). Which is greater: t or v?
t
Let x(t) = t**3 - 5*t**2 - 7*t + 5. Let o be x(6). Let y be 2/(o - -3) - 1. Which is greater: 2/9 or y?
2/9
Let q = -1/46 + -8/161. Is q <= 1?
True
Let h = 0.5 - 5. Let i = 5 + h. Let d = -0.7 + i. Does d = -0.2?
True
Let x be (-1)/(-2)*2/(-9). Suppose -4*a + 3 + 1 = 0. Are x and a nonequal?
True
Let m = 2 + -2.1. Is -10 at least m?
False
Suppose 5*r - 171 = 54. Let m be (-28)/45 + 10/r. Let x be (-3)/(-2)*8/18. Which is bigger: m or x?
x
Let a(v) = -2*v + 43. Let k be a(22). Is -1/238 != k?
True
Let y = 34 - 144. Let w be 4/22 + 1450/y. Is -12 >= w?
True
Let z be 16/(-60)*((-5)/(-2))/1. Which is bigger: 0.02 or z?
0.02
Let w(m) = -m + 3. Let x be w(3). Let b be 1/(-18)*5/1. Let j = 2/9 - b. Are x and j unequal?
True
Let z = 8.89 + 0.11. Let m = -9.2 + z. Which is bigger: m or -2/5?
m
Let i = 1/42 - 181/546. Let b be (-2 - (1 + -3))/(-2). Is b at most as big as i?
False
Let s = 47 + -47.16. Which is smaller: s or 0.2?
s
Let p be (64/28 - 2)/10. Let z = -61/315 - p. Is -1 smaller than z?
True
Let h be (816/20 - (-2)/10)*-1. Is h at least as big as -41?
True
Let g = 1.7 - -0.2. Let b = -1.1 + g. Which is smaller: -0.1 or b?
-0.1
Let u = 244 - 135. Let q = 16354 + -65855/4. Let d = u + q. Is 0 != d?
True
Let y be 3/(-195)*(-98)/2. Let f = y - -3/65. Which is smaller: 0 or f?
0
Let g be (1 - 9/10)/(18/36). Let h = -3.8 + -0.2. Which is smaller: g or h?
h
Let p be (-9)/2 - (-11 + 7). Which is smaller: 1/5 or p?
p
Let j = -6 + 10. Let n = j - 3. Is n at least as big as 1?
True
Let q = 19.4 + -19. Which is greater: q or 4?
4
Let b = -31/2 + 85/6. Which is greater: b or -2?
b
Suppose 4*m + 1 = 45. Suppose -1 - m = 2*j. Let w be j/(-4)*(-4)/(-12). Is 0.2 <= w?
True
Suppose 9 - 34 = 5*y, -2*l = 2*y - 6. Let h be 1*(0 - (2 - 2)). Suppose h = -4*v - l. Which is bigger: -1 or v?
-1
Suppose -n = -4*n + w, 5*w = 4*n. Suppose -6*x + x - 50 = n. Let o = 10 + x. Which is smaller: o or -1/2?
-1/2
Let z = -0.15 - 0.85. Which is greater: 1/5 or z?
1/5
Let c be ((-3)/4)/((-2)/(-56)). Let w be ((-6)/c)/((-33)/7). Let r = 2 + -1. Which is smaller: r or w?
w
Let c = -2.4 + 0.4. Let q = c - -2. Let u = q + 0. Which is greater: u or -0.4?
u
Let o = -0.87 + 3.87. Which is smaller: -1.3 or o?
-1.3
Let n(f) = 2*f - 6. Let u be n(4). Suppose m + 1 = -2*t - 6, u*t + 22 = -4*m. Let z be (-1)/2 - 1/(-2). Which is smaller: z or t?
t
Suppose 7*x + 15 = 2*x. Which is smaller: x or -11/4?
x
Let w be 2/(((-60)/27)/1). Let b = w + 2/5. Are b and 0 equal?
False
Suppose -6 = -4*n + 2. Suppose -l = -n*l. Suppose 4*v - 2*j + 0 = -4, -3*v - 9 = -3*j. Is v smaller than l?
False
Let l be 129/(-12) - (-1)/(-4). Is -21/2 < l?
False
Suppose k = 8 + 9. Which is smaller: 18 or k?
k
Let t = 0.017 - -11.983. Is -5 at most t?
True
Let t = 14/17 + -2/85. Let b = 0.3 - 0.2. Let h = b - 0.2. Is t greater than h?
True
Suppose -5*l + 92 = -23. Suppose -5*k + l = -17. Let y be (0/(-2))/(k/(-4)). Is y greater than or equal to -1/3?
True
Let f be (28/6 - -1)*3. Let o = 17 - f. Which is smaller: o or 1/6?
o
Let y = 0.02 + -0.22. Let w = 0.2 + y. Which is smaller: -1 or w?
-1
Let h = 7 - 6.99. Which is smaller: h or -6?
-6
Let l = -0.41 - 16.59. Which is greater: -2 or l?
-2
Let y(r) = r**3 + r + 1. Suppose -2*s = -3*s. Let z be y(s). Let b = -1 - -2. Is b equal to z?
True
Suppose -25*t + 99 = -22*t. Is t smaller than 34?
True
Let x = -7 + 2. Is -2 greater than or equal to x?
True
Let x be ((-11)/(-33))/((-1)/(-3)). Which is bigger: x or 0?
x
Suppose -u - 17 = -2*b, -2*b + 4*u + 8 = -12. Suppose -4*q = q - 25. Suppose -f - b = -q*f. Is 2 < f?
False
Suppose 2*h - 3*h = -1. Let g be -3 - -1 - 1*-2. Let v be (3 - (-2)/(-1))*g. Which is smaller: h or v?
v
Let z = -7 - -7. Let d be -1*(-1 - -3) - z. Which is greater: d or -3?
d
Let d = 7 - 7. Let j(b) = -2*b**3 - 4*b**2 + 2*b + 3. Let r be j(-3). Let k be r/(-6)*(-1)/3. Is k bigger than d?
True
Suppose 0 = 5*b - 3*w + 2152 + 2127, 5*w -