1/3
Let p(n) = -2*n**2 - 30*n + 671. Let y be p(-28). Let i = 34 - -1. Let m = -23 - i. Which is smaller: m or y?
m
Suppose 510 = -31*n + 138. Is n at most -30?
False
Suppose 3*s + 1777 = -0*s - 2*z, 3*s - z = -1762. Is -589 equal to s?
True
Let s = -1659959/90 - -18444. Is -34 bigger than s?
False
Suppose 266*x + 951132 = 199*x. Which is smaller: 0.1 or x?
x
Let d = -68 - -76.8. Let v = -510 + 508. Are d and v unequal?
True
Let y be (-434)/16 - 4*(-1 - -2). Let r = -31 - y. Suppose -3*g + q + 1 = 2*q, -4*g + q = 8. Which is greater: r or g?
r
Let u = -2352 - -2622.4. Let q = 278 - u. Is 0 at most q?
True
Suppose t = -5*l - 7172, 2*t - 53*l + 50*l + 14435 = 0. Is t bigger than -7208?
True
Suppose 31*p + 30*p = 26*p - 5915. Does p = -162?
False
Let t be 0 + 1 - 159/(-11). Let u = 235374 - 235358. Is u at least as big as t?
True
Let o = 219503 + -33144707/151. Which is greater: 3 or o?
3
Suppose 3*h = -54*h - 115938. Is -2033 <= h?
False
Let b = -33 - -16. Let g = 39 + b. Let o = -2/3 - -1. Is g smaller than o?
False
Let d be -12 + (-2 - -6 - (-244)/34). Let t be 0/(-1)*4/8. Is d less than t?
True
Let a = -1870 - -4018624/2149. Which is bigger: 1 or a?
1
Suppose -5*n + 5*a = 10, 0 = 9*n - 6*n - 2*a + 4. Suppose h + u - 1 = 0, 6*u - 7*u + 1 = n. Let g = -1.79 + 1.6. Is h != g?
True
Let m be -4 - ((-1)/(-4) + (-264)/(-96)). Let g be (-1)/m*1*(-2)/(-31). Is 0 <= g?
True
Let a be 0 + -3 + (-93)/(-6). Suppose 0 = -378*i + 380*i - 14. Suppose 37 = 3*y + 2*s - i, -y = -3*s. Which is bigger: a or y?
a
Let j be 20/(-78)*(-1)/((-15)/114). Let a = j - -7750/4017. Is a >= -1?
True
Let o be 1/(1 + (-3 - 1)). Let m = -56818.4 + 56833. Which is bigger: m or o?
m
Let c = -45.1 - 46. Let z = -91 - c. Are z and -13 unequal?
True
Let p = -252/55 + 3789/935. Which is greater: p or -1.14?
p
Let w = 5/9492 + 5395/2629284. Which is bigger: 0 or w?
w
Let b be 1104/44*(-5 + 9)/(-4). Let q be 4/(-6) + (-11020)/462. Let j = q - b. Which is smaller: 0.3 or j?
0.3
Let k = 2.283 - 2.14. Let g = k - -0.857. Is g at most as big as 45?
True
Let g be (138/(-184))/(426/(-16)). Suppose -31*p = -39*p + 8. Which is smaller: p or g?
g
Let h(r) = 2*r**2 + 230*r + 1274. Let j be h(-123). Which is bigger: j or 3244?
3244
Suppose 3*j + 25 = -r + 7*j, 2*r + 5*j - 15 = 0. Let i be 20/(3 + r - -5 - 4). Let p = -61/3 - i. Which is smaller: 3/2 or p?
p
Suppose 2*h - 5*x = 458, 5*x + 0*x = -3*h + 737. Let j = h - 254. Which is greater: j or -16?
j
Let j be 2 - (260/507)/((-4)/6). Let l(o) = 2*o**2 - 4*o + 3. Let n be l(2). Is n at least as big as j?
True
Suppose -2*g - 298 = -6*g - 2*p, 0 = p - 5. Suppose 5*y - y + g = 2*m, 0 = -y + 2. Are m and 40 non-equal?
False
Let w be (-718)/12 - 1/6. Let o = 65 + w. Suppose -3*v + o = 2*v. Is -7 > v?
False
Suppose -k - 94 = -2*j, j - 83 + 330 = -3*k. Let q be 3/(-9)*k/14182. Which is bigger: q or 1?
1
Let o = 613 - 706. Which is greater: -11 or o?
-11
Let x = 352324 - 17264606/49. Which is smaller: -15 or x?
-15
Let j(p) = 185*p**3 + 6*p**2 + 10*p + 15. Let o be j(-3). Let t be (-10666)/o + (-22)/(-77). Let n = -16/59 + t. Which is bigger: n or 1?
n
Suppose 2*z + 5*m = -33, -6*z = -8*z - 2*m - 18. Let q be z/(-4) - (-56 - 0)/4. Is q less than 19?
True
Let b = -47594 - -49071. Is 1479 <= b?
False
Let o = -367 + 367. Let k be -1*(-1 - 1) + o + -3. Which is greater: k or -13/8?
k
Let q = 195 + -219.3. Let m = q + 24.2. Is -32 greater than or equal to m?
False
Let r(o) = o**3 - o**2 - 2*o - 5. Let h be r(-3). Let j(x) = x**3 - 28*x**2 + 27*x - 3. Let v be j(27). Which is greater: h or v?
v
Let b = 3 + -1. Suppose -9 + 37 = -2*o - n, -2*o - 5*n = 44. Is o >= b?
False
Suppose -h - 21 - 1 = -7*t, -2*h + 4 = 2*t. Which is greater: h or -3/151?
-3/151
Let a = -6416 - -6627. Is 185 bigger than a?
False
Let v(f) = -12*f**2 - 175*f + 74. Let c be v(21). Is c >= -2/3?
False
Let t = -16 - -22. Let a(y) = -77*y - 394. Let v be a(-5). Is t bigger than v?
True
Let l be (((-880)/(-63090))/22)/(-2). Is l at most 1?
True
Let a = -70 + 165. Let q = 146 - a. Let u = -51.1 + q. Do -34 and u have the same value?
False
Let u be 27/14*(-374)/51. Are u and 1 non-equal?
True
Let m be -1 - (1 - (2 + 210)). Let d be (-4)/(-6)*m/(-20). Let y be 4/d - (-8)/21. Which is smaller: y or 0?
y
Let l(r) = -3*r + 3. Let g = -13 + -6. Let q be l(g). Suppose 10 - q = -5*y. Does 7 = y?
False
Let p = -3068/77 - -284/7. Let d = -27/22 + p. Suppose 3*n = 4*n + 1. Which is smaller: n or d?
n
Let c = 1/27 + -478/27. Let w = 415/24 + c. Let u be ((4 - 2) + -2)/(-2). Is u at least w?
True
Suppose 4*v = -0*v + 40. Suppose -5*x = -2*o - 2*o - 10, -4*o + v = 5*x. Suppose 5*d - 105 = 5*y, -169*d + 167*d = y - 45. Is d greater than o?
True
Suppose 5*w + 63 = -3*b, -3*b - 14 = w - b. Let f(z) = z**2 + 3*z + 5. Let q be f(4). Let x be (1/w)/((-11)/q). Which is greater: x or 6?
6
Let l = -322 - -321. Which is smaller: l or -956?
-956
Let j be ((-7)/(-28))/((-1)/(-932)). Suppose -57*t + 934 = -53*t + 2*i, -4*t + 2*i = -922. Which is bigger: j or t?
j
Let g = 2637 + -2623.97. Let t = -18.4 + 19.37. Let o = g + t. Which is smaller: -0.1 or o?
-0.1
Let r be -6*11268/357 - 33/11. Let w = -1359/7 - r. Is -3 greater than or equal to w?
False
Let u = -82344 + 82345. Let l = -1427/228 - -89/12. Do l and u have the same value?
False
Let l be (-5860)/586*6/10. Which is bigger: -26 or l?
l
Let c = -0.38 - -0.424. Let i = c - 0.061. Let f = i - -21.017. Does f = 0?
False
Suppose -3*i - 30 = -6*i. Let k = -372 + 711. Let p = -324 + k. Which is smaller: i or p?
i
Let m(v) = -v**3 - 4*v**2 + 9*v + 10. Let x be m(-4). Let t be (1 + (-10)/9)*12/x. Let c = 5 - 5. Which is bigger: c or t?
t
Let x = -4107 - -4107. Is 44/15 > x?
True
Let f be 5/((-4440)/1292) + 52/156. Which is smaller: f or -1?
f
Let q = -43 - -14. Let d = -35.7 - -4.7. Let k = q - d. Which is smaller: k or 0.2?
0.2
Suppose 32*a + 138 = 35*a + 3*g, g = -3*a + 136. Let w(q) = 9*q - 18. Let t be w(7). Is t bigger than a?
False
Let b = 915 - 913. Which is smaller: b or -4?
-4
Let f = -11045456/9097 + 13356/11. Is f greater than 0?
False
Let c = -75724/441 - -1202/7. Is c bigger than -1?
True
Let b be 0/(-6*(-35)/(-30)). Is -2/11157 smaller than b?
True
Let k = 0.12 - -0.3. Let a = -123 + 41. Let g = -81 - a. Which is smaller: g or k?
k
Suppose -2*j - 11 = -4*j - p, j + 2*p + 2 = 0. Suppose 2*n - j*r = -13*r - 271, -n + 5*r - 98 = 0. Does n = -123?
True
Let l(q) = -q**3 + 14*q**2 - 72*q + 766. Let g be l(13). Let m = -107/2 + 281/6. Let s = m - -7. Which is bigger: s or g?
s
Let r(j) = 82*j - 1. Let x be r(1). Let i = 999 + -990. Let o be 11/99*i - -79. Which is greater: o or x?
x
Let z = -0.1035 - -0.0535. Which is smaller: z or 0.18?
z
Suppose -61 = 4*y - 89. Suppose g - 2*q = 9, 4*g = y*g - 4*q - 37. Let i be (-8 + g)*(-2 - -3). Is i at least 5?
True
Let x(p) = 6*p**2 + 52*p - 15. Let k be x(-11). Let m = 456 - 316. Which is bigger: m or k?
m
Let z be (-4)/30 - (-17622)/(-1485). Suppose -4*x - j = 2*j - 10, -j + 4 = 2*x. Let o(u) = -11*u**2. Let a be o(x). Which is greater: z or a?
a
Suppose 26 = 5*k + 4*u - 2, 0 = k - 2*u - 14. Let n = k - 51. Which is smaller: n or -41?
n
Let h be 0 + -8 + (-188764)/23596*-1. Which is greater: 1 or h?
1
Let x be 1*(5 - 6 - 1). Let m(i) = -10*i**3 + 2*i**2 + 2*i - 10. Let s be m(-5). Let o = -16648/13 + s. Are x and o equal?
False
Suppose -63 = -3*l - 45, -636 = -2*s + 2*l. Let i(x) = -52*x + 11. Let y be i(-6). Is y greater than s?
False
Let t be 54/10980*(-152852)/8949. Let n = t - 2/9577. Which is smaller: n or 1?
n
Let p(s) = 45*s + 29. Let m be p(3). Let h be 451/m - (-6)/(-8). Let l = -2/43 - -350/129. Which is smaller: h or l?
h
Let m = 2560 - 3994. Is m at most -1444?
False
Let j = -111 + 96.9. Let x = j - -13.8. Let r = -1 + 1.1. Which is greater: r or x?
r
Let c(b) = -18 - 64*b**2 - 18*b - 19*b**2 - 2*b**2 + 14*b**2. Let n be c(-1). Are n and -73 non-equal?
True
Let z = 5189/21 + -247. Suppose -4*y + 2 - 10 = 4*v, -6 = 3*v. Let o(w) = -w**3 - w**2 + 3*w - 1. Let q be o(y). Which is bigger: z or q?
z
Let q = 257/5 + -511/15. Let l = 263/15 - q. Is -1 less than l?
True
Let y = 1588 - 1588.007. Is y >= -1?
True
Let l(n) be the second derivative of n**5/20 - n**4/4 - 3*n**3/2 + 27*n**2/2 - 34*n. Let d be l(3). Is 5/11 a