2). Let b be (-228)/t*-167 + 3. Let r = -1411 + b. Which is greater: r or 2?
r
Let u = 24 + -26. Let b be (-16)/8*u/4. Let d be ((-10)/2*(-10)/(-125))/36. Which is bigger: b or d?
b
Let v be 3/(-6) - 9/(-14). Let g(t) = -t**2 + 18*t - 57. Let k be g(5). Is k less than v?
False
Let a be -1 - (-13)/4 - (-9)/12. Suppose 22*z + a = 19*z. Which is bigger: z or 0.79?
0.79
Let n = 9.71379 + 0.22221. Is -0.1 less than or equal to n?
True
Let j = -10 - 25. Let h = -85 - j. Let m = 926897 - 4634487/5. Which is bigger: m or h?
m
Suppose -50*h - 73*h + 95*h = -28. Which is bigger: -19/118 or h?
h
Let t = 278342 - 1385542/5. Is t greater than or equal to 1234?
False
Suppose -y - 182 = -185. Suppose h = -4*a, 8 = -y*h + h. Let t be ((-1)/13)/((-2)/(-4)). Which is bigger: a or t?
a
Let c = -21.37 + 21.37. Which is smaller: 1256 or c?
c
Let p = -335/21 + 577/36. Let a = -2213/252 - p. Are a and -9 non-equal?
True
Let d be -25 + (-10 - 1 - -4680). Is d greater than or equal to 4644?
True
Suppose -3*k + 21 = -3*w, 11*k - 9 = 12*k + 3*w. Which is smaller: k or 47/26?
47/26
Let p be (-70 - 15/5)/(0 - 1). Let z = -73 + p. Let c be 212*5/980 + -1. Which is smaller: c or z?
z
Let x = -1007355/7 - -143578. Which is smaller: -329 or x?
x
Let l(y) = -7*y**2 + 71*y - 73. Let t be l(11). Let i(h) = 2*h - 138. Let f be i(0). Which is bigger: f or t?
f
Let l = 15731065/1206 - 13044. Which is bigger: l or -1?
l
Suppose -2*k + 14 = -4*g, k - 5*g - 2 = -8*g. Suppose 129 = k*u + 3*b - 218, u + 2*b - 75 = 0. Which is greater: u or 2?
u
Let g = 7244.93 + 13.07. Which is smaller: 0 or g?
0
Let a(d) = 748*d + 56. Let w be a(-22). Let j be (-2)/7 + (1 - w/(-22715)). Let f = 41571/4543 + j. Which is smaller: 9 or f?
9
Let h(t) = -22*t - 15. Let x be h(3). Let o = -86 - x. Let d be (15/o - 34)*-1. Which is greater: d or 36?
d
Let j(i) = -3*i**3 - 9*i**2 + 7. Let d be j(-3). Let t be 38 + (d/21)/((-2)/(-24)). Which is smaller: 43 or t?
t
Let d = 501103/18 + -27851. Is d bigger than -13?
True
Let u(a) = -2*a**3 - 187*a**2 - 277*a - 387. Let t be u(-92). Which is smaller: t or -294?
t
Let n be (10/(-7))/((-1)/7). Suppose -52 = -5*y - 7. Suppose n*w + 1 = y*w. Is w less than -1/6?
True
Let t be 1/(2 - 44/24). Suppose -3*d + 5*m = 49, -11*d + t*d = -5*m + 65. Is d less than -66/7?
False
Suppose -f = 1, a + 2*f - 2 = -0*a. Let d be ((-5)/20*-8)/(a/(-118)). Let z = d - -60. Which is smaller: 4/7 or z?
4/7
Let o = -340 + 52. Let b = 288 + o. Is b at least as big as 2/787?
False
Let h = 17132/11625 + 28/375. Let x be -10 + ((-155)/124 - 228/(-16)). Which is smaller: x or h?
h
Let u = 176 - 14. Suppose 0 = 160*j - u*j. Suppose j*y + 2*y - q - 43 = 0, y - 23 = -q. Which is greater: -1/2 or y?
y
Let s(p) = 2*p**2 - 3*p - 15. Suppose 0*m + 4*l - 10 = -5*m, -17 = -4*m - 5*l. Let r be s(m). Which is greater: r or -28/23?
r
Let j = -43.3 + 7.3. Let b = j + 50. Let k = -1.0833 - -0.0833. Which is bigger: b or k?
b
Let g be ((-990)/88)/(9/(-24)). Suppose -g*v - 851 = 829. Which is smaller: -54 or v?
v
Let f = 147645/2 + -71461. Let x = 2301 - f. Which is greater: -62 or x?
x
Let k(l) = l**3 + 63*l**2 - 9*l - 1365. Let x be k(-63). Which is bigger: x or -799?
x
Suppose j = z - 5, -2*z + 6*j - 3*j = -13. Let a = 7 + -5.83. Let c = a - -19.83. Are z and c non-equal?
True
Let w(u) = -u**3 + 9*u**2 - u + 8. Let r be w(9). Let b be 3 + ((r - 3) + 3)*-7. Is 28/3 at most b?
True
Let u be ((-16)/(-6))/(54/243). Suppose 5*f - 9*b = -u*b + 138, 2*b = -3*f + 82. Are f and 28 equal?
False
Let v(j) = -j + 4. Let r be v(3). Let w = -9463/2 - -4733. Which is greater: w or r?
w
Let u = -2.015 + -0.985. Let s = -11 + 13. Let b be (s/(-1) - -1)/(-3). Which is bigger: b or u?
b
Suppose 0 = 6*x - 10*x. Let q = 2/28645 - -5213368/315095. Let r = 16 - q. Which is smaller: r or x?
r
Let u = 99.9 + -100. Let p = -12.75 + 11.35. Which is bigger: u or p?
u
Suppose -5*b = 392 + 93. Let g = -97 - b. Which is smaller: g or -2/445?
-2/445
Let y = 0.91 + -0.74. Let w = y - 0.24. Is 1 smaller than w?
False
Let j(f) = -f**3 + 3*f**2 + 82*f - 47. Let d be j(-8). Which is greater: d or -20/47?
d
Suppose 3*k - 3*y = -1194, y + 8 = 7. Let w = k - -432. Let c(s) = 4*s + 7. Let i be c(6). Does i = w?
False
Let s(f) = -1865*f - 11197. Let h be s(-6). Which is smaller: h or -633?
-633
Let g(w) be the second derivative of -w**3/6 - 6*w**2 - 23*w. Let a be g(-15). Let v be a*(12/(-90))/((-1)/(-35)). Is v >= -13?
False
Suppose 3*j - 4*x + 141 = 0, -96 = 2*j - 3*x + x. Let q = j - -51. Let t be 4/(-8)*q/(-1 + -2). Is t at least as big as 5/18?
False
Let p = -363/16 + 135255/5968. Is 0 > p?
True
Suppose -475*l - 190 = -477*l. Is l not equal to 477/5?
True
Let t = -159 - -160.6. Let u = t - 1.5. Which is smaller: -0.15 or u?
-0.15
Suppose -6*t - 10 = -t - 3*j, 4*t + 2*j = -8. Let u be t*2/4*-4. Let q be (-134 - -148) + (-2 - 9). Which is smaller: q or u?
q
Let m be 28/(-6)*(-459)/(-306) - (-3086)/430. Which is greater: m or -1?
m
Let u = -629 + 631.63. Let r = u + -38.63. Does r = -2?
False
Let z = -22967/414 - 5/207. Are z and -56 unequal?
True
Let o be (-744480)/252 - (-4)/14. Let g = 56110/19 + o. Which is bigger: 0 or g?
0
Let t be -4*((-30)/(-55) - 4165/154). Which is smaller: 125 or t?
t
Let g = -74 - -74. Suppose g = -18*o + 16*o + 162. Which is smaller: 1 or o?
1
Let a(i) = -65*i - 6823. Let y be a(-105). Is 5/3 at most as big as y?
True
Let z = 2919 + -1778. Are z and -1 unequal?
True
Let n be 22 - 0 - 18480/847. Which is greater: n or -161?
n
Let l(j) be the first derivative of j**4/4 - 3*j**3 + 19*j**2/2 - 5*j + 92. Let q be l(6). Is q <= 3/56?
False
Let r = 1978 - 1980. Which is greater: r or -162?
r
Let l = -9 + -3. Let g = 6 - 8. Let m = 2.1 + g. Is m > l?
True
Let s = 609 - 607. Let n be (s + (-4 - 3))/1. Let z = -569/8 - -71. Is n bigger than z?
False
Let g(j) = -43*j - 1533. Let b be g(-48). Which is smaller: b or 529?
529
Let x(q) = 171*q + 2700. Let k be x(-16). Which is smaller: k or -635/17?
-635/17
Let d be ((-28)/(-35))/(10/15225). Is d bigger than 6084/5?
True
Suppose w + 2 - 13 = 0. Let h be w/2*6/9. Let t be 84/(-36) - (-64)/12. Do h and t have different values?
True
Suppose 0 = -3*q - 3 - 0. Let t = -45 + 292. Let c = t - 251. Which is smaller: q or c?
c
Let t(c) be the first derivative of -2*c**3/3 - 7*c**2/2 - 6*c - 187. Let j be t(-4). Do -14 and j have different values?
True
Suppose 0 = 306*h + 217*h - 60145. Suppose 2*j + 2*j = 0, -4*j = -g + 115. Is h smaller than g?
False
Let c = -866 - -1427. Let x = -719 + c. Is -160 at least as big as x?
False
Let u = -28 + 122. Suppose 0 = -99*n + u*n - 4090. Let g = n - -2486/3. Is g != 10?
True
Let q = 933 + -932.9. Is 918 equal to q?
False
Let f = -14722 - -14364. Is -0.03 smaller than f?
False
Let i(a) = a**3 + 9*a**2 + 5*a - 13. Let y be i(-8). Let u = y + -13. Let v be (-9 + 3)*(9/u)/(-3). Is -9 less than v?
False
Let i be 3/6*-78*-13. Let x = i + -561. Do -6 and x have the same value?
False
Suppose -32 + 79 = -15*a + 32. Which is smaller: a or 1/7524?
a
Suppose -24*f + 150 = -21*f. Suppose 190*i - 192*i = -4. Suppose -4*n - i = -f. Is n <= 62/5?
True
Let i = 21597 - 119841756/5549. Do 0 and i have the same value?
False
Let d(p) be the second derivative of p**3/6 - 2*p**2 + 9*p. Let l be d(5). Let o(k) = 16*k - 5. Let x be o(l). Which is greater: 6 or x?
x
Let p be 1383*(6948/(-6918) + 1) - -6. Which is smaller: -1 or p?
-1
Let z = 87435/29776 + -47/16. Is 1 at least as big as z?
True
Let c(f) = 2*f + 27. Let d be c(-14). Let o be d*(9/(-3) - (-3 - -1)). Is o != 22/9?
True
Let i be ((-2)/3 - 6545/42) + 282/564. Which is smaller: -2/5 or i?
i
Let m(q) = q**3 - 54*q**2 - 559*q - 503. Let w be m(63). Let b = 16.9 + -95.9. Which is greater: b or w?
w
Let r be 65/2730*7/(147/36). Let j = -0.8 + -2.2. Which is smaller: j or r?
j
Let g(k) = 4*k + 32. Let h = -34 - -26. Let m be g(h). Suppose 0 = -4*f + f - m*f. Is 2/87 at least as big as f?
True
Let l(q) = 24*q + 1249. Let a be l(-52). Let i be ((-10)/(-215))/(4/(-30)). Let y = i - -395/516. Is a <= y?
False
Let z = 4.726 - 43.726. Is z > 30?
False
Let s = 3.33 + 98.27. Let w = -1.477 - 100.523. Let u = w + s. Which is smaller: u or -1/4?
u
Suppose 8*t + 13 - 45 = 0. Suppose 335 = -t*p - p. Is p at least as big as -67?
True