/25?
False
Let z(u) = u**3 - 7*u**2 - 7*u - 9. Let o be z(8). Let s = 789 + -821.9. Let g = 31 + s. Which is bigger: o or g?
o
Suppose -5*h - 1 = r, -8 + 2 = 2*h - r. Let b be (1 + (3 - 6))/h. Which is smaller: b or -14?
-14
Let t = 5 + -9. Let j be (-77)/(-105) + t/10. Let u = -692/5 - -138. Which is smaller: j or u?
u
Let j = 30.47 - 30.67. Let h(u) = 2*u**2 - 2*u - 1. Let b be h(-1). Is j less than b?
True
Let d = -1420 - -1422. Are -0.12 and d non-equal?
True
Let j = 2.1 - 2. Let y(d) = 15*d - 5. Let s be y(2). Let u = s - 25. Do u and j have different values?
True
Let h(q) = -q**2 - 12*q - 20. Let f be h(-10). Suppose f = 4*l - 13*l - 252. Which is smaller: -29 or l?
-29
Suppose -x + 6*x + 2*k = 346, -2*k + 6 = 0. Suppose -5*z + x = -97. Let f be z/27 - 0 - 1. Does 1 = f?
False
Let d be 14/(-91) - (-1)/(2470/302). Let b be 1*(-4)/(-6) + 6/(-9). Is d <= b?
True
Let i = -12 - -13. Is i bigger than 0.146?
True
Let q = 62 - 37. Let z = q - 23. Which is smaller: z or -0.1?
-0.1
Suppose -2*b - 12 = -2*d, 0 = 5*b - 2*d - 2*d + 28. Let i be (2/b - (-6)/84)/1. Let o = 4 - 3. Which is greater: i or o?
o
Let k = -4 + 4. Suppose -4*p = -u + 66, k*p - 3*p - 38 = 5*u. Does -21 = p?
False
Let b = -497 - -712. Which is bigger: b or 217?
217
Let t = -42 + 17. Let f = -499 + 475. Which is greater: t or f?
f
Suppose -43 = -4*d + 13. Let j = 24 - d. Suppose -2*h + j + 0 = 0. Does h = 4?
False
Let u(k) = 0*k**2 + k**2 + 7143*k - 7144*k. Let a be u(-1). Is -3/4 at most a?
True
Suppose 5 = 2*w + 1. Let z = 54 - 50. Let d = w + z. Which is greater: -1 or d?
d
Suppose -216 = -4*z + 7*u - 3*u, z = 3*u + 44. Is 59 less than z?
False
Let g = 90 + -87. Suppose 2*y = g*d + 5, -2*y = 2*y + 3*d - 1. Is -2/101 at most as big as y?
True
Let y be (-24)/32*8/(-3). Suppose -a = -5*x - 4*a - 50, -x - y = -a. Let m = 5 + x. Which is greater: 1/5 or m?
1/5
Let k = 38 + -37.09. Let o = k + 0.09. Which is bigger: o or 0.08?
o
Let j = -11 + 14. Suppose 8*r = j*r. Let k = 18.1 + -19. Which is bigger: k or r?
r
Let r = -0.1 - -13.6. Let m = r + -13. Let l = 2 - 3. Is l equal to m?
False
Let f be -3 - 6/(-2) - -2. Suppose -f*u + 3 = 4*d - 11, -3*u - 2*d = -9. Which is smaller: -15 or u?
-15
Let k = 0.096 + -0.016. Let m = -3.08 + k. Is -2 != m?
True
Let p = -155 + 330. Which is smaller: p or 174?
174
Let o = 154 + -1076/7. Which is greater: o or 10.9?
10.9
Suppose 0 = 4*v + 31 - 171. Let w = 12 - v. Is w equal to 0?
False
Let u be ((-3)/(-9))/(-2*(-1)/24). Which is greater: 9 or u?
9
Let q = 0.78 - -0.22. Let a be 115/13 + 2/13. Is q > a?
False
Suppose x - m - m - 5 = 0, -2*m + 10 = 2*x. Suppose r = x*r - 120. Which is bigger: 0 or r?
r
Let l = 0 - -73. Let x = l + -73.1. Let u = 0.82 - 0.7. Is x >= u?
False
Let r be (-28)/(-35) - (-126)/(-180). Which is bigger: r or 11/3?
11/3
Let q = -827994/61 - -13574. Which is smaller: 1 or q?
q
Let h = 3867 - 57983/15. Let a = h + -226/195. Is a less than 1?
True
Let n = 2458 + -2458. Which is greater: 702 or n?
702
Suppose 17 - 2 = s + 5*t, -s + t - 3 = 0. Which is bigger: s or -10/83?
s
Let w be (-3 - -7) + ((-1)/(-1) - 73). Let d = 66 + w. Let q = -2653/2116 + 2/529. Are q and d non-equal?
True
Let v = 480 + -479. Let g = -0.2 + 0.2. Let x = g + -0.3. Do v and x have different values?
True
Let c = 62.16 + -62. Let j = c - 0.06. Is j > -1/2?
True
Let j = -4.4715 + 0.3345. Let w = 0.137 + j. Is -2 > w?
True
Suppose j + 2*j = -5*w + 30, 0 = -5*w - 4*j + 35. Let q = w + -3. Suppose q = 3*z - 2*r + 10, 0*z - 4*r + 20 = 2*z. Is z greater than or equal to 2/17?
False
Suppose 5*h = 4*p + 2276, -4*p - 1291 = 3*h + 953. Let s = p - -16360/29. Is s at least as big as 0?
True
Let v = 5441/10890 + 2/5445. Let f = 0.1 + -3.3. Is f at least as big as v?
False
Suppose u - 2*g = -25, 4*g - 149 = 5*u + 6*g. Which is greater: u or -24?
-24
Let o be (-44 - -8)*(-3 + -2 + 3). Is o at least as big as 74?
False
Let s(x) = -7*x**2 - x - 2. Let b be s(-1). Let j(z) = 2*z**2 + 12*z + 12. Let n be j(b). Suppose -n = -4*i + 8*i. Which is bigger: i or 1/2?
1/2
Let w be 16/(-6)*(-15)/4. Let l be (4/10)/(14/w). Let q be ((13/(-2))/13)/((-6)/4). Which is smaller: l or q?
l
Suppose 6*p + 428 = -3*w + 7*p, -p = w + 136. Let s be 156086/1110 - 2/(-5). Let m = w + s. Which is smaller: m or -1?
-1
Let l = -44 - -44.085. Let z = l - 0.485. Which is smaller: -8 or z?
-8
Let b(x) = 2*x - 1. Let v be b(-10). Let a be 2/3*(-9)/v. Does a = -1/3?
False
Suppose 0 = -14*v + 19*v - 225. Let y = v + -54. Is -9 greater than or equal to y?
True
Let w = -456 - -488. Which is smaller: 35 or w?
w
Let n(p) = -p**3 + 2*p**2 + 6*p - 2. Let d(b) = b**3 - 7*b**2 + b - 3. Let h be d(7). Let j be n(h). Let v be (-2)/j*45/4. Which is smaller: 2 or v?
2
Let g = -2398 - -2397. Which is greater: -2/1289 or g?
-2/1289
Let l = 107/585 + 2/117. Let k = 589 + -590. Which is greater: k or l?
l
Let r = 277 - 326. Is r greater than -48?
False
Let b be (-1 - -5)/(14/(-21)) - -4. Let v = -0.05 - 6.95. Is v greater than b?
False
Let a = -0.513 - -0.413. Is a <= 28?
True
Suppose 0 = -3*h + 3*z + 111, -4*h - 22 = -5*h + 4*z. Let c = h + -40. Which is smaller: 17/5 or c?
c
Suppose 0 = -8*p + 17 - 49. Which is smaller: -15 or p?
-15
Suppose 4 = 3*m + 40. Let q be 2 + (-3)/m + -7 + 4. Is q at most -0.6?
True
Let f be 1*(-2*(1 - -3))/(-2). Let y(a) = a**3 - 3*a**2 - 4*a - 9. Let i be y(f). Is i bigger than -3?
False
Let x(b) = b**2 - 11*b + 2. Let z be x(12). Suppose -z*d + 17*d - 33 = 0. Is 11 greater than or equal to d?
True
Let d(v) = 7*v - 4. Let g be d(3). Let k(m) = m**2 + 2*m - 1. Let z be k(1). Suppose 2*a - 44 = -5*c, z*c = a + 5*c - 23. Is a bigger than g?
False
Suppose -6 = -3*h + 3. Suppose r = -3*q + 35, 2*q + h*r = 4*r + 30. Is q != 112/9?
True
Suppose 34 = 5*y - u, -2*y + 3*u - 4 + 15 = 0. Is 6 > y?
False
Let t = -7 - -10. Suppose h + 5*f - 2*f = 23, -t*h + 61 = f. Suppose 5*g = g + h. Which is bigger: 3 or g?
g
Let c(l) = -3*l + 178. Let k be c(51). Is 69 <= k?
False
Let f = -0.1 + 1.9. Let x = 0.9 - f. Let o be 209/76 - 6/8. Are x and o nonequal?
True
Let n = 13 - 9. Let g(z) = -z**3 + 3*z**2 + 7*z - 6. Let i be g(n). Let m(o) = 2*o - 5. Let p be m(i). Which is bigger: p or 8?
8
Let l(n) = 6*n - 208. Let s be l(37). Do 13 and s have different values?
True
Let o = -279 + 279.2. Are o and -61 equal?
False
Suppose -3*g + 413 = -x, 0*x + 3*x + 5*g = -1197. Let c = 6864/17 + x. Is c less than 0?
True
Let u(o) = o**2 - 2*o - 1. Let j be u(3). Suppose 5*w - 7*w = -14. Suppose -3*a - 4*n = -w*n - 6, 5 = j*a - 3*n. Is -5 < a?
True
Suppose 0 = 2*f + 2, -f - 12 = 5*h + 99. Let z be (3/5)/((-33)/h). Which is greater: z or -1?
z
Let o be 9/(-108)*15*-4. Are -15 and o nonequal?
True
Suppose 2*x + 599*c = 600*c + 8, 0 = 4*x - 3*c - 12. Suppose 0 = 3*g - 20 + 2. Is x smaller than g?
False
Let i(f) = -f**2 - 13*f - 9. Let c = 15 - 28. Let g be i(c). Which is bigger: 5 or g?
5
Let n be (3/(-66))/((-4644)/4648 - -1). Let z be ((-106)/(-6))/(1/3). Let i = z + n. Which is greater: -1 or i?
i
Let j = -122 + 121. Which is greater: j or -2?
j
Let o(j) = j**2 - 5*j - 7. Let m be o(-3). Let z = m - 14. Suppose 2*q = -8, -i - z = 4*q - 5. Is 19 at most i?
False
Let w be 4 + ((-5)/1 - -3). Let n be w + (-17)/(-3 + 2). Is 19 greater than n?
False
Let p be (-15)/(-2) - 7 - 309/(-12). Is 26 at least p?
False
Let r be (6/2 - 1) + 1. Suppose t = r*t. Let g = -238 + 2621/11. Which is smaller: g or t?
t
Let i(u) = -u. Let c be i(0). Suppose -3*a = 4*d - 5*a + 18, -d - a - 9 = c. Is d < -6?
False
Let j be (4 + (-2 + -6 - -4))*1. Which is greater: j or 16/17?
16/17
Let w = 5.9 + -6.23. Let b = 0.27 + w. Is b <= 0.2?
True
Let p(b) = -199*b + 795. Let y be p(4). Which is smaller: 2/775 or y?
y
Let q be (-8)/(-28) - 36/(-21). Suppose -q*f - 4*n + 2 = -10, f + 4*n - 6 = 0. Let w be (f/4)/(21/(-28)). Is -3/2 <= w?
False
Let y = 8 - -1. Suppose -3*k - 8 - 6 = 5*p, 0 = -3*k - y. Is p greater than -1?
False
Suppose -4*v + x - 2*x - 965 = 0, -2*x + 1203 = -5*v. Let k = -2653/11 - v. Suppose 0*o + o - f = 2, 5*o - 1 = 2*f. Which is greater: o or k?
k
Let o be (-1 + -1)*(-1)/2. Let d be (1162/21)/(16/6). Let b = 22 - d. Which is greater: b or o?
b
Suppose -6*t + 7*t = 15. Suppose -3*o - t = -0*o. Suppose 2*r = 5*c + 33, 5*c + 11 = 2*c - r. Is o 