 Let t = -162 - -163. Which is smaller: t or u?
u
Let w = 1.19 - 2.19. Which is greater: w or -0.031?
-0.031
Suppose -30 = -54*t + 59*t. Let l = 5 + t. Which is bigger: 3/35 or l?
3/35
Let b = -408 + 408.487. Is 0.2 greater than b?
False
Let o = 63/2 + -31. Is 1 at least o?
True
Let b = -1 - 0. Let a = -2 - b. Let g = 115.7 - 115.6. Which is smaller: g or a?
a
Let i(x) = x**3 - 10*x**2 - 2*x - 5. Let j be i(13). Let u = j + -4288/9. Which is bigger: u or 0.05?
0.05
Let k(o) = o**3 - 8*o**2 + 7*o - 1. Let i be k(7). Let w = 5555/69 - 241/3. Which is smaller: w or i?
i
Let t = -37 + 12. Let p = t + 26. Let j = -143/12 + 38/3. Is j equal to p?
False
Let f(m) = m**3 + 10*m**2 - 4*m - 33. Let z be f(-10). Suppose 5*l + z*c - 9*c = -14, -6 = -l - 4*c. Are l and -8 unequal?
True
Let z be 7/(-3)*-9 - 2. Let k = 6 - 15. Let h = k + z. Is 11 at least as big as h?
True
Suppose -r - 4*s - 5 + 6 = 0, 2*r + 4*s - 6 = 0. Suppose d + 21 = -4*i, -i = -r*d - 0*d. Which is smaller: 2 or d?
d
Let f = 0.3 - -2.7. Which is bigger: -13 or f?
f
Let u = 5.98 + 0.02. Let j = u - 5. Is -3 at least as big as j?
False
Let r = 1622 + -1620. Which is greater: -289 or r?
r
Let p = 150070/111 + -1352. Which is smaller: 1 or p?
p
Suppose -y - 112 = -9*y. Let o be 12/y*112/(-64). Let w = 2 - 3. Is o != w?
True
Let z = -19 - -18.7. Let g = 0.1 + z. Which is greater: 0.4 or g?
0.4
Let o = 248 - 2722/11. Is o at least 1?
False
Let q(y) = -47*y - 64. Let n be q(14). Which is smaller: -721 or n?
n
Let a be 1/(3/(-45)*-3). Suppose a*k = 2*k + 6. Suppose k*q - 8 = -4*m - 0*m, -4*q = -5*m + 10. Are q and -9/8 equal?
False
Suppose 225 = 3*s + 585. Which is smaller: -121 or s?
-121
Let t = 2484 - 2822. Is -338 greater than t?
False
Let p = -0.0532 + 0.0532. Which is smaller: 1.38 or p?
p
Let w(h) = 20*h**3 + h**2 - 5*h + 7. Let r(l) = -11*l**3 + 3*l - 3. Let d(b) = -11*r(b) - 6*w(b). Let z be d(7). Which is smaller: 20 or z?
z
Let s = 221 + -213. Let a(z) = -7*z**3 + z**2 + z - 1. Let r be a(1). Let d = s + r. Which is smaller: d or 1?
1
Suppose -2*u = -4*v - 20, -5*v - 12 = -4*u + 13. Which is smaller: -3/61 or u?
-3/61
Let w(o) be the third derivative of -o**5/30 - 2*o**4/3 - 5*o**3/3 + 6*o**2. Let f be w(-7). Suppose 2 = -g + 3*k, -f*g = g - 5*k - 20. Are g and 6 equal?
False
Let k = -11 + 10. Suppose -63*r = -51*r + 12. Is r < k?
False
Let p = 64 - 44. Suppose p*z - 15*z - 40 = 0. Suppose z*x = 5*x. Which is smaller: x or 1/11?
x
Let l(v) = -2*v**2 + 96*v - 183. Let j be l(46). Is -4/57 at least as big as j?
False
Let f = -11.3 + 11.4. Which is smaller: f or -403?
-403
Let f be (-3)/(-18) + 2*(-2)/24. Suppose -6*g - 66 = -f*g. Which is smaller: g or -2?
g
Let t be 4/(-6) + -2 - -3. Suppose 5*g = -5*p, 2*p + g = 5*p + 8. Let f be ((-6)/18)/(p/36). Which is smaller: f or t?
t
Suppose 2014 - 466 = 18*q. Are q and 86 nonequal?
False
Let u = -69 - -58. Let j be (-1 - -5)/12 - u/12. Is j >= 3/4?
True
Let a be 24/(-12)*((-2)/9)/(-1). Which is bigger: a or 1?
1
Let a be ((-44)/66 - 11/(-12))*-218. Let r = 223/4 + a. Let p = -0.8 - -1. Which is smaller: p or r?
p
Let s be 0*(3 - (-32)/(-12)). Suppose 2*b - 4 + 2 = s. Is b greater than -2/145?
True
Let f(x) = -2*x**2 + 3*x**2 - 8*x**3 + 4*x - 3 - x + 7*x**3. Let w be f(2). Let b be w + 5 + 0 + 6. Is b equal to 12?
False
Let p(y) = 2*y**2 + 4*y - 6. Let q be p(-6). Let m = -5875 - -5917. Is q at least as big as m?
True
Let s = 39 - 49. Let t(p) = -p**2 - 9*p + 9. Let i be t(s). Do i and 1/15 have the same value?
False
Suppose 48*i + 4 = 44*i. Let k be i/(-5) - (-34)/(-85). Let z(h) = -2*h**2 - 2. Let j be z(-2). Which is smaller: k or j?
j
Suppose -209*c - 1472 = -207*c. Which is smaller: c or -735?
c
Let v be (-4)/(-6) + (5 - (-28)/(-6)). Let h = 257/4 + -11573/180. Is h smaller than v?
True
Suppose 0 = 3*u - 12*u. Suppose -3*k = -6*k + 54. Let t be (-12)/k + (-4)/(-5). Are t and u nonequal?
True
Let a be (179 - 178)*94*(-2)/(-4). Is 47 greater than a?
False
Let i(l) = l**2 + 4*l - 6. Suppose -p = p - 4, 0 = 2*h + 4*p - 14. Suppose h*s = 4*a - 2*s, 0 = -3*a - 5*s - 35. Let w be i(a). Which is greater: w or -4/11?
-4/11
Let v = -56 + 88. Suppose -2*t + 8 = 4*h - 0, -4*t - v = -4*h. Let a = 597 - 594. Which is bigger: h or a?
h
Let d be 1 - -1 - 48/23. Let k(o) = -2*o**2 + 4*o. Suppose -2*w - 6 = -5*w. Let b be k(w). Is b not equal to d?
True
Let o = 2 - 1.72. Let m = 0.58 - o. Is m greater than 0.1?
True
Let o be -12 + 11 + -1*(-1652)/1660. Which is smaller: 0 or o?
o
Let r(s) be the third derivative of s**4/8 - 5*s**3/3 + 6*s**2. Let j be r(8). Which is smaller: j or 1?
1
Let u(q) = 4*q**2 + 18*q + 6. Let h be u(-7). Let i = 75 - h. Are i and -7/5 nonequal?
True
Let y(r) = -r**3 + r - 5. Let h be y(0). Suppose 2*f + 5 - 4 = 3*c, -f - 1 = -c. Which is smaller: h or c?
h
Let t(l) = -l**2 + 11*l - 5. Let z be t(11). Let v = -32/5 - -6. Is z less than v?
True
Let m be (-5)/6*(999/330 + -3). Let p = -0.424 + 0.324. Is p less than or equal to m?
True
Suppose -804*v + 805*v - 246 = 0. Which is smaller: v or 1224/5?
1224/5
Let v = 359.6 + -360. Is v at most as big as -1.2?
False
Let l(m) be the first derivative of m**3/3 + 9*m**2/2 + 2*m - 5. Let w be l(-6). Which is greater: w or 0?
0
Let j(o) = -31*o + 2. Let t be j(-2). Let w = 702/11 - t. Suppose 2*q - 64 = -62. Which is smaller: w or q?
w
Let j = -5 - -5. Suppose 3*x = 2 + 1. Let m be (-80)/(-34) - (3 - x). Do m and j have the same value?
False
Suppose 2*p = -u - 1298, 3*u - 4*p + 1229 = -2705. Is -1306 bigger than u?
False
Let y(p) = p**3 + 3*p**2 - 2*p + 2. Let j be y(1). Suppose -j*w - 72 = -308. Is w > 58?
True
Suppose -3*m + 4*n = -209, 3*m - 2*n + 0*n = 205. Which is smaller: m or 68?
m
Let q(b) = -2*b**3 + 5*b**2 + 8*b + 7. Let h = 8 - 3. Let g(v) = -3*v**3 + 11*v**2 + 16*v + 14. Let l(y) = h*q(y) - 3*g(y). Let u be l(-7). Does u = -4/9?
False
Suppose -p + 4*j - 30 = 3*j, 4 = j. Let c(v) = -v**3 + 14*v**2 - v + 40. Let n be c(14). Let w = n + p. Which is smaller: -7/5 or w?
-7/5
Let x(p) = -3*p + 8*p - 6 - 8*p**2 + 3*p + p**3. Let j be x(7). Let q = -223/756 + 1/108. Is j not equal to q?
True
Let z = -3.114 - -0.014. Let w = z + 3.2. Is w > 22?
False
Let z(v) be the third derivative of -v**6/120 - v**5/5 + v**4/12 + 14*v**3/3 + 27*v**2. Let i be z(-12). Which is greater: i or 10?
10
Suppose -8*s + 3*s - 4*w = 15, 8 = -4*s - 4*w. Let d be 2/2 + s + 5. Let l be (-16)/(-70) + (-2)/(-10). Which is smaller: l or d?
d
Let u be (-153)/34*2/(-3). Let d(r) = -5 + 3*r - u - 2*r. Let f be d(9). Which is smaller: -4/9 or f?
-4/9
Let c = -8 - -8. Suppose -2*s + s - 4 = c. Which is bigger: -6 or s?
s
Let j = 847/3 - 310. Are j and -27 nonequal?
True
Let s = 0.326 - -0.494. Is 0.5 not equal to s?
True
Suppose -2*d - 4*b = -d - 56, 4*b - 16 = 0. Suppose -d = 4*g + 4*p, -5*g + 2*p - 50 = 6*p. Which is bigger: g or -11?
g
Let o = 269005/52 + -5173. Let y = o + 1/13. Suppose -3*l = 3*s + 3, -l - 1 = -4*s + 5. Is y smaller than s?
True
Let j = 7 - 8.6. Let v = j - 5.4. Let k = -133/6 - -45/2. Which is greater: v or k?
k
Let f(s) = -s**3 - 2*s**2 + s - 5. Let a be f(0). Let j(l) = -l - 7. Let d be j(a). Is -18/19 bigger than d?
True
Let n be 12/(-15)*820/8. Is -81 <= n?
False
Let u(v) = -v**2 + 4*v + 16. Let r be u(6). Suppose -13*i + 9*i + r = 0. Is i at most as big as 2?
True
Let w = -1400 + 1400. Which is smaller: -34/23 or w?
-34/23
Let u = 283 + -288. Is u at most as big as 0?
True
Suppose -1 + 10 = 9*n. Which is bigger: 21/10 or n?
21/10
Let y = 928 + -1602. Is y smaller than -673?
True
Suppose -p - 4 = 3*p. Let a(w) = -7*w - 1. Let m(t) = -8*t - 1. Let g(d) = 6*a(d) - 5*m(d). Let o be g(p). Is 3/16 greater than o?
False
Let y = -246 + 87. Which is smaller: 1/3 or y?
y
Suppose s - 7 = -4*v, 2*s + 2*v - 8 = -0*s. Let g be ((-6)/4)/((-6)/20). Suppose g*m = 4*b - 26, m = -b + 6*b - 22. Is s bigger than b?
False
Suppose -54*o + 65*o = 0. Which is bigger: o or 3/614?
3/614
Let w be (-2)/(-7) + 5280/(-154). Which is bigger: w or -30?
-30
Suppose 2*t + t - 2*s = -6, 4*t = 5*s - 8. Which is greater: -4 or t?
t
Suppose -33 = 4*v - 4*o - 9, 0 = -o. Let m(h) = -5*h + 3 - h**2 - 10*h + 17*h - 7*h. Let u be m(v). Is -3 > u?
False
Let s be 1367/30 - (-74)/(-1110). Which is greater: s or 46?
46
Let o(v) = v**2 - 8