28 + 4*u**3 - 21*u**2 - u**3 + 41*u. Let h be i(7). Which is smaller: h or 2?
h
Let i(s) = -6*s**2 - 26. Let c be i(-6). Let q = c - -239. Which is smaller: q or -2?
q
Let d = 10225 - 10224. Which is greater: d or 4030?
4030
Suppose 160*c - 129*c + 31 = 0. Is c > -4653?
True
Let v be (-105)/(-25) + (-27)/(-15) + -1. Suppose 316 = 4*u - n, v*u = -4*n + 67 + 307. Suppose 5*y + u - 73 = 0. Is 2/135 > y?
True
Let h = -20 - -31. Let u be ((-6)/(-8) + (-84)/16)*-4. Suppose 2*x - 2*a - u = -0*x, 0 = 5*x - 2*a - 54. Which is bigger: h or x?
x
Let f(o) = 47*o + 50*o + 46*o + o**2 + 50*o - 44 - 189*o. Let j be f(5). Is 1 greater than or equal to j?
True
Suppose -312 = -5*k - x, k = -k - 3*x + 130. Is k <= 62?
True
Suppose -8*a - 216 = -992. Let c(h) = 6*h**2 - 2*h - 9. Let n be c(-4). Is a < n?
False
Let o(c) = 2*c**3 + 8*c**2. Let q(k) = k**2 + 10*k - 10. Let b be q(-10). Let n be o(b). Let j be 4/(-14) - n/(-112). Which is bigger: -13 or j?
j
Let a = -300 + 321. Suppose -a*h = 7*h - 112. Let v(g) = 3*g**2 - 3*g. Let n be v(2). Is n at least h?
True
Let w = 25035 - 25057. Which is smaller: -321/14 or w?
-321/14
Let t(a) = 18*a + 121. Let c be t(-7). Let i be ((-1)/2)/(c/225)*-2. Which is bigger: -46 or i?
i
Let f(w) = 7*w + 80. Let g be f(-12). Let t be ((-1 - 315)/g)/1. Is 550/7 at most t?
True
Let b be (10/6 + -1)/(40/65). Let q = 19 + -19. Are b and q unequal?
True
Suppose -4*k - 94 = 10*j - 8*j, -4*k - 64 = -4*j. Let i be (-9)/(-69)*(k + 20). Which is bigger: i or -0.1?
-0.1
Let h = 29 + -4863. Is h != -4833?
True
Let q = -30.9 + 30.957. Is q smaller than 48?
True
Suppose 0 = -32*y - 21 + 341. Suppose -18 = i - 6*g + y*g, -g + 18 = -2*i. Let r = 4 + -13. Is r at most i?
False
Let f = 22 + -21.1. Let h = f + 3.1. Suppose -k + 4*j - 28 = 0, 8*j - 50 = 5*k + 6. Is h at most k?
False
Let i be 2*2/4 + -6. Let l(k) = -10*k**2 - 290*k + 7. Let n be l(-29). Let t = i + n. Is 10/3 at least as big as t?
True
Let t = -0.70234 - -6.70234. Let y(g) = -g. Let k be y(-2). Suppose -k*z + 4 = -4*z. Do z and t have the same value?
False
Let u(t) = -44*t - 554. Let j be u(-42). Is 1294 greater than j?
False
Suppose 3*a - 1 = 2. Let j = 7744 - 178110/23. Which is bigger: a or j?
a
Let f = -15.18 - -15. Let n = f + -0.02. Let c = -68 + 271/4. Are n and c nonequal?
True
Let h(w) = 9*w + 34. Let t be h(-4). Let q be t - -317 - 75/(-25). Is 318 < q?
False
Let a = 5/68 + 71/884. Let k = 2 + -14. Let t = 12.2 + k. Is t less than or equal to a?
False
Suppose 3*i - 1742 = 16*i. Let q = i + 134. Let p be ((-6)/14)/3*-1. Which is greater: q or p?
p
Let j(o) = -590*o + 4721. Let h be j(8). Which is greater: h or 34/339?
h
Let p(b) = 282 - 273 - 13*b**2 + 21*b - b + b**3. Let u be p(11). Is -15 >= u?
False
Let h(t) = 4*t**2 + 21*t + 22. Let p(s) = -7*s**2 - 31*s - 33. Let f(c) = 8*h(c) + 5*p(c). Let a be f(6). Which is smaller: a or -22?
-22
Suppose -81289*u = -81231*u + 58. Let j be 2/45*(-9)/219. Do j and u have the same value?
False
Suppose 4*n + h = 9, -n - 3 = 2*n + 4*h. Let g be 385/(-5) + -2 + (n - 3). Let o = g - -79. Are o and -2/37 equal?
False
Let w be ((-1)/(-16))/(246/11772) + -3. Let y = w + 899/26568. Let v(p) = -p**3 + 6*p**2 + 7*p - 1. Let k be v(7). Are k and y unequal?
True
Let r = -1.3 + -3. Let m = r + 53.3. Let z = m - 48. Is -15 at least z?
False
Let f = 3869/2 - 1801. Suppose -24*u + 1709 = 4997. Let o = f + u. Which is smaller: o or -5?
-5
Let w be ((-767169)/948)/(33/(-40)). Is 1/4 less than or equal to w?
True
Let v(u) = 55 + 7*u + 15 - 3*u + 73. Let b be v(-36). Do 1 and b have the same value?
False
Let b(k) = -k**3 - 11*k**2 + 76*k + 268. Let t be b(-15). Is -88 at least as big as t?
False
Let q be 489/15 - 4/(-10). Let f be 8/(-22) + (-44)/(-242) + (-44790)/(-1320). Is f greater than or equal to q?
True
Let t(c) = -7*c + 1. Suppose -18 + 4 = -7*l. Let b be t(l). Let m = b - -18. Which is smaller: 2 or m?
2
Let t = 317 + -315. Suppose 16 = 4*c - 3*q, t*c = 20*q - 15*q + 22. Are c and 11/3 non-equal?
True
Let r be ((-12)/(-9))/(3/((-18)/4)). Let u be 399/95 + (r - (-18)/10). Suppose 5*q = 2*x + 3, q + u*x = -q + 6. Which is smaller: 23 or q?
q
Let b be (-1 + 1)/(-4 - -3). Which is bigger: b or 22/395?
22/395
Suppose -7*t - 1050 = 14*t + 9*t. Which is smaller: -40 or t?
-40
Let j = 499 + -920. Let l = 420.61 + j. Are -3 and l equal?
False
Let x = -22393 + 559961/25. Which is bigger: 1 or x?
x
Suppose 2*f + 2 = f. Suppose 5*i - 10*i = 10. Let u be 2*8/(-16)*(-1 - i). Which is greater: u or f?
u
Suppose 0 = -4*a - 5*g + 690, 402*a + 4*g = 404*a - 306. Is 173 bigger than a?
True
Let m = 9223 + -27656/3. Which is greater: -53 or m?
m
Let s(y) = y**3 + 2*y**2 - 8*y + 2. Let m be s(-4). Suppose 4*o = -18*n + 17*n - 1847, 1377 = -3*o + m*n. Is o < -461?
False
Let b = -0.0403 - 2.4697. Let a = -44.51 - -44. Let x = b - a. Which is bigger: -1/5 or x?
-1/5
Let a(s) = -s**2 + 3*s + 7. Let h be a(-5). Let p(u) = -u**3 - 19*u**2 - 28*u + 26. Let v be p(-20). Suppose v = -18*l - 11*l. Which is smaller: l or h?
l
Suppose -21 - 23 = 4*o. Suppose 0 = q + u + 91, 0*q + 4*u - 380 = 4*q. Let p = -102 - q. Do p and o have different values?
True
Let k be ((-504)/6)/(3 + -3 - -2). Which is bigger: -2.7 or k?
-2.7
Suppose 0 = -k + 4*y - 7, -3*k - 21 = 3*y - 6*y. Let c(r) = r**3 - 5*r**2 + 6*r - 5. Let x be c(6). Suppose -x*a + 8 = -63*a. Which is smaller: a or k?
k
Suppose -5*c + 2322 = -2*f, 4*f + 3*c + 1444 = -3122. Are -1147 and f equal?
False
Let r(o) = 9116*o - 938. Let j be r(1). Is 8179 at most as big as j?
False
Let c = -2216 + 2319. Is 833/8 >= c?
True
Let u(r) = r**3 - 5*r**2 - 2. Let s be u(3). Let i be ((-45)/s)/(-3) - (-742)/8. Let w = i - 101. Is -11 equal to w?
False
Suppose 2*s - 4 = 6. Suppose 7*v = s*v + 10. Suppose 23 = -20*a + 123. Is a < v?
False
Suppose 9*y + 55 - 883 + 54 = 0. Which is smaller: y or 41?
41
Suppose 0 = 2*a - 2*m - 76, 3*a + m - 136 = -18. Suppose -5*x + 4*x = 3*v + 35, 3*v + 3*x = -a. Are -12 and v non-equal?
True
Suppose 2*f - 14426 + 14476 = 0. Is 12 > f?
True
Let j = 31125/36326 - 71/82. Is j greater than -1?
True
Let a be (-29)/(162/(-12) + -7). Let s = 2849/246 - a. Which is greater: s or 11?
11
Let b(m) be the third derivative of 2/3*m**3 + 5/24*m**4 + 0 - 14*m**2 + 0*m. Let f be b(-1). Which is smaller: f or 0?
f
Let t(l) = l**3 - l**2 + 3*l + 16. Let a(v) = -v**2 + v + 1. Let x(r) = -3*a(r) + t(r). Let n be x(-3). Suppose 2*u - n = -2*p - 2, u + 1 = p. Is p <= 1/42?
False
Suppose s - 4*c + 8 = 0, c + 66 = -s + 68. Let h be 52/20 - (2 - -1). Which is smaller: h or s?
h
Let l = -1171 - -1355. Which is greater: l or 192?
192
Let w = 70 + -7. Let a be -4 + 112/w + 6/27. Which is greater: 20 or a?
20
Suppose -2*l - 2*s - 2*s = -30, 5*s - 32 = -2*l. Let f be 1 + -5 - -1 - 8. Let a be f/l + (1 - 2). Is -23/6 at most a?
True
Let f be ((-3)/2)/((-6)/(-32)). Let b = 455 + -840. Let q be b/75 - (47/(-15) + 3). Which is greater: q or f?
q
Let u(x) = 325*x - 2274. Let v be u(7). Let b = 2868094/215 + -13340. Which is smaller: v or b?
b
Let d = -8 - -16. Suppose 4*l = -b + 1, l - 5 - d = -b. Let m = 50223.4 + -50223.3. Which is smaller: m or b?
m
Let c = 39 - 64. Let l = -25.29 - c. Let w = l + 0.19. Is -2/11 greater than w?
False
Let w = -728 - -1519/2. Do w and 0 have different values?
True
Let v(f) = 2*f - 18. Let w be v(8). Suppose -44 = -5*g - 29. Let j be (-465)/(-150) + g/w. Which is smaller: j or 3?
j
Suppose -3*x - 1349 = -4*t, -7*t + 0*t + 2*x = -2351. Let l = 1004/3 - t. Is l >= 3/86?
False
Let n = 17116 - 17115.053. Which is smaller: n or -1/5?
-1/5
Let d be (((-90)/(-20))/(-1))/(9/(-6)). Let j = -251 - -407. Suppose -d*z - 3*z - j = 0. Which is bigger: -25 or z?
-25
Let h be -3*-3*(-120)/27. Let a be (-4)/(-10) - (7 - (-584)/h). Is a >= 8?
True
Let h = -0.19 + 0.14. Let a = -35.5 - -28.5. Is h greater than or equal to a?
True
Let y = 121 - 144. Let v = 23.2 + y. Do -50 and v have different values?
True
Let b be -2*(-2)/64*1. Suppose -8*o + 3*o = y - 20, 0 = -2*o + 3*y + 8. Suppose -u - 2*h + 12 - 4 = 0, h - o = 4*u. Which is greater: u or b?
b
Suppose 12151 + 26995 = -37*i. Is i equal to -1059?
False
Let s be (-3)/(-1)*708/18 - -3. Which is bigger: 125 or s?
125
Let i be 1 - (1 - 6)/(-5). Let g be (i + 0)*9/(-36). Suppose -3*y