b(w) = 141*w - 405. Let t be b(12). Is 10295/8 at most t?
True
Let o be (2 - -1)*32/(-96). Let c be (18 - 19)*(o + 2). Which is greater: 5/4 or c?
5/4
Let a = 16 + -13. Suppose -3*m + 6 = 0, m = -a*c - 4*m + 19. Suppose 114 = -3*z - 2*n, -c*z = n - 6*n + 114. Which is smaller: -37 or z?
z
Let s be 7/84*4 - (-1 - 1128/(-9)). Is -90 >= s?
True
Let w = -4799 - -6163. Which is bigger: 0 or w?
w
Let o = -41 + 22. Suppose -3*m = 5*f + 307 - 226, -m - 4*f - 41 = 0. Is o bigger than m?
False
Suppose w + 45 = 4*w. Let x = -264 + 874. Let l = -608 + x. Which is bigger: l or w?
w
Let u be ((6 + -1)/(-1))/(-1). Suppose u*g = 5*i + 10, 8 = 5*i + g + 30. Let q be (2/44)/(10/(-1112 + 32)). Which is smaller: q or i?
q
Let b = -1124 + 1122. Let o be (14/(-8))/(3/(-12)). Is o > b?
True
Let l = -57/1849381958 + -39196958930872607/2761127263294. Let f = 14196 + l. Which is bigger: -1 or f?
f
Suppose 2*r - 8 = -4*t, -3*r - 5*t + 16 = 6. Let w be 6/4 - (-1243)/(-22). Let h be (-8)/52 - w/104. Is r at most h?
True
Suppose 2*p = 5*x + 81, 0 = p + 3*x + 9 - 22. Suppose 0 = 5*o + b - 12, 3*o - 3*b - 1 = 17. Which is smaller: p or o?
o
Let k = -4396/29 + 174871/1189. Which is smaller: k or -5?
-5
Let g(d) = 267*d + 1603. Let y be g(-6). Let t = -1 + 3. Which is smaller: t or y?
y
Let f be (2/21)/(4860/50463). Let o = f + -14/15. Is -1 less than o?
True
Suppose 0 = -a - 3*a - 12. Let c = 2.1 + -70.1. Let i = c - -59. Is i less than a?
True
Let i = 697 + -706. Let w = -3783/5 + 749. Is i > w?
False
Let f = 13168 - 13168. Is f bigger than -65/81?
True
Let x(c) = -c**2 - 10*c. Let f be x(-7). Let v be 2/(-15) + (-24)/(-180). Suppose -2*m - 3*m - d + 111 = v, -d = 4. Which is smaller: f or m?
f
Let z(p) = -5 + 3*p - 6*p**2 + p**3 + 2*p**3 - 2*p**3. Let h be z(5). Suppose 7*w - 8*w = -3*y - 17, 45 = -5*w + 2*y. Is h <= w?
True
Suppose -m - 57 = -5*r + 45, -4*m - 240 = 4*r. Let y = 3/5938 + -780853/11876. Is y at most m?
False
Let g = -0.262 - -0.25. Let n = -617 + 1816/3. Let j = n - -12. Is g greater than j?
False
Let c = -5617.2 - -5102. Let s = -515 - c. Let w = -2.064 - 0.036. Do s and w have the same value?
False
Suppose -3*i = -3*l, -4*i - 5*l + 15 = -6*l. Let y be 2/(-1 - (-92)/84). Suppose -6 = -i*v - y. Is v at least -4?
True
Let t be 0 - (0 + 2/(-8)). Let k = -0.2356 + 182.2356. Is k greater than or equal to t?
True
Let j = 49.7 + -51.7. Let c = 11.26 + -0.26. Let f = j + c. Which is smaller: f or -4?
-4
Let t be (20 + -23)/((-3)/(-79)). Which is bigger: -76 or t?
-76
Let l be 3636/84 + 4/(-14). Suppose q + 5*c - l = 0, q - 1 + 3 = 4*c. Which is smaller: q or 10?
10
Suppose 37*v - 3 = 14 + 20. Is v bigger than 19/113?
True
Suppose -4*w + 60 = -9*w. Suppose 32*b = 42*b + 190. Is b greater than w?
False
Let d = -454049/7 - -63651. Which is smaller: d or -1213?
d
Suppose 19 - 19 = 22*c. Suppose c = -10*m + 8*m - 3*h + 82, 5*m - 4*h - 159 = 0. Which is smaller: 24 or m?
24
Let v = 59 - 65. Let n = 4.23 + -2.23. Which is smaller: v or n?
v
Let m = -1072743/14380 - 1/2876. Are -76 and m non-equal?
True
Let x = 1726.2 - 1674.2. Let l be 10/8*1/5. Are x and l equal?
False
Let v be 105/6*-1*8/10. Let s be (-1290)/105 - 4/v. Let a(q) = -q**2 - 2*q + 12. Let w be a(-6). Is s greater than or equal to w?
True
Let v = 28128 - 84385/3. Which is greater: 4335 or v?
4335
Suppose 3*f - 18 = -3*h, -4*h + 516*f = 512*f + 24. Which is bigger: h or -2/1843?
h
Suppose 0 + 13 = m. Let r = 31 - m. Let n be (12/r)/(22/6). Are -2 and n equal?
False
Suppose -15046 = -5*r - 4*u, 336*r + 5*u = 339*r - 9035. Are 3010 and r non-equal?
False
Suppose -4*c - 15 = 5*j, -c - 2*j - 5 = 1. Suppose c = 10*n - 869 + 249. Which is smaller: n or 61?
61
Let k = -140.7 - -171.14. Let w = k + -31. Let a = 1.56 + w. Which is bigger: -7 or a?
a
Suppose 4*u + 2*t = 32, 5*t + 24 = 7*u - 4*u. Suppose 4*v - 18 = o, 4*v + 2*o - u = v. Which is greater: -1 or v?
v
Let a = 2/1947 + 9697/36993. Is -2/9 at most as big as a?
True
Let h be (-14)/77 + 1126/22. Suppose h = -9*q - 57. Let x be q*10 + 6/(-3). Is x smaller than -122?
False
Let a = -446181758/2205 + 202350. Is a equal to 0?
False
Suppose -11*o = -i - 9*o + 14, 2*i = -o + 38. Suppose 2*y + i = 12. Suppose q + q = -4. Which is greater: y or q?
q
Let u be (-3 - 0) + (-122)/(-48)*6. Which is greater: u or 23?
23
Let t = 15809/26 + -608. Let i = 22 - 23. Are t and i nonequal?
True
Suppose 0 = 5*b + 26 - 26. Let i be 3/(-2) + 16/(-32). Let k be i - ((-144)/38)/2. Are k and b non-equal?
True
Suppose -4*u = 5*a - 1059 + 1047, -2*a - 5*u = -15. Which is bigger: 37/110 or a?
37/110
Let z = 84.137 - 0.137. Let p = z + -83. Let b = -2 + 3. Is p bigger than b?
False
Let z = 0.54 - 56.94. Let c = 42.7 + z. Which is greater: c or -2/5?
-2/5
Let x(l) be the third derivative of -11/24*l**4 - 1/6*l**3 + 2*l**2 + 0*l + 0. Let h be x(0). Do 2/269 and h have the same value?
False
Suppose 0 = 23*d - 21*d. Let s be (2 - (d + 4))/((-22)/(-979)). Is s smaller than -89?
False
Let q = 28383.841 - 28384. Which is greater: q or -61?
q
Let t = -3.99 - -1505.99. Is 0 > t?
False
Let y = 12.26 - 12. Let l = 0.842 + -1.042. Is y at most l?
False
Let i = 110 + -54. Let l = 57 - i. Let g = 0.076 + -0.056. Which is greater: g or l?
l
Let d(h) be the first derivative of -41*h**2/2 - 4*h - 14. Let b be d(1). Let a = b + 89/2. Which is smaller: a or -8?
-8
Let m(u) = -10*u + 122. Let b be m(8). Let w be -2*51/2*(-14)/b. Which is smaller: 15 or w?
15
Let j = -60.5897 + 4.5897. Let p = -56 - -170/3. Which is bigger: p or j?
p
Let u = -73 - -154. Let k = -81.039 + u. Let m = 0.961 - k. Which is smaller: -1 or m?
-1
Let t = -26.1 - -26. Let s = -0.21 - -49.21. Which is greater: t or s?
s
Let j = 937.5 - 1234.5. Which is greater: j or 6?
6
Suppose 10257*q = 10252*q + 165370. Is q at least as big as 33074?
True
Suppose 15*t = -4*t + 3914. Let l = t + -207. Which is smaller: l or -5/33?
l
Let x = -85 + 70. Let m = -91 - x. Let s = m - -75. Is s < -0.08?
True
Let x = 23 + -19. Suppose 0 = -2*o + f - x, -2*o - 28 = o + 4*f. Let g be 14*o/48*-6. Which is greater: g or 5?
g
Let j = -5075 - -10495. Let k = j + -2363121/436. Is 1 less than k?
False
Let j = -1438/23 + 122184/1955. Let z be -1 + ((-3)/(-3))/1. Are j and z equal?
False
Let x be 48/40 + (-3115)/175. Is -1/20 >= x?
True
Let a = 20471 + -20474. Which is smaller: a or -2091?
-2091
Let s be (31 - 1) + 246 + -252. Which is smaller: 34 or s?
s
Let b = -38749 - -34600. Do -4148 and b have the same value?
False
Suppose -23*l - 27*l = 8*l. Is l >= 9/427?
False
Let x(l) = -l**3 + 6*l**2 - 6*l + 17. Let s be x(7). Suppose -119*n - 75 = -118*n. Is n greater than or equal to s?
False
Suppose 4*b - 488 - 260 = -5*s, -2*b = s - 146. Let z be 3/(-2) - s/(-16). Suppose 0 = c + c - 3*i, 5*i = -5*c + 50. Which is greater: z or c?
z
Let r(x) = 3*x**2 - 80*x + 71. Let o be r(27). Which is smaller: 1072/11 or o?
1072/11
Let s be 172/(-36) + (-10)/45. Let p be (-3)/((-30)/s)*-6. Suppose -33 = -p*u + 105. Which is smaller: 47 or u?
u
Let c = -5586/11 - -865874/1705. Let i be -7 + 0 + (-4)/(-28)*49. Is c greater than i?
True
Let t = -2729 - -2657. Which is bigger: -68 or t?
-68
Let r = -2 + 120. Let h(z) = 119*z**2 + z + 18 - r*z**2 + 3*z. Let c be h(0). Are 17 and c equal?
False
Let p = 1151 + -1151.3. Which is bigger: p or 476?
476
Let k(p) = -p. Let x(g) = -3*g + 11. Let w(b) = 5*k(b) - x(b). Let s be w(-8). Let l(d) = d + 9. Let n be l(-5). Is n at least as big as s?
False
Suppose 9*k - 3*k - 12 = 0. Suppose -30 = -q - k. Suppose q*n = 36*n + 280. Which is bigger: -33 or n?
-33
Let q(r) = r - 32. Let c(o) = -o**2 - 26*o - 14. Let w be c(-25). Let x be q(w). Are -22 and x equal?
False
Let u be 6070/(-210) + 20 - -9. Is u smaller than -2/501?
False
Let k = -2045.149 + 2043. Which is greater: k or -1?
-1
Let d = 10.2 + -10.1. Let h(t) = -t**3 - 10*t**2 - t + 5. Let x be h(-10). Suppose 0 = -4*y - 3*s + x, 0 = 2*y - 5*y - 2*s + 12. Does d = y?
False
Let i be (48/21 - 2)*(-1155)/(-154). Let z be -1 + (-6)/(-1) - 0. Let c = z - 4. Which is greater: c or i?
i
Suppose o - 2*z = -3, 3*o + 1397 = -5*z + 1421. Which is smaller: -322 or o?
-322
Let m be ((-1)/5 + 0)*(10 + -6 + -9). Do m and -41/343 have the same value?
False
Let m(t) = 3*t**2 + 36*t. Let y be 3 + -2 + (-2)/4*26. 