s -1 at least as big as b?
False
Let m be (-76)/(-308) - ((-192)/(-33) + -6). Is 0.536 at most as big as m?
False
Let b = -0.03429 + 347.03429. Which is bigger: b or 2/23?
b
Let o be 4/2*170/(-2) + -6. Which is smaller: o or -178?
-178
Let a(w) = 20*w - 919. Let i be a(38). Is i at most as big as -164?
False
Let c = 3978 - 3958. Let r = -0.063 - -36.063. Let f = c - r. Which is greater: f or 0.1?
0.1
Let t = -60 - -31. Let i be -29 + 1*(-7)/14. Is t at least as big as i?
True
Let a = -3/2 + 227/150. Suppose 3*t + v - 48 = 0, t = -v + 53 - 35. Suppose -i + 8 = 4*b, -3*b - 2*i + t = i. Is b at least as big as a?
True
Let u = -51.57 - -49.8. Let n = 0.07 + u. Let t = -2 + 4. Does t = n?
False
Let f = 8238.19978 - 0.19978. Is 0 smaller than f?
True
Suppose 4*x - 2*c = 43 - 47, -2*c = -8*x - 8. Let f be 4/(-6) - (-17666)/39. Let z = 452 - f. Does x = z?
False
Let m be 75/(-2) + (-550)/(-220). Is m greater than -13?
False
Suppose 5*l + 8 = l. Let j = 22 - 22. Suppose j = 79*q - 77*q - 20. Which is bigger: l or q?
q
Let o(h) = -4*h + 7. Let i(l) = l. Let s(t) = -3*i(t) + o(t). Let w(n) = -3*n + 4. Let f(r) = -2*s(r) + 5*w(r). Let p be f(5). Which is smaller: p or 3/19?
3/19
Let t = -1317 - -1317. Let f = 297 - 6531/22. Is f bigger than t?
True
Suppose 4*m + 1344 = -12*n + 9*n, 3*m = 2*n + 879. Which is bigger: n or -445?
n
Let o = -2.2 - -2.93. Let i = o + -0.73. Which is smaller: i or 10?
i
Let t = 37 + -136. Let k(r) = -4*r**3 + 22*r**2 + 14*r - 115. Let o be k(6). Is o at most as big as t?
True
Let j = -292567/14 - -20883. Let w be (-31245)/(-2478) + -2 + 4. Let v = w + j. Is v not equal to 0?
True
Suppose -5*b - x + 3*x = -43, 5*x = -4*b + 41. Let h(u) = -u - 19 + b*u - 9*u - u. Let l be h(-10). Is l greater than or equal to 2/3?
True
Let k = 16112 - 16113. Is k bigger than 2054?
False
Let b be 1569/(-2 + ((-5)/20)/(6/(-30))). Which is smaller: -2091 or b?
b
Let m = 3435757/71 - 48389. Which is smaller: m or 2?
m
Let t(i) be the third derivative of i**5/60 - 5*i**4/12 - 59*i**3/6 + 51*i**2. Let y be t(14). Is y bigger than -16/3?
True
Let f = -222188/6812685 + 4/13763. Which is bigger: f or 1?
1
Let u = 19588 + -19589. Is 3421 <= u?
False
Let n = -3544 - -3550.2. Which is bigger: n or -1.3?
n
Let k(f) = f - 23. Let c be k(8). Suppose 3*l = 2*x + 26, 0 = 2*x + 53*l - 52*l + 26. Which is bigger: x or c?
x
Let i = -388 - -388.038. Let c = -218.538 + 218. Let v = i + c. Which is smaller: 3 or v?
v
Let h be 2 - 2 - 2755/725. Let l be 2 + 20/(-4) + -2. Is h smaller than l?
False
Let k(p) = p + 1. Let s(f) = 8*f + 30. Let u(b) = -3*k(b) + s(b). Let z be u(0). Let o = 245/9 - z. Which is greater: 1/20 or o?
o
Let c = -584 - -586. Suppose 0 = -o + c*s + 1, -3*o + 5*s + 2 + 0 = 0. Which is bigger: -1/164 or o?
-1/164
Suppose -4*s = -4*k + 20, -17*s = -4*k - 22*s - 16. Which is smaller: -9/701 or k?
-9/701
Let q = 565/408658 - 130484857/6369956575. Let l be 2 - (-5)/((-10750)/4296). Let s = l + q. Is s smaller than 0?
True
Suppose -2*j + 4*q - 4 = 16, 4*j + 3*q = -7. Let p be 904/(-3) - 9/(-27). Let r = p - -895/3. Which is bigger: j or r?
r
Let t be (-4)/10*(2 - -3). Let a(m) = -7*m + 222. Let v be a(34). Let x be t/(-4)*(-8 + v). Is x greater than -14?
True
Let h(o) = -2*o + 6. Let q(w) = w - 2. Let g(n) = 3*h(n) + 8*q(n). Let z be g(-5). Let k be ((z/14)/(-2))/((-1)/(-21)). Which is smaller: 5 or k?
5
Let n = 3778 + -3777.73. Which is bigger: n or -36?
n
Let x(n) = -n**3 - 9*n**2 - 12*n - 2. Let o be x(-8). Suppose -22*q = -7*q - o. Let d be (9 - 4) + (33 - q). Which is smaller: 37 or d?
d
Suppose -8 - 18 = -2*i. Let f = -243865/7 - -34851. Which is smaller: f or i?
i
Let w be ((-1365)/(-26) + 8)*8. Is 486 >= w?
True
Let l(k) = -k**3 + 16*k**2 + k - 13. Let i be l(16). Let o be ((-120)/(-2))/i - (4 - 1). Let b = 101/6 - o. Which is bigger: b or 1/5?
1/5
Let r = -23 - -41. Let l = r + -41. Let z = 33 + l. Is -0.1 greater than z?
False
Let d(f) = 1189*f - 1148. Let n be d(1). Let x = -6 + 5.7. Is x <= n?
True
Suppose 119*r = 356*r + 318528. Which is bigger: r or -1345?
r
Let p be 10/(-14)*2/(-5). Let o = -10/1637 + 5021/18007. Is o equal to p?
False
Suppose 17 = -39*b + 56. Let c be (b - -5)/3 + (-1840)/(-56). Is 34 less than or equal to c?
True
Let o(v) = -2*v**2 - 31*v - 106. Let g be o(-10). Let r be (((-3)/g)/(7/28))/(-1). Is r less than 54?
True
Suppose -2*y = w + 35, 0 = -187*y + 190*y + 3*w + 51. Let n = -542/7 - -78. Are n and y unequal?
True
Let k be (0 + (-12)/(-681))*(-2255)/328. Is k less than or equal to 1?
True
Let q(p) = p**2 + 21*p + 20. Let z be q(-21). Let y be (12/7)/(z/210). Suppose -3*k - 73 - 3 = -4*a, -3*a + k = -52. Which is smaller: a or y?
a
Let d be (-33)/2*(-666 - (-36)/9). Suppose -38*h = d + 1085. Which is smaller: -315 or h?
h
Suppose 0 = -x + 2*x - 1. Let b = 3559/24600 - -1/600. Let o = b - 159/1927. Does x = o?
False
Let n = 638 - 453. Suppose -4 = -n*p + 189*p. Let w be 3/(-6)*(1 + 5). Are p and w unequal?
True
Let q = -85859047/378 + 454255/2. Let z = q + -394/27. Which is greater: z or -27?
-27
Suppose 70*t + x = 68*t + 286, 4*x = t - 161. Is -3 at most t?
True
Let d be 9/(-48)*2 + ((-17633)/56)/11. Which is smaller: d or -34?
-34
Suppose 0 = -2*m - 10, 0 = -d - 1265*m + 1261*m - 85. Is -64 at most as big as d?
False
Let v = 14 + 4. Suppose 0 = v*m - 14*m - 16. Suppose 0 = -i - m*i - 5. Is i at least as big as -14/15?
False
Suppose 4*i = -4*p - 624, 5*i = 9*i - 2*p + 618. Let b = -110 - i. Is b at most as big as 1?
False
Let y(n) = n**3 - 17*n**2 + 39*n - 5. Let j be y(13). Which is smaller: j or -173?
j
Let p = -114/7 + 8636/385. Is 5 >= p?
False
Suppose 1319 = 5*p - 4*f, -2*f + 3 = -5*f. Let q(u) = 210*u - 367. Let h be q(3). Is h >= p?
True
Suppose -64*t + 150 = -58*t. Suppose -t*s = -22*s + o + 22, -2*s + 3*o = 22. Let j be (0 - 1) + (-1 - 1). Which is smaller: j or s?
s
Let w = 1028 + -992. Is w greater than or equal to 52?
False
Let t = -24554/7 + 12989086/3703. Which is greater: t or 1?
1
Let k be 0/1 - ((-528)/(-184))/(56/(-2)). Which is smaller: k or -1?
-1
Let r = 27 + 5. Suppose 10 = -31*p + r*p. Let l be 54/4 + ((-15)/p - -2). Is 12 equal to l?
False
Let g be (-17)/((-1)/(-3)*-3). Suppose 10*q - g*q + 14 = 0. Suppose 68 = -2*i + q. Is i smaller than -35?
False
Let h = 0.67 - 66.67. Let v = h + 65.936. Let d = v + -49.936. Is d at most 1?
True
Let r = -1247 + 1366. Is r smaller than 2?
False
Let i = 49 - 45. Let u be (-4)/1 + (3 - i). Let t be u/((-80)/36) - 2. Which is greater: t or 0?
t
Let s = -56 + 51. Let t = -947 - -974. Which is bigger: t or s?
t
Let h be (2/(-14)*413/(-236))/(-1). Is 765 bigger than h?
True
Let m = 24 + -26. Let w be m/3*12/20. Let j be ((-2)/7)/((-84)/(-196)). Which is smaller: w or j?
j
Let s(u) = 10*u - 3. Let o(k) = k**3 - 6*k**2 + 3*k + 4. Let z be o(5). Let q be s(z). Let n be (28/q)/(2/(-3)). Which is smaller: 0 or n?
0
Suppose -4*q = -45 - 7. Let j be ((-12)/16)/(2/(-8)). Suppose -j*r = 2*c - c - 12, -c + 12 = r. Are c and q non-equal?
True
Suppose -5*r + 106 = -4*r - 5*z, 0 = 2*z. Let q = r - 217. Let k = 111 + q. Are k and 7 equal?
False
Let m be 0/(2 - 25)*2/(-2). Which is smaller: m or -3/31?
-3/31
Let z = -64 - -62. Let i be (-114)/3 + z/(2/3). Let a = i - -41. Are 1/2 and a unequal?
True
Let j = 590085868/31306803 - 2/948691. Which is bigger: j or 20?
20
Let y be 4214/42 - 8/6. Let a = -85 + y. Let h be (-598)/a - 24/84. Is h at least as big as -43?
True
Let w = 253 + -259. Let c be 7/w*(280/147 + -4). Suppose -5*b + 4 + 6 = 0. Are c and b equal?
False
Suppose 8*v + 1200 = 1592. Let t be 22/1*(v/(-14) - 0). Which is greater: t or -76?
-76
Let i = 1.46 + 5.24. Let u = -7.5 + i. Which is smaller: 1/3 or u?
u
Suppose -53*p - 20 = -55*p. Suppose 0 = -6*m - p + 382. Which is greater: 63 or m?
63
Suppose 0*m - m = -1. Let q = 10815620/1133 + -9546. Is m at most as big as q?
False
Suppose -2*t + 245 = -j, 20*j - 17*j + 765 = -4*t. Which is bigger: -255 or j?
j
Let u = 3907/1508999 + -3/817. Let i = u - -14810/31399. Which is bigger: 1 or i?
1
Let c(d) = 2*d**2 - d - 50. Let x = 129 - 121. Let q be c(x). Which is smaller: q or 69?
69
Let d(u) be the second derivative of -u**3/6 + 2*u. Let t be d(0). Suppose -3*z - c = 4, 3*c + 2 + 2 = -5*z. Is t bigger than z?
True
Suppose 