 + 2. Let s be g(5). Let o = s - p. Which is bigger: -3/5 or o?
-3/5
Let r be (-4)/(-14) - 388/(-14). Let w = r + 41. Which is smaller: 70 or w?
w
Suppose -t - 92 = -85. Let h be (2/4)/(t + 622/89). Is -44 less than h?
False
Let z be 23/(5428/(-1176)) - -5. Is z greater than 0?
True
Let k be (42/8)/(40/16). Which is greater: 2 or k?
k
Let l = -0.1061 - -0.1061. Is -215 not equal to l?
True
Let b be (-549)/40 - 240/(-400). Is b greater than or equal to -13?
False
Let q be (-1512)/3555 - (2 + (-36)/15). Are q and -1 non-equal?
True
Let i = -2480 - -64573/26. Let s = -402/13 - i. Let x = s - -1169/34. Which is smaller: x or 0?
x
Suppose w = -5 + 13. Let p(f) = -402*f - 2403. Let y be p(-6). Is y at most as big as w?
False
Suppose 4*u + 3 = -13. Let k = 19 + -10. Suppose -2*n + k*n = -7. Which is smaller: n or u?
u
Let r = 672 - 369. Is 305 <= r?
False
Let v = 293/824 - -2/103. Let m be 3/1*2/6. Which is smaller: m or v?
v
Let d be (-2)/(-15) - (-24)/(-90)*2333. Is d greater than -621?
False
Let g be (-1)/(-3)*57/(-2983). Which is bigger: 0 or g?
0
Let h = 11.5 + -6.6. Let x = -7.9 + h. Let y = 5 + -8. Is y < x?
False
Let f = -6 + 23. Suppose -s - f = -3*b, -3*s + b = 6*b - 19. Do -4 and s have different values?
True
Let k(b) = 2*b**2 - 24*b + 81. Let f be k(9). Suppose -3*v + 0*v + 79 = d, -2*v + 66 = -2*d. Which is bigger: f or v?
v
Let k = 137065/21 + -6525. Is k < 3?
True
Let g be ((-612)/12)/(27/2) + 4. Which is greater: 2/23 or g?
g
Let x be (-14)/2 + (8 - 12/(-66)). Let j(c) = 3*c - 7. Let a be j(3). Is a <= x?
False
Let y = 5/137 - -430/6987. Which is greater: y or 0?
y
Suppose -p + 3*k - 30 = 0, 0*k = -k + 1. Let g = p + 29. Let o be (-11 - -9)/(4/g). Which is smaller: -1/10 or o?
o
Let z be ((-112)/(-21))/(-5 + 27/6). Is z bigger than -11?
True
Let k be (2/222)/((-2)/12). Let z = 2.3 + -0.3. Which is greater: k or z?
z
Let s(g) = g**3 - 7*g**2 - 7*g - 7. Let j be s(8). Which is greater: j or -7/16?
j
Let o be -1 - 3*14/(-21). Is -5 less than o?
True
Suppose -6*s + 2*s - 8 = 0. Let b = 28 - 37. Are s and b non-equal?
True
Let m = -1085 + 1065. Let y = 17/5 - 41/15. Is m < y?
True
Let j be ((-3)/(-30))/((-2)/8). Suppose 5*r = b + 32, 45*r - 4*b = 46*r + 2. Which is smaller: r or j?
j
Let v = -185.6 + 208. Let l = 0.733 + 3.667. Let s = l - v. Is s <= -2/3?
True
Suppose -7*y + 5*y = -18. Let b = -30 - -35. Which is greater: y or b?
y
Let b = -3299 + 171545/52. Let p(m) = m**3 - 4*m**2 - 5*m + 1. Let r be p(5). Which is smaller: b or r?
b
Let t = 34.05 - 0.05. Let h = 35 - t. Which is bigger: h or 8?
8
Let l be (-6)/(-15) + 48/15. Let w(o) = -o**3 + 23*o**2 - 21*o - 17. Let a be w(22). Which is smaller: a or l?
l
Let d = 0.4 - 0.1. Let f = -164.315 + 0.315. Let s = f - -172. Does s = d?
False
Let h(r) be the second derivative of 1/6*r**4 + r**2 + 1/20*r**5 - 3*r + 0 + 1/6*r**3. Let z be h(-2). Is -1/4 greater than or equal to z?
False
Let v(x) = -x**3 - 10*x**2 + x + 13. Let p be v(-10). Let b be 1 - (p - (-14)/(-9)). Let o(j) = -7*j - 190. Let c be o(-27). Is c less than b?
True
Suppose 0 = -4*m - 4*f + 1020, 4*m + 5*f - 387 = 629. Which is smaller: m or 257?
257
Let r be 48/(-60) - (-208)/10. Let u be r/30 - (-26)/6. Let h = u - 12. Which is smaller: h or -6?
h
Let l = -50 + 249/5. Let u = 0.42 - -0.18. Let q = -0.4 - u. Which is greater: l or q?
l
Let s = -122 - -119. Are s and -0.5 non-equal?
True
Let j = 17 - 21. Let i = 0 - j. Let u be i/15 - 6/(-15). Is u greater than or equal to 2?
False
Let u be (7868/42)/((-10)/6). Let b = -112 - u. Is b at most 2?
True
Let p = -65 - -61.9. Let h = p + 3. Let y = 5 + -5.09. Which is smaller: h or y?
h
Suppose -2*r = 2*r + 5*b + 171, 5*r = b - 250. Which is smaller: -50 or r?
-50
Let n be (-2)/3 - (-64)/(-21). Let h(o) = o**3 + 6*o**2 - 3*o - 20. Let v be h(-6). Is n at least v?
False
Let k be (-7 + 4)/(1/(-9)). Suppose 0*b - 3*b - k = 0. Let h = b + 7. Is h at least -12/13?
False
Suppose n - 3*f + 17 - 4 = 0, n - f = -5. Let q = 7563/2 + -3783. Is n smaller than q?
False
Suppose -3*b - 3 = 3*o - 0, -5*b = -2*o + 5. Is -2/1119 <= o?
True
Let x = 95 + -43. Let c = -87 + x. Are -0.1 and c nonequal?
True
Let i be 2/10 + 1588/80. Let u = i + -104/5. Let t = 44 - 45. Which is greater: u or t?
u
Let k(c) be the second derivative of -7/6*c**3 - 1/12*c**4 + 0 - c**2 + 3*c. Let h be k(-6). Is 4 <= h?
True
Let n = 0.3 + -0.2. Let p = -133.974 + -0.026. Let d = p + 134. Is d at most n?
True
Let f = -188 - -110. Let b = f - -937/12. Are b and -2/27 unequal?
True
Let o = 21.8 - 260.8. Is o equal to 1?
False
Suppose 2*d = 6*d - 288. Suppose 67*z = d*z. Let h be -4 - (-235)/60 - z. Which is bigger: h or 1?
1
Let k(i) be the first derivative of -i**3/3 - 4*i**2 + 11*i - 1. Let g be k(-9). Is g <= -1?
False
Let t = -4862718472/7145325 + 2/649575. Let i = 680 + t. Suppose 5*z = -5, 4*u + 2*z + 5 = -1. Which is smaller: u or i?
u
Let w(c) = -2*c**2 + 44*c + 5. Let s be w(22). Let o(h) = h**3 + 5*h**2 - 2*h - 1. Let q be o(-5). Which is bigger: s or q?
q
Let w = -0.5 + -0.3. Let v = w - 7.2. Let f = v + 10. Which is bigger: f or 3?
3
Let v be -5*(-8)/(-60)*3. Is v greater than or equal to -7/5?
False
Let r be 1 + (3 - 42/9). Let c(k) = -k - 20. Let z be c(-8). Let a be (14/4)/(6/z). Does r = a?
False
Let g be 40 - 20/5 - 9. Is g bigger than 28?
False
Let l = -53 - -55. Let b be 2/(-6) + l + (-3)/(-9). Which is smaller: -3 or b?
-3
Let u be ((-57)/21 - -1)/(36/630). Which is smaller: u or -33?
-33
Suppose -5*z + 8*z - 42 = 0. Let p = -13 + z. Which is smaller: 2/59 or p?
2/59
Let v be 1/(6/(-376))*(-198)/(-132). Which is smaller: -93 or v?
v
Suppose 30*m - 51*m = 63. Which is bigger: m or 1/227?
1/227
Suppose 0 = 4*o, 6*q - 2*q - 5*o - 20 = 0. Let h = -325/7 - -52. Which is greater: h or q?
h
Let h = 53 + 23. Let d = h - 76.1. Let j = -23.87 - -24. Do d and j have the same value?
False
Let g be (-102)/(-459) + 4780/36. Is g >= 134?
False
Let g = -10 - -24. Let y(z) = -z**3 + 14*z**2 - z + 17. Let h be y(g). Suppose -2*a = a - h. Which is greater: -1/12 or a?
a
Let q(h) = 24*h**2 + 70*h - 370. Let x be q(5). Is 580 at most as big as x?
True
Let r(o) = 7*o**2 - 11*o - 33. Let f(a) = 10*a**2 - 16*a - 50. Let h(p) = -5*f(p) + 7*r(p). Let q be h(6). Is q <= -3/35?
False
Suppose 3*d = -4*v - 510, -11*v = -2*d - 6*v - 340. Which is bigger: d or -171?
d
Let j be ((-140)/(-154))/((-14)/(-77)). Let i = -119 + 171. Suppose -j*d = -4*y + i, -2*y + 32 = -3*d - d. Are y and 9 non-equal?
True
Suppose -4*y - 4 = -4*v, -3*y + 1 = 3*v - 2*v. Suppose -2*s - 26 = -2*x + s, -x = -3*s - 13. Let b(l) = l**3 - 12*l**2 - 12*l - 13. Let z be b(x). Is v > z?
True
Let a = 115/2 - 57. Which is smaller: -109 or a?
-109
Suppose 5*i + 3*k + 92 = -k, 58 = -4*i + 2*k. Let n be -15 - 1/(-2 - -3). Are i and n unequal?
False
Let i be (-8 + 18)*-1 + -446. Is i < -456?
False
Let b be 3 + -1*(3 - -1). Let t = -13 + 21. Suppose 0 = 7*r - 3*r - t. Which is smaller: b or r?
b
Let v = 3.99 - -0.01. Let x = 14.845 + -6.845. Which is bigger: v or x?
x
Let o be (-1*6/15)/((-2)/1020). Is 204 at most o?
True
Let m(z) = -21*z + 917. Let b be m(65). Which is smaller: b or -450?
-450
Let f(n) be the second derivative of -n**5/20 + 11*n**4/12 + 11*n**3/6 + 7*n**2 - 4*n. Let o be f(12). Let a be (2 + 29/(-12))*-2. Which is greater: a or o?
o
Let o = -1 + 3. Let l = 1.5 + -1.5. Is o < l?
False
Suppose 5*m = 5 + 10. Let t = m - 2. Let a be (-30)/(-225) + t/(-3). Which is greater: 2/7 or a?
2/7
Suppose 3*w = -9, -3*q - 171 = -w + 2*w. Which is bigger: q or -58?
q
Suppose 35*p = -p - 2592. Which is bigger: 0 or p?
0
Let o = 1.32 + -1.6. Let l = -0.12 + o. Let n = l - -3.4. Which is smaller: 5 or n?
n
Let z = -3/14 + -29/126. Let g = -95/8 - -459/40. Is z equal to g?
False
Let z(l) = -l**3 - 17*l**2 - 12. Let c be z(-17). Let n be 26/65 + c/5. Let v(u) = -u**3 + 6*u**2 - 6*u + 2. Let d be v(5). Is d at least n?
False
Let s = 82 + -80. Suppose -18 + 20 = -s*q. Which is smaller: q or -4/11?
q
Suppose 42 = -i + 2*i. Suppose 3*u + i = 4*u. Let r be (-30)/u - 2/(-4). Which is greater: 1 or r?
1
Suppose 0 = -0*b - 3*b + 3. Let m be (-20)/(-8) - (-1)/2. Suppose m*z + h - 2*h = 2, -3*h = -4*z + 11. Which is smaller: z or b?
z
Let t(s) = -7*s**2 - 6*s + 3 + 9*s**2 + 1. Let m be t(4