reater: x or r?
x
Let u(d) = -3*d - 5. Let m be (-9)/2*6/(-3). Let k(g) = -7*g - 9. Let b(z) = m*u(z) - 4*k(z). Let l be b(6). Is l at least as big as -1?
False
Suppose 238 = v - n, 0 = -5*v + n + 783 + 415. Which is smaller: 0 or v?
0
Let c be (-16)/(-40)*-3355 + -1*1. Does c = -1343?
True
Let k be ((-1)/(-3))/((29 - -6)/(-315)). Suppose -3*i + 4 - 19 = 0. Which is smaller: i or k?
i
Let p(v) = -v**3 + 8*v**2 - 3*v - 29. Let k be p(7). Which is smaller: 24/17 or k?
k
Let j be 18/(-2) + 3*6/9. Let p(m) = 7*m + 39. Let i be p(j). Which is bigger: i or -17/2?
-17/2
Let r = 252 + -247. Let x = 1.7 + -2. Which is bigger: r or x?
r
Let v be 2*22/52 + -8 + 7. Which is bigger: v or 0.09?
0.09
Suppose k = -5*z + 2, -44*z - 5*k + 10 = -47*z. Let r be 78/8 - (-1)/4. Let x be (8/(-30))/((-4)/r). Which is smaller: z or x?
z
Suppose -2*g - 1 = 1. Suppose 26*s = 49*s + 161. Which is bigger: g or s?
g
Let s = -4 + 6. Let f(g) = 2*g**2 + 3*g - 3. Let z be f(-3). Suppose -z*y + 2 = -y + s*i, 20 = -5*i. Is 0 greater than y?
False
Suppose -54 = -2*f + 12. Let t = -32 + f. Which is bigger: t or 4/3?
4/3
Let h = 551 - 551. Which is greater: 5/9 or h?
5/9
Let r be 2/3 + 1/(12/(-32)). Let d be 8/r + (-42)/(-12). Is d less than or equal to 15?
True
Let q(s) = -s + 6. Let w be q(3). Suppose -53 = -w*k + 79. Let o be k/(-36) - 3/(-3). Is -2 at least as big as o?
False
Let z(t) = 2*t + 14. Let m be z(-7). Suppose 4*s - 4*d - 72 = m, -2*s = -s - 4*d - 3. Let h = s + -7. Is 15 greater than h?
False
Suppose -3*j - 8 = 5*c + 5, 0 = -4*c - j - 9. Let p be c/5*(2 + 2). Let t = 9 + -11. Is p <= t?
False
Suppose -3*f = 3*n - 15, 5*n + 5*f = n + 24. Let j = 9 - 13. Let k be 7/28 - 3/j. Is k equal to n?
True
Suppose 11 = 4*n - 5. Let w be -3*2/(-6 + n + 4). Is -12/7 bigger than w?
True
Let d(o) = -o**3 + 6*o**2 + 7*o + 3. Let k be d(7). Suppose 0 = k*v + 4*v + 28. Let i be 16 + -1 + v + 4. Is 15 != i?
False
Suppose -2*y + 11 = -39. Let l be (y - 22)/((-1)/((-4)/(-78))). Is 1 bigger than l?
True
Suppose -102 - 38 = 5*a. Let u = -88 + 61. Let s = u - a. Is -1/18 bigger than s?
False
Let y(s) = -s**2 - 10*s + 13. Let w be y(-11). Which is smaller: w or -56?
-56
Let m be (2 - 1)*0/4. Let i be m*(-3)/(-3 + -3). Let f be (i - 3) + (-4)/(-2). Which is bigger: -2/7 or f?
-2/7
Let i = 248 + -276. Is -27 greater than or equal to i?
True
Let l be 22/77 - (-2)/13797*-2013. Is 0 bigger than l?
True
Let f = 11 + -17. Let p(z) = -z - 13. Let h be p(-15). Suppose -24 = 2*c + h*c. Is c not equal to f?
False
Let r = -38 - -32. Let y be r/(-14) + 9/(-27). Let w = 0 - 0. Which is greater: w or y?
y
Let a = -620/2709 - -2/301. Let q = 0.3 - 0.2. Let c = q - -0.1. Is c at most a?
False
Let s(l) = 2 - 4*l - 10 - 6*l + 14*l. Let p be s(2). Let m be (-10)/(-18)*(-3)/2. Which is smaller: p or m?
m
Let a = 40055/68 - 589. Is -1 greater than or equal to a?
False
Suppose 0 = 10*q - 6*q - 92. Let n = q - 28. Let i = 6 + n. Are i and -1/4 nonequal?
True
Suppose 0 = -3*d + 11*d. Let p = d - -1/3. Which is greater: -2/27 or p?
p
Let a = 797028/11 - 72528. Which is smaller: a or -72?
-72
Let o = -155 - -672. Let k = o + -3109/6. Which is bigger: k or 0?
0
Suppose 0 = -7*b + 8 + 6. Suppose b*k = -k - 2*k. Is k != 6/13?
True
Let h be ((-2)/(0 - -4))/(2/(-840)). Suppose -r - h = 5*r. Is r at least -36?
True
Let p = -552 - -9941/18. Suppose 6*m + 21 - 15 = 0. Is p smaller than m?
False
Suppose 5*p - 124 - 181 = 0. Which is smaller: 59 or p?
59
Let h(x) = -x**3 + 2*x**2 + 1. Let u be h(2). Suppose 5*c - 5 = -0. Let f be (0/(-2 + 0))/c. Is f less than or equal to u?
True
Suppose 2 = 8*q - 6*q. Let y be 0/((0 - 3) + q). Suppose 2*t + y*t - 2 = 0. Which is smaller: t or 2?
t
Let n = 1.981 - -0.019. Let g = -0.57 + 0.6. Let y = g - -2.97. Are n and y equal?
False
Let p be ((-4)/6)/((-48)/(-3312)). Which is smaller: -1 or p?
p
Let g be 38/(-12) - (-2 - -1). Let h = 123 + -124. Is g > h?
False
Suppose 6 = 24*h - 18*h. Which is greater: h or 12/47?
h
Let a = -75/4 + 221/12. Is -6/19 greater than a?
True
Let m be 12/84 + (-3921)/7. Let w = m - -15122/27. Are w and -1 nonequal?
True
Suppose -5*o + 2*c = -209, -3*o + 2*c = -2*c - 131. Let q be 8 + 3122/98 - (-1)/7. Which is greater: q or o?
o
Let u = 1652 - 14888/9. Is u less than or equal to -2?
True
Let f = -58577/6045 - 1/465. Is f bigger than -10?
True
Let x(y) = -y**3 + 9*y**2 + 9*y + 14. Let t be x(10). Let d = -6 - -8. Suppose 2 = t*s - 2*g, d*s - 3*g - 1 = -6. Which is smaller: 10/3 or s?
s
Suppose 37*h - 40*h - 261 = 0. Let m = -89 - h. Which is smaller: -2/3 or m?
m
Suppose 6*y - 2*y = -28. Which is smaller: 1 or y?
y
Let q be 1/(4/(39 - 3)). Suppose -q = k + 2*k. Let u be (-77)/110*k/7. Which is greater: -2/5 or u?
u
Suppose -4*b + 5*w = 81, 5*b + 64 = -2*w - 29. Let j = -25 - b. Is 0 at least as big as j?
True
Suppose 0 = 8*j - 3*j - 15. Suppose -3*m - 2*q = -2, -3*q + 4 = m + j*m. Do -7 and m have different values?
True
Let s = 215 - 217. Is -13/24 < s?
False
Let f(b) = -b + 7. Let z be f(6). Let x(r) = -3*r - 8 + 20 + 22. Let u be x(11). Are u and z non-equal?
False
Suppose -2*u = -2*x + 11 + 5, -5*x = u - 34. Suppose 0 = b - 6 + x. Let i = -16/13 - -61/39. Which is smaller: i or b?
b
Let r(n) = -129*n + 10. Let p be r(-5). Let h = p - 32751/50. Which is bigger: 0 or h?
0
Let w(q) = -326*q**2 - 41*q + 1. Let k be w(-1). Are k and 1 unequal?
True
Suppose 0 = 5*t + 37 - 12. Let a be -10*(t/(-5))/7. Which is smaller: -1 or a?
a
Let g = -2 - 4. Suppose -27*d - 924 = 57*d. Do g and d have the same value?
False
Suppose 2*d = -421 + 525. Let k be (-1 + 0 + 7)*26/3. Is k greater than d?
False
Let c(g) = 2*g**2 - 2*g - 1. Let y be c(-1). Suppose -k - 7 = -2*b, -y*k + 3 + 36 = 4*b. Let p = -8 + b. Which is bigger: -1 or p?
-1
Suppose 4*k = 5*t - 1, 17*t - 15*t = -3*k - 18. Suppose -2*h - 7 = -i, -3*i = h - 2*i + 2. Which is smaller: k or h?
k
Let w = -10 - -16. Let n(a) = a**2 - 6*a - 1. Let p be n(7). Is w < p?
False
Let y(w) = 5*w**2 - 14*w - 6. Let n(l) = -4*l**2 + 14*l + 7. Let r(o) = -4*n(o) - 3*y(o). Let a(v) be the first derivative of r(v). Let j be a(7). Does -1 = j?
False
Let l be (-2)/8 - 295/(-1020). Let q(x) = -x**2 + 5*x + 1. Let w be 4 - 3/(-4 + 1). Let z be q(w). Which is smaller: z or l?
l
Suppose 0 = -2*t - 3*t + a - 11, 0 = 4*a - 4. Let y be (12/(-24))/(t/(-3)). Suppose 0 = -4*z + c - 9, 5*c - 8 = 17. Which is greater: y or z?
y
Let y(r) = -r**2 + r + 15. Let o be y(0). Let q be 20/8 - 1104/(-96). Which is smaller: o or q?
q
Let x = -12293 - -8617395/701. Is 1 at least x?
True
Let s(r) = -r**2 + 23*r + 2. Let c be s(23). Which is bigger: -51 or c?
c
Suppose 2*g + 20 = g. Let b be (-4)/g + (-2104)/(-6). Let a = b - 351. Which is smaller: 1 or a?
a
Suppose 4*v - 8 = -0*v. Let a be -22*(v - (-2 + 6)). Let d be (-11)/a - (-23)/(-4). Which is smaller: -2 or d?
d
Let h = -56 - 270. Suppose -161 - 3 = -2*u. Let q be 2*(-4 - h/u). Is q < -1?
False
Suppose 2*w = -4*k - 2 - 2, 0 = 3*w - 3*k - 21. Let c be (-270)/(-920) - 1/w. Is c at least as big as 1?
False
Let y(w) = w**3 - 10*w**2 + 20*w - 17. Let g be y(7). Which is greater: g or -49/2?
g
Let w be 45/12*8/3. Let a = -3254 - -3268. Is w greater than or equal to a?
False
Let d = 5.2 + 24.8. Let m = 29.4 - d. Which is bigger: 4 or m?
4
Let g(y) = 5*y**2 - 23*y - 77. Let f(r) = r**2 - 6*r - 19. Let k(o) = -9*f(o) + 2*g(o). Let j be k(-5). Is j > 4?
False
Let i be (59 + -60)/(1/76*-2). Suppose 2*j - 114 = -j. Does i = j?
True
Suppose 6*s - 3*s = 60. Suppose 0 = o - 5*o + s. Let l be (-3 + o)*(-2)/7. Does -2 = l?
False
Let l = -2903/37 - -8/259. Let w = l - -75227/959. Is w <= 1?
True
Suppose 0*m - 5*y + 36 = 4*m, -5*m - 2*y + 28 = 0. Suppose -m*x + 3*x + 4*x = 0. Is x > -5/11?
True
Let q be 1*5 + (22 - 29). Suppose 3*s - 4*j - 67 = 0, -3*s - 3*j = -7*s + 87. Let g be ((-6)/28)/(2/s). Which is bigger: g or q?
q
Let y(n) = -n**2 - n + 2. Suppose 2*o + 16 = -2*o. Let c be y(o). Let t(m) = -m**3 - 2*m**2 + 43*m - 51. Let r be t(-8). Is r at least c?
False
Let m = 415204583/779 - 532997. Let p = -2/779 + m. Is p > 0?
False
Let n = -79.32 - -81. Let l = 0.46 + n. Let z = l - 0.14. Which is smaller: 0.1 or z?
0.1
Let f = -11589/13 + 890. Are f and 0 equal?
False
Suppose -u - v = -1, 2*u + 3*v = -0*v. Let w be (-27)/u*(