z = 4*x - 22 - 50. Which is bigger: 170/9 or x?
x
Let t be ((-64)/(-12))/((-1)/((-30)/(-385))). Let x = -10/77 - t. Is -0.43 less than or equal to x?
True
Suppose -12*v - 50266 + 50602 = 0. Is v at most as big as 24?
False
Let t = 6/35 + -368/105. Let i be (736/(-8))/((-24)/18). Let l = i - 71. Is l greater than t?
True
Let f = 0.547 - -16.453. Let r = 17.08 - f. Which is greater: -0.11 or r?
r
Suppose -13*v - 2619 = -396. Let b = 128 - v. Is 299 at most as big as b?
True
Suppose -179 - 205 = -6*u. Let v be (256/20)/((-1)/(-5)). Is v at most as big as u?
True
Let w(g) = -5*g - 45. Let a be w(-13). Let b be 1/((-8)/a + 3/(-5)). Let p be b + 3 + 4 + -5. Is 0.8 greater than or equal to p?
False
Let g = -134.5 + 133. Let q = g + -0.5. Which is smaller: 12/13 or q?
q
Let j = -0.02 - -10.42. Let n = -4.4 + j. Suppose -8*t - 60 = 2*t. Which is smaller: n or t?
t
Let i be 2778/(-27)*(-1)/583. Let y = i + -10/99. Suppose -60 = -6*l - 66. Does l = y?
False
Let g(k) = -33 + 3*k + k - 75 + 155. Let v be g(-8). Which is smaller: v or 13?
13
Suppose -287*j - 2753875 - 749534 = 0. Is -12205 greater than j?
True
Let o = -0.09 + 0.09. Let m = -18 + 15. Let q be m/20*(-80)/96. Is o bigger than q?
False
Let c = 167 - 459. Let y = 162 + c. Let k = y - -178. Which is smaller: k or -1?
-1
Let i = 205.14 - 2.14. Let j = 236 - i. Is j greater than 0.3?
True
Let u = 0.374786 + -0.174786. Let y = 4 - 0. Suppose 0 = -l + 3*i - 19, 71 + 12 = -y*l + 5*i. Is u greater than or equal to l?
True
Suppose -211 = -3*t - 379*z + 383*z, -2*t = -z - 134. Let g be (48/(-10))/(6/(-80)). Which is greater: g or t?
t
Let l(x) = 2*x**2 - 227*x + 1595. Let c be l(106). Are 128/15 and c unequal?
True
Let f(g) be the second derivative of -g**5/120 - 7*g**4/8 + 16*g**3/3 + 25*g. Let u(w) be the second derivative of f(w). Let m be u(-21). Is -3/25 less than m?
True
Let j be (17/1122)/((-22)/165). Which is smaller: 0 or j?
j
Suppose 219*s - 221*s + 175 = -5*t, 4*s - 329 = 3*t. Which is bigger: s or 71?
s
Let f = 14828 + -14827. Which is greater: 3358 or f?
3358
Suppose -11*t - 51 + 18 = -0*t. Which is smaller: -168 or t?
-168
Let p = -9221 + 9221.37. Is p at most -11?
False
Let p(s) = -2*s**2 + 3*s - 5. Let u be p(4). Suppose 2*d - 5*d = -l + 33, -4*l = d + 11. Let f = d - u. Which is smaller: 12 or f?
12
Let s(o) = -2*o - 5*o + 5 + 5*o + 5*o. Let v be s(-6). Suppose -54 = -11*g - 197. Is v <= g?
True
Suppose 24*f - 229 - 179 = 0. Suppose -429 = -f*q + 795. Is -1/2 bigger than q?
False
Suppose -3 = -5*x + 2. Suppose -6*f - 20 + 20 = 0. Suppose -h + 3*n = x, 0 = 3*h - f*n - n - 5. Is h != 1?
True
Suppose -38*f + 114 = 19*f + 57*f. Which is smaller: 20/1023 or f?
20/1023
Let z be (-36933)/(-130) + 25 - (-1)/(-10). Are 3394/11 and z equal?
False
Suppose 9*s + 36 = -630. Let u = s - -74. Which is smaller: 16/11 or u?
u
Let n be -1*2*4/20. Suppose 2*x - 4 = 4. Suppose -4*a + 6*i - 4*i = x, 3*a - 11 = -2*i. Which is smaller: n or a?
n
Suppose 15*t + 714 = -27*t. Suppose -2*g + 2*r + 46 = -5*g, -3*g - 70 = -4*r. Which is greater: g or t?
t
Let o(j) = j**3 - 39*j**2 - 48*j - 40. Let c be (12/30 - 0)*90 + 4. Let k be o(c). Is -360 > k?
False
Suppose -3*a = 5*b - 93, -4*b + 35 + 33 = -4*a. Suppose 0 = 5*u - 4*s - 120, u - 51 + b = -s. Let o = u + -65. Which is smaller: o or -36?
o
Let t = 32 + -33. Let y be (-4)/((-112)/(-15)) + t/(-4). Let g = -0.13 + 0.03. Which is greater: g or y?
g
Let k = -559.7 + 559.7. Is k <= -1783?
False
Let r = 13566 - 94572/7. Is r != 1?
True
Let p = -4304 + 4310. Is p equal to -17?
False
Let l(w) = -7*w - 2. Let y be l(-2). Suppose 5*s - 256 = -0*q + q, 0 = 4*s - q - 204. Let b be (s/(-8) - -5)*(-56)/6. Is b less than y?
False
Let x = 94 - 60. Let r = 7 + x. Let b = r - -6. Which is smaller: b or 2/5?
2/5
Let f = 207 + -204. Let q be (6/(-4) + 3/f)*326. Which is greater: q or -165?
q
Let o be 300/(-350) + 21555/(-21). Is -1028 greater than or equal to o?
False
Let k = -112 + 159. Suppose 12 = 5*n - 13. Suppose 88 = -n*y + 318. Do k and y have the same value?
False
Let j = 1998.92 - 1949. Let f = j + -50. Let v = f - 11.92. Which is smaller: v or 1?
v
Let x = 5.653 - 0.653. Suppose -5*o - 5*j + 59 = -131, -4*j = o - 32. Is o at least x?
True
Let k = 41 - 129. Let h = k + 40. Let u = h - -40. Which is smaller: u or -0.3?
u
Suppose -a + 4 = 0, -2*a - 4 = 2*w - 24. Suppose -9*z = -w*z + 66. Is z < -5?
True
Suppose 5*c = -c + 30. Let n(x) = -17*x + 72. Let h be n(c). Do -2/3 and h have different values?
True
Let v = 322341623/979 - 329256. Let r be (-2)/(-4)*-1*2. Which is greater: r or v?
v
Let l = 80 - 71. Suppose 17*s = 77 - l. Is 36/11 less than s?
True
Suppose -2*o + 577 = 3*l, l + 0*o - 175 = -5*o. Let m be -8 + l/24 - (-34)/(-528). Which is smaller: m or 0?
0
Let d = 98 - 112. Let g be 59/(-7) - -8 - (-2514)/d. Which is smaller: g or -181?
-181
Suppose p + 2*u + 27 + 15 = 0, 3*p - 2*u = -118. Is -121 >= p?
False
Suppose 4*h + 2*v + 1679 = 9*h, 4*h - 1338 = -v. Let i = 330 - h. Which is smaller: 20 or i?
i
Suppose 13*a = -893 - 810. Is -5 <= a?
False
Suppose -5*t - 63 = -2*x, 4*x + 0*t - 102 = 2*t. Let w be (-2 + 35/15)*x. Suppose -k - 4 = -l, 3*k - w + 20 = 0. Which is greater: l or 1/4?
1/4
Let o be 0 - 1/(-2)*96/1416. Which is bigger: 91 or o?
91
Let f be 2/4 + (1 - (-122)/4). Suppose 28*s - f*s = -552. Let z be s/20 + (-3 - (-65)/25). Is z less than or equal to 6?
False
Let f = 3171 - 3172. Let x = -146392741/232 - -631002. Let n = x + 9/8. Which is smaller: f or n?
f
Let o(i) be the third derivative of -i**5/60 - 7*i**3/6 + 18*i**2. Let m be o(0). Let r(j) = 2*j + 8. Let a be r(m). Is -9 >= a?
False
Let i(z) = z**3 + 15*z**2 + 22*z + 15. Let c be i(-13). Suppose -22*j + 23 = c. Let w be 1/(9/(-14)) - -1. Is w < j?
False
Let s = -22 + 25. Suppose 0 = -s*r + m + 185, 266 = 5*r + 5*m - 9. Let w = r + -59. Is w less than or equal to 1/33?
False
Let g = -9308012079814711745880107/942190130467886515635420 + 2/186904067034610845. Let c = g - -1/498564. Let w = -108/13 - c. Which is smaller: 2 or w?
w
Let d(t) = t**3 - 2*t**2 - 5*t + 1. Let v be d(4). Suppose -u + 3*z + v = 0, -5 = -3*u - 4*z - 31. Which is smaller: u or -9/5?
u
Let v = -66 + 143. Let k = 118.2 - 195. Let i = k + v. Which is smaller: i or 0.03?
0.03
Let f be (-70 + 83)*((-42)/(-13))/3. Is 5 <= f?
True
Let h = -119691/37 - -6539147/1813. Let l = 372 - h. Suppose 540*m = 535*m - 5. Which is smaller: l or m?
m
Let q = 8956 - 8956.163. Suppose 3*m = 8*m + 10. Which is greater: q or m?
q
Let t = 40.35 + -39.754. Is -1 smaller than t?
True
Suppose -107*c + 19*c - 888132 = 9*c. Which is smaller: -9157 or c?
-9157
Let y = -13/8 - -57/40. Let s = -1.3348 - -1.3248. Which is greater: s or y?
s
Let v = 11950 + -12006. Is v greater than -683/12?
True
Let k be -1 - ((-2)/(-11) + 444/(-22)). Suppose l = 2*q + 1, 3*q + q = -5*l + k. Suppose -v + l = 8. Is v <= 2/5?
True
Let v = -59 - -59. Let p = 0.201 - -36.199. Let r = p - 36. Is r equal to v?
False
Let m be -1*-2*11 + 1. Suppose -2088 = -137*i + 1200. Is i < m?
False
Let d = 120/77 + -95780/62447. Which is smaller: 0 or d?
0
Let w(p) = -61*p - 44*p + p**2 + 24 - 2*p**2 + 124*p. Let m be w(19). Suppose m*u = 25*u. Which is smaller: u or 38?
u
Let s be 1 + (-10)/14 + (-415794)/322. Which is smaller: s or -1293?
-1293
Suppose 3*t = 4*t - 58. Suppose -4*n - 2*z + 224 = 0, -15*n - 6*z + 82 = -13*n. Which is greater: t or n?
n
Suppose 2*x + 171 = 185. Suppose 3 = -33*q + 38*q - j, 2*j = -3*q + x. Is -231 >= q?
False
Let l = -1628.974 - -1627. Let w = l + -0.236. Which is smaller: w or 2/5?
w
Let i = 274.7 - 283.8. Which is smaller: -77 or i?
-77
Let d(h) = 6*h - 19. Let r be d(4). Suppose -4*m + 8 = 0, -g + r*m = 4*m - 20. Which is bigger: 16 or g?
g
Let a be (1 - (-58)/(-1)) + 1. Let d = 998 + -1036. Let i = d - a. Which is greater: 19 or i?
19
Let z(d) = -d**2 - 7*d + 9. Let s be z(-8). Let c be 1/2*(-1250)/2875. Which is greater: s or c?
s
Let y = 1454/207 - 64/9. Let a be (15/10 - 1)*(0 + 22). Suppose 3*m + 8 - a = 0. Which is smaller: m or y?
y
Let c(u) be the second derivative of u**5/20 + 7*u**4/6 + 13*u**3/6 + u**2/2 + u. Let t be c(-13). Let b be 0 + 0 - (0 + t/3). Is -17 != b?
True
Let w(v) = -11*v**2 - 26*v - 73. Let p be w(-14). Is -1864 at least as big as p?
T