e -84 = -91*y + 84*y. Suppose 0 = -21*a + y*a - 1935. Is a greater than or equal to -216?
True
Let u = -35 + 3. Let s = 55 + u. Let o = s + -30. Is o bigger than -0.2?
False
Let j = -2880466874777/3470 + 830105717. Let q = -1/694 - j. Which is smaller: q or 12?
q
Suppose -36*v - 3925 = -33*v - x, -v + x = 1305. Which is bigger: v or 2?
2
Let u be ((-6)/(-9) - 0) + (-532)/(-12). Suppose -8*y + u - 5 = 0. Let v be (-10)/15 + (2 - (-14)/(-6)). Which is greater: v or y?
y
Let t = -832.8638 + -0.1362. Which is smaller: t or 3?
t
Let n(l) = -2*l + 4. Let i = -228 + 230. Let c be n(i). Is -3/38 bigger than c?
False
Suppose 1452*s - 1473*s = 447653 - 163670. Are s and -13523 equal?
True
Let b be (-1)/(-3)*-2*(-30)/(-760). Let a(z) = 24 - z - 3*z - 2*z - 6*z. Let l be a(2). Is l > b?
True
Let a(y) = -25*y - 180. Let i be a(-11). Let j = -303 + i. Is j at least -209?
True
Let s(l) = 543*l**2 - 16*l - 17. Let w be s(-1). Let q be w*(-1)/(-2) - 48/12. Which is smaller: q or 266?
266
Let i(z) = -6*z**2 - 322*z - 2254. Let h be i(-7). Which is greater: -293 or h?
-293
Let n(y) = y**3 + 2*y**2 + y - 4. Let f be n(2). Let q be 0/(-6) + f/80*66. Let t = q + -51/4. Do -2 and t have different values?
True
Let u(m) = -31*m**3 - 2*m**2 + 7*m - 6. Let k be u(1). Let j be (-5)/(-12) + (-1 - 40/k). Is j equal to -47?
False
Suppose 4*h - n = 9, 145*n - 20 = 149*n. Is h bigger than -10/743?
True
Let c(s) = 61*s - 313. Let d be c(5). Suppose -4*y = 23 + 25. Which is smaller: y or d?
y
Suppose -6*v = -10*v. Suppose v*b = -2*b + 10. Suppose 5*p + z = -27 + 3, 15 = -2*p + b*z. Do p and -5 have different values?
False
Let y be (1453 + -1)*(-2)/(-4). Let j = y + -1395/2. Which is bigger: 29 or j?
29
Let o(w) = -w**3 - 10*w**2 + 1. Let s be o(-9). Let g(y) = -10*y**3 + 24*y**2 - 50*y + 4. Let l be g(2). Is s less than l?
False
Suppose h - 18122 = -15*h + 18950. Is h != 2318?
True
Let j = 925 - 914. Which is bigger: j or 77?
77
Let s = -0.162 - -6.962. Let k = 52.2 + -52. Is s > k?
True
Let r be (6/(-4))/(-7 - (12 - 420/24)). Which is smaller: r or 2/14219?
2/14219
Let y be (1 + 56/(-96))/((-2)/(-904)). Let r = y + -189. Which is smaller: r or -25?
-25
Suppose 9*s - 4*j = -25, -2*j - 295 = 5*s - 298. Which is smaller: -2/601 or s?
s
Let h be (-105)/(-63)*6/(-45). Which is greater: h or -19/37?
h
Suppose -2*f = -v + 6*v + 20, 4*v + 18 = -2*f. Let o = 3 + v. Let b be (-7 - -9 - 4)*(5 + 372/(-66)). Is o equal to b?
False
Let w = 381 - 350. Which is bigger: w or 0?
w
Let z = 2115 - -2205. Suppose z = 26*n + n. Does 160 = n?
True
Let x = 224 + -221. Suppose 3*k - 4 = x*v + 8, -3*v + 44 = 5*k. Is k less than or equal to 19?
True
Let r be 18135/(-143) + 5/((-55)/2). Let x = 133 + r. Suppose x = b + d, b + 0*d = -4*d + 21. Which is greater: -13 or b?
b
Suppose 96 = -3*x + 120. Let b be (-26)/x*(1 - 3/(-5)). Which is bigger: b or 1?
1
Let x = -27.86 + 28. Let q = -33 + -15. Let r = q - -45. Which is greater: r or x?
x
Let c(m) = -m + 6. Let x be c(6). Let f be (-44)/(-4) - ((-6)/11 - (-1822400)/157718). Which is bigger: f or x?
x
Let l be ((-325)/(-3250))/(11/15). Let h be 2/4 - 5/2. Let t = 1 + h. Do l and t have the same value?
False
Let d = 1455 - 1385. Which is bigger: d or 32?
d
Suppose -38 + 8 = -6*s. Suppose -32 + 37 = -s*i. Which is bigger: -3 or i?
i
Let z(s) = s - 5. Let i be z(8). Let r be (-2)/(5 - (i - 6)/3). Suppose 4*x + k = 55, -2*x = -3*x - 3*k. Which is greater: r or x?
x
Let o be (-2)/(-9) + 29/(-9) - 152/(-76). Which is greater: o or -44/57?
-44/57
Let h = 41744 + -41947. Is -187 at least as big as h?
True
Let j(t) be the second derivative of t**4/12 + 2*t**3/3 + 2*t**2 + 2*t. Let v be j(-3). Let o = -279/226 + 2654/1921. Is v < o?
False
Let w(i) = 6*i + 8. Let z be w(-2). Let t be ((-6)/2 + 2)*z. Let r be -1 + 0 + (-212)/(-44). Is t less than r?
False
Let r = 139 - 141. Let u be (-3)/r*(-8)/(-3). Suppose 35 = u*j - 69. Which is smaller: 29 or j?
j
Let y(s) = 36*s - 133. Let z be y(-12). Let j = z + 564. Which is smaller: -248 or j?
-248
Let h be 10/16 + 5/(45/(-6)). Suppose -3*j - 6 = 2*f, 3*f = 3*j - 3 - 6. Suppose j = -2*u - 5*k - 15, 6*u + 3 = 9*u - k. Which is smaller: h or u?
h
Suppose 0*v + v = -2*x + 274, 0 = 5*v - 20. Suppose 4*i + x = 131. Are i and 265 unequal?
True
Let u = 6211 - 4567. Do 1646 and u have different values?
True
Let f(i) be the first derivative of 2*i**3/3 - 2*i + 5. Let h be f(1). Is h >= 85?
False
Let k = -1242 + 3805/3. Let v be 409/18 + (-18)/81 + 1036/296. Which is bigger: k or v?
k
Let q(t) = t. Suppose 13*a - 105 = 18*a. Let u be q(a). Let l(g) = g**2 + 26*g + 73. Let r be l(u). Which is bigger: r or -33?
r
Suppose 0 = -3*d, 0 = -0*q - 2*q + 2*d + 36. Suppose 0*x - x = -j - 11, 0 = 2*x - j - q. Suppose 0 = -x*r + 10*r + 6. Is r greater than -9/5?
False
Let o = -573/130 - -738278/167505. Which is smaller: o or 1?
o
Let s = -116.67 + 116.47. Which is bigger: 160/43 or s?
160/43
Let d be (-1)/(-1) + (-1 - -2). Suppose a + 4*t - 10 = 10, 0 = -3*a - d*t + 20. Suppose a*s = -8, 5*u + 4*s = -0*u + 92. Is 21 bigger than u?
True
Let m(h) = h**3 + 7*h**2 + 4*h + 2. Let f be m(-5). Suppose -2*a = -4*a - 12. Let x be 3/a*((0 - -3) + -67). Is x at least f?
True
Let f be 15 + 5 - (-240)/(-12). Is f less than -15/2344?
False
Suppose -40*f - 21684 = -14*f. Let g = 1069 + f. Which is greater: g or -1?
g
Let r = -99 - -168. Let g = -881 - -953. Let l = g - r. Which is greater: 0.11 or l?
l
Let s be (-18 - -9) + (-570)/10. Which is greater: -1/7 or s?
-1/7
Let b be 1 + -1 + 4/66. Suppose -8575 = -31*o + 5778. Let t = o + -464. Is b at most as big as t?
False
Let h be (-3*(-2169)/5)/(-63 - -64). Let n = h - 1296. Which is smaller: n or 0.1?
0.1
Let y(m) = 19*m**2 - 236*m - 10. Let q be y(13). Let t(p) = -p**3 - 7*p**2 - 6*p. Let j be t(-6). Is j bigger than q?
False
Let x = -51 + -27. Let v be (-26)/(-5)*(61 - 76). Are x and v equal?
True
Let w be (-48)/60 + (-19)/(-5). Suppose 2*i - 3*u = 157, 0 = 4*i - w*u - 244 - 67. Is -1 bigger than i?
False
Let v be (-140)/6*8616/32*-2. Which is smaller: 12564 or v?
12564
Let v be (2/(-6)*2)/(34/8568). Let s be ((-342)/v)/((-27)/36). Is -2 equal to s?
False
Suppose 1036 - 130 = -q. Let x = q + 2089. Let r be -3 - (x/(-345) + 8/20). Are -1 and r nonequal?
True
Suppose -2*x + 66 = -2*d - 3*d, -2*d - 34 = 3*x. Let l = 459 - 190. Suppose -l*t = -274*t - 75. Which is bigger: t or d?
d
Let k(a) = 143*a - 1488. Let b be k(21). Which is greater: b or 1514?
b
Let f(u) = 3*u - 7. Let p be f(-4). Let v(n) = -2*n - 35. Let l be v(p). Let j be (-4)/6*l + 50/22. Which is bigger: 1 or j?
1
Let u be -1 - ((-1 - -6) + (-3562)/11). Let g = 318 - u. Is g at most as big as 0.68?
True
Let o be 200/70*(-3 - 165/(-6)). Which is smaller: o or -1?
-1
Let o = 2629 + -2629.201. Which is greater: -2 or o?
o
Let z be (2 + -1)*(5 - 4). Suppose -6*m = -3*m, -f = m - 54. Let w be (-522)/f + -1 + 6. Which is greater: w or z?
z
Suppose l = -l + 4*x, -3*x + 3 = -3*l. Let m(r) = -14*r**3 + 3*r**2 + 3*r + 2. Let y be m(l). Let i be (10/y)/(2/(-3)). Which is greater: -1 or i?
i
Suppose 12*f + 25 = 3*k + 16*f, 2*k + f = 15. Suppose -k + 115 = 4*u. Which is bigger: u or 33?
33
Let l = -10908570/359 - -30386. Which is smaller: 2 or l?
l
Suppose -4*y - 41 = 5*a - 35, -2*y - 2*a - 2 = 0. Is 3/35 <= y?
True
Let w = -4 - -3. Let p(q) = -q**3 + 6*q**2 + 14*q + 26. Let o be p(8). Suppose -o*i = -2*i - 336. Does w = i?
False
Suppose -4*x = -61 - 27. Suppose 4*f - 32 + 12 = -3*w, 5*w = -f + x. Let o = 942 - 939. Which is smaller: f or o?
f
Let a(k) = k**2 + 7*k + 11. Suppose 4*z = 3*v + 6, 5*z + 45 = -4*v - v. Let q be a(v). Suppose q*s = -3*t + s + 23, 2*s - 9 = t. Which is greater: t or 3/5?
t
Let w be (670/(-30) + 10)/(9/837). Which is smaller: -1149 or w?
-1149
Suppose 0 = 2*q + 24 - 10. Let u be (1 - 5) + (0 - q). Suppose -5*h - 15 = 2*a, -h = u*a + 9 + 7. Is h > 0.3?
False
Let s(x) = -51*x + 3722. Let y be s(73). Which is smaller: y or 32/345?
y
Let f be 7/((-21)/(-12)) - 5567/38. Which is smaller: f or -143?
-143
Let x = -5 + 10. Suppose -9 = -5*s + 4*s - u, x*s + u - 29 = 0. Suppose s*h - 18 = 8*h. Which is bigger: h or -10?
h
Let m = -25 + 52. Let u = -11.7 - -7.7. Let j = m + u. Is 1/3 >= j?
False
Let f = -779 + 678. Which is smaller: -4 or f?
f
