ppose 282 = n + x*n - 3*l, -10 = 5*l. Let b = n + -92. Which is bigger: b or -22?
-22
Let c be -36 - -39 - (-2 + 2 - 1). Suppose 2*i = c*n - 4, 4*n + 4*i - 2 = 5*i. Are 14/25 and n equal?
False
Let u = 12.377 - 125.677. Are u and 5 unequal?
True
Let w = 3415 + -3402. Which is smaller: 1 or w?
1
Let v = -5206 - -202999/39. Let r = -4717/5343 - v. Is r at least as big as 1?
False
Suppose -4*p - 4 = 0, 5*p = g + 2*p - 240. Suppose 2*r - g = 155. Let n = r - 8621/44. Which is greater: -1 or n?
n
Let z = 92457/4 - 23114. Is -2740 greater than or equal to z?
False
Suppose 0 = -7*w - 0*w. Let d be -122 + 53 - w/(-2). Is -70 greater than d?
False
Let m(d) = 9*d + 83. Let n be m(-5). Let x be (n/(-855))/(2/20). Is -1/6 not equal to x?
True
Suppose -x = q, 3*q + 2*x + 0*x = 1. Let u be 24*27/684*8/(-6). Is q < u?
False
Let v = -17996265/23368 - -6161/8. Is v not equal to 0?
True
Let x = 11257217/25 + -450231. Is 57 smaller than x?
True
Suppose 0 = 2*h - 2, 0 = -3*k + 5*h + 11814 + 37414. Which is smaller: 16412 or k?
k
Let g = 353087545261/872 + -404917013. Let i = g + -172/109. Let o = -105 - i. Are o and -1 non-equal?
True
Let x = -11 - 3. Let n = x + 19. Let h = -0.99 - -1.19. Which is bigger: h or n?
n
Let t be (382/(-44))/(101/(-18)). Let v be 12499/8787 - 12/9. Let q = v + t. Which is bigger: q or 2?
2
Let t(o) = -2*o + 19. Let j be t(8). Let p(w) = 9*w**2 - 12 - 21*w**2 - 5 + 2*w + 14*w**2. Let k be p(j). Are 5 and k nonequal?
True
Let a = -160925 - -160924. Let h be 2/(-8) + 3/4. Is h at most a?
False
Let l = 603095/104 - 5799. Which is smaller: l or 1?
l
Let u = -22 + 3. Let v(w) = w**2 - w + 1. Let r be v(0). Let t be r*2 + 45/(-35) + -1. Which is smaller: u or t?
u
Suppose -86 + 387 = -301*t. Let o be (2/(-6))/(0 + -9). Which is bigger: t or o?
o
Suppose -231 = -19*h - 630. Let l be ((-115)/69 + 49/33)*h. Which is smaller: l or 5?
l
Let j = 0.2531 + -48.2531. Which is bigger: j or -28?
-28
Let u(c) = -c**2 - 19*c - 29. Let m = -35 + 17. Let z be u(m). Let o(j) = -j**2 - 14*j - 27. Let t be o(z). Are t and 6 equal?
True
Let z = 21 - 175. Let q = -1.74348 - -0.74348. Which is bigger: z or q?
q
Let r = -34 - -83. Let f = -10880 - -10925. Is r smaller than f?
False
Let m = -6461 + 4158. Is m less than or equal to -0.1?
True
Let r = -10847 + 10847.1. Which is smaller: r or 25/4?
r
Let n(f) = 399*f + 5368. Let y be n(-13). Which is greater: 196 or y?
196
Suppose 4*t + 1092 = -12*r + 17*r, 1094 = 5*r - 3*t. Suppose -r = 10*u + 90. Which is smaller: u or -29?
u
Let c be 4/(-16) - 6/(-24). Suppose -10 = -b + 3*n + 35, c = 3*b - n - 111. Which is greater: 41 or b?
41
Let s = 35.31 - -0.69. Let p = -4.25 - 31.65. Let a = s + p. Is a <= 7?
True
Suppose 4*t - 20 + 16 = 0. Let w be ((-33)/t)/(-1 + (-4)/8). Let r = 64/3 - w. Is 1.6 < r?
False
Suppose -654*a + 656*a = -4*q + 42, -a = -2*q + 15. Which is greater: a or 137/73?
a
Suppose 184*d = 249*d + 65. Is 1/2134 > d?
True
Let s(x) = x**3 - 4*x**2 + x - 5. Let a be s(4). Let z = 3770/17 + -109279/493. Which is smaller: z or a?
a
Let x be 2/7 + (-5)/(-7). Suppose -u - 3*c = -0*u + 162, -329 = 2*u + c. Let s be 9/u*16/(-24). Which is bigger: s or x?
x
Let v(a) be the first derivative of -a**4/4 - a**3/3 + 4*a**2 + 13*a - 112. Let w be v(-2). Which is bigger: 0.4 or w?
w
Let a be -1*((-15)/6 - 160/(-64)). Which is bigger: a or 3105?
3105
Let t(k) = 7*k + 2. Let s be t(6). Let u = -5 + -66. Let z = u + s. Is -27 less than z?
False
Let d = 3486 + -4798. Which is greater: -1314 or d?
d
Let x = -0.5931 - -0.4931. Which is smaller: 40/81 or x?
x
Let c(u) = -8*u**3 + 8*u**2 - 14*u - 1. Let p be c(2). Let g = -91 - p. Let h = 2 + -1. Which is smaller: h or g?
g
Suppose 19*t - 431633 = 83*t - 99089. Is -5196 smaller than t?
False
Let f(u) = -16*u**2 - 461*u + 87. Let o be f(-29). Do o and 6/1915 have the same value?
False
Let z(q) = 34*q - 645. Let b be z(19). Is 1/4079 at least as big as b?
False
Let g be (88/(-6))/(22/(-33)). Suppose 2*u + 22 = 5*b, g = -u - u - 5*b. Let f = -53 - u. Do -42 and f have the same value?
True
Let n(d) = -4*d**3 + 44*d**2 + 3*d - 16. Let s be n(11). Suppose s*o - 11*o - 84 = 0. Which is bigger: o or 88/7?
o
Let v = -0.23558 - -5.23558. Which is smaller: v or 2038?
v
Let f = 150 - 146. Suppose -f*r + 2*r = 3*r. Is r smaller than -1/80?
False
Let q = 1419.6996 - -0.3004. Are -2/7 and q equal?
False
Let l = 2007/1612 + 2/403. Let i be (3/9)/((-3 + -4)/(-14)*-10). Is i at most l?
True
Suppose -x = -4*a + 17, x - 5*a - 13 + 33 = 0. Let i(h) = 2*h**3 - h**2 + 4*h - 9. Let p be i(3). Suppose -p*o - 42 = -42*o. Is x equal to o?
False
Let u = -0.119 - 62.881. Let l = 62.949 + u. Let r = l - -20.051. Which is greater: r or 2?
r
Suppose -19034 = -4*r - 19970. Is -238 less than or equal to r?
True
Suppose -3*s + 39 = 5*q, -4*s + 0*q + 52 = -3*q. Suppose -2*o - 5 + s = 0. Is o >= -57?
True
Let d be -2 - 2/2 - -4. Suppose -d = -5*p + 3*m, -2*p + 1 + 1 = -2*m. Is p greater than -5/24?
False
Let z = -1805 + 1805.3. Which is bigger: z or -284?
z
Let c be (5 - 161/(-7)) + -8. Suppose -c*o = -5112 + 14232. Which is greater: -455 or o?
-455
Let m = 341263/43 + -7936. Let h = -1141/559 + m. Which is smaller: h or -2?
-2
Let z = 692.7 + -696. Is z smaller than -6?
False
Let b = -11.1 - -1.1. Let g = 64831 - 64828. Is g not equal to b?
True
Let b be 66/(-4) + 5/70*7. Let l = -6 - -8. Suppose 0 = -l*i + 8 - 46. Which is bigger: b or i?
b
Let j = -946 - -879. Is -852/13 at least as big as j?
True
Let r be (-3)/(-2)*(-256)/(-6). Let q be (-8 - (0 + -2)) + 1*-1218. Let g = -1160 - q. Is g equal to r?
True
Suppose 11 = 3*u - 25. Suppose u*s - 5*s = 21. Suppose -2*a = -s*a + 10. Is 9 at most a?
True
Let h be (1 + 31)*9/12. Suppose 1962 + 11401 = 581*c. Which is smaller: c or h?
c
Let k = 13915/13 - 1071. Let c be ((-10)/(-5) - 4)/2. Let d be 0/((12 + -6 + -5)*c). Is d at least as big as k?
True
Let m be (-33 - -340) + -4 + -1. Let p = m - 373. Is -72 at most as big as p?
True
Suppose 29*y = -44*y - 73. Are 2/895 and y nonequal?
True
Let q be (1 + -4)/(64 - (-306)/(-18)). Let u = q + -229/94. Which is bigger: -28 or u?
u
Let p be (-2)/1148*(-32)/(-56). Let r = -6890/2009 - p. Let v(n) = 101*n + 402. Let m be v(-4). Is m at least as big as r?
True
Let f(r) be the second derivative of -r**4/12 - r**3/3 - r. Let a be f(-5). Let s be 393/(-15) - (-3 - 42/a). Do -27 and s have the same value?
False
Let v(i) = i - 5*i + 3*i**3 - 10*i**2 + 8*i - 45 - 2*i**3 - 5*i. Let p be v(11). Which is greater: 68 or p?
68
Let b(a) = a**3 + 12*a**2 + 17*a + 19. Let s be b(-10). Suppose -40*f + s*f = 1233. Is 137 bigger than f?
False
Let g(a) = -3 + 11*a**2 + 2*a - 16*a + 10*a. Let u be g(-1). Suppose b - 15 + u = 0. Is b at most as big as 5?
True
Let y = 2113 + -2209. Which is bigger: -87 or y?
-87
Let y = 120 + -598/5. Let p = 21543 - 21543.4. Which is greater: y or p?
y
Let p = 3337 + -3338. Is p smaller than 402?
True
Suppose -11027*m = -11049*m + 924. Which is greater: 44 or m?
44
Let i = -3.35 - -0.15. Let l = -59 - -66.2. Let o = i + l. Which is smaller: 1/7 or o?
1/7
Let s = -348 - -233. Let c = s + 115.71. Let u = -0.61 + c. Which is smaller: u or 0?
0
Let v(a) be the first derivative of -a**3/3 + 3*a**2 + 52*a + 25. Let t be v(6). Let k = t + -368/7. Is -1 equal to k?
False
Let h = -15 - -24. Suppose 6*t = -h*t - 15. Let s be t*(-28 + 9)*(-5 - -1). Which is smaller: s or -77?
-77
Let o(x) = -x**2 - 9*x + 89. Suppose 75*a + 96 = 70*a - b, 2*b + 2 = 0. Let t be o(a). Is 0.1 < t?
False
Let t(l) = 9*l**2 - l. Let a be t(1). Suppose -2*o = 6, -3*i = -8*i - 2*o + 89. Suppose 2*c = 2*z + 2, i*z - 20*z + 24 = 4*c. Is a > c?
True
Let m(i) = 9*i - 9. Suppose -6*w - 2 = -8. Let x be m(w). Which is bigger: 9 or x?
9
Let k be -5 - -5 - (2 + -3 + 2). Let o be 3194/(-14) - (-4)/28. Let n be 264/o + (0 - -1). Is k > n?
False
Suppose 2*a = 4*a - 8. Let i be 281/3 + a/(-6). Let m = i + -929/10. Is m > 0?
True
Let t = -16.049 - -15.649. Which is greater: t or -436?
t
Let o(h) = h + 128. Let b be o(0). Suppose 5*z - 68 = -2*g + 9*z, 5*g - b = -4*z. Which is greater: 7 or g?
g
Let r be ((-6)/8)/(14*(-12)/(-8736)). Let f(a) = -a**3 - 4*a - 1. Let i be f(3). Which is bigger: r or i?
r
Let i = 12.2 - 14. Let u = i + -0.2. Are 0.1 and u nonequal?
T