 - 5*o - 26798 = 5*t, -2 = -o. Let f be 25/2*(4 - t/(-1410)). Let p = -4/47 + f. Which is greater: -11 or p?
p
Let i(j) = 68*j + 141. Suppose 0*l = 3*l - 3*x, -25 = 5*x. Let m be i(l). Does -198 = m?
False
Let s(r) = -r**3 + 3*r**2 + 5*r + 12. Let f be s(5). Let p = 21 + f. Let v be ((-24)/9 + 2)/((-140)/1785). Is p > v?
False
Let p = 2 - -114. Let v = p - 61. Let s = -54 + v. Which is greater: s or -4?
s
Let i be (-92)/116196*1*2/(-4). Which is greater: i or -1?
i
Let j(t) = 42*t + 2107. Let m be j(-50). Which is smaller: -131 or m?
-131
Let p be 6285/12 + 2 - 165/(-132). Is p greater than or equal to 528?
False
Suppose -d + 1 = 0, n + d = -4*d + 7. Let f be (3 - 4)*n/26. Suppose 3*o + 92 = 3*p + 74, 5*o = p - 34. Are p and f non-equal?
True
Let w be 20*(4 + -5) - -4. Let v = -12 - w. Suppose -v*b = -h - 0*h + 45, 5*h = 4*b + 225. Is h at least as big as 45?
True
Suppose -55*w = -387637 - 116163. Which is smaller: w or 0?
0
Let h be 1 - (-3)/(3/22). Let a(o) = 2*o**2 - 25*o - 88. Let f be a(-4). Suppose -68 - 856 = -f*r. Which is smaller: r or h?
r
Let a = -3.139 + 0.039. Let i = -0.112 - 19.888. Let y = -20 - i. Which is greater: a or y?
y
Let c(d) = -6*d - 6. Let r be c(-6). Let h be (-3)/15 - (-6)/r. Let v be (-45)/10 + ((-1)/(-2))/1. Which is smaller: v or h?
v
Let f be (5/(-80))/((-3)/20). Suppose -194*m - 28*m = 0. Which is greater: m or f?
f
Let j be (-4)/(-8)*1/(1/(-5 + 3)). Is j > 2/1407?
False
Let z = 116517 + -116523. Let x = -3523/7 + 497. Which is smaller: z or x?
x
Let y be (-8)/6*(-3)/2. Suppose -3*o - 103 = -0*o - 4*d, 3*d = -3*o - 96. Let s(u) = -u - 27. Let g be s(o). Is g <= y?
False
Let m = 0.0274 + 696.9726. Which is smaller: -2 or m?
-2
Suppose 13*j + 8*j = -0*j. Suppose 7*d - 6*d - 4*z = 7, j = 2*z - 8. Which is smaller: d or 145/6?
d
Let s be (74/(-444) - (0 + (-1)/6)) + -32841. Is -32840 < s?
False
Let f be (-4 - (36 - 2)) + 2. Let s be (8/(-5))/((-144)/(-3240)). Is s >= f?
True
Suppose 0 = -3*i, -4*t + 2*i = -0*i - 2852. Let y = 407 - t. Is y > -307?
True
Let k = -0.3968 - 925.6032. Which is smaller: k or 0.2?
k
Let m be 2 - 1/(-3) - 2. Let z = -13623/6265 - 32/1253. Is m smaller than z?
False
Let d = -21968 + 21966. Which is smaller: 1018 or d?
d
Let q be 1 + 0 + -3 - -9. Let m(a) = -a**3 - 5*a**2 + 17*a + 52. Let j be m(-7). Suppose -5*h + i = 20 - 69, -3*h + i + j = 0. Which is smaller: q or h?
q
Let f(j) = -5*j - 35. Let y(w) = 13*w + 104. Let p(o) = -17*f(o) - 6*y(o). Let r be p(4). Are -2/169 and r equal?
False
Let q(g) = 5*g**2 + 6*g - 5. Let z be q(3). Let f = -1485 - -1539. Do f and z have different values?
True
Suppose -5*g - 16*j = -11*j + 15, 0 = -g + 4*j - 3. Which is smaller: 1753 or g?
g
Let a be (-3 + 33/22 - -3297) + -9. Is a at least 3287?
False
Let p(t) = 123*t - 12. Let x be p(4). Suppose 0 = -18*u + 14*u - x. Which is bigger: -119 or u?
-119
Suppose -3*k - 15*n + 33 = -16*n, 0 = -k + 4*n + 22. Let t = 7 - 6.8. Which is smaller: k or t?
t
Let r(z) be the first derivative of z**4/8 + z**3/6 - 20*z**2 - 47. Let f(y) be the second derivative of r(y). Let g be f(7). Which is smaller: 24 or g?
g
Let x(o) = 7*o**2 - 20*o + 14. Let p be x(2). Let z = 1 + -11. Does p = z?
False
Let b be (1/4)/1 + 253825/(-17628). Let t = -85/6 - b. Is t equal to 1?
False
Let k be 2 + (-2 - -14) + -2. Suppose 3*c + c = k. Suppose 4*f - t = -192 + 197, 2*f = 2*t - 8. Is f >= c?
True
Let h = 3768 - 3774. Which is greater: 0.881 or h?
0.881
Let u = -2.8 + 3. Let v = 6 - u. Let c = -6 + v. Which is smaller: 2/9 or c?
c
Let u(w) be the third derivative of -1/6*w**3 + 0 + 5/4*w**4 - 8*w**2 + 0*w. Let s be u(1). Which is smaller: 27 or s?
27
Let j = 39 + -35. Suppose 2*h - 2*b - 8 = 0, h + 7*b - 10*b - 2 = 0. Suppose -h*o + 13 = -k - j, 9 = 3*o. Is -9/8 at most as big as k?
False
Let i = 1039 + -963. Which is smaller: i or 1/17?
1/17
Suppose 4*g - 3178 = -5*k, -47*k = -48*k - g + 635. Are k and 654 equal?
False
Let l = -0.04307 + -0.05693. Is -1803 <= l?
True
Suppose -106*l - 5712 = 89*l + 43*l. Suppose 2*r - 7*r - 145 = 0. Does r = l?
False
Let t(g) = -g**3 - 2*g**2 + 3*g + 1. Let v be t(-3). Let y be (-4)/(-5)*(-7 - v). Let d = -12981 - -12976. Is y > d?
False
Let d be 1*(-2 - -3)*(-25 - -8). Let r = 20 + d. Suppose 2*k = -5*z - 37, -z - 11 = -r*k - 41. Which is greater: k or -13?
k
Suppose 18*p - 612 = -1692. Which is greater: p or -70?
p
Let v be (-335)/(-680) + 219/(-584). Which is smaller: v or 7?
v
Suppose -2*x = -7*x - 5. Let v be (1285/(-74))/5 + (-103)/(-8446)*287. Which is smaller: v or x?
x
Let l be 321/81 - (-7)/(35/(-20)). Suppose -10*p = 33*p. Which is smaller: l or p?
l
Let c = -47828.001 - -47798. Let j = c + 0.001. Let b = j - -32.1. Is b at most as big as 0.2?
False
Suppose 62*j - 108 = 74*j. Is j less than -200/23?
True
Let p = -187913880542/177 - -1061673240. Let g = -12898 + p. Is -1 less than g?
True
Let f = 101.995 + -102. Let d = 0.047 + f. Let w = -0.042 + d. Which is smaller: 12 or w?
w
Let n = 583 + -7573/13. Let b = -0.1141 + 1.1141. Is n < b?
True
Suppose -x + 11 = 12. Let s be (x/(-2))/(2/(-92)). Let a be (-14)/(-98) + s/7 + 2. Which is bigger: a or 0?
0
Let b be 387 + -383 - (-10)/2. Which is bigger: -98 or b?
b
Let u = 298.959 - -0.241. Let w = u + -299. Are 96 and w equal?
False
Let i = -839132718699757/571158 - -10284245387/7. Let g = i - -3/3022. Which is smaller: g or 0?
g
Let m = 2.115 + -0.975. Let y = m + -3.14. Is y smaller than 1/6?
True
Let l = 138 + -44. Let t = -216 + l. Which is greater: t or -123?
t
Let z(d) = -4*d + 27. Let n be z(7). Suppose 7*c + 164 + 109 = 0. Do n and c have the same value?
False
Let n = -107/76 + 197/152. Which is smaller: n or 0?
n
Let f = 241408 + -2176574/9. Which is smaller: -0.1 or f?
f
Let b = -10236 - -10236. Which is smaller: b or 2/22521?
b
Let k = 45960 + -144544201/3145. Which is smaller: k or 1?
k
Let l = -2972 + 2971. Let k = -126069/68 + 1854. Is k smaller than l?
False
Suppose -41*z = -19*z + 858. Which is smaller: z or -0.31?
z
Suppose 251*y = -201*y - 62828. Is y at most -87?
True
Suppose 0 = -18*t + 19*t + 5*l - 804, -6*t + 4*l + 4722 = 0. Which is greater: t or -2?
t
Let z(k) = -2*k + 14. Let o be z(6). Let m be (-48)/(-32) + 3/6. Suppose 3*s + m = 5. Which is greater: s or o?
o
Let i = 854 - 2346. Is i at most as big as -1493?
False
Suppose 0 = -2*x - 5*u - 109, -3*u + 7*u = -5*x - 247. Let a = -2726 + 2681. Which is smaller: a or x?
x
Let c be -9 + -747*(-20)/1620. Let l = -7.5 + 37.5. Let x = l + -57. Is x at least c?
False
Suppose 34*a = 24556 + 4066 + 7010. Which is smaller: 1053 or a?
a
Let u = -110417 - -444643/4. Which is smaller: 745 or u?
u
Let p = -151.0612 - -0.0612. Let n = 432 + p. Is n equal to -0.2?
False
Let d(i) = 8*i**3 + 159*i**2 - 17*i + 60. Let n be d(-20). Which is smaller: -58/467 or n?
-58/467
Suppose -249*f + 256*f = 2086. Is 303 at most as big as f?
False
Let g(o) be the first derivative of o**4/4 + o**3/3 + o**2 + 45*o - 9. Let r be g(0). Let z be (4/10)/(-1 - (-42)/r). Is -8 less than or equal to z?
True
Let a be (-7 + (-363)/(-55))/((-160)/25 + 6). Which is greater: a or -4/14729?
a
Suppose 3*q - 5*x - 2750 = -x, -2*x - 3650 = -4*q. Is 910 smaller than q?
False
Let l be ((-37)/6 - (-60)/10)*-534. Suppose 31*r + 2320 = l*r. Suppose -4*j = 4*o - 78 - 66, -5*j - 132 = -3*o. Which is bigger: r or o?
r
Suppose 8 = 4*p - 12. Let x(u) = -u**2 + 3*u - 1. Let w(y) = y**2 - 3*y. Let q(f) = p*x(f) + 6*w(f). Let d be q(4). Which is smaller: d or -2/151?
d
Let u = -1530.54 + 1508. Let p = u - 2.46. Is p >= 1?
False
Suppose 2*i - 5*i - 2*s + 16 = 0, 2*i = s + 20. Suppose -4 - 6 = -u - 2*x, -4*x = -u - i. Let p = -332 + 334. Are p and u non-equal?
True
Let f = -17701352 - -11045647831/624. Let d = 19/48 - f. Are -5 and d equal?
False
Let d = -137.73 + 2.73. Let t = d - -135. Which is smaller: t or 0.063?
t
Suppose 5*k - 174 = 10*p - 12*p, -3*p - 9 = 0. Which is greater: k or 79?
79
Let q = -12196 + 12196.08. Which is greater: q or -0.0293?
q
Let h = -27633 - -27635. Do 133/8 and h have the same value?
False
Let a = -0.0147 - -1.0147. Let o = -1.11 + 29.81. Let q = o - 30. Are a and q unequal?
True
Suppose -19 + 5 = -7*n. Suppose 0 = 23*q - 18*q + 4*x + 40, q + n*x = -14. Which is smaller: q or 2/49?
q
Let l = 387 + -303. L