greater: -78 or f?
-78
Suppose 5*w = f + 5, f - 2*f - 1 = -w. Let n = -71 - -21. Let j = 48 + n. Does j = w?
False
Let k = 27.929 - -0.971. Let q = -25.52 - 0.48. Let h = k + q. Is 1 equal to h?
False
Let x = -0.9 - -1. Let w be 171/334 + -2*(-2)/(-8). Let l = -497/334 - w. Which is bigger: l or x?
x
Let r be 6/(-8) - (-1 + 0)*1. Are r and -2/61 equal?
False
Suppose 0 = -3*u - 5*b + 12 + 241, -4*b = 2*u - 172. Let v = -75 + u. Which is bigger: v or -2/11?
v
Let s = -666 + 661. Is -1/147 smaller than s?
False
Suppose h = 1 + 3. Let z be (-65)/(-25) - (-2 + 0). Which is smaller: z or h?
h
Let m = 3 + -38. Let r = m - -27. Which is smaller: r or 1/4?
r
Let c = 8 - 8.016. Let a = -4.884 + c. Let i = a + 5. Which is bigger: -7 or i?
i
Let t(a) = -2*a**2 + 2*a + 26. Suppose -5*i = -4*x - 0*x - 5, -x + i - 2 = 0. Let u be t(x). Is -36 > u?
False
Suppose 5*h + 4*g - 5 - 129 = 0, 3*g = -h + 29. Is h >= 161/6?
False
Suppose -46 = -7*z + 80. Let m = -53 + 24. Let y = m + z. Is 2/9 greater than or equal to y?
True
Let k(x) = 11*x + 1 - 11*x + 1 - 17*x - x**3 - 18*x**2. Let h be k(-17). Is 13 smaller than h?
False
Suppose f - 136*l + 736 = -135*l, -3*f = -4*l + 2203. Which is smaller: -740 or f?
f
Let h be 6 + 162/(-30) + (-295)/575. Is h smaller than -18?
False
Suppose -207212 = 4*a + 2*n, 0 = 3*a - 4*n + 156847 - 1438. Let i be (-3)/1 + a/(-9595). Let w = 2/1919 + i. Which is greater: w or 3?
3
Suppose -g + 10 = 4*g. Suppose -10 = -d + 3*i, d - 4 = g*d + 4*i. Which is smaller: -8 or d?
-8
Let o = 58 - 59. Let u be ((-4)/(-780)*6)/((-3)/(-15)). Is u less than or equal to o?
False
Let v = -617/4094 - 3/2047. Is 0 smaller than v?
False
Let y = -3 - -14. Let r(u) = -12*u**3 + 1. Let w be r(1). Let f = y + w. Which is bigger: -3/7 or f?
f
Suppose j + 2*k - 4*k = 2, 3*j = -4*k - 4. Which is greater: 1/3 or j?
1/3
Let u(d) = d - 33. Let i be u(32). Let n = -144 - -1011/7. Which is bigger: n or i?
n
Let f(x) = -22*x**3 - 2*x**2 + x. Let a be f(1). Let c = -31 - a. Suppose -2*h - 6 - 8 = 0. Is h > c?
True
Let a = -0.5 - -0.3. Let l = a + 0.1. Let h = -2913 + 2904. Are h and l equal?
False
Let w = 5 - 8. Let n = -3.1 - w. Let k = -154 + 150. Which is bigger: k or n?
n
Let y = 10 + -13. Suppose 4*p = 4*f + 12, -6*p + 7*p + f - 3 = 0. Suppose 2*d - 4*r - 3 = 3*d, 9 = -p*d + 4*r. Is d at most y?
True
Suppose h = -0*h + 8. Let k(b) = -b**2 + 12*b - 3. Let n be k(11). Let j be (-1)/(4/n)*h. Is -17 less than or equal to j?
True
Let b(x) = 7*x - 17. Let j be b(5). Let a = -15 + j. Let l = 8 - 3. Which is bigger: a or l?
l
Let s be (1 - 1)/(2/1). Let w = -4985/459 - -184/17. Is w less than or equal to s?
True
Let d(y) = 2*y**2 - 9*y - 55. Let l be d(8). Are l and -2/31 non-equal?
True
Let v = 3453/3245 + -66/59. Suppose 0 = -38*z + 37*z + 1. Which is greater: z or v?
z
Suppose 11*o - 406 = -285. Is 45/4 smaller than o?
False
Let k(s) = -s + 18. Let n be k(16). Let v be (1/(-21))/(((-5)/(-12))/(-5)). Which is smaller: v or n?
v
Suppose -d - 5*c + 14 = 0, -d = 2*c + 2*c - 13. Suppose f - 67 = -d. Is 58 at most as big as f?
True
Let p be (-61)/(-7) - (-28)/98. Is p at most 19/2?
True
Suppose 4*x = b - 3*b - 78, b - 94 = 5*x. Let k(i) be the second derivative of 7*i**3/6 + 17*i**2/2 - 44*i - 1. Let m be k(-5). Is x at most m?
True
Let o(k) = -k**3 + 3*k**2 + 3. Let v be o(3). Suppose v*i - 7*i - 4 = 0. Let z be 6/12*(7 - i). Does z = 3?
False
Let k(p) = -p**2 + 21*p - 81. Let s be k(16). Let c be 0 - (0 - 4/13). Which is smaller: c or s?
s
Let g = 0.67 - 9.17. Let k = 7.5 + g. Is k at least as big as 0.032?
False
Let b(y) = -y + 3. Let c be b(3). Let l = 2846 + -2893.18. Let w = 47 + l. Which is bigger: c or w?
c
Let d = -12 + 19. Let b(j) = -j**2 - j - 98. Let y be b(0). Let i = y + 393/4. Which is smaller: i or d?
i
Let d(p) = -p**2 - 15*p + 36. Let h be d(-17). Suppose -i - h*i - w - 190 = 0, 3*i = 5*w - 166. Is i at least -62?
True
Suppose 2*b = -6, -w = 4*w - 4*b - 12. Let p be w/((-8)/(-2) - 0). Is 1/29 not equal to p?
True
Let c(r) = -r**2 + 65. Let j be c(0). Let p be (-4)/6 + j/30. Which is bigger: p or -0.02?
p
Suppose -50 = 23*p - 27. Is 3.3 less than p?
False
Suppose -7*o - 152 = -j - 12*o, 5*j + 5*o = 660. Are 255/2 and j unequal?
True
Let q = -116 - 130. Let p be 1218/q - 5*-1. Which is bigger: p or -1?
p
Suppose -214*k + 206*k + 2712 = 0. Is k greater than or equal to 340?
False
Let w = 9267/16 + -579. Suppose 261*y - 274*y = 13. Is y at most as big as w?
True
Let s(a) = 18*a - 73. Let p be s(4). Let y be (6/28)/((-5)/10). Is p != y?
True
Suppose 4*b - 5*o - 17 = 0, b - 3*b + 2*o = -6. Let j(m) be the third derivative of m**4/24 - m**3 + 2*m**2. Let z be j(6). Which is bigger: b or z?
z
Let g be ((-1825)/(-460) + -4)/(4323/(-88)). Are g and 0 unequal?
True
Let y be 3/((-7)/(-2) + -2). Suppose 3*n - 11 + 2 = -h, -y*n + 19 = 5*h. Let v = -943 - -3777/4. Is v at most n?
True
Let g = -16 + 16.3. Suppose -246 = -2*m + 8*m. Let h = 285/7 + m. Does h = g?
False
Let r(b) = b**3 + 16*b**2 + 6*b - 146. Let o be r(-15). Is o < -19?
False
Let g be (-136)/(-20) + (-1)/(-5). Suppose -g*y - 15 = -2*y. Let c = 0 - y. Are c and 18/11 equal?
False
Suppose -3*f + 2*f = 1. Let a be ((-242)/44)/(f/(-2)). Is -13 >= a?
False
Let a = -7643.8 - -7644. Suppose 56 = -7*o + 3*o. Does a = o?
False
Let l(k) = -k**2 - 3*k + 39. Let g be l(-7). Is g smaller than 95/9?
False
Let s = -429/7 + 61. Let f(d) = d + 11. Let l be f(-7). Suppose 3*o = 0, 0 = -g + 3*g - l*o. Which is smaller: g or s?
s
Let r = -154 - -96. Is r < -58?
False
Suppose 9*b + 405 = -234. Is b at least -70?
False
Let o(v) = -11*v + 386. Let g be o(35). Is g at least 30/29?
False
Suppose -19*b + 24*b = 1880. Is b less than or equal to 377?
True
Let r(h) = 6*h**3 - h**2 + 7*h + 27. Let k be r(-3). Which is bigger: k or -164?
-164
Suppose 2*c + 2 = -2. Let g(a) = -a**2 - 17*a - 46. Let p be g(-14). Let u be (3 - (-368)/(-84)) + p/14. Which is bigger: c or u?
u
Suppose 166 = -16*c - 26. Let l = c + -1. Do l and -14 have different values?
True
Let r = 8 + -11. Let b be 20/15 + -2 + 1/r. Which is bigger: -0.009 or b?
-0.009
Let f = -10 - -7. Let a(i) be the second derivative of -i**4/6 - i**3/6 + 2*i**2 + 3*i. Let j be a(f). Does j = -10?
False
Let b be (-1 - -2) + ((-20)/5 - 5). Let s = b - -8. Is 0.2 at least as big as s?
True
Let z be 8 + 3/((-5)/130*10). Let d be (-4)/6*(-1)/(-2). Which is bigger: d or z?
z
Let d = 9 + -1. Let j(o) = -o**2 + 10*o - 7. Let b be j(d). Suppose -4*x = -b*x + 5. Which is bigger: 0.04 or x?
x
Let h be ((-8)/(-5))/((-28)/70). Let x(r) = r + 4. Let v be x(h). Which is smaller: 6/17 or v?
v
Let t = 392 - 839. Are t and -448 non-equal?
True
Let z be (-4)/(-4 + 12)*5/((-20)/(-8)). Let r = 39 - 80. Is r > z?
False
Let w = 0.33 - 0.13. Let f = -6 - 12. Let u = -17.9 - f. Which is greater: u or w?
w
Let j = 0.2009 - 0.3009. Let k = -65 + 96. Let h = k - 125/4. Which is smaller: h or j?
h
Let b(f) = -36*f**2 + 15*f - 6. Let g be b(-3). Which is greater: g or -373?
-373
Let m = 1.48 - 0.25. Let j = m + -1.1. Let r = -0.87 - j. Is r greater than or equal to -5?
True
Suppose -y = -2*s - 6, 0*s = -3*s - 3. Let h be 77/(-28)*2*y. Which is greater: 1 or h?
1
Let r be 43 + (-1 + 1)/(-8 - -7). Let m = r + -30. Suppose -5*a + 82 = 4*u, -65 = -4*a - 0*u - 3*u. Which is bigger: a or m?
a
Let x = -7 - 2. Let z = -15 - x. Let v be 1*3/12*2. Are v and z unequal?
True
Let a = -537 + 536. Which is bigger: 4/173 or a?
4/173
Let j = -0.2 - -5.2. Which is smaller: j or 4.2?
4.2
Let p = -51 - -59. Suppose 13 = 5*t - 0*o - 2*o, o = 3*t - p. Is t > 4?
False
Let h be ((-1)/(-33))/((-497)/126 + 4). Which is greater: h or -5.3?
h
Let p = 306 + -315. Do p and -6 have the same value?
False
Let v = 0.99 - -0.01. Let g = -0.072 + 0.101. Is g smaller than v?
True
Let a = 184 + -171. Do 13 and a have the same value?
True
Let m = 117.173 - 0.173. Let u = 102 - m. Which is smaller: 0 or u?
u
Let m be ((-222)/16)/3 + (10 - 14). Is -8 smaller than m?
False
Suppose 1 = -2*c + 11. Let b = -30 + c. Let j = b + 24. Which is greater: -3/32 or j?
-3/32
Let l(y) = -y - 8. Let p be l(-8). Let o be ((-4)/(-4))/(14/(-16)). Let w = o + 39/28. Is w less than p?
False
Let x be 2/5 - (-54)/40. Let a(n) be the third derivative of 7*n**4/24 - 13*n**3/3 +