2. Are -21 and z nonequal?
True
Let m be (183/9)/(2/(-3)). Let z = m - -30. Which is smaller: z or -2?
-2
Let u(b) = 3*b**3 + b - 1. Let f be u(1). Let q be f/(-6) - (-2)/4. Let h = -159/154 - -17/14. Is h at least q?
True
Let i = -2.1 + 0.1. Let d = -30/13 + 236/91. Which is smaller: i or d?
i
Suppose -5*f + 2*z + 5 - 4 = 0, -4*f = -5*z - 11. Is f < 3?
True
Let c = 7.9 - 8. Is c greater than or equal to 0.03?
False
Let w be ((-260)/90)/((-2)/6) + 2. Which is bigger: 11 or w?
11
Let d be -1*(3 + 3 + -10). Suppose -4*r = -x - 1, d*x + 4 = r - 2*r. Which is greater: r or -1/3?
r
Suppose 0 = 5*b + 2*d + 73, -5*b - d - 69 = -0*b. Are b and -13 equal?
True
Let g = 949/6 + -159. Which is smaller: g or -1?
-1
Let p = 14 - 13. Let a(y) = -y**3 + 8*y**2 - 8. Let v be a(8). Let o be v/(-28) - (-12)/7. Which is greater: p or o?
o
Let k = 2 - 0. Suppose 0 = -h + 1 - k. Does h = -2?
False
Suppose 0 = -7*n - 124 - 345. Which is greater: 0 or n?
0
Suppose -10 = -3*q + 2*q. Let a be 4/q - (-68)/(-20). Let i = 1 + a. Is -2 bigger than i?
False
Suppose -y - y - 28 = -4*v, 4*v - 8 = -3*y. Let z(i) = i - 8. Let h be z(0). Let f be 1/y + (-2)/h. Is f at least as big as 0?
True
Let f(j) = -j**2 - 5*j + 7. Let y be f(-6). Let m be y - (0 + (-10)/(-12)). Let n be 0/((-1)/(3 - 2)). Is n not equal to m?
True
Let x(p) = p**2 + 5*p - 2. Let a be x(-6). Let r(j) be the first derivative of j**4/4 - 4*j**3/3 - j**2/2 - 3. Let z be r(a). Which is greater: z or -2?
-2
Let d = -114 - -1143/10. Which is bigger: d or 1?
1
Let z be (10 + -13)*(-7)/(-3). Do -5 and z have the same value?
False
Let d = 0 - -15. Suppose 7*f = 2*f - d. Which is smaller: f or -4?
-4
Let g = 391/2 + -192. Let q = g + -4. Is 0.2 less than q?
False
Let w = 149 + -149. Which is bigger: w or 19?
19
Let k = -1 + 0.92. Let b = 1.08 + k. Is -3 bigger than b?
False
Suppose -77 = -4*n + 27. Let f = n + -37. Which is greater: f or -10?
-10
Let u(q) = -q**3 + 7*q**2 + q - 9. Let g = 1 - -6. Let b be u(g). Let h be 1 - b/((-8)/6). Which is smaller: -0.1 or h?
h
Let k(c) be the third derivative of 5*c**4/12 - c**3/3 + 2*c**2. Let q be k(3). Let m be (-8)/q + 30/56. Which is greater: m or -1?
m
Suppose -3*x = x - 48. Suppose t + x = -t. Which is smaller: -7 or t?
-7
Let l = -65/33 + -1159/132. Let c = 11 + l. Which is bigger: 0 or c?
c
Let p(q) = 5*q**3 - 6*q**3 + 6*q + 2*q**3 + 8 - 8*q**2. Let z be p(7). Let f be 3/((-9)/4) + z. Is f equal to -1/3?
True
Let f = 3 - 0. Do f and -0.2 have the same value?
False
Let z = -119 + 73. Which is smaller: z or -47?
-47
Let s(u) = u**3 - 5*u**2 + 2*u - 7. Let m be s(5). Suppose -4*x + 16 = -0. Which is bigger: x or m?
x
Let a = -2 + 3. Let l be (-914)/(-102) + -2 - 7. Which is greater: l or a?
a
Let a = 36 + -35.93. Which is smaller: a or 0?
0
Let h be 1*-22*(-3)/(-10). Is h smaller than -6?
True
Let v be (2 + -5)*((-4)/(-12))/1. Let l = 0 - 1.3. Which is smaller: l or v?
l
Let t(z) = -3*z + 10. Let x be t(4). Which is greater: -3/2 or x?
-3/2
Let n be 10/(-7) - (-2 + 0). Let m be (-112)/(-63) - (-4)/18. Is m at least n?
True
Let k be ((0/4)/(-2))/2. Which is greater: k or -3/4?
k
Suppose 0 = 18*c - 0*c - 594. Which is smaller: 31 or c?
31
Suppose -2*u - 27 = -2*q - 15, 0 = 2*q + u + 3. Let a be ((-14)/20)/1 - -1. Which is greater: a or q?
q
Let v be (1 - (-4 - -7)) + (1 - 0). Which is greater: v or -1/34?
-1/34
Let n be -9*22*7/14. Let z be n/27 - -2*2. Which is bigger: z or -0.06?
z
Let y = 77 - 76. Is y less than -2?
False
Let b = -25.1 - -24. Let p = 5.1 + b. Do p and 2 have the same value?
False
Let w = -41385/5139002 + 425308232321/289785753279. Let p = 14/4177 + w. Let t = p + 1/27. Is 3 smaller than t?
False
Let j = 2.2 + -2.12. Let z = 0.2 - 0.1. Which is smaller: z or j?
j
Suppose 4*f + 43 - 55 = 0. Which is smaller: 4 or f?
f
Let n = 37 + -30. Which is smaller: 0 or n?
0
Let m be 40/140 - ((-200)/(-14))/1. Is -15 smaller than m?
True
Let q be (-1)/(-1)*0/(-3). Suppose -3*l + 2*l = q. Which is greater: -1/15 or l?
l
Let d be 1/1 + 507/3. Let m = d - 847/5. Is 2 <= m?
False
Let b(k) = -k**2 - 3*k + 7. Let l be b(-5). Let y = -7 - -4. Does l = y?
True
Let y(m) = -3*m - 10. Let a be y(4). Is -22 at least as big as a?
True
Suppose -3*c - 5*n - 23 = -c, n = 3*c + 9. Is c greater than or equal to -20/7?
False
Let r be (-56)/(-186) + (-5)/15. Is -1 != r?
True
Suppose 5*j - 2*r - 265 = 0, -4*j + 128 = -j + 5*r. Let b = j + -356/7. Which is smaller: b or 0?
0
Let o = 14 - 5. Suppose 0 = 3*u + 6, h + 5*u + 4 = -o. Let f = -4 - h. Is 1/8 at least f?
True
Let j = 83 + -62. Is 1 greater than j?
False
Suppose 7*p - 2*p = 0. Let l be (36/21 + -2)/(-2). Which is smaller: l or p?
p
Let k = 27 - 33. Which is bigger: -5 or k?
-5
Suppose -i + 29 - 2 = 0. Which is bigger: 29 or i?
29
Let u = -17 + 17. Which is smaller: u or 1/54?
u
Let p = -9 + 9.05. Let m = p - 0.05. Which is smaller: 1 or m?
m
Suppose 5*c = 4*c. Which is greater: 2/63 or c?
2/63
Let h = -22 + 21. Which is bigger: h or -2/7?
-2/7
Let o = 17 - 8. Let u = o - 13. Let l = -9 + 6. Is u smaller than l?
True
Let s be 0 + -3 + 3 - (-12)/(-70). Which is smaller: s or 1?
s
Let t be (-6)/(-36) + 8702/(-82164). Let n = -2/167 + t. Is n greater than or equal to 0?
True
Let u(n) = -n**3 - 10*n**2 - 10*n - 13. Let m be u(-9). Which is bigger: m or -6?
m
Let n = -0.9 - -1.1. Let o = -3.8 - n. Is -0.2 less than or equal to o?
False
Let u(p) = p**2. Let t(x) = 5*x**2 - 2*x - 1. Let s(h) = t(h) - 6*u(h). Let r be (-10)/8 - 14/(-56). Let f be s(r). Which is greater: f or -1/2?
f
Let n = -2 - -1.99. Let t = 0.99 - n. Is 1 less than or equal to t?
True
Let s = 16 - 21. Is s at most -7?
False
Let i(b) = -5*b + 1. Let c be i(-1). Let d be (-4)/6 - (-25)/c. Suppose 4*p - a + 3*a = 12, 0 = -2*p + 2*a + 18. Is p at least as big as d?
True
Let d = -4591/13 + 8107/23. Let r = 17/3 - 427/69. Let n = d - r. Is n greater than or equal to 0?
False
Let h(g) = -g - 1. Let l be h(10). Let w(a) = -2*a**2 + a - 1. Let d be w(-2). Is d > l?
False
Let g = 1187/42799 - 12/337. Which is greater: g or 1?
1
Let p(x) be the second derivative of -x**5/20 + x**4/4 - x**3/2 + x**2 - 3*x. Let l be p(2). Which is bigger: 2/7 or l?
2/7
Let f be 3*(2 - (33/(-9) - -4)). Let g(i) = i**3 + 4*i**2 - 8*i - 7. Let v be g(-5). Suppose v = 3*s + a, -a + 4 = -3*s + f*s. Which is smaller: s or 0?
0
Let g(j) = -j**3 + 9*j**2 + 10*j - 2. Suppose 6 = 2*i - 0*i. Let h = i + 7. Let w be g(h). Which is greater: w or 0?
0
Let p = -1 + 3. Suppose -p*u = 7 + 5. Let i = u - -6. Which is smaller: i or -4/3?
-4/3
Let m(f) = -f + 3. Let a be m(5). Let k be (6/9)/(a/(-15)). Suppose 2*d = -k*i - 2*d - 19, -4*d = 4*i + 16. Which is smaller: i or -2?
i
Let d be 1 + (-5)/(25/(-792)). Let f = d + -160. Let m(v) = -v**2 + 2*v - 1. Let l be m(2). Do l and f have the same value?
False
Let w(o) = -2*o**2 - 1. Let m be w(-1). Suppose 0 = -3*j + 2*j - 3. Are j and m equal?
True
Let k be (-2)/4 + 5291/22. Let n = k - 4562/19. Which is smaller: 0 or n?
n
Let a = -18 + 12. Let v = 6 + a. Let q be (-1)/(-1) + 45/(-35). Which is smaller: q or v?
q
Let k(d) = 4*d**2 - 38*d - 21. Let c be k(10). Is 4/21 at least as big as c?
True
Let l be ((-3)/6)/(2/4). Is l less than 4/19?
True
Suppose 4 = -v + 1. Let i be 26*v*(-3)/(-4). Let x = i - -60. Which is smaller: x or 3?
x
Let k = 9/187 + -1869/15521. Which is smaller: 1 or k?
k
Suppose -11*r + 10*r = -60. Is 181/3 <= r?
False
Let b be (-1)/21*146/(-2). Let h = b - 22/7. Let s = -2.4 + 2.5. Is s bigger than h?
False
Let d(y) = -3*y + 1. Let x be d(-8). Is x at most as big as 24?
False
Suppose -i + 4*i + 21 = 0. Are -7 and i equal?
True
Let w = -0.01 - -0.01. Let j = w - 1. Let k = j - -1.1. Which is bigger: -3 or k?
k
Let n be 1/(-2)*(9 + 1). Let g be 15*(-2 + n/(-3)). Do 1 and g have different values?
True
Suppose -3*k + 2*k - 7 = 0. Let i = -1 - k. Suppose i*a = a + 10. Is 1 greater than a?
False
Let b be 6/279*12/8. Let v = -59/93 - b. Which is smaller: 0 or v?
v
Let u(q) = -q**2 + 11*q - 23. Let h be u(8). Which is bigger: h or 2/13?
h
Suppose 20 = 2*c - t - 3*t, -5*c + 3*t = -36. Which is bigger: -1/5 or c?
c
Let m = -23 + 13. Let s = 5 + m. Is s at least -6?
True
Let y = -5 - -4. Let r be 1 + (-1 - (y + 1)). Which is greater: 1 or r?
1
Let u = 0.3 + -0.28.