t s be (2 - -1)*1 - (-388)/(-116). Do 1 and s have the same value?
False
Let x = 3 + 2. Is 4 smaller than x?
True
Let a be 3 + 6*(-3)/6. Let p be (a - 1)*(4 - 5). Suppose 4*r - 5*r = -2. Does p = r?
False
Let v be (-2 + 6)/((-6)/(-9)). Which is bigger: v or -0.1?
v
Let i = -858/5 - -171. Which is smaller: i or -2?
-2
Let m be 1/(-4) + (-118)/8. Suppose 9 = -2*v + 3. Let j be (0 + v/m)/(-1). Which is smaller: j or 1?
j
Let m be -3*-3*3/(-9). Let r = 0 - m. Is r less than or equal to 5?
True
Let w be 63/21 + -22*4/6. Is w > -13?
True
Let a be (-6)/(-15) + 156/(-15). Let v be 1/(1*2/a). Which is greater: -4 or v?
-4
Let f(d) = -d + 3. Let n be f(3). Suppose 3*t - 3*y + 6 = n, 0 = -5*y + y - 4. Is t <= -2?
True
Let b(q) = q**3 - 5*q**2 + 3*q + 5. Let x be b(4). Let c be (-62)/(-3) + x + 1. Let i = c - 23. Is -3 < i?
True
Let w = 0.03 + -0.1. Let b = w - 0.03. Which is smaller: b or -4?
-4
Let l be ((-6)/(-4))/((-24)/(-16)). Are l and 2/7 nonequal?
True
Let j(b) = -4*b**2 + b. Let p be j(1). Let s = -3 - p. Let g be -3*-2*(-1)/8. Are s and g unequal?
True
Suppose 5*c - 4 = 3*c. Suppose 0*i - c*i - 4*d = -2, 3*i + d - 3 = 0. Is 1/6 less than or equal to i?
True
Let i(r) = r**3 - 14*r**2 + 14*r - 4. Let v be i(13). Which is greater: v or 10?
10
Let q = -154 + 967/6. Which is smaller: 8 or q?
q
Let b(f) = f - 1. Let o be b(0). Let u be 0/(-4) - (o - -1). Is -2/15 smaller than u?
True
Suppose 2*x - 126 - 8 = 0. Suppose -x = 5*o + 3*l, -o + 55 = -5*o - l. Which is smaller: -15 or o?
-15
Let z(o) = o**2 + 5*o + 1. Let s be z(-5). Let q = 0 + s. Let r = 1/47 - 115/987. Is r at most as big as q?
True
Suppose 0 = -13*t - 185 - 36. Is t bigger than -18?
True
Let d = 0.8 - -3.2. Let m = d - 5. Which is bigger: -2 or m?
m
Let z be -2 + -1 + ((-11)/4)/(-1). Let c = 3 - 4. Is z greater than or equal to c?
True
Let s = -1/24 - 11/24. Which is greater: 1/11 or s?
1/11
Let o be 2/((-3)/(60/(-8))). Which is greater: 2 or o?
o
Let l = 4958/45 + -1735/9. Let x = l + 83. Which is smaller: 2/7 or x?
2/7
Let g be 0 + ((-6)/11)/3. Let n be (-2)/(-8) - 4*(-3)/(-48). Is n smaller than g?
False
Let w be (3 - 1) + -3 - 3. Let x be 2/8*w/(-5). Are 0 and x equal?
False
Let k = 0.2 - -0.05. Let p = -0.05 - k. Let r = 0.4 + p. Which is bigger: r or -2/7?
r
Suppose -5*p + 97 + 83 = 0. Let b = 1 - 5. Let j be (-3)/b + (-39)/p. Are j and -0.2 unequal?
True
Let d = -7 + 14. Suppose -b - d = -6*b - 3*n, 2 = -b - 4*n. Suppose -b*m = -4*p, 0 + 6 = 4*p + m. Which is smaller: p or 1/3?
1/3
Let f = -14 - -15. Which is smaller: f or 12?
f
Suppose -12 = -0*z + 2*z. Let c(s) = -s**3 - 5*s**2 + 6*s - 6. Let d be c(z). Let v = 8 + d. Do v and 1 have the same value?
False
Suppose -1 = -t - 3. Let y be (1 + 1 - 2)/(-2). Let c be 1*2 + (-3 - y). Do c and t have different values?
True
Let o = 6.88 - 4.8. Let b = -0.08 + o. Is b smaller than 0.1?
False
Let q = 4 + -2. Let o = 3 - q. Suppose 3*w = 2*v + 8*w - 15, 0 = 4*v + 3*w - 9. Which is smaller: o or v?
v
Let x be 0 - 2/2348*4. Let i = x + 1777/4696. Let g = 262 + -263. Which is greater: i or g?
i
Suppose -42 = 7*z - 2*z - w, 12 = -4*w. Is z less than or equal to -35/4?
True
Suppose -2 = 2*c + b + 12, -4*c = -3*b + 48. Are -9 and c unequal?
False
Let z = 15 - 13. Suppose -4*i + 3*i = z. Which is smaller: i or -4?
-4
Let v(s) = 3*s**2 + 4*s + 1. Let u be v(-3). Suppose -4 + u = 3*t. Suppose t*z - 6*z = 0. Which is smaller: -1/7 or z?
-1/7
Let x = -871 - -4371/5. Is x at least 2?
True
Suppose -4*c = -0*c - 20. Let k(b) = b + 4. Let i be k(c). Let y be 1/i + (-11)/33. Is y bigger than 0?
False
Let b be (-2)/(-5) - 0/(-2). Suppose 0 = 4*c - 19*c + 15. Which is smaller: b or c?
b
Let d be 6/(-10) + (-18)/(-30). Which is bigger: 4/31 or d?
4/31
Let g(b) = 5*b - 31. Let h be g(6). Which is smaller: h or -1/25?
h
Let b(h) = -h + 3. Let v be b(0). Let g = 17 + -11. Suppose -4*x - 13 = 2*i - 35, -3*x + 3*i = g. Is v greater than or equal to x?
True
Let i be (-6)/(-4)*8/18. Is i <= -1/24?
False
Let l = -3 + -27. Which is bigger: l or -32?
l
Let m = 60.06 + -60. Which is smaller: -3 or m?
-3
Suppose 0 = -3*q + 12 + 6. Suppose 5*z - q = -11. Is z less than -1/3?
True
Let r(q) = -q**3 - 3*q**2 + 5*q + 4. Let c be r(-4). Let v be (1*2/7)/(207/161). Is c at least v?
False
Let x = -0.02 - -3.02. Let a = x - -1. Let l = a + -4.1. Which is smaller: 0 or l?
l
Let a(z) = 12*z - 5. Let o be a(4). Let y = o + -125/3. Let i be (-1)/2 - (-25)/10. Are y and i equal?
False
Suppose 3*d - 8*d + 30 = 0. Let f be ((-9)/d)/(3/20). Are -10 and f unequal?
False
Let n(o) = 27 + 0*o - 3*o + 4*o - 11. Let y be n(-12). Is y at least 3?
True
Suppose 0 = 4*h - 2*h. Let f = 88 - 88. Suppose h = -5*x + 5, f = 5*g - 0*g - 4*x + 14. Do g and -2 have the same value?
True
Let w be (-2)/(-56)*4*(-5)/(-20). Which is smaller: 1 or w?
w
Let l be (-69)/7 - 2/14. Let h be l/(-6) - 1/(-3). Which is smaller: h or 1?
1
Let g = -156 - -151. Let q be (1/(-3))/(2/21). Which is smaller: q or g?
g
Suppose -33 = 6*l + 33. Is -9 not equal to l?
True
Let i(d) = -d**3 - 5*d**2 - 4*d + 5. Let w be i(-4). Suppose u + 0*u = -w*z - 20, -4*u - 4*z = 16. Which is greater: 4/9 or u?
4/9
Let j = 96 - 96. Which is greater: -1/11 or j?
j
Suppose 3*t = -3*q + 3, 4 = -4*t - q - 1. Which is greater: t or -1?
-1
Let l(y) = 2*y + 19. Let x be l(-9). Suppose i - x = r, -6*i + 5*r = -2*i - 4. Is 0 > i?
False
Suppose -10*d = -13*d - 21. Is -20/3 less than or equal to d?
False
Suppose -q + 0 - 1 = 0. Let a = -6/43 + -44/301. Which is bigger: q or a?
a
Suppose 4*v - 8 = -5*n + 27, v + 4 = 3*n. Suppose -n*k + 12 = -0*k. Let f be 1 - (0 + (-3)/2). Is k less than f?
False
Let j be ((-3)/(-6))/((-2)/(-4)). Suppose 0 = v - 5*v. Is j < v?
False
Let j(x) = 2*x**2 - x + 1. Let u be j(1). Let f = -3 + u. Is f greater than 1/3?
False
Let q(g) = g**2 - 6*g + 1. Let x be q(6). Let o be 5*(6/10 + -1). Let m = o - -4. Is m greater than or equal to x?
True
Let k(y) = y - 7. Let x be k(8). Suppose x = d, -2*q - 5*d + 22 - 3 = 0. Is -2/5 less than or equal to q?
True
Suppose 0 = -b - w - 3*w + 10, -w = 3*b - 8. Suppose -5*t - 4*s = -0*t + 5, -10 = b*s. Let v be 9/5 - t/(-15). Which is smaller: v or 4/5?
4/5
Let w = 169 - 167. Let o = 65 - 127/2. Are w and o unequal?
True
Let b = -55 + 103. Is 47 less than b?
True
Let b = 4.5 - 2.4. Let w = 0.1 - b. Let j = 0.2 + 0.8. Are j and w nonequal?
True
Let n(j) = -j + 1. Let l(v) = -6*v + 5. Let k(a) = l(a) - 5*n(a). Let u be k(2). Let y(w) = -w**3 + 2*w**2 + 5*w - 4. Let z be y(3). Does z = u?
False
Let n(r) = r - 6. Let s be n(4). Let y be 1*(3 + (1 - 0)). Suppose -2*d + 0*d + y = -4*g, -3*d = 0. Which is smaller: s or g?
s
Let y be 1/3 + (-2)/6. Let m(c) = -c**2 - 5*c - 4. Let b be m(-4). Suppose b = -3*o + 2 - 5. Is o at most y?
True
Suppose 0*q + 4 = -q, -24 = 2*c + 4*q. Which is greater: c or -9/2?
c
Let q = -0.06 + 0.16. Let f = q + -0.3. Let t = -3/40 + -59/280. Do f and t have different values?
True
Suppose -40 = -7*w + 3*w. Let x be w/(-15)*(-9)/(-4). Suppose 2*d - 3 = -7. Which is greater: x or d?
x
Suppose 4*c - 4*f - 64 = 0, -c = c + 5*f - 53. Which is bigger: c or 20?
20
Let n = -3 + 14. Let k = -8 + n. Suppose -2 = -r + 4*o, 2*o - 2 = k*r - 2*o. Which is smaller: -4 or r?
-4
Let t = -6.9 - 2.1. Let v = t - -8. Is v at most 2?
True
Let v(t) = 81*t**2 + t + 1. Let a be v(-1). Let o = 403/5 - a. Which is bigger: 0 or o?
0
Let p = 1 + -1. Let h be (1 - (-382 + 1)) + 1. Let k = h - 6509/17. Which is greater: p or k?
k
Suppose y = -2*t - 25, -2*t + 60 = -7*t - 2*y. Which is smaller: t or -3?
t
Let d be ((-15)/(-6))/5*10. Suppose 0 = 3*x + 5*b + 19, 3*x + d*b = 2*x - 13. Let u be (4/12)/(4/x). Which is bigger: u or -2?
u
Let d = 13 - 8. Suppose y + d*a = -y + 5, -3 = -3*a. Do y and -0.2 have the same value?
False
Let s(o) = -4*o**2 + 1. Let m be s(1). Which is bigger: m or 0?
0
Suppose -4*n = n - 60. Let d = -9 + n. Suppose 4*v = d*u + 20, 3*v - 15 = -4*u + u. Which is smaller: u or 2/7?
u
Let b = -266620760581/1489197410228 + 1/188291492. Let x = -2/719 + b. Suppose -3*d = -z + 4 - 3, 5*z + d - 5 = 0. Which is smaller: z or x?
x
Let l = -286 - -2578/9. Is -1 >= l?
False
Let o be 16/(-6) - (-1)/(-3). Let j be (9/6)/((-3)/8). Let b be (2/3)/(j/6). Which is smaller: o or b?
o
Suppose 0*x + 7*x