= -13168*w. Which is smaller: d or w?
d
Let m = -8.58 + 9. Let b = 0.32 - m. Let d(s) = -s**2 + 7*s - 6. Let h be d(4). Which is bigger: h or b?
h
Let g = -19081/36 + 530. Suppose -1207*a - 14 = -1221*a. Which is smaller: a or g?
g
Let v = -45 - -31. Let i be ((-12)/v)/(48/42). Which is greater: i or 1?
1
Let r = 3.79 - 6.79. Is r less than 109?
True
Let q(c) = c - 5. Let t be q(9). Suppose 48 = t*r - 52. Is 25 less than r?
False
Suppose -68*d - 560 = -75*d. Which is greater: 82 or d?
82
Let h be 6/14*(-63)/441. Let d be 0 - (-4 - -2) - 3. Is d less than h?
True
Let p = -740.6 + 683. Let v = -58 - p. Which is smaller: -5 or v?
-5
Let w = -10 + 21. Suppose i = -47 + w. Is -36 bigger than i?
False
Let m(z) = -z**2 - 3*z - 3. Let p(y) = -y**3 - 8*y**2 + 10*y + 6. Let c be p(-9). Let l be m(c). Which is greater: -2 or l?
-2
Suppose 5*l = -l. Suppose 0 = -3*q + 5*j + 6, 4*q + j - 8 = -2*j. Suppose 0*w + q*w = 0. Do l and w have different values?
False
Suppose 0*j = 2*s - j - 106, 5*j = -3*s + 133. Suppose s*b = 52*b. Are -20 and b unequal?
True
Let n = 575/2 + -1433/5. Let p = 1225 - 1224. Which is smaller: n or p?
n
Let i = -27.91 + 28. Let l = i + -0.05. Which is smaller: -1 or l?
-1
Let k be (344/8)/((-1)/4). Let w = k + 18. Let f = -2001/13 - w. Which is greater: -2 or f?
f
Suppose 0 = 22*c - 18*c - 16. Suppose 3*o - c*o = 3*k + 4, o = -4. Which is bigger: 2/9 or k?
2/9
Suppose 5*w - 3*w = 24. Suppose -r = 0, 0*p + p - 13 = -2*r. Which is greater: w or p?
p
Suppose -2*p = -3*u - 4, -u - 21 = u - 5*p. Suppose u*r = -3*r. Which is bigger: r or -1?
r
Let x(q) = q**3 + 18*q**2 + q + 13. Let w be x(-18). Let s be (0/4 - -1*1)/w. Does s = -0.3?
False
Let o = 42649/3 + -14075. Is o less than or equal to 141?
False
Let s be (12/144*8)/(2/3). Let h be 10/25*(-4 + -1). Let u be (-3 - h) + (-102)/(-98). Is s not equal to u?
True
Let j be (-11)/33 + (-278)/(-6). Suppose -2*q = 3*p - 0*p + j, -5*p - 74 = 4*q. Let l = 4 + -23. Are p and l non-equal?
True
Let w be (1/2)/(8/128). Let i(f) = -f + 3. Let n be i(w). Let c be 2/(-1) + (-2 - n). Which is bigger: -1 or c?
c
Let d be 0/(-5) + 18/3 + -1. Is -2 smaller than d?
True
Let b = 261 + -253. Which is smaller: b or 10?
b
Let l be (1/2)/(4 + (-27)/6). Suppose 0*d = -4*d + 336. Let i be (-16)/d*(-9)/(-6). Which is smaller: l or i?
l
Let h be 2 - 7/(1239/352). Let n = h + 344/885. Let m = 16 - 11. Is n != m?
True
Suppose 5*l = 4*t + 41, 6*t = -2*l + t + 23. Let m = l + -5. Suppose -m*o + 4 = -0. Which is bigger: -2/7 or o?
o
Let y(x) = -3*x - 73. Let l be y(-30). Let m(c) = -8*c + 2. Let k be m(-2). Which is smaller: k or l?
l
Let w = 7531 + -3034995/403. Is -1 >= w?
False
Let u = -4 - -1. Let y be ((-6)/(-20))/((198/(-209))/6). Is y at least as big as u?
True
Suppose 0 = -s + 3 - 5. Let c be (s + 24/10)*10. Suppose 0 = 13*m - 12*m - 3. Is m at least as big as c?
False
Let f = -14.7 - -12.64. Let b = f - -2. Let n be (-2)/(-5) + 4*(-143)/780. Is n >= b?
False
Let t = -2596 - -1193. Which is smaller: t or 2?
t
Let h(z) = -2*z**3 - z - 2. Let b be h(-3). Let x be (-2)/11 + 131/b. Let s = 82 - 80. Which is smaller: x or s?
s
Let s be (4/8)/((-2)/(-436)). Let f = 83 + 25. Which is greater: f or s?
s
Let i(j) = j - 1. Let k be (0 + 0)/((-6)/(-9)*-3). Let n be i(k). Let s be (-2)/72*2 - 0. Are n and s nonequal?
True
Let u(f) = f**2 - 3*f + 3. Let o be u(0). Let i = o - 109/37. Let q = -2 - -2. Which is smaller: q or i?
q
Let k = -492 + 238. Is k greater than or equal to -254?
True
Suppose 0*k + 3*k = 2*c + 1, -4*k + 6 = 2*c. Let j be ((-8)/3)/1*(-36)/(-24). Let w be 0 - j - 10*(-8)/(-20). Which is bigger: w or c?
c
Let w be (-3)/19*(-34)/(-1122). Is -1 at least as big as w?
False
Let o(c) = -11*c - 1. Let z = -21 + 22. Let a(r) = -r**3. Let y be a(z). Let g be o(y). Which is smaller: 8 or g?
8
Let r be (15/6 + 1)*2. Is r equal to 6?
False
Suppose 3*f + 6 = 6*f. Let m(z) = -z + 1. Let c be m(-8). Suppose f*n = 3*n + c. Is n <= -7?
True
Let g = -13.4 - -15. Let b = -2852 + 2852.1. Is b less than or equal to g?
True
Let g = 3012/139 - 64423/8201. Let d = 174023/12803 - g. Let a = d + -2/31. Which is smaller: 0 or a?
a
Let g be (-12)/60 + (-18115)/50. Let s be (-354 - 1) + -2 + 1. Let l = s - g. Which is greater: l or 7?
7
Let a be (-7)/(-2) - 1/(-2). Suppose z = 4*j + 16, a*j + 16 = -2*z - 3*z. Suppose 89 = g + 93. Do g and j have the same value?
True
Let h(s) = -2*s - 3. Let i be h(-2). Let r = 11.04 + -13.6. Let g = r - -2.6. Is g not equal to i?
True
Let h(v) = -15*v - 6. Let c be h(-2). Which is greater: 22 or c?
c
Suppose -2*t = -0*t. Suppose 0 = -3*z + 9*z - 138. Suppose -24 = z*l - 15*l. Which is smaller: t or l?
l
Suppose -s = -3*s. Suppose 4*z + 6*f - f + 3 = s, -4*z + 3*f - 43 = 0. Suppose -2*r - 8 = r - 2*q, 2*r = -2*q - 22. Which is smaller: r or z?
z
Suppose -2*d + 5*w = -18, -d = w - 11 + 16. Which is greater: d or -40?
d
Let h = -3.32 - -3.62. Which is greater: h or -83?
h
Let p(z) = z**3 - 6*z**2 + 5*z - 21. Let a be p(6). Suppose -21*s + 96 = -a*s. Is -2/19 < s?
True
Suppose -7*i = -23*i - 960. Which is smaller: -62 or i?
-62
Suppose -4*u - 130 = -2*w, -2*w + 3*u + 84 = -43. Is w less than or equal to 7?
False
Suppose -h - 4 = 4*a + 16, -3*a - 4 = -2*h. Is 52 at least as big as h?
True
Let k = -18 - 2. Suppose -15 + 315 = 20*g. Let c = k + g. Is c less than -5?
False
Let v be ((-2)/2)/(15/(-165)). Suppose -2*p - v = 17. Let r(k) = -4*k + 9. Let s be r(6). Is p >= s?
True
Let r(o) = 41*o + 13. Let u be r(2). Is 90 != u?
True
Let j be ((-11)/(264/16))/(2/3). Let w = 25/13 - 1901/975. Is j greater than w?
False
Let n = 11/18 - 1/9. Let h = 1/3 - n. Suppose -3*a + 7 = -d, -5*a - 1 = 3*d + 6. Is a bigger than h?
True
Let q = 924 - 926. Which is smaller: -30/7 or q?
-30/7
Let l be 33/(-6) + 5 - (-380)/(-8). Does 0 = l?
False
Let o = -586 - -583. Is 3 >= o?
True
Let j = -3.16 - -8.16. Let n = 0.22 - 1.12. Which is greater: n or j?
j
Let f(j) = j**3 - 16*j**2 + 15*j - 1. Suppose 3*g = -45 + 225. Let u be g/2*2/4. Let n be f(u). Which is smaller: -3/10 or n?
n
Suppose 7*p = 1 + 27. Suppose -45 = t + p*t. Let y = t + 18. Is y at least 10?
False
Let f = -2 + 14. Let o be 31/7 + f/(-28). Let w be (8/o)/(15/12). Which is smaller: 2 or w?
w
Suppose 35*h - 45*h + 220 = 0. Is 22 not equal to h?
False
Let j = 33 + -67. Let y = 12 + j. Is y equal to -20?
False
Let m(w) = w + 12. Suppose g = z - g + 9, 5*g = -4*z - 10. Let o be m(z). Suppose 3*x - 4*q + o = 0, q - 5 = -1. Which is smaller: 2 or x?
2
Let l be (8/5 - 6/10)*-2. Do l and -2/55 have the same value?
False
Let m be (((-1)/(-4))/((-36)/288))/(-4001). Which is smaller: m or 1?
m
Let d = 1540 + -174022/113. Is 0 less than d?
False
Suppose -3*v + 6*v = 48. Let p = v - 12. Suppose 0*u = p*u + 52. Is u != -12?
True
Let k be 6 - ((-1)/(-4)*-29)/(45/(-40)). Suppose -5*r = -2*o - 13, -o + 10 = 2*r + 3*o. Suppose -y + r*y - 10 = -4*i, 2*y = 10. Is k equal to i?
False
Let x = 0.586 + -0.186. Let v = 0.1 - 0.6. Is v greater than or equal to x?
False
Let p = -25449/445 - -286/5. Is p bigger than -1?
True
Let y = 207 + -203. Which is smaller: y or 2?
2
Let k = 1117.842 + -1119. Let i = k + 0.158. Which is smaller: -6/5 or i?
-6/5
Let a = -87 + 79. Let h be -2 + 0 + -8 + 0. Which is smaller: a or h?
h
Let y(u) be the third derivative of -u**6/120 - 2*u**5/15 + u**4/3 - 11*u**3/6 + 9*u**2. Let k be y(-9). Let m be k/4 + (-105)/10. Is m less than -9?
True
Let p = 66 - 63. Let d be (-4 - (-11)/3)*p. Does -10/9 = d?
False
Let g = 43 + -38. Suppose 0 = 5*m - 25, m = -g*h - 0 + 10. Is h equal to -24?
False
Let k = 44 + -48.6. Let f = k + 6.6. Which is smaller: f or -28?
-28
Let c = -0.12 - -1.12. Which is smaller: c or 162?
c
Let f(x) = -x**3 + 11*x**2 - 8*x - 14. Suppose 5*a - 40 = a. Let z be f(a). Suppose -9*n + z*n = 0. Which is greater: -4/13 or n?
n
Suppose 4*y - 23 - 5 = 0. Suppose -7 = 7*o + y. Let j be 1 + (-10)/6 + 0. Is j greater than o?
True
Suppose 3*k + 2*l + 3 = 0, -k - 4*l - 8 = 3*k. Let m be ((-1)/(-2))/(k/(-2)). Let w = -140/3 - -47. Are w and m unequal?
True
Let q = -0.04 + 19.04. Let r = 1062 + -1152.9. Let v = r + 91. Is q > v?
True
Let z be 10*2/24*21244/(-205). Let s = 259/3 + z. Is s less than 1?
True
Let m = 69 + 32. Let x = 100.9 - m. Is 25 less than x?
