gger: x or 2?
x
Let z = 25099/15 - 1672. Let w(k) = k**2 - 8*k - 9. Let a be w(9). Is z greater than a?
True
Suppose 756 = 14*a - 0. Let s be (-1 + 16)/(27/a). Which is bigger: s or 28?
s
Let a = 2.06088 - 0.06088. Is a bigger than -3073?
True
Suppose -2373 = 3*j - 2*n, 501*j = 496*j + 3*n - 3956. Which is smaller: j or -792?
j
Let h = -15562/7 - -4979839/2240. Does h = 1?
False
Let i = 170.5 - 163. Let m = i + -6.5. Let n = 855/8 + -107. Which is smaller: n or m?
n
Let v(u) = u + 18 - 36 + 22. Let o be v(-4). Is 28/25 at most as big as o?
False
Suppose 3*n + 5*v = 30, -6*v - 8 = -4*n - 2*v. Let y be 2 - (1/3 - (-11 - 434/(-42))). Are n and y nonequal?
True
Let l = 1632 + -79981/49. Which is greater: l or 2?
2
Let r = -177 + -134. Let f = -311.17 - r. Is f <= 6?
True
Let y be 15/10 - 70/48. Let r be (-234)/(3 + -9)*1. Suppose -38*q + r*q = 0. Which is bigger: q or y?
y
Let y = -81.07 - -0.07. Let l = 3207.96 + -3289. Let b = l - y. Which is smaller: 4 or b?
b
Let d(a) = a**3 - 3*a**2 - 15*a - 15. Let x be d(6). Let w be x - (-4426)/(-1896) - 8/12. Which is greater: -1 or w?
w
Suppose 2*g + b - 7 = 0, 4*b + 55 = 5*g - b. Let r be (532/12)/(-7) + g. Are r and 4 equal?
False
Suppose 7*z = 4*k + 2*z + 5, 0 = -2*k + 2*z. Suppose k*t - 9 = 21. Suppose 3*a - d - t = 0, 8*d - 3*d - 15 = 0. Is a bigger than 10?
False
Let s = 11599 + -80856/7. Let c = s + -46. Which is bigger: 3 or c?
3
Let w = -2 + 3. Suppose 2*g - 126 = 3*q, 0 = 4*q + 3*g + 2*g + 145. Let r be (-2)/q*9/((-27)/6). Which is smaller: r or w?
r
Let p be (-68)/(-34) - (0 - -1). Let u be (-9 + 6 + 2)*p/2. Which is greater: u or -0.17?
-0.17
Let u = 584/7 - 83. Let y = 4.8 + -3.2. Is u equal to y?
False
Let x = 0.722 - 9.342. Let s = 0.99 - 1.37. Let y = x + s. Is 2 less than y?
False
Let a be 6*(2860/(-248) + 11). Which is smaller: a or -2?
a
Suppose -2*c = -z - 3*c - 10, 3*c + 25 = -2*z. Let u = 1.3288 - -0.0712. Which is smaller: u or z?
z
Let g = 665 - 3313/5. Let t(h) = 3*h - 1. Let j be (0 - (-1 - -2))/(-1). Let k be t(j). Is k at least as big as g?
False
Let g(f) = 4*f**2 + 8*f + 26. Let r be 5 + (9 - 8 - 9). Let c be g(r). Let w = -31 + 70. Is w greater than or equal to c?
True
Let k(b) = 6*b - 28. Let t be k(17). Let m = t - 78. Is -2 less than or equal to m?
False
Let k = 0.321 + -0.3006. Let x = k - 0.2204. Let w = 21 - 42. Are w and x unequal?
True
Suppose -3*z + 4*s = -171 - 820, z - 4*s - 317 = 0. Let i = z + -336. Which is bigger: i or 9/4?
9/4
Let o be 4 - (-11 - (-9 - 4)). Is o <= 519/8?
True
Let l = 5.94 - 3. Let q = l - -0.06. Let g = 0.6 - 0.6. Is q < g?
False
Let k(a) = -11*a + 20. Let t be k(-9). Suppose -23*b + 111 = -t. Which is greater: 13 or b?
13
Let f be (-8)/(-18)*(-204003)/2386. Let l(j) = -2*j**2 - 5*j + 3. Let v be l(-6). Is f less than or equal to v?
False
Let h = -2 + 20. Let s = 76081 + -76071. Is h at most as big as s?
False
Let b = 1034 + -298. Let k = 735.7 - b. Let u be (1/5)/(3/(-39)). Is k greater than u?
True
Let b = -403.78 + 391.78. Which is smaller: b or 98?
b
Suppose -3*x - 450 = 3*f, -4*x - 8*f + 5*f = 597. Which is greater: -24 or x?
-24
Suppose 0 = 5*l - 5*p - 2800, 5*l + 4*p = -0*l + 2764. Let i = 67833/122 - l. Is i bigger than 1?
False
Let j = -37.569 + 37.9. Let y = 0.051 - j. Let z = y - 0.02. Is 1 > z?
True
Let h(b) = -61*b**2 - b - 19. Let x be h(4). Let t = x + 2947/3. Which is smaller: t or -18?
-18
Suppose -3*b = 2*m + 5526, -8*m - 2765 = -7*m + b. Is -2769 bigger than m?
False
Suppose 0 = -3*a + 2*b - 5, -10 - 2 = -4*a - 2*b. Suppose 3*k - 137 = -5*n + a, 5*n = -5*k + 230. Which is smaller: k or 45?
45
Let d = 14491/152061 + -49/557. Let f = 10 + -6. Suppose -5*z + 5 = f*t, -2*t = -4*z + 2 + 2. Is d at least z?
False
Suppose -152*f + 161*f - 36 = 0. Let h be (10/f)/(7/84*-3). Let u(o) = o**2 + 7*o - 4. Let c be u(-6). Is c greater than h?
False
Let b = -21.951 - 0.049. Let p = 35 + b. Let k = 13.19 - p. Do 1/4 and k have the same value?
False
Let w be 8/(-3)*3/(-6). Suppose k = 2*j - 4, -4*k - 7 = 5*j + 9. Suppose j = -i - 8*i. Is w greater than i?
True
Let x = 3562 - 3527. Is x greater than or equal to 115?
False
Let f = 27528 + -27528. Which is bigger: 0.0997 or f?
0.0997
Let j be (-6 + 1)/(-10)*0 - -5. Suppose -2*u - 42 = -5*h + 32, -65 = -j*h + 5*u. Is h greater than or equal to -22?
True
Suppose 5*b = 35, -446*b + 443*b + 9316 = 5*i. Is 1862 > i?
True
Let q(r) = 941*r - 724. Let h be q(0). Which is greater: h or -735?
h
Let f = -204740 - -3889115/19. Are f and -51 non-equal?
True
Let s be (493/(-116))/((-1)/(-20))*1. Which is bigger: 3 or s?
3
Suppose 0 = -x + 6*x + p - 3950, 2*p = 3*x - 2370. Let c = -7100/9 + x. Is c < -3/5?
False
Suppose 119041 = -130*j + 412451. Which is greater: j or 2256?
j
Suppose 171 - 1 = 5*g + 3*q, 2*g - 52 = 2*q. Suppose g*c - 3*c = -840. Is -27 > c?
True
Suppose -48*s + g - 677 = -45*s, -s - 217 = 4*g. Which is smaller: -9 or s?
s
Suppose -113*j + 12 = -107*j. Which is greater: -34/9 or j?
j
Suppose 2*a + a = 63. Suppose -5*c + 3*c = p - 36, 0 = -5*c + 5*p + 90. Suppose c*h - 402 = 12. Which is bigger: a or h?
h
Let n be (25578/609)/((-13)/(-4)). Let a = 4 - -8. Is a >= n?
False
Let m = -331 - -350. Suppose -97 - 112 = -m*j. Does j = 120/11?
False
Let f = 97.88 + -99.88. Which is greater: -1/180 or f?
-1/180
Suppose 5*m + v + 2 = 0, 3*m = 2*v - 5 - 4. Let i be -6 + (-636)/(-78) + -4. Which is smaller: m or i?
i
Let c = -11.9 + 61.9. Let v = 34 - -18. Let f = v - c. Which is smaller: 10 or f?
f
Suppose 4 - 29 = -5*t. Suppose -5*q + 61 = 4*r, -r = -t*q + q + 11. Suppose 0 = -13*j + 4*j - r. Is j at least 6?
False
Let i = -44 + 45. Let s be 55*30/(-333) - -5. Do s and i have different values?
True
Let g(r) = -4*r + 1. Let c(n) = 2*n. Let f(z) = 5*c(z) + 3*g(z). Let p be f(2). Which is smaller: 2/65 or p?
p
Suppose 2 = b, -2*b + 11117 = -3*f + 3619. Is f smaller than -2499?
False
Let d = -4749 - -2452. Which is smaller: d or 3?
d
Let n = -6311 - -6311. Is -441 greater than n?
False
Let l = -200414 - -7214063/36. Let f = -93/4 - l. Let j be (-1)/(-6)*-20 + 5. Which is smaller: f or j?
f
Let f = -23168 + 23170. Is f < -7282?
False
Let z = 12649 - 63224/5. Let s(d) = -d**3 - d**2 - 2*d - 1. Let g be s(-1). Are g and z unequal?
True
Suppose -h - 2*a - 13 = 0, 0 + 13 = -h + 2*a. Suppose -3*n + 961 = 28*n. Suppose n*m + 370 + 2 = 0. Is m != h?
True
Let a be (-5)/((-560)/36)*42/20. Let z(u) = -u**2 + 8*u - 14. Let w be z(5). Are a and w unequal?
True
Suppose 5 + 4 - 9 = 98*o. Which is smaller: o or -1/3668?
-1/3668
Suppose -4*a + 29 - 9 = 0. Suppose -a*g - 41 = -351. Let z be (2/g)/(2/6). Is z greater than 1?
False
Let l(c) = 2*c**3 + 25*c**2 + 63*c - 12. Let b be l(-7). Which is smaller: b or 1109/13?
1109/13
Let p(c) = 7*c**3 - 11*c**2 - 56*c - 61. Let r be p(-6). Is -1628 greater than or equal to r?
True
Let b = 9 + -18. Let a(d) = -d**2 - 9*d - 2. Let u be a(b). Let y be (-153)/(-297) - u/(-11). Is y < 0.02?
False
Let v = -2394 + 2460.89. Let a = -70 + v. Let k = -0.11 - a. Does 2 = k?
False
Let n(r) be the second derivative of -9*r**4/4 - r**3/3 - 3*r**2/2 + 31*r. Suppose 4*d + d = -5. Let b be n(d). Which is smaller: -29 or b?
-29
Suppose -4*l + r = -8645, -5*l = 182*r - 179*r - 10836. Is l at most as big as 3?
False
Suppose 7388 = 384*z - 17188. Let a(n) = n**3 + 5*n**2 + 2*n - 4. Let y be a(-4). Is y not equal to z?
True
Suppose 0 = 14*g - 6*g - 64. Let o(t) = 2*t**3 - 9*t**2 - 2*t - 9. Let l be o(5). Is l at most as big as g?
True
Let w = -3038 + 2987.27. Let f = -1.73 - w. Which is smaller: f or -2/5?
-2/5
Suppose 10*q = -68*q - 0*q + 31434. Which is smaller: 2022/5 or q?
q
Let x be (5 + 1 - (-33345)/532)/((-9)/(-12)). Is 93 <= x?
False
Let k = -550 - -549.866. Let s = 0.934 + k. Let j = -6.3 + 1.3. Which is bigger: j or s?
s
Let h = 4930 - 4930. Which is bigger: h or -2/3359?
h
Let n(t) = t**3 + 30*t**2 + 9*t + 7. Let p be n(-29). Suppose p*l = 580*l + 28. Which is bigger: 34/7 or l?
34/7
Let g be 130/60 - 18/12. Is 51.8 > g?
True
Let z be ((-49657)/429454 - (-6)/51)/(-6). Does 0 = z?
False
Suppose -3*v - 42 = 5*c - 2*c, -2*c = -3*v - 52. Let a = -479249/29428 + -1/4204. Is v bigger than a?
True
Suppose 4*x + 3*j = x + 21, -5*j = -4*x + 73. Suppose -a = -2*s - 3, -s - a - x = -5*a. Let u be 7 -