?
3
Suppose -5*z - 24 = -4*y + 59, 4*y = 2*z + 38. Is z less than -15?
False
Let h be (-8)/36 - 10265/(-63). Let j = h - 163. Let z(u) = u**2 + 2*u - 1. Let y be z(-2). Which is smaller: y or j?
y
Let d(u) = -4*u**3 + u. Let h be d(1). Let l = 10/3 - 5. Which is greater: h or l?
l
Suppose -3*m + 11 = 5. Is -8 bigger than m?
False
Let s be 3 + ((-63)/2)/9. Which is bigger: s or -2?
s
Suppose 3*b + 48 = 3*h, -2*b - 20 = -h - 0*b. Which is smaller: h or 11?
11
Suppose -a = -0*a. Suppose -d - 1 = -a*d. Let t = -2 - -3. Which is smaller: d or t?
d
Let p(o) = -o - 5. Suppose 3*b = -a - 8, 4*a - 4*b = -0*a - 16. Let c be p(a). Which is smaller: -1/10 or c?
-1/10
Let g = -32 - -37. Which is smaller: 6 or g?
g
Suppose 3*b - 4*d = -b + 56, -5*d = b + 16. Suppose -b*t + 7*t = 0. Is t <= 1/15?
True
Suppose -3*v - 7 + 4 = 0. Let q be (v + 6)*(-4)/(-10). Is q less than 2?
False
Let z = 92.84 + -93. Which is smaller: z or -0.2?
-0.2
Suppose -2*x + 6 = -10. Let a be (-1 - x)*1*-5. Let i = a - 133/3. Which is smaller: i or 1/2?
1/2
Let z be 0 - (0/2 + -1). Let m = -3 + 5. Let h be (8/(-36))/(m/2). Is h greater than or equal to z?
False
Suppose -4*f - 4*b = -288, 3*f - 221 = 5*b - 45. Which is greater: f or 66?
f
Let z = 18 + -22. Is -6 less than or equal to z?
True
Let b = -1 + 1.03. Let a = 0.97 + b. Which is smaller: a or 2/9?
2/9
Let y = 10 + -10. Do y and 1/3 have the same value?
False
Let i = 21.9 - 22. Let h = 5 - 7. Is i greater than h?
True
Suppose -4*u = -2*y + 16, y - 3 = 4*u - 3*u. Let h be 0 + y - (0 - 8). Let m be (-5)/6 - (-2)/h. Is -2/13 smaller than m?
False
Let s = 280/9 + -31. Let y(f) = f**2 + 6*f + 1. Let v be y(-6). Which is greater: s or v?
v
Let c = -10.3 + 10.47. Which is bigger: c or 0.1?
c
Suppose -2*d = 4*w - 16, 2*w = 3*d + d - 12. Let z(t) = -2*t. Let m be z(d). Let s = m + 5. Which is smaller: -5/2 or s?
s
Suppose n = 6*n + 180. Let d be (-9)/(n/(-8)) - -2. Do 0 and d have the same value?
True
Let v = -700/1243 + 2/113. Which is bigger: 0.1 or v?
0.1
Let y = -3 + 4. Let w = -6 + 4. Let i = 2 + w. Does y = i?
False
Suppose -v - 2*v = -3. Suppose 5*s = -0*x + 3*x - 177, 3*x = s + 33. Let j be 11/(-9) + (-8)/s. Are j and v nonequal?
True
Let f(d) = -d**3 + d**2 + d + 1. Let k be f(-2). Suppose -4*l + 111 - k = 0. Let u be l/(-9) + 3 + 0. Which is bigger: u or 0?
u
Let s(n) = -2*n + 18. Let k(q) = q - 9. Let j(t) = 11*k(t) + 6*s(t). Let o be j(9). Which is greater: o or -2?
o
Let f(w) = -w**2 + 9*w - 5. Let r be f(8). Suppose 0 = -r*d - 2*h - h - 12, -4*d - 12 = 3*h. Is 0.19 greater than or equal to d?
True
Let t(g) = -g**2 - 2*g - 2 - g + 0. Let u be t(-4). Is -4 at most u?
False
Suppose -5*s = -y + 30, -4*y + 2*y + 30 = -4*s. Let o = s - -8. Suppose -o*j + 4*j = -3. Is -1/4 greater than j?
True
Let l be 2/4*(-3 + 3). Is l at most as big as -1/8?
False
Let t = 31/133 - -1/19. Which is greater: -0.3 or t?
t
Let c(t) = -t**3 - 11*t**2 + t + 10. Let o be c(-11). Let u = -0.03 - -0.07. Let w = u + -0.14. Is o >= w?
False
Let g(s) = -s**3 - 36*s**2 + 38*s + 29. Let v be g(-37). Let o = -17 + 9. Is v at least as big as o?
True
Let u = -245 + 1718/7. Suppose -m + 13 = -2*k - k, -6 = -2*m - 4*k. Let n = 7 - m. Is n <= u?
True
Let w be 5 - (-1 + 2)/(-1). Let l(f) = 2*f + 10. Let o be l(-13). Let a be 1/3*(-1 - o). Is a at most as big as w?
True
Let v = 1505/11 - 137. Let l = 0.09 + -0.09. Which is greater: l or v?
l
Suppose 0 = -3*k + 51 - 57. Which is smaller: k or 5?
k
Let z = 2.95 - -0.05. Let n = z - 3.4. Are -1 and n non-equal?
True
Let n = 16 + -11. Let g(u) = -u**2 + u - 7. Let p be g(0). Let q = p + n. Which is smaller: q or -3/2?
q
Let j = -123 + 128. Let t = 0.2 + 0.2. Which is greater: t or j?
j
Let l(y) = -2*y - 1. Let n be l(2). Let q be 2/n + (-2)/(-5). Suppose -9*r + 12 = -13*r. Which is smaller: q or r?
r
Let s(y) = y**2 - 6*y + 5. Let a be s(5). Let v be 1/((-1)/11) + -1. Let p be v/96*3*-1. Which is greater: p or a?
p
Let v = -305/91 + 24/7. Suppose l + 3 = 0, 4*l = 2*t - 3*t - 12. Do t and v have the same value?
False
Suppose 6 = 85*r - 88*r. Let a(k) = k - 4. Let s be a(3). Do s and r have the same value?
False
Let f = -3469/21 - -165. Let u = -1/7 + f. Let s = -0.5 + 0.8. Which is bigger: u or s?
s
Let l = 24/187 + -2/187. Suppose -t + j = -6*t, t + 3*j = 0. Is t at most as big as l?
True
Suppose 18 = -t - t + 4*g, t + 2*g = 7. Which is smaller: t or 2/91?
t
Let x be ((-5)/5)/(2/(-76)). Does 37 = x?
False
Suppose 5*o = -4*x - 19, -3*o - 10 = 3*x - 2*x. Which is smaller: x or -2/11?
x
Let h = 13 - 92/7. Suppose -j - 1 + 6 = 0. Suppose -7*d + 5*d = -4*x - 8, -j*x - 10 = 2*d. Which is bigger: h or d?
d
Let d = -893/84 + -34/21. Is -13 at most as big as d?
True
Let r = 19 - 19. Which is greater: -2/7 or r?
r
Let d = -3/43 - -55/172. Let y = -4 + 6. Is d equal to y?
False
Let l = -1 - -0.8. Let p = 0.23 + l. Let z(m) = 2*m - 3. Let g be z(1). Which is smaller: p or g?
g
Let i = 62 - 32. Is 30 at most i?
True
Suppose 63 + 57 = -2*h. Let v be ((-8)/h)/(2/(-3)). Is 1 != v?
True
Let a(c) = -c**3 + 5*c**2 + c - 4. Let d be a(5). Let l = 191 - 2103/11. Is d greater than l?
True
Suppose -8 = -7*j + 3*j. Suppose 0 = j*y + 2. Let o be y/1*(-3)/(-9). Is o less than 2?
True
Let n(h) = -h**3 + h**2 - h - 3. Let t be n(-2). Is 11 greater than t?
False
Let b be -3*(-3 + 21/9). Suppose 5*j - 10 = a + b*a, -4*j + 3*a + 11 = 0. Is j at most as big as 1?
True
Suppose 4 = 4*f - 0*f. Let g be (-5)/(825/(-333)) + -2. Let n = g - -51/220. Do n and f have different values?
True
Suppose 0 = -k + 57 + 49. Let s = 361164289/3402930 + 1/226862. Let m = k - s. Which is bigger: m or -1?
m
Let i = 2 + -12. Let h be (-4)/i - 5/5. Which is smaller: h or -1?
-1
Let o(u) = 2*u. Let m be 14 + 0 - (6 + -4). Let l be 1/4 + m/16. Let c be o(l). Which is smaller: 0.2 or c?
0.2
Suppose 2*o - 6*o - 53 = -n, 0 = 3*n - 4*o - 151. Let h = n - 25. Which is bigger: 25 or h?
25
Let h = -8.3 - -8.2. Is h smaller than -11?
False
Suppose 0 = -2*n + 3*v + 23, 5*v = n + 3 - 4. Are 17 and n unequal?
True
Let m(y) be the third derivative of -y**4/24 + y**3/6 - 3*y**2. Let r be m(4). Which is smaller: -2 or r?
r
Let d = -20 + 58/3. Let b(z) = -z**3 - z. Let o be b(-1). Suppose 1 = -o*s + s. Which is smaller: d or s?
s
Let b be (-1216)/(-96) + 4/3 + -1. Is 8 less than b?
True
Let q = 0.07 + -0.03. Let f = 0.96 + q. Let m = -0.1 + 0.1. Is m greater than f?
False
Let z = -10/3 - -8/3. Let f = -10 + 6. Let g = f + 3.8. Is g at least as big as z?
True
Let z(t) = 2*t**3 + t**2 - 2*t + 8. Let o be z(0). Let h(j) = 8*j**2 + 1 - 4*j**3 + j + 3*j**3 - 9. Let i be h(o). Which is bigger: i or 1/4?
1/4
Suppose 0 = -3*r + 1 + 8. Let m(u) = -u + r*u - 5 - 3*u. Let z be m(-5). Is 0 smaller than z?
False
Let l = 3 + 20. Suppose 3*s = -5*j - l, 2*j = -0*s + 2*s - 6. Let g be 2*1/(-2 + 0). Is s bigger than g?
False
Let v be 6/(-14) + (-10)/(-7). Are 2/39 and v nonequal?
True
Suppose 3*u + 21 = 84. Is 23 bigger than u?
True
Suppose 4*l + 26 = 6*h - 3*h, 31 = 3*h - 5*l. Let w = -2558 + 370912/145. Let f = 713/870 + w. Which is smaller: h or f?
f
Suppose 5*z = -6 + 1. Is z less than -3?
False
Let s(j) = -j**2 + 5*j + 3. Let t be s(9). Which is smaller: -65/2 or t?
t
Suppose -d = 80 - 79. Let c = 4 + -3. Does d = c?
False
Let r = -9.11 - -9. Let g = r - -0.21. Which is smaller: 4 or g?
g
Let r(g) = 4*g. Let d be r(0). Is d > -14?
True
Let b be (1 - 0)/(19 - 18). Is 6 != b?
True
Let x be (-5)/(-30)*3/((-9)/(-6)). Is -14 < x?
True
Let i(j) = -j**3 + j**2 + 4*j + 3. Let l be i(-2). Let z = 7 - l. Is -3/7 greater than or equal to z?
False
Let f(q) = -q**3 + q**2 + 1. Let y be f(2). Suppose 0 = 4*l + 1 + 3. Is l less than or equal to y?
False
Let g(w) = w**3 + 3*w**2 - 4*w - 2. Let l be g(-4). Let h = -4 + 5. Let b = h + l. Which is greater: b or -1/2?
-1/2
Suppose -13*s + 4*s = 27. Which is bigger: 0 or s?
0
Suppose -4*m - 2*n = 0, 0 = -5*m - 5*n + 5 + 5. Is m at most -1/2?
True
Let k = 34/33 + -218/297. Is k < -1?
False
Suppose 0 = -5*u + t + 55, 4*u - 30 = -4*t + 14. Let p = -13 + u. Is -3 != p?
True
Let u = 0.21 - 0.23. Is -2/9 equal to u?
False
Let i(n) be the third derivative of n**4/24 + 7*n**3/6 - 3*n**2. Let f be i(-8). Are f and 2/7 equal?
False
Let i(x) = x + 8. Let s be i(-9). Which is great