3*w = -4*s + 121. Which is smaller: s or -1/95?
-1/95
Let i = -7 - 9. Let j = -17 - i. Let t be j/(-6) + 6/(-9). Is -0.04 at least as big as t?
True
Let b = -10846/6713845 + 4/1847. Is b less than 0?
False
Let z = 928237/9 - 103016. Is z at least as big as 122?
False
Let b be ((-10)/2085)/(4/(-2362)). Let y = 1/834 + b. Let r = 7 + -3. Which is greater: r or y?
r
Let f = -0.33 + -1.37. Let r = f - -4.4. Let z = -2.5 + r. Is z less than or equal to -5?
False
Suppose -3*v + v = 22. Let u be (2145/(-20))/v*4. Suppose -198 = -5*l + 2*n, -l - n = -34 - 7. Which is smaller: u or l?
u
Let b be (68/(-85))/(1/(-485)). Let c be 6/4*((-3832)/b - -10). Is c not equal to -1?
True
Suppose r = -z + 2 + 2, 4*z - 23 = 3*r. Let g = -7/73 - -700/1971. Which is bigger: g or r?
g
Let y = -31646/5 + 6329. Does 24 = y?
False
Let j = 233/350 + -11/14. Suppose -4*g + 16 = 0, 4*b = -0*b + 2*g + 4. Suppose -5*o - 2*k = 2 + b, 3*o - 3*k = 18. Is o != j?
True
Let d = 2.37297 - 1938.36297. Let a = 1985 + d. Let s = 49 - a. Is 2 > s?
True
Let v = -273 + 297. Let g = -24.023 + v. Is g smaller than -1/2?
False
Let n(i) = -1. Let b(r) = 4*r + 1. Let j(c) = b(c) - 4*n(c). Let v be j(0). Suppose v*t - 50 = w, -7*t = w - 5*t + 43. Which is smaller: -43 or w?
w
Let z = 3052840/1275631423 - -2/509641. Is z < -1?
False
Let o(l) be the second derivative of l**3/6 + 6*l**2 - 13*l + 1. Let h be o(-11). Which is smaller: 5/88 or h?
5/88
Let s(u) = -3*u + 66. Let w be s(6). Let q = 50 - w. Which is smaller: 3/8 or q?
3/8
Let i(j) = j**3 - 20*j**2 + 24*j - 27. Let y be i(19). Let u be y/(-8)*10 + 4. Is u less than or equal to -79?
True
Let m be ((-4140)/1260)/((-66)/(-7)). Is m <= -1?
False
Let h = -5 - -4.7. Let f be ((-2)/8 + (84/(-24) - -3))/1. Is f equal to h?
False
Let p be 2196/(-1272) + 5 - 9/6. Which is smaller: 1 or p?
1
Suppose 28*b - 118 = 27*b. Let l = b + -130. Let v be (-93)/(-54) + l/54. Which is smaller: v or 2?
v
Let y(f) = -3*f + 11. Let p be y(2). Suppose -p*h + 3*b + 4 = 0, -5*h - 4*b = 4 + 13. Is h <= 7/59?
True
Let b(y) = 3*y**2 + 51*y + 323. Let k be b(-9). Which is greater: 534/5 or k?
k
Let a(h) be the third derivative of 43*h**4/24 - 22*h**3/3 - 175*h**2. Let u be a(1). Is -5/163 at most as big as u?
False
Let g = -31 + 19. Let y = 271481 + -4615173/17. Are g and y equal?
False
Let f = -284 + -625. Let r = f + 545. Let m = r + 256. Which is smaller: m or -109?
-109
Let r be ((-114)/6)/19 + 1851. Which is smaller: 1854 or r?
r
Let j = -411 - -125. Let o be (1 + 38/(-40))/(j/104). Which is smaller: 0 or o?
o
Let t = 249.87 + -2.87. Let m = 247.1 - t. Let x = 23.56 + 0.44. Which is bigger: x or m?
x
Let v = -1530.02 + 1530. Let a = 2 - 3. Is v smaller than a?
False
Suppose 3*b - 4*w - 74 = 94, 3*b - w - 168 = 0. Let m be (11192/(-26292))/(b/(-6)). Let l = 3/626 - m. Which is greater: l or -1?
l
Suppose -5*x - q + 283 = -417, -5*x + q + 710 = 0. Let l = -155 + x. Is -1 < l?
False
Let k be ((-12)/(-189045))/(963/45 - 21). Which is smaller: k or -1?
-1
Let z = 10347 - 44854243/4335. Which is bigger: z or -1?
z
Let x = -766 + 765. Is -177.8 at least as big as x?
False
Suppose 8 = 4*o + 4, -2*o = 2*f + 14. Let y(z) be the first derivative of -7*z**2/2 - 17*z - 2. Let d be y(f). Does d = -0.1?
False
Let z be ((-7)/14)/(1/36). Let p be (-6)/4*z/108. Which is bigger: p or 2/5?
2/5
Let v be ((-294)/441)/(4/3822). Is -637 greater than v?
False
Let q be -3 + 93/7 - (-2)/(-7). Suppose 13*n - q*n - 36 = 0. Suppose -3*v = -m + n, -4*v = m + 1 + 8. Do m and 2 have different values?
True
Let j be -2 - 3 - (67 + (-1 - 3)). Let s be -1*80/j - 0. Is 0 at least as big as s?
False
Suppose 100 - 41 = -56*h - 221. Are -153/38 and h non-equal?
True
Let w = -25762001/125532 + 5/13948. Let g = w + 205. Let b(i) = -i**2 + 10*i + 1. Let c be b(10). Is g < c?
True
Suppose -6*r + 8 = -10*r. Let v be -2 - (r - 0/4). Let w be ((-76)/5)/(8/20). Is v bigger than w?
True
Let s be (-35588)/12915 - (-2)/(-3). Which is smaller: -4 or s?
-4
Let r = -0.0494 + -0.1506. Is 780 less than or equal to r?
False
Let g(q) = -q**3 - 7*q**2 + 6*q - 21. Let p be g(-7). Let d = p + 63. Do -5/26 and d have different values?
True
Suppose 0 = 132*d - 202*d - 1820. Which is greater: 21 or d?
21
Let y = 17260.9703 + -17261. Which is greater: 2 or y?
2
Let p = -5.25 + 7.68. Let d = -31.43 + p. Is 0.1 <= d?
False
Suppose -3*c = 4*m + 10, -3*m + 7*c + 1 + 10 = 0. Do 1/15385 and m have the same value?
False
Let u be (-2)/(8/(-4))*(2 - -73). Let f be (u/(-12))/(-7 - (-66)/12). Which is smaller: f or 3?
3
Suppose 0 = 4*l - 20, -4*u = 10*l - 14*l + 396. Which is bigger: u or -116?
u
Let w be -12 + 10 - (0 + -8*1). Suppose -140 = -2*o - 2*a, w*o - 3*o - 2*a = 185. Let z = o + -66. Which is smaller: z or -1/7?
z
Let f(k) = k**2 + 5*k - 11. Let y be f(-7). Suppose -55 = 4*r - y*r. Let z = r - -55. Which is greater: -17 or z?
z
Suppose 0 = 4*d + 16, 2*m + 2*d + 6 + 6 = 0. Let v be m + (-15)/(-21) - -1. Let i(u) = -u**3 - 130*u**2 + 2336*u + 25. Let o be i(-146). Is v equal to o?
False
Let h = -63.111 - -35.111. Let d(t) = t - 5. Let c be d(5). Suppose 3*i + 0 = -3*s - 6, c = -4*s - 5*i - 9. Which is bigger: h or s?
s
Let w = -27 - -32. Suppose -4*p - 12 = -4, w*y = p - 28. Which is smaller: 3 or y?
y
Suppose 5*b = w + 92, -9*b - 3*w + 84 = -4*b. Let a be ((-19)/(-57))/(1 + (-37)/b). Which is greater: 0 or a?
0
Let t = -4107 + 18579/4. Does t = 538?
False
Let z be (-13)/(-39) - ((-5)/3 - 2). Suppose -z*a + 150 = 42. Let n = -25 + a. Is n equal to 23/8?
False
Let p(c) = -44*c - 532. Let i be p(-16). Do 1385/8 and i have the same value?
False
Let p = -5 - -2. Let j = 29797 + -29793.4. Which is smaller: j or p?
p
Let g = 0 + -1. Let d be (1 - (-4)/(-3))/(16 + -3). Let q = d - 2/91. Which is smaller: q or g?
g
Let c be (15 + (-4 - -2) - 4) + -5. Suppose 0 = -2*a - f + 11, 0 = 3*a + c*f - 14 - 5. Is 6 less than a?
False
Let f = -17652 + 20308. Is -1/4 at least as big as f?
False
Let q be (-4)/(((-6)/882)/(9/(-27))). Is -193 smaller than q?
False
Let p = -230585/74 + 1425/37. Is -3077 at least as big as p?
True
Let b be 2*(-3)/27 + (-10293)/(-27). Let f be 6/b + (4 - 4). Suppose -6 = 2*u - r, -3*r + 3 + 4 = 5*u. Is u <= f?
True
Let d be ((-3)/(-9)*-3)/(3/(-78)). Suppose 0*n + 3*n = 4*a + 7, -4*n + d = 3*a. Let y = 767/198 + -51/22. Is a less than y?
False
Let y = -219 - -200. Let k = 18 + y. Is -0.34 greater than or equal to k?
True
Suppose 22*a - 75*a = -28*a - 152950. Which is greater: 6117 or a?
a
Let k = -272.4 + 275.2. Is k less than 96?
True
Let v(g) = 4 + 10*g - 60 - 14. Let y be v(7). Which is smaller: -1/3 or y?
-1/3
Let x(u) = -2*u**2 - 30*u + 200. Let h be x(5). Which is greater: -33/58 or h?
h
Let b = 6.96 + -2.96. Let t = -789 - -834. Is b at most as big as t?
True
Let i be 7023/12 - (-2)/(-8). Suppose 3*d - 2*s = 3823, -4*d + 2*s + 0*s + 5098 = 0. Let b be d/i - 2/6. Which is bigger: 2 or b?
2
Let g = 481/5066 + -3/34. Let z = 151/123 + -64/41. Which is bigger: z or g?
g
Let g = -18604 + 18391. Which is greater: g or 0.049?
0.049
Let j(w) = -w**3 + 10*w**2 - 8*w - 7. Let l be j(9). Let a be (13 + -12)*2/l. Let y be 0/(a*(-3)/3). Is 4/15 greater than y?
True
Suppose 2*x = 5*p - 992 + 289, 4*x = 2*p - 294. Let z = -415/3 + p. Let h = -10.73 + -0.27. Are z and h unequal?
True
Suppose 0 = -s - 16 + 3. Let n = s - -13. Suppose 3*c + n = -6. Is -2 greater than c?
False
Suppose -1558 = -3*v - 1555. Let m = 14357/8880 - -57/370. Let p = m + -11/6. Which is bigger: p or v?
v
Suppose -14 = -5*m + 11. Let i(v) = v + 2. Let k be i(m). Suppose 4*u = 5*a - 43 + 15, -5*a - 4*u = -12. Are k and a nonequal?
True
Suppose -2*d + 883 = 3*y - 113, 0 = y + 3*d - 339. Is y at most as big as 332?
True
Let u = -3699 - -3693. Suppose -4*b + 3*d = 5*d - 18, -4*d + 12 = 0. Suppose -5*l + 10*l = b*h + 6, -4*h + 6 = -2*l. Which is greater: l or u?
l
Let y = -188878/19 - -9938. Suppose 0 = -4*t + 4*d + 8, 5*t + d = -15 - 5. Which is bigger: t or y?
y
Let d(j) be the third derivative of -j**5/30 + j**4/24 - 2*j**3/3 + 3*j**2 - 5. Let i be d(2). Which is smaller: i or -20?
-20
Let k = 241 - 236. Let h = 26 + -31. Let a = h + k. Which is bigger: 9/10 or a?
9/10
Let g = -487 - -490. Suppose 124 = -g*r + 148. Is 91/10 greater than or equal to r?
True
Let d