 0, 5*w + 20 + 21 = b. Which is smaller: w or -0.1?
w
Suppose 0 = 2*s - 5*s - 4*z + 8, -5*s = -4*z + 8. Is s not equal to -4?
True
Let s = -14 - -20. Suppose -2*z + j - s*j = -5, -z - 3*j = 0. Let y be z/(-12) - (-1)/4. Is y less than -2/11?
True
Let v be 34/85 + (-24)/85. Let o = -3 + 4. Which is smaller: v or o?
v
Let o = -5.9 + 6. Let z = -49/12 - -19/4. Let f = z + -1/2. Which is bigger: o or f?
f
Let k(o) = o**2 + o. Let x(j) = -j**2 + 5*j + 4. Let b be x(6). Let r = b - -1. Let g be k(r). Is g equal to 1?
False
Let b = -3.66 + -0.34. Is b greater than or equal to -4?
True
Let t = 1 - 0.97. Let w = -0.051 + -0.049. Which is greater: t or w?
t
Suppose 3*n = 2*x - 48, 2*n - 69 = 5*n + 5*x. Let q = n + 17. Which is smaller: -3/7 or q?
q
Let b = 102 + -82. Are 21 and b equal?
False
Let z(t) = t**2. Let n be z(1). Is 0 greater than n?
False
Let i be -1 - 3 - (-1 + -3). Is i less than 0?
False
Let c = -3.1 - -3. Which is smaller: c or 8?
c
Let v(s) = s**3 + 3*s**2 + 2*s + 4. Let x be v(-3). Let a be 5*(-1 - (2 + x)). Suppose 6 = -2*y - 0*y. Is y < a?
False
Suppose 2*p = -2*p + 4. Is -2/19 > p?
False
Let i be 1/34*4/8. Are -1/3 and i non-equal?
True
Let b be (5 - 1)/(150/(-45)). Is 0 at least b?
True
Let f be (0 + 2/6)*6. Let a be (1*(2 - 2))/f. Is -1/3 > a?
False
Let u = -31 - -31. Suppose 0*d = -4*d + 12. Suppose 18 = r + 4*i, d + 7 = 2*i. Which is smaller: u or r?
r
Suppose 3*j + 5*f = 17, -3*f = -5*j + 4 + 13. Let k be j/((-2)/(-1) + 0). Let y(c) = c**2 + 15*c. Let g be y(-15). Are k and g nonequal?
True
Let y be ((-6)/4)/((-3)/(-52)). Which is bigger: y or -2/5?
-2/5
Suppose 4*a + 8 = 5*a. Let k = a - 3. Suppose -10 = -k*t, -t + 1 = -3*m + 4*t. Is m equal to 3?
True
Suppose -4*t + 2*t + 4 = 0. Suppose -v - t - 4 = -u, 0 = 3*v - 5*u + 22. Let j be (v/(-70))/(2/(-20)). Which is greater: j or -1?
j
Let c(b) = b + 14. Let a be c(-11). Suppose -13 = f + 4*j + 2, -3*f + 10 = j. Suppose -f*d + a = 8. Is 1 <= d?
False
Let l = 0.81 + 0.36. Let z = l - 0.17. Which is smaller: -8 or z?
-8
Suppose -5*f + 12 = -58. Let z = -12 + f. Which is smaller: z or 1?
1
Let x = 4.94 - 5. Let h = x + -0.04. Which is bigger: 3/5 or h?
3/5
Let z = 16 + -8. Suppose v + z = 5*v. Suppose -v*g = -g - 5. Is g bigger than 5?
False
Let x = 0.05 - 0.15. Let u = 0.05 + 0.01. Which is smaller: x or u?
x
Let x(d) = 2*d + 13. Let l be x(-9). Which is greater: -2 or l?
-2
Let t = 1.79 + -0.19. Let w = -6.5 + t. Let x = w + 5. Is 1 < x?
False
Let b(a) = -a**2 + 4*a + 1. Let x be b(4). Suppose 30 = -k + 4*k. Let s be k/8 - (-4)/(-4). Which is bigger: x or s?
x
Let w = 124.3 - 131. Let f = -7 - w. Is f smaller than 1?
True
Let m(w) = -w + 1. Let c be m(-3). Suppose 0 = -2*d - 3*k - 4, -5*d - 4*k = -d + c. Which is smaller: 2 or d?
d
Let v = -144 - -2450/17. Are v and -2 equal?
False
Suppose -2*b = 2*b + 5*o + 2, 0 = 5*o + 10. Let h = 8 - 6. Are h and b nonequal?
False
Let h be 15/20 - (-189)/(-12). Let y(b) = b**2 + 14*b - 14. Let s be y(h). Is s at most 5/4?
True
Let u = -278/5 + 56. Let r = 3.4 - 2.4. Which is smaller: r or u?
u
Let b(j) = j**2 - j. Let l(x) = -3*x - 16. Let h be l(-6). Let d be b(h). Which is greater: 2/3 or d?
d
Suppose 0 = 3*d - 9. Let g be ((-12)/10)/(15/(-50)). Which is greater: d or g?
g
Let s = -145/104 + 7/26. Is -1 at most as big as s?
False
Let l(x) = -x**3 - 2*x**2. Let o be l(-2). Which is smaller: o or -0.17?
-0.17
Let w = 7.95 + -8. Let h = w - -3.05. Which is smaller: h or 1?
1
Let b be (-75)/231 + 4/22. Which is greater: -1 or b?
b
Let i be (1/(-14))/((-3)/24). Which is greater: 0.1 or i?
i
Suppose 15 = 5*b, -b = -c - 0*c. Suppose -3*v - 6 = c*k - 0*v, -4 = k + 2*v. Suppose k = 2*u + 2*u - 24. Is u at least as big as 6?
True
Suppose 2*w - 12 = -2*m, 11 = -4*w + 5*w + 2*m. Let l be (0 + w + -2)*-4. Let d = l - 4. Which is smaller: d or -4/7?
-4/7
Let w(j) = j**3 - 3*j**2 + 3*j - 2. Let x be w(2). Let t(p) = p**3 - p**2 + p + 1. Let i be t(x). Which is bigger: 0 or i?
i
Let s be (-14)/(-4)*628/(-9). Let x = s - -244. Suppose 3*q + 2*q = 0. Which is smaller: q or x?
x
Suppose 2*f - 1 = f. Suppose 3*g + f = 16. Which is greater: g or 6?
6
Let a(p) = p**3 - 9*p**2 + 3. Let i be a(9). Let c(q) = -q + 12. Let d be c(9). Is i > d?
False
Let a = 126 - 128. Which is smaller: -0.2 or a?
a
Let l(d) = d**2 + 9*d - 7. Let o be l(-10). Let y(w) = -4*w - 2. Let n be y(-1). Which is greater: o or n?
o
Let k be -1*(16/(-10) - -2). Let n be (-6)/4 + 3/6. Let f be -5*(3/n)/15. Is k >= f?
False
Let q be (-66)/(-44) + (4/2 - 11). Which is greater: -8 or q?
q
Let c be 1/((-3)/(-6)*1). Suppose -c*r + 3*l - 15 = -4, 3*r = l + 1. Suppose 4*f - r*f - 3*u = -12, 3*u + 3 = -3*f. Which is greater: f or -4?
f
Let w = 1 - 1.1. Let m be (-66)/10*(-16 - -11). Let c be 72/m - (5 - 3). Which is smaller: w or c?
w
Let k be ((-9)/(-6))/((-399)/28). Which is greater: 0.5 or k?
0.5
Let t(u) = u + 7. Let i be t(-6). Suppose 9*s - 4 = 7*s. Which is smaller: i or s?
i
Let g be 5/7*(-1 + 16)/5. Is g at most 3?
True
Let x = 28 + -27. Are 1/2 and x nonequal?
True
Let o = -69 + 27. Do o and -44 have different values?
True
Suppose -2*c + 3*c = 4*o - 24, 4*o - 16 = 3*c. Which is smaller: 28/5 or o?
28/5
Let m(q) = q**3 - 3*q**2 - 4*q + 10. Let t be m(3). Suppose -4*b + 3*b - 2 = 0. Let h be b/12*-1 + 0. Which is bigger: t or h?
h
Suppose -20*m + 17*m = 0. Let g be (-2)/4 - (-10)/4. Suppose m*h - g*h = -2. Is h less than 3?
True
Let m be 5/10*(-8 + 0). Suppose -4*h + v = -4*v, 5*h + v = -29. Is h <= m?
True
Suppose -8 = -p - 3*y - y, 0 = -4*p - 2*y + 18. Let s = p + -1. Suppose 3*z + 26 = 5*v, 0 = 2*v - s*z - 13 - 1. Which is smaller: v or 5?
v
Suppose 0*x + 3 = -2*u + 3*x, -5*x + 25 = 0. Suppose -2*t + u = t. Let o be (12/(-16) - 18/8)/(-5). Is o >= t?
False
Let v(a) = -3*a**3 + a**2 - a - 1. Let g be v(-1). Suppose 0 = 3*q + 3*p - 3, -g*q + p + 3 = -1. Which is bigger: -1/10 or q?
q
Let d be 2/12*-2 - (-122)/(-12). Is d <= -2?
True
Let j be (135/(-36))/(2/(-8)). Is 5 less than j?
True
Suppose b - 6*b = -35. Is 5 greater than or equal to b?
False
Suppose -3*z = 3*g - 9, 4*z - z - 5*g + 23 = 0. Let m = -14 - -10. Let n(y) = y**3 + 3*y**2 - 3*y + 3. Let u be n(m). Are u and z equal?
True
Let m be (-414)/21 - 4/14. Let h be (-12)/m + (-22)/20. Let r = 2 - 2. Is r at most as big as h?
False
Suppose 3*b - 2*b - 11 = -2*h, -5*h = -b - 24. Let x = 1398245/319179 + 3/15199. Let g = 26/7 - x. Is b <= g?
False
Let g = -18.18 + 0.18. Let b = 19 + g. Which is smaller: b or -1.4?
-1.4
Let u be -5 + (5 - 1 - 0). Which is smaller: u or -3/19?
u
Suppose -9 - 7 = -2*n. Suppose 68 = n*q - 20. Is 11 at most as big as q?
True
Let v = 17 + -8. Let h be (-2)/v + 320/1008. Which is bigger: 0 or h?
h
Suppose 0 = 3*g - g. Which is smaller: -0.05 or g?
-0.05
Let f be (3/(-33))/(3/3). Let w be 2 + 0 - (-1 + 3). Is f equal to w?
False
Let h = 11 + -7. Let m be 27/(-21)*h/6. Do -2 and m have the same value?
False
Let h = 0.05 + -0.1. Let k = h - -0.05. Let m be (-4)/(-16) - 34/40. Which is smaller: k or m?
m
Let n(f) = 15*f + 8. Let p be n(-1). Is -1 smaller than p?
False
Suppose -3*k + 0*k = 0. Let z be (-10 - k)*(-1)/2. Which is smaller: z or 6?
z
Let x be (-3 + -3)*1/(-2). Suppose -j - j = x*k + 7, 2*j + 5*k + 13 = 0. Is j >= -1/8?
True
Let t = 3 - 5. Let k = t + 5. Suppose 0 = 2*w + m - 6, 2*w + 5*m = -k*w + 10. Are w and 3 nonequal?
True
Let v = -9 + 20. Suppose -2*l = -7*l + 60. Is l greater than v?
True
Let t = -13 + 10. Is 4 greater than or equal to t?
True
Let v be 2/(-12)*(2 + 0/5). Let w be ((-2)/(-30))/(4/(-12)). Is v >= w?
False
Let u = 2.1 - -0.9. Let p = -5 - u. Let h = 10 + p. Which is bigger: 2/5 or h?
h
Suppose 0 = -u + 6*u - 55. Suppose -10 = -3*i + k, -i - 4*k = 1 - 0. Suppose 3*y = f + u, -i*y + 12 = y. Which is smaller: -1 or f?
f
Let d(b) = -b**3 + 11*b**2 + 12*b - 2. Let a be 18*(1 + 2/(-6)). Let r be d(a). Does r = 6?
False
Let p = 0.02 + -0.06. Let s = p + -0.96. Is s bigger than 1?
False
Let k = 0.4 + -1.2. Which is bigger: k or 0?
0
Let t be (1 - 0/(-1)) + 14/(-49). Is 2 equal to t?
False
Let j = 1/79 - -211/2054. Let i = -61/78 + j. Which is greater: -1 or i?
i
Suppose 4*a = 11 + 9. Suppose 0 = a*x + 20, 0*k + 3*k - 3*x - 15 = 0. Is 0 greater than or equal to k?
False
Let l = 25 + -177. Does