4 + 1/(-2). Suppose 4*s - 10 = -2*y, -3*y = -2*y - 2*s + u. Let g = -18/8957 + 36026/98527. Which is smaller: y or g?
y
Let u = 4788 - 7266. Is u smaller than -2476?
True
Let h = -0.4 - -0.2. Let b = 427490266/1062148175 - -18/1322725. Let p = 2/803 - b. Is p <= h?
True
Suppose 0 = 315*b + 4*b + 7018. Let m(x) = 56*x**2 - x. Let c be m(-1). Let k = b + c. Are k and 36 non-equal?
True
Let l = -9659 + 9384.08. Let u = -275 - l. Which is greater: u or -9?
u
Let a be -24*(474/9 + -12). Is -974 not equal to a?
True
Suppose -3*g - 12 = 5*r, 3*r + 10 = 6*g - 5*g. Let f be ((-1)/((-3)/219))/(-2 + g). Which is smaller: f or -221/3?
-221/3
Let o = -87 - -26. Let i = 64 + o. Let y be -9 + 4*i/6. Which is bigger: -6 or y?
-6
Let l = 4 - 0. Suppose 2*b = -4*s + 13 + 1, -4*b - 20 = -l*s. Let p be (-16)/(-18) + (20 - 21). Is p bigger than b?
True
Let g = -995 + 1475. Let f be ((-32)/80)/((-2)/g). Suppose 0 = -2*m - 9*b + 5*b + 48, 3*m - 2*b = f. Is 30 less than or equal to m?
True
Suppose -2*y + 357 = 5*b, 4*b = -177*y + 180*y + 304. Which is smaller: b or 75?
b
Let q(y) = 3*y + 18. Let o be q(-3). Let m be 2/o - 1232/(-126). Let i(d) = -d**3 - 3*d**2 - 4*d + 1. Let x be i(-3). Which is bigger: m or x?
x
Let p = -57 + 98. Let v be -5*29/((-1305)/378). Which is smaller: v or p?
p
Let d(q) = 2*q - 32. Let n be d(13). Let o be 51200320/(-18336) + 4/n. Let l = -2793 - o. Is 0 less than l?
True
Suppose 4*q + 51 = -1097. Let b be q/(-66) - (-14)/(-77). Let c be 20/6 + 6/9. Which is bigger: c or b?
b
Let h be ((-1)/(-2))/(4/8). Let l(a) = -429*a**2 - 5*a - 3. Let i be l(-1). Let g = 1280/3 + i. Which is greater: h or g?
h
Let z = -27 - -31. Let f(a) = -a**3 + 4*a**2 + a - 9. Let d be f(z). Let l be 11*d/45 - 2/(-9). Which is greater: -2/11 or l?
-2/11
Let i = 736.05 + -736. Which is smaller: i or -62?
-62
Let c = -2.7 - -2.85. Let t = c - 0.25. Which is smaller: -72 or t?
-72
Let a = 76.3 + -7.3. Let u = a + -46. Let y = -3 + u. Which is bigger: y or -1/4?
y
Suppose 2*v - 284 + 976 = 0. Let f = 351 + v. Is f greater than or equal to 17?
False
Let h be 3627/31*(-1416)/(-18). Which is greater: h or 9205?
9205
Let u(w) = -w + 6. Let m be u(3). Suppose m*t = t - 2. Let g be ((-6)/(-78))/((-1)/(-5)). Which is greater: t or g?
g
Let p be (-5304580)/60*(-18)/202. Let i = -7878 + p. Is 1 greater than i?
True
Let n be 8/(-10)*(-4)/(-13). Let l be 13 + (-191653)/14820 + 40/(-12) + 3. Let m = n - l. Do 0 and m have the same value?
False
Let t = -43878/7 + 6271. Which is bigger: 0.08 or t?
t
Let i be (-324)/30 + 3/15. Let d = -166 + 105. Let t = d - -51. Is t smaller than i?
False
Let t = -29529218/7335 + 20129/5. Which is bigger: 0 or t?
t
Let b be -6 + (-1 - (5 - 3)). Let z = -10 - b. Let k = 2/7 + -4/7. Which is bigger: k or z?
k
Let u(z) = -11*z - 190. Let x be u(-18). Let k(t) = t - 1. Let c(s) = -s + 2. Let h(v) = c(v) + 5*k(v). Let n be h(x). Are n and 29 non-equal?
False
Let c = 404 + -436.4. Let h = 31 + c. Let n = h + 3.4. Which is smaller: n or 2/13?
2/13
Let l be (-1)/(12/(-8)*(-20)/15). Which is bigger: -2.618 or l?
l
Let t be (-17)/(-5) - 2/5. Let g be (t - 2)*(-6)/9. Let x(y) = -y**2 + 3*y - 5. Let h be x(2). Is g smaller than h?
False
Suppose -6*s - 1925 = 1179 + 856. Is s less than -656?
True
Let k = -383 - -138. Let b = 246 + k. Is -1.26 smaller than b?
True
Let v be (869/(-77) + 8)*17. Is v greater than -55?
False
Let j = 20772 + -20306. Which is smaller: -5 or j?
-5
Suppose -5*f - 7125 = -2*u, 0 = 3*u + f - 0*f - 10628. Is u at least 3544?
True
Let w = -3951 - -2595. Is 2 >= w?
True
Let g = -3.131 + 0.031. Let v = -3 - g. Let a be ((-1394)/369)/(1/(-4 + 1)*4). Are a and v non-equal?
True
Suppose 205*f - 197*f - 64 = 0. Let c = 0.07 + 0.93. Is f > c?
True
Let c(t) = -8 + 6 - 2*t**2 + 6*t - 6*t**2 + 2*t**2 + t**3. Let k be c(5). Suppose k*o - 12 = -2*q, 2*q + 2*o - 6 = q. Do q and 9 have different values?
True
Suppose -b + 2*s - 1 = 0, b = 3*s - 8*s + 20. Suppose 2*q = -b*z + 115, -3*q + 84 = 5*z - 36. Let c = 5 + 18. Which is smaller: z or c?
z
Let q(u) = u**3 - 12*u**2 - 8*u - 11. Let p be q(13). Let a = 272/5 - p. Is -10 bigger than a?
False
Let d(v) = -v**3 + 6*v**2 - v + 1. Let g be (-2)/(-9) - 260/(-45). Let c be d(g). Suppose -4*w = -3*y - 6 - 19, 0 = 5*y + 3*w + 3. Is y less than c?
False
Let t = -856 - 119. Let b be t/(-6)*26/65. Let j be (2/(-3))/(1/(-96)). Is j smaller than b?
True
Let m = 1525 + -1479. Is -0.1 less than or equal to m?
True
Let a = 1436.3 + -1435.3. Is 0.0249 greater than or equal to a?
False
Suppose 2*y - 18 = -4*n, 5*n - n + 73 = 5*y. Suppose 3*b - 16*b = y. Let p be (-40)/(-1512) - (-4)/(-14). Do p and b have the same value?
False
Suppose 3*o = 82 - 46. Let a(l) = l**3 - 10*l**2 - 26*l + 22. Let y be a(o). Is y at least as big as 9?
False
Let i(p) = 14*p - 140. Let f be i(14). Let h be (1/6)/(f/14560). Which is greater: h or 44?
44
Let l = 271 - 264. Suppose -l*f = f - 400. Let s be (4/8)/(2/196). Which is smaller: s or f?
s
Let x(v) = -2*v**2 + 15*v - 10. Suppose 0 = b + 3*z - 19, -2*b - 5*z + 21 = -13. Suppose -5*q = -4*q - b. Let u be x(q). Is u != -3?
False
Suppose 53*s - 16251 - 33950 = -13790. Is s < 684?
False
Let n(h) = -3*h**3 + 43*h**2 - 13*h - 13. Let a be n(14). Which is greater: 60.95 or a?
60.95
Suppose -147 - 129 = -4*b. Let v be (-4)/8 - (b/14 - -1). Is v equal to -6?
False
Let h = 0.977641 - -0.022359. Let n(m) = -17*m + 4. Let t be n(-3). Which is smaller: h or t?
h
Suppose -3*q - 53 = 5*v, -7 - 24 = 2*q - v. Let u(j) = j**2 + 12*j + 27. Let i be u(q). Which is greater: i or 90?
i
Let o = 422/25 + -35047/1900. Which is smaller: o or -1?
o
Let h = 92 - 86.3. Let j = -34.7 + h. Let u(v) = v**3 + 5*v**2 - 6*v. Let a be u(-6). Which is bigger: a or j?
a
Suppose 5*u + 1885 = 6*w - 3*w, -5*w + 3080 = 4*u. Is w at most 620?
True
Suppose 5*p - 11 = 5*s + 24, 3*p - s = 27. Suppose 3*h + 4 = p. Let t be h/(-12) + 4 + (-47)/6. Which is greater: t or -2?
-2
Let h = 2.2 - -491.8. Let j = -493.735 + h. Do j and 0.2 have the same value?
False
Suppose 0 = 3*l - 2*v - 73, 4*l + 2*v - 3*v = 104. Let w be (-8)/8 - 5*1. Let i be w/l + 96/(-54). Which is greater: 1 or i?
1
Suppose -5*q = x - 597, 3*q + x = 513 - 156. Suppose -16 = g - 5*r + 14, 0 = 4*g - 3*r + q. Let s(d) = 19*d + 47. Let h be s(-4). Which is smaller: h or g?
g
Let g be (6/(-6))/((-2)/6) - -2. Let q be 1*(-70)/g*-1. Suppose -24 = -2*n + 3*y + 13, 4*n - y = 59. Is n less than q?
False
Suppose -4*c - 14 = -l, 3*l = -0*l + 2*c + 42. Suppose -43*t = 19*t - 806. Is t bigger than l?
False
Suppose 7 = 3*t - 3*q + q, -q = t + 6. Suppose 3*r = -5*g - 109, -5*g - 5*r - 106 = -3*r. Let f be 66/g - (1 - 4). Is t less than or equal to f?
True
Suppose 2*f - 2 = -2*a, -8*f - a - 11 = -4*f. Let m be (-1)/f - (-17)/(1224/(-30)). Is 39 equal to m?
False
Let n = -14308/3245 + 6/649. Let w be -4*(-1 - 2/(-80)). Let q = n + w. Is q <= -1?
False
Suppose -43*g + 33 = -139. Suppose -775 = 5*q - g*l + 2*l, -q - 147 = -2*l. Which is smaller: q or -158?
-158
Let k be 4/2 - ((-22)/121 + 878/110). Are -17 and k equal?
False
Let q(n) = -30*n - 3872. Let w be q(-129). Suppose -5*s - 4*b + 16 = 0, 3*s + 7 = 5*s + b. Which is smaller: s or w?
w
Suppose 3*a + 198 - 21 = 0. Let b = -1976015/33778 + 1/16889. Is a bigger than b?
False
Let p(o) be the second derivative of -o**4/12 - o**3/2 - o**2 - 33*o. Let f = -5 - -4. Let w be p(f). Is -1/2 less than w?
True
Suppose -9*n + 4*n + h = 751, 5*n + 3*h = -747. Let z = -12 + n. Is z less than -161?
True
Let z be (-7180420)/234700 - -31 - (1 + 6/(-10)). Which is greater: -1 or z?
z
Suppose 2*i = -t - 26, -t = -i - 7 + 42. Is -55 at least as big as t?
False
Let r = -3147 + 3148. Let p = 2/191 + 26734/573. Let f = 47 - p. Are f and r unequal?
True
Let z = -25 - 191. Let y = 220 + z. Which is greater: 0 or y?
y
Let v(j) = -j**3 - 43*j**2 + 240*j - 2. Let x be v(-48). Which is smaller: x or -38/65?
x
Let n(g) = 19*g - 24. Suppose 5*t + 4*k - 6 = 0, -7 = -7*t + 6*t + 5*k. Let w be n(t). Which is bigger: w or 15?
15
Let a(y) = y**2 + 50*y + 356. Let u be a(-42). Is 387/19 < u?
False
Let d = 27364784/667767 + -64/16287. Which is smaller: 41 or d?
d
Let q(h) = 20*h - 16. Suppose 12 = -6*y + 6. Let o be q(y). Let z(j) = -9*j**2 + j + 2. Let s be z(-2). Is s < 