reater: b or -3?
-3
Let s(i) = -i. Let u be s(6). Let z = 5 + u. Which is smaller: z or 0?
z
Let d = 5780/7 + -827. Suppose v + 6 = -a, -a = -2*v + 1 + 2. Which is greater: v or d?
v
Let j = -4 - -7. Let t(n) = n - j + 1 + 4. Let q be t(0). Does 2 = q?
True
Let j = -17 - -26. Which is smaller: j or 1?
1
Let l be 2/3 - (-10)/15. Is l >= 1?
True
Let c be 4 + -1 + 30 + 3. Suppose -2*k + 4*i = c, -15 = i - 4*i. Which is smaller: k or -7?
k
Let k be -136 - (5 + -1 - 5). Let b be (-2)/(-9) - (-3)/k. Are -4 and b nonequal?
True
Let g = -3 - -44. Is g >= -1?
True
Let n be ((-8)/(-10))/(730/(-25)). Let i be (-1 + -1)/(-4)*2. Which is bigger: n or i?
i
Let k = 762 + -2248/3. Let f = 13 - k. Which is bigger: -0.2 or f?
f
Let a = 16 - 10. Let u be ((-2)/(-4))/((-1)/a). Let z be u*(-1 + 12/9). Which is bigger: -2 or z?
z
Let o(j) = -j + 1. Let a(m) = -5*m + 5. Let w(u) = -2*a(u) + 6*o(u). Let c be w(6). Suppose -5*g = -g - c. Which is bigger: g or 4?
g
Let b = -28 - -27. Let r = -156/35 + 34/7. Is r bigger than b?
True
Suppose -2*u = -2 - 0. Let l be (-68)/(-144) - (-7)/(-28). Which is smaller: u or l?
l
Let d(h) be the first derivative of -h**2/2 + h - 2. Let t be d(-6). Suppose -5*v + 18 + 17 = 0. Do v and t have the same value?
True
Let d(g) = -g**2 + 14*g - 19. Let b be d(13). Let n(c) = c**3 - 5*c**2 - 7*c + 1. Let z be (1/2)/(1/12). Let a be n(z). Are b and a nonequal?
True
Let f(y) = y**3 + 6*y**2 + 8. Let v be f(-6). Is 6 > v?
False
Suppose w + 8 = 4*i, -3*i - 5*w = -4*i + 2. Suppose -s - 10 = -2*k, -7*k = s - i*k + 3. Which is smaller: s or -6?
s
Suppose 3*s + 0*s + 9 = 0. Let k be 1/2 + 2/s. Which is smaller: 1 or k?
k
Suppose 0 = 7*x - 2*x + 15. Suppose -o - 6 = 2*h - 2*o, -3*h = 3*o. Let k be 1 + h + 2/(-3). Which is greater: x or k?
k
Let w(z) = -z**2 - 4*z. Let y be w(-3). Suppose 24 + 9 = y*t. Let n be (-2)/t + (-265)/55. Which is greater: n or -4?
-4
Let u = -7 - -6.9. Let t = -1 + 0.7. Let r = -0.7 + t. Which is smaller: r or u?
r
Let t be (0 + 0)/(5 + -3). Let i = t + 0. Are -1/3 and i equal?
False
Let f = -49/2 + 24. Let w = -8 + 11. Suppose -5 = w*a + 1. Is f equal to a?
False
Let g be (-59)/(-22) + (-21)/7. Let x = -2/11 + g. Is 6 < x?
False
Let y = -0.91 - -0.11. Let h = -0.9 - y. Let c = 0 - 0. Is h >= c?
False
Let r be 4 - (3 + 3 - 2). Is -7 bigger than r?
False
Let f = 26 - 16. Let d be f/(-100)*5/(-2). Which is greater: -8 or d?
d
Let o be (15 - 14) + (-143 - 1). Let p be 23/(-2)*(-25)/2. Let v = p + o. Is 1 at most as big as v?
False
Suppose -2*i = 2*i + 8. Let r = i - -7. Suppose 0 = v - r*l + 27, -v - 22 = -0*v - 4*l. Which is smaller: v or 0?
v
Let f(w) = 11*w - 21. Let d(y) = 5*y - 10. Let q(v) = -9*d(v) + 4*f(v). Let g be q(0). Suppose -7*m + 3 = -g*m. Which is greater: 2 or m?
m
Let n = -0.3 + -0.7. Let i = -0.18 + -0.02. Let r = i - 0. Which is smaller: n or r?
n
Suppose 0 = -12*t + 17*t + 5. Which is smaller: -76 or t?
-76
Let v = 712/5 - 142. Let l = 4 + -3. Which is greater: l or v?
l
Let t = -6 + 8. Suppose -j - j = -t. Let c be ((-1)/j)/(-3 - -4). Which is smaller: c or -5/3?
-5/3
Let v = -7 + 11. Let c = v - 2. Which is smaller: -1 or c?
-1
Suppose -4*l = 10 + 6. Let y = l + 1. Is -3 <= y?
True
Let n be (-10)/45 + (-6)/(-27). Let y be ((-2)/(-1 + 33))/1. Is n <= y?
False
Let o be (-3)/(-6) - (-38)/(-60). Suppose 5 = -0*c + 5*c. Which is smaller: c or o?
o
Let k be 1*-1*(-3)/3. Let x be ((-5)/((-60)/(-21)))/((-6)/8). Is x <= k?
False
Suppose -3*n = -z + n + 6, 3 = 2*z + n. Which is bigger: -6 or z?
z
Let q be (28/(-5))/(4 + (-88)/20). Which is smaller: q or 13?
13
Let o = 0 + 0. Suppose -9 = t + 3*y, 3*t - 4*y + 8 = -6. Let g be (-11)/6 - t/3. Which is smaller: o or g?
o
Let q = 13 + 47. Let j be 1/(-5) - 3/q. Which is greater: j or -4?
j
Let l be 1 - 1 - (-33)/3. Suppose 2*f - l = -o, 4 = 5*o - o. Is f >= 5?
True
Let o(d) = -3*d**2 - d. Let s be o(1). Suppose j = -0*j - 3. Which is smaller: j or s?
s
Let s = -7.147 + 0.147. Are s and -2 equal?
False
Let l be -2 + -1 + (-5 - -23). Let v be ((-1)/6)/((-25)/l). Which is greater: -1 or v?
v
Suppose 4 = -4*c + 3*y - 2, 4*c - y = -2. Let z = c + 3. Suppose z*p = 4*v + 7, 0 = -p + 2*p - 1. Do -4/7 and v have different values?
True
Let a = -2/145 - -304/1015. Let d be (-4)/22 - (-1)/(77/14). Which is smaller: a or d?
d
Let u = 7 - 4. Let x be 0 + (-1 + -1)*-2. Let z be 3*(x/(-42))/(-1). Is z less than or equal to u?
True
Let s = 9.05 + -9. Let w = s + 0.05. Which is greater: w or -4/7?
w
Suppose k + g = 3*g + 6, -4*g - 26 = -3*k. Is k at least 16?
False
Let s be ((-3)/(-1))/(6/(-4)). Let g = 0 + s. Let x be (-10)/4 + 0 + (-31 - -33). Is x <= g?
False
Let x(m) = 2*m**2 + m - 2. Suppose -l = 3*l + 12. Let f be x(l). Is f equal to 13?
True
Let k = 0.51 - 0.91. Is -16 != k?
True
Let z be (-4)/6 + 160/150. Let y = 0 - z. Is -1/7 not equal to y?
True
Let r(w) = -w**2 + 10*w + 15. Suppose -2*q + 11 = -11. Let d be r(q). Are 6 and d unequal?
True
Let g be (-3)/4*((-39)/(-9) - 4). Which is smaller: g or 2?
g
Suppose 0 = 2*m - 17 + 503. Let g be 36/m*3/(-2). Let a = 0.3 + -1.3. Which is bigger: g or a?
g
Suppose t = 8 - 7. Let h be t/(2 + (-60)/28). Which is smaller: h or 2?
h
Let a be (-5)/20*(-1 + 6). Let r(q) = q - 1. Let h be r(0). Which is smaller: a or h?
a
Suppose 5*l = -31 + 36. Which is smaller: l or -1/122?
-1/122
Let b be (0/(-2))/(-2 + 4). Which is smaller: -1/7 or b?
-1/7
Let q = -4 - -10. Let o(t) = t**2 - 6*t - 7. Let s be o(-1). Do q and s have different values?
True
Let g be ((1/(-1))/(-2))/((-9)/(-54)). Is g equal to 8?
False
Suppose 4*i - 24 = -4*h, -2*i + 2*h + 7 = -5. Let a = i + -5. Let f be (6/(-4))/(-7 + a). Which is greater: -1/2 or f?
f
Let v be ((-2)/(-4))/(1/10). Suppose 0 = -h + t + 9, 11 + 6 = h - 3*t. Is h greater than or equal to v?
True
Suppose 0 = -l + 5, 3*l = -4*q + 4 + 19. Let t = -6 - -9. Suppose -t*d = q*d + 5. Are -2 and d nonequal?
True
Let r be (2/4)/(14/(-644)). Which is smaller: r or -22?
r
Let b be -1 + (58/(-62) - -2). Suppose 2*k = k + 1. Is k >= b?
True
Let x(g) = -g - 11. Let f be x(-8). Let m = f - -17/7. Which is bigger: 0 or m?
0
Let b = 1 - 1.4. Let s = b + 1.5. Let p = 1 - s. Is 0 > p?
True
Let d(t) = 3*t**2 + 5*t. Suppose 0*w - 2 = w. Let a be d(w). Is a at least 12?
False
Suppose -49 = -3*b - 142. Is -30 at least as big as b?
True
Let t = 9.93 + -10. Let c = -0.03 + t. Let u = -0.02 + 0.32. Which is bigger: u or c?
u
Let v be 2 - 8/(-6)*-24. Let r = -61/2 - v. Do -1 and r have different values?
True
Let j be (-2*(-18)/15)/2. Which is smaller: 2 or j?
j
Let v be (0 - 0) + 67/4. Let c = -17 + v. Let h be (-4)/10 - (-7)/5. Do c and h have different values?
True
Suppose -6*n + n = -2*u + 42, 0 = 2*n - 2*u + 12. Let w(b) = 2*b**2 - 15*b + 9. Let q be w(6). Which is bigger: n or q?
q
Let b = -2 + 2.5. Let g = b - 0.3. Are 1/5 and g equal?
True
Let o = 3135159/17 + -184309. Let v = 112 - o. Which is greater: 1 or v?
1
Let c = -0.2 + 0.3. Let q = c + 0.1. Let y = q + -0.2. Which is greater: y or 0.2?
0.2
Suppose -x = -5*x - 4, 16 = 2*t + 2*x. Let h = -9 + t. Let k be 1*((-1)/(-6) - h). Is k equal to -1/4?
False
Let r = -15 + 22. Which is smaller: r or 2/9?
2/9
Let y = -11 + 15. Suppose y*h = 5*i - 18, 56 = 5*i + 3*h + 17. Are i and 5 equal?
False
Let y be (-6)/(-4)*(0 + -2). Let f = 5 + y. Suppose g - 1 = -f. Which is smaller: g or -3?
-3
Let f = -1.4 + 0.5. Let h = 0.6 + f. Let b = 7 - 6.8. Is h at most as big as b?
True
Let z(g) = 3*g**3 - 2*g + 1. Let i be z(1). Let a = 8 + -3. Which is greater: a or i?
a
Let x(i) = -2*i - 4. Let j be x(-3). Suppose -j*q = -d - 5, q - 2 - 2 = -d. Let f be 1/(-2) - d/(-2). Which is smaller: f or -2/9?
-2/9
Let v = -167 + 193. Which is smaller: v or 28?
v
Let u = -13 + 9. Let r(s) = s**3 + 3*s**2 - 4*s + 4. Let k be r(u). Suppose -1 = -3*h - k. Are -2 and h unequal?
True
Let x = -2 + 1. Let k = 547/4 - 138. Which is smaller: x or k?
k
Let m = 21 + -18. Suppose -6 - m = 3*a. Which is greater: a or -5?
a
Suppose w - 1 = -m - 3*m, 2*m - 11 = 3*w. Let c = -11/120 - 1/24. Which is smaller: c or m?
c
Let x(r) = r**2 - 6*r - 7. Let a(s) = s**2 - s - 5. Let h be a(4). Let y be x(h). Let m be -4 - (y + 2)/(-2). Is -2 at most m?
False
Let p = -480/7 - -83054/1211. Which is bigger: 1 or p?
1
Let k be 108/45 +