: -848 or n?
n
Let i be (-39)/12*(149 + -1041). Is 2901 bigger than i?
True
Let c = -2980 - -2896. Suppose 4*p + 232 = -96. Are p and c equal?
False
Let b(m) = 258*m - 773. Let h be b(3). Is h smaller than -1/7211?
False
Let v be 34/170 - ((-19482)/32620)/(-3). Which is bigger: v or -1?
v
Let n = -50 - -52. Suppose 118 = 4*g + 2*b, 24 + 47 = n*g + 5*b. Let a be (-1)/30 + 0*(-4)/g. Is -1 smaller than a?
True
Let o = -123.41 - -124.41. Let d = 0.9 + -1.008. Which is greater: d or o?
o
Suppose 6*n - 16*n + 10978 = n. Do n and 1000 have the same value?
False
Suppose 0 = -2*l + 12. Let t = 2552/69 - 866/23. Which is smaller: l or t?
t
Let c(n) = -114*n + 42. Let q be c(-3). Let j be 25/(-8*(-8)/q). Is 150 greater than or equal to j?
True
Let t = -38.34 + 14.9. Let g = t - 0.56. Let v = g + 24.05. Which is smaller: v or 0.6?
v
Let u be (25/(-1025))/(2/(-136)). Is 1 != u?
True
Let u = -4.2978 - 2.749. Let r = 0.0468 + u. Which is bigger: r or 2/5?
2/5
Let q be -7 - (16 - (-8172)/234). Is -58 bigger than q?
False
Suppose -2*l + 13 = 3*u + 7, 0 = -4*u - 4*l + 4. Suppose 3*w - 1 = x, u = w - 3*x - x. Is w > 66?
False
Suppose -1443 = 6*t - 43*t. Let n(q) = 9*q**2 - q + 1. Let y be n(-2). Are t and y non-equal?
False
Let y = 1283.2 + -931.2. Is 3 at least as big as y?
False
Let r = 76.0867 + -0.0867. Let k = r + -75. Do k and 6.6 have the same value?
False
Let u(s) = s**2 + 28*s - 25. Let j be u(-30). Let z be 5/j - 3*(-3)/(-2709). Is 1 greater than z?
True
Let n(u) = 5*u + 35. Let x be n(-8). Let d = -7701/2 + 3657. Let v = 189 + d. Are v and x unequal?
True
Let y be (41/(-82))/((-2)/(-180)). Let q = y - -43. Are -2 and q equal?
True
Suppose -319*p + 339 = -322*p + f, 565 = -5*p + 3*f. Which is greater: p or -117?
p
Let a = -9255 + 10301. Is 1048 less than or equal to a?
False
Let c = 640 + -368. Let f = 238/1165 - 1/233. Is f <= c?
True
Suppose 654*w - 68 + 40 = 623*w + 1615. Suppose -2*l + 3*r = -94, -2*r + 6*r = 16. Is l bigger than w?
False
Let a(u) = -273*u - 5. Let n be a(-1). Let r = -4557/17 + n. Which is bigger: r or 0.3?
0.3
Let z = 4 - -26. Suppose 6*o = 12*o - z. Suppose -o*a - 3*h - h = 108, 0 = -4*h - 8. Which is greater: a or -21?
a
Let p = 1633/3813 + -18/41. Let t(d) = -4*d**2 + 61*d + 49. Let r = 851 + -835. Let o be t(r). Is o less than p?
False
Let c = 603 + -78995/131. Let v(t) = -t**3 - t**2 - 109*t - 346. Let j be v(-3). Is c at least as big as j?
True
Let k be 246/(-171) - (-2)/19. Let h = 0.06 + -0.86. Let w = 0.6 + h. Which is smaller: w or k?
k
Let g = -1710.5 - -1738.5. Is g at least 76/3?
True
Let l = 49.2 - 49.8. Let w = 0.737 + l. Which is smaller: -3 or w?
-3
Let v be 13/3 + 1/(-3). Suppose -2*r = g - 10 - 9, 64 = v*g + 5*r. Let p be (-13 - (-26)/3)/((-1)/3). Which is bigger: g or p?
p
Let c(l) = 6*l - 84. Let g be c(12). Let m be g/1*2*5/(-10). Is m <= 12?
True
Let q be -14 + 11 + (-345)/(-70)*-1. Which is bigger: -9 or q?
q
Let h(b) = -127*b**3 - 2*b**2 + b. Let l be h(1). Let m = l - -146. Let s(a) = a**3 + 5*a**2 - 10*a - 7. Let j be s(-6). Which is bigger: j or m?
m
Let b = 4194 + -616523/147. Is 0 <= b?
False
Suppose v = 2*k + 14, 15 + 3 = v - k. Let g(l) = -27*l - 61. Let f be g(-3). Suppose v*h = 18*h + f. Which is smaller: h or 3/5?
3/5
Suppose 131 = -65*t + 1. Let i = -781/930 + 1/155. Which is greater: t or i?
i
Suppose 78 = 15*v - 27. Suppose -v = -s + 2*r, -10 = -2*s - r + 14. Suppose 4*u - 14 = 3*u. Is s at least u?
False
Let m = -2223.51 - -2233. Let y = m + -0.49. Is y equal to 2?
False
Let j be (-20)/(-66)*6/4. Let z = -259/621 + 229/54648. Let s = z + j. Which is bigger: -1 or s?
s
Let v(t) = -11*t**2 - 4*t - t + 10*t**2 + 3*t + 9. Let h be v(-6). Let a = 2 - 18. Is a < h?
True
Let h(b) = -b**3 + 5*b**2 - 4*b + 24. Let q(o) = -2*o**3 + 11*o**2 - 8*o + 51. Let i(s) = 5*h(s) - 3*q(s). Let f be i(8). Which is smaller: -2/217 or f?
f
Let q = 73/261 - 5/87. Which is bigger: q or 342?
342
Suppose 24*c - 11*c + 107*c = -67*c. Is 41/34 smaller than c?
False
Suppose -3*x + 3*u = -u - 5, 2*x - 2*u = 4. Suppose -x*z - 105 + 102 = 0. Is z greater than or equal to -204?
True
Let z = -9489 + 9238.86. Let u = -250 - z. Is 2/5 > u?
True
Suppose 12*o - 66 = 186. Let l be 6/o + 1632/21 + 1. Is l equal to 78?
False
Suppose -3*r = 2*z - 50, 229*r - 233*r - 15*z + 190 = 0. Suppose 4*h - 23 - 1 = 0. Which is smaller: h or r?
h
Let w be 45/15 + (-2607994)/66. Let u = w + 39521. Let v = 29/3 - u. Is 2 >= v?
True
Let g be (152/32 - 5)/1 + (-738)/(-2888). Is g at least -7/4?
True
Let c be 26 - (1737071/(-42))/43. Does 988 = c?
False
Let q = -288 + 123. Let f = -6921.2 - -6921. Which is greater: q or f?
f
Let g be (-734)/(-26) + (-6 - (-19 + 14)). Which is smaller: g or 28?
g
Let g(t) = -44*t - 11. Let n be g(-5). Let r(b) = -b**3 - 87*b**2 - 257*b - 211. Let k be r(-84). Is n at most as big as k?
True
Let a = -0.07249 + -4.92751. Let g = -5 + 8. Which is bigger: g or a?
g
Let y be (3 - 61)*4165/84. Which is smaller: -2876 or y?
-2876
Let s be (((-70)/(-25))/1)/((-12)/(-2778)). Let x = -646 + s. Do x and 1/4 have the same value?
False
Let y(j) be the third derivative of j**4/8 + j**3/3 - 15*j**2. Let h be y(0). Let z be (-7)/105 - (h + -2). Which is smaller: z or 1?
z
Let y be (-25)/2*(-8)/(-10). Let z = -282 + 252. Let p be 225/z*(-18)/(-15). Which is greater: p or y?
p
Suppose 0 = 613*y - 618*y + 580. Suppose -y + 22 = k. Which is smaller: 2 or k?
k
Let z = -17 + 9. Let d be (-3 + 2)*z/(-20). Let v = -4517/105 - -43. Is d less than v?
True
Suppose 9 = -y, 3*s - 29 = -2*y - 38. Is 1462 smaller than s?
False
Let u = 59 - 58. Let w be u/9 + 617/36. Is 17 at most as big as w?
True
Suppose 44*z + 866 = 954. Suppose 3*l - 6*m + m + 1 = 0, 3*l = 4*m + 4. Let g = l + -5. Is z less than or equal to g?
True
Let n be 0/(-3)*2/4. Let g(i) = -50*i**3 + 3*i**2 + 5*i + 3. Let s be g(-1). Let x be (1/9)/(s/9). Is n greater than or equal to x?
False
Let h be (-10 - (1 - 12))*0. Is -15/259 bigger than h?
False
Let z = -4 - 54. Let k = z - -109. Let m = k - 50.81. Is m <= 0.2?
True
Let k = 10520 + -494446/47. Is k at most -3?
False
Suppose -2172 = 149*t + 388 + 1314. Is t less than 334?
True
Let g(q) = -q**2 + 4*q + 7. Let f(u) = 3*u**2 + 19*u + 39. Let l be f(-3). Let x be g(l). Is x at least -41?
True
Let y(m) = -m**2 + 13*m + 96. Let h be y(-5). Suppose i + 81 = h*i + 4*s, 4*s - 13 = -i. Let c(x) = -x**3 + 6*x**2 - 4*x - 5. Let j be c(5). Is i <= j?
False
Let r be (70 + -91)*(30/9 + -3). Which is bigger: -210 or r?
r
Suppose -2*j - j - 1788 = 3*v, 1748 = -3*j + 5*v. Let q = j + 590. Is -12/19 <= q?
False
Let f(l) = 36*l - 201. Let c be f(7). Suppose -39*g - 2472 = -c*g. Is 1 <= g?
True
Let f = -17591 + 22436. Is f greater than or equal to 1/3?
True
Let m(p) = -7*p + 17. Let j be m(5). Let t(z) = z**3 - 12*z**2 - 13*z - 16. Let c be ((-26)/4)/(10/(-20)). Let y be t(c). Is y greater than j?
True
Suppose 5*m = -7*k + 4*k + 16, -5*k - 4*m + 5 = 0. Suppose 4*q + 170 = -2*u, q - 4*u = -40 - 25. Let g be 4/6 - (-228)/q. Is k equal to g?
False
Let x = -6025973/2378958 - -153/7481. Let u be -2 + -60*(-32)/954. Let v = u + x. Which is bigger: v or -4?
v
Let f be (-16)/(-36)*(-3593628)/6720. Let w = f + 713/3. Is 0 <= w?
False
Let a = 118 + -588/5. Let u = -1612 + 1611.007. Let m = u + 0.093. Which is smaller: a or m?
m
Let g = 0 - -1. Let w be -1 + (-1 - -5)/g - -7. Suppose -w*h - 35 = -5*h. Are -10 and h non-equal?
True
Let s be (-4)/(-9) - (-15603)/(-6615). Which is smaller: -2 or s?
-2
Let i = 239488/9 + -26604. Let z be (1 + -15)*(-1)/2. Is i bigger than z?
False
Let l be (5 + 4 - 10)/(-3) - (-461)/(-1392). Are l and 1 non-equal?
True
Suppose 4*t - 2*j = -37982, -4*t = 5*j + 18094 + 19937. Which is bigger: t or -9500?
t
Suppose 2*r = -2*r. Let d = -17986175739/127 - -141621813. Let x = -1618 - d. Does r = x?
False
Let q = 0.1 - 0. Let w = 2279.04 - 2163. Let n = -116 + w. Is n at most as big as q?
True
Let p = -2155 - -1946. Which is bigger: 5 or p?
5
Let z = 59 - 5. Let n = -13859 + 13913. Let a = n - z. Does 1/13 = a?
False
Let n be 0/(10 - (11 + -3 + 1)). Which is bigger: 1995 or n?
1995
Let d(v) = -11*v**2 - 8*v + 9. Let a be d(1). Let p be (-6*a/120)/((-2)/(-252)). Is p not equal to 63?
False
Let w be (2/4)/((-2)/8). Let t be w/8 + 1/4. Let 