alse
Let u = -154.6 + -6.4. Let j = u + 159. Is 1.49 <= j?
False
Let p = 2 + 17. Let t = p - 38. Let z = t + 19.1. Which is greater: z or 1?
1
Suppose -4*y - 128 + 100 = 0. Suppose -3*s - 3*x + 34 - 7 = 0, 3*s - 2*x = 17. Let c be 2/s + 2/y. Is c greater than 0?
False
Let m = -0.10881 + -0.25049. Is -0.1 equal to m?
False
Let k be -3 + (30/(-4))/((-5)/10). Let c(d) = -d**2 + 7*d + 48. Let j be c(k). Which is greater: -17 or j?
j
Let z = -89 - -33. Let d = z - -64.9. Let q = -8.8 + d. Are 2/5 and q non-equal?
True
Let i(w) = -w**3 - 8*w**2 - 6*w + 9. Let m be i(-7). Suppose 3*z = -2*q - 5, -m*z + 1 = -4*q + q. Let d = 3/1129 - 7942/14677. Which is smaller: q or d?
q
Let q = -1.5779 - -0.5779. Let k = 17.71 - -1.25. Let n = k - -0.04. Is q > n?
False
Let f(i) = -209*i - 1574. Let j be f(-2). Is j <= -1156?
True
Let b be (0 + (-210)/(-9))*6. Suppose b = -3*s - 2*s - 2*u, -3*s + 3*u - 84 = 0. Let j be -9*(s/(-6))/(-7). Which is greater: 7 or j?
7
Suppose 0 = 4*w - 4*f - 72, 3*f = w + 8*f + 12. Let n = -3687.04 - -3688.04. Is w greater than n?
True
Suppose 5*f + 2*u - 7*u = -60, -f - 5*u = 12. Let n be (f + 21)*(2 + -1)/3. Let s be ((-8)/(-6))/(4/n). Is s less than 5/4?
True
Let z = 6 + -3. Suppose -h + 12 = p, 2*p + 16 = z*h + 60. Suppose 4*c = 16 - p. Is -5/13 != c?
True
Suppose -5*j = -3*v + 283 - 275, 5*v - 5 = 0. Is j less than 5/892?
True
Let g be (4/(-6) - -1)*-21. Let x(o) = o**2 + 10*o - 8. Let i be x(g). Which is smaller: i or -30?
-30
Let f = -4142 - -4090. Which is smaller: f or -53?
-53
Let s(t) = t**2 + 12*t + 277. Let k be s(-12). Is k != 1113/4?
True
Suppose 5*l = -72 - 578. Let o = -86 - l. Let a be ((-15)/5 - 18/(-8))*o. Which is bigger: a or -34?
a
Let j be ((24/(-14))/(-3))/((-652)/644 - -1). Is j at least -136?
True
Let r = -31283 + 71363/2. Is 4400 < r?
False
Let u be (6 - (-9)/(-9))*3/(-2 - -17). Is 10 at least as big as u?
True
Suppose 40 = 8*x - 0*x. Suppose r - 14 = -h - 4*h, 2 = x*h - 2*r. Suppose -15 = -5*u, k - 3*u + h*u = -11. Which is smaller: -6 or k?
k
Let l(u) = 302*u - 1241. Let b be l(3). Are b and -338 equal?
False
Let i(n) = -n**2 + 6*n - 2. Let z be i(5). Suppose 0*c - 12 = -2*m + 4*c, 0 = 4*m + c + z. Let w = -851292 - -851291.927. Which is smaller: m or w?
w
Let h(x) = -30*x - 127. Let w be h(-5). Let u = 6199/55 + -1000/11. Is w equal to u?
False
Suppose -2*t + 0*t = -4. Let w be -2 + 5/((-5)/6). Let p be (6/2)/(w/(-8)). Which is smaller: t or p?
t
Let m(b) = b**2 + 61*b + 689. Let v be m(-15). Which is smaller: v or 23/95?
v
Suppose -5*h + c - 9 = -c, 0 = 4*h - 2*c + 6. Let p be 5/75*h*-5. Is p less than -4/61?
False
Suppose 0 = -256*g + 252*g - 80. Let z be (((-48)/(-15))/(-4))/(22/g). Is z greater than or equal to 1?
False
Suppose z = 3*y - 15 + 2, 2*y - 6 = -2*z. Suppose y*s + k = -717, -2*s + 5*s - 3*k + 549 = 0. Let h be s/280 + (-2)/4. Which is bigger: -2 or h?
h
Suppose 0 = 141*t + 4*t + 159645. Is t bigger than 0.1?
False
Let f(z) = -z**3 + 16*z**2 + 15*z - 12. Let n be f(17). Is n not equal to -323/7?
True
Suppose -2*b - 34 = -3*i, 7*b + 4*i = 3*b - 48. Let v be 7*-2*(-30)/6. Suppose 16*q - 21*q - v = 0. Are q and b non-equal?
False
Let f = -4 + 6. Let d = 1185 + -1113.9. Let g = -71 + d. Is g at least f?
False
Let q be ((2821/14)/31)/(2/(-52))*1. Which is smaller: -173 or q?
-173
Let b be 2/(-4)*(13 + -11)/(3/(-6)). Let w be 2 + (0 - 12*2). Which is bigger: w or b?
b
Let g(a) = 5*a - 42. Let m be g(7). Let u be (3 + m + 3)*-1. Which is smaller: 12/13 or u?
12/13
Suppose 5*m - 4*c + 550 = 0, -m + 237 = -3*m + 5*c. Are m and -79 equal?
False
Suppose 3*z - 17*y = -15*y + 9, 5*z + 2*y = -17. Which is greater: z or 4/739?
4/739
Suppose -115*m - 225 = -112*m. Let n be (-3390)/m + (-2)/10. Suppose r + 5*h - 23 = 0, -121 - 39 = -4*r - 3*h. Which is bigger: n or r?
n
Let t(n) = 50*n + 5536. Let k be t(-106). Which is greater: k or 0.6?
k
Let j be ((-2)/(-74686))/(14 - (-459)/(-34)). Which is smaller: -1 or j?
-1
Let i = 1499 + -1692. Which is greater: -383/2 or i?
-383/2
Let j = -18 - -44. Let q = 30 - j. Suppose 8 = -0*t - 2*t - 4*z, 5*t - q*z = 50. Which is smaller: 7 or t?
t
Suppose -5*f + 3*w = 3, 3 = 2*f - 20*w + 23*w. Which is greater: 4/495 or f?
4/495
Let p be 6/8 - ((-279642)/440 - 9/(-30)). Is 646 at most as big as p?
False
Let d = 2.3773 - 0.0473. Let c = d + -2.23. Which is smaller: 17 or c?
c
Let z be (19 - -4) + 19 + -23. Which is smaller: -27 or z?
-27
Let s = -1272/35 + 176/5. Let b be (1610/(-404) + (1 - -3))/6. Let p = -811/1212 + b. Do s and p have the same value?
False
Let f(c) = -2*c**3 - 13*c**2 - 4. Let z be (6/(-4) - -1)/(5/60). Let p be f(z). Suppose -l = 2*l - k + 118, 25 = -5*k. Is p greater than l?
True
Let o(y) = -y**2 + 7*y - 2. Let q be o(4). Suppose 0 = -2*z + 4*a - q, -5*z + 1 + 10 = -a. Suppose -17*n = -z*n + 238. Is -18 <= n?
True
Suppose j + 14*u = 18*u - 19, j - 5 = -2*u. Is -44/23 less than j?
False
Let o(x) = 4*x**3 - 7*x - 7. Let p be o(-1). Let q(w) = 0 - w - 8 + 0*w + 1. Let s be q(p). Is -3 < s?
False
Let u = -185 + 180. Let i be 6/u*70/(-3). Let w(m) = -27*m. Let j be w(-1). Which is smaller: j or i?
j
Suppose 6*n - 336 = 4*n. Suppose n = -22*z + 19*z. Suppose 3*c - 228 = 7*c. Which is bigger: c or z?
z
Let a(y) = -y**3 + 3*y**2 - 2*y - 1. Let h be a(2). Let t = 5/1127 - 517/43953. Is h smaller than t?
True
Suppose 4*j = -2*i + 20 + 8, -j - 3*i + 12 = 0. Suppose j*c - 334 - 116 = 0. Do c and 75 have different values?
False
Let t = 67064/8755057 + -3/13009. Which is greater: 0 or t?
t
Let f(u) = 5*u**2 - 95*u + 10. Let d be f(19). Suppose 608 = -29*n + d*n. Is n greater than -4?
False
Suppose 0 = -u + 2 + 107. Suppose -11*d + 56 + u = 0. Let c = 36 - d. Are c and 21 equal?
True
Suppose -5*r + 4*f = -20, 2*r + 1 = 4*f + 9. Let j be (-1 - -3)*-3*r/24. Let l be (-2)/(-6) + (-1)/3. Which is smaller: l or j?
j
Let f = 337.81 - 326.81. Is f at least -11/21?
True
Let y = -15683 + 16498. Is y at most 4076/5?
True
Let i = -29 - -25. Let o be 18 - (0 + 8)/i. Let p be 2 - (o/(-32) + 3). Which is smaller: 0 or p?
p
Let c = -1832 + 42146/23. Suppose -2*q - 4*b - 14 = 0, -5*q + b - 2 - 11 = 0. Let r be -3 + (-44)/(-8) + q/2. Is c < r?
True
Let a be (-115)/(-46)*(-108176)/(-40). Is a >= 6761?
True
Let x = 61 + -96. Let c = 23/325 - 11203/325. Is x >= c?
False
Let a = -1541 - -1541.1382. Let d = a + -0.0882. Is 9/7 greater than d?
True
Let m be -2 - (48/(-9) - 2). Let l(r) = 2*r**2 + 36*r + 4. Let b = -42 - -24. Let k be l(b). Which is smaller: m or k?
k
Let h(u) = 2*u + 6*u + 10*u. Let q be h(1). Suppose -16*c + 14 = -q*c. Which is smaller: c or -6?
c
Let x = -3863.054 - -3863. Is x bigger than 1.4?
False
Let n = -4773.8 - -4774. Is 6/11 at most as big as n?
False
Let n = 365 - 525. Let r = n - -79. Are -1 and r equal?
False
Let y = 36.82 - 36.61. Is y at most -2.1?
False
Let j = 0.3 + -0.2. Let a = -294507.39 + 294504. Which is bigger: a or j?
j
Let x(f) = 2*f**2 - 831*f - 3781. Let l be x(420). Suppose -6*m + m = -25. Is l less than or equal to m?
True
Let g be (-8)/(56/(-35)) - -14. Let m = g - 20. Which is smaller: -3 or m?
-3
Let c be 23210 + (1 - (-1)/1). Let q = 324631/14 - c. Let v = q + 24. Is 1 equal to v?
False
Suppose 0 = -42*x - 2*x + 792. Suppose -x*v = 255 - 237. Suppose 2*h + 2*h - 28 = 0. Which is smaller: v or h?
v
Let v be (-18)/116*(1484/693)/(-53). Let m(d) = d**3 - d**2. Let c(z) = -z - 7. Let f be c(-8). Let i be m(f). Is i less than v?
True
Suppose 5*z + 23 = -14*v + 15*v, -2*z - 5 = v. Suppose -37*p + 32*p - 20 = 0. Is v equal to p?
False
Let a(f) = 3*f + 19. Suppose -5*u + 3*s - 45 = 0, 0 = 2*u + 2*s + 2 + 16. Let k be a(u). Is -11 bigger than k?
False
Let z be 1/(1/(-2)) - 59. Suppose 2*t + 0*t - 5*k - 110 = 0, 118 = 2*t - 3*k. Suppose -64*o = -t*o - 61. Are o and z non-equal?
False
Let o = -0.06 + -0.94. Let c(h) = h**3 - 17*h**2 + 4*h - 53. Let j be c(17). Let w be (1/(-7))/((-5)/j). Which is greater: w or o?
w
Suppose 3*t + v = 71, 5*t - 49 = 3*t + v. Let d = t - 56. Let c be 728/d - (-3)/(-12). Which is smaller: -22 or c?
c
Let d(t) = -4*t**3 - 142*t**2 + 167*t - 43. Let q be d(-37). Which is smaller: q or 1991?
1991
Suppose -c + 1053 = -3*y, -66*y = -5*c - 65*y + 5153. Which is bigger: c or 1033?
1033
Let k(w) = 4 - 26 - 4 + 10*w - 2*w. Let 