48 + -524. Let u = d - 20.948. Which is bigger: -1.2 or u?
-1.2
Let w = -332 + 334. Suppose 0 = -w*j - 16 + 18. Which is smaller: j or 1/119?
1/119
Suppose 4*c + 5*s + 1 = 6, 4*c - s = -1. Suppose 2*n = -5*l + 185, 8*l - 12*l - 3*n + 148 = c. Which is greater: l or 38?
38
Let x(i) = -5*i + 125. Let r be x(24). Suppose -7*p + r*p + 2 = 0. Let q = 1/134 + 245/3082. Which is smaller: p or q?
q
Suppose -7*s - 1143 = 120*s. Is s >= -126?
True
Let i = 8437.93 - 8438. Is -22/7 less than or equal to i?
True
Let b = -0.23087 + 0.02987. Which is smaller: 15 or b?
b
Let r = 5.87 - 104.87. Which is smaller: 1.3 or r?
r
Let i be (-2 + 6/4)*66/(-12). Let z be (-75)/(-7) + 46/161. Let t(y) = y**3 - 10*y**2 - 11*y + 3. Let n be t(z). Which is smaller: n or i?
i
Let l(n) = n**3 + 9*n**2 - 28*n - 67. Let y be l(-10). Are 90 and y equal?
False
Let u = -18 + 22. Let j(f) = -2*f**2 + 6*f + 7. Let v be j(u). Let k(a) = -a**3 - 4*a**2 - 4*a - 5. Let n be k(-3). Which is greater: v or n?
v
Let w be ((-1762560)/(-1530480) - 8/7)/(-2 - 1). Is 1 not equal to w?
True
Suppose -6*i + 2*l - 2664 = 0, 0 = -4*i - 2*l - 665 - 1101. Is i at least -2?
False
Let m = 147/11 - 148/11. Let t be 8/(-4) - (-1)/(-4). Let u = 7/4 + t. Which is greater: u or m?
m
Suppose -1 - 19 = l. Let t be 26/8 + 5/l. Suppose -2*i + 3 = 5*d + 1, 5*i - 4*d - 5 = 0. Is t != i?
True
Let r = 120 - -1. Let w = -121.06 + r. Is 0.6 greater than or equal to w?
True
Let f(j) = j**3 + 20*j**2 + 10*j - 2. Let m be f(-7). Let v = m - 246908/437. Is 0 < v?
False
Let x = -70.4 - -71. Let s be 5/(-2) + 22 + -20. Which is smaller: s or x?
s
Let y = 0.04 - -7.96. Let t = 100 - 99.737. Let w = 0.063 - t. Are w and y nonequal?
True
Suppose 0 = 9*f + 11 - 38. Suppose -2*m - m - 5*q + 9 = 0, m = -f*q + 3. Let c be (-114)/(-27) + -7 + m. Which is bigger: c or -1?
c
Let g = -2154 - -5260. Which is bigger: g or 3105?
g
Let o = 234 + -231. Suppose -2*r + 6 = -o*l + 9, r - 3*l + 3 = 0. Let i = 150 + -2101/14. Is i <= r?
True
Let k = 7 + -5. Suppose 16 = -v - i, v + i = k*i - 12. Suppose 23*f + 224 = 7*f. Is v less than f?
False
Suppose 6*f = f. Suppose 9*m - 8 = m. Let z be m - 17/(-310)*-18. Is f at most z?
True
Suppose 0 = 4*w + 3*u - 25, 5*u = -7*w + 2*w + 30. Suppose 10*c = w*c - 378. Let b be ((c/(-4))/(-3))/(27/12). Which is smaller: -4 or b?
b
Let d(q) = -q**2 + q + 343. Let t be d(17). Is -5/3 less than t?
True
Let z = -523.4 + 222.4. Which is bigger: z or 10/3?
10/3
Let a = 1.537 + -2.647. Which is greater: a or 0.14?
0.14
Let f be 2/4 + 44/8. Let k = 86 - 46. Suppose -58*v + 54*v + k = 0. Is f bigger than v?
False
Let t be (-12)/18 - (2/9 - (-24960)/(-2565)). Which is smaller: 9 or t?
t
Let b(l) be the second derivative of l**4/4 - 47*l**3/6 + 31*l**2/2 + 17*l + 3. Let p be b(15). Which is greater: p or -7/15?
p
Let u = 0.13 - -21.87. Let x = 21.9 - u. Let b be (-51*(-2)/12)/((-8)/80). Which is smaller: b or x?
b
Let m = -30/18227689 - 4573837540982/2679470283. Let u = m - -1707. Are u and 1 equal?
False
Let z = -103/4 - -25. Suppose 0 = 3*q + 5*h - 39, 2*q + 4*h - 40 = -12. Suppose -q + 0 = 8*x. Which is smaller: x or z?
x
Let y(b) = -124*b - 9052. Let w be y(-73). Is 1/9867 less than or equal to w?
False
Let d(m) = -m - 2*m**3 + m**3 - 3*m + m - 4 - 5*m**2. Let x be d(-3). Let r be (10/4 - (-1508)/(-104)) + 0/(-1). Is r less than or equal to x?
False
Suppose 13*o - 8*o = 55. Let x = 5 - o. Let c be 1*(3/x)/(2/(-4)). Which is smaller: c or -10?
-10
Suppose -33*q = -525 + 1 - 136. Is q at most 67?
True
Let p = 2261193 - 3754490. Let w be p/(-756) + 24/32. Let z = w + -1976. Is 0 equal to z?
False
Let i = 1107.3 - 1173. Let a = -66.7 - i. Is -517 at most as big as a?
True
Let i = -1644 + 1693. Which is smaller: 35 or i?
35
Suppose 285*y - 15 = 280*y - a, 0 = -4*y - 3*a + 23. Which is smaller: -17.43 or y?
-17.43
Let p = -59 - -79. Let j be (-11)/55 + 344/p. Is 0.1 > j?
False
Let c = -30 - -26. Let r = c - 9. Let b be 1/(-2)*((-40)/10 - -30). Is r equal to b?
True
Let o be ((-2481)/5)/((-5)/(-23 + -2)). Is o less than or equal to -2481?
True
Let n(s) = -s**3 + 8*s**2 + 15*s + 10. Suppose -10*j = -6*j - 40. Let k be n(j). Let w be 3 - 10/(-32)*376/k. Is w at least 0?
True
Suppose -48 = 25*p - 29*p. Let q = 39 - p. Let z be (-8)/6 + (0 - 6/q). Is -2 >= z?
False
Let o = 3581 + -78701/22. Which is smaller: 4 or o?
o
Suppose -1250 = -8*c + 118. Let w = c - 171. Is -7/58 smaller than w?
True
Suppose -2*z + 5*n = -901, -z - 2 = -n - 451. Which is smaller: 449 or z?
z
Let h = 28/23 - 21295/17549. Which is bigger: -1 or h?
h
Let r be -494*(22 + -26 - -6). Which is bigger: r or -989?
r
Let b be 115 + -127 - (-10)/1. Suppose -2*z + 0*z = -7*z. Do z and b have different values?
True
Let f(j) = j**2 + 5*j - 14. Let i be f(5). Suppose -43*c = -i*c. Does -1/5 = c?
False
Let w = -11745 - -9176. Is w greater than or equal to -2567?
False
Let h = -2.509 + 3.509. Which is greater: h or -3/38?
h
Let d = -7084 - -8062. Are d and 978 equal?
True
Let n be (34/6)/(31/93). Are 23 and n nonequal?
True
Let x = 11703 + -11703.4. Is -192.3 at most x?
True
Let p be ((-39)/(-104)*-8)/(2/100). Which is smaller: -158 or p?
-158
Let g(b) = -37*b + 271. Let s(u) = -7*u + 45. Let y(r) = 6*g(r) - 34*s(r). Let w be y(-11). Do w and -77 have the same value?
False
Suppose -4*i - 4*u + 546 = 590, 3*i - u = -29. Let t be (-20)/13*7 - -2. Which is greater: t or i?
t
Let f(v) = -v**2 + 2*v + 4. Let n be f(3). Suppose 0 = -i + s + 4, -7*i + 3*i + s + 4 = 0. Let m be 0 - 12/366 - i. Are m and n nonequal?
True
Suppose 2*b - 4 = -2. Let a be ((-68)/(-16))/(b/(-4)). Let h be (-1 + -26)/(141/(-6) - -25). Is h smaller than a?
True
Let q = 24.3 - 27.69. Let j = -3.37 - q. Suppose 2*y + 8*r - 3*r = -12, 0 = -y + 2*r + 3. Is j less than or equal to y?
False
Let n = -3554 + 2445. Which is smaller: -1108 or n?
n
Let u = -247.2 - -8.2. Let q = -343 - u. Is -1 at least as big as q?
True
Let f(o) = 3*o**2 - 15*o - 5. Let b(d) = -2*d + 1. Let m(h) = -4*b(h) + f(h). Suppose -3 - 1 = 2*g. Let n be m(g). Is n less than 16?
False
Let w = 622 + -712. Which is smaller: -2/91 or w?
w
Let g(v) = 3*v - 22. Let u be g(-10). Let l = -54 - u. Let f be -1 + 1/12 + l/(-3). Which is bigger: f or -3?
f
Let b = -4.061 + 2.89. Let r = -0.071 - b. Let m = -1.6 + r. Which is smaller: m or 1/3?
m
Let y = 4457 - 4458. Let n(j) be the second derivative of 61*j**5/20 + j**4/4 - j**3/6 - j**2 - 2*j. Let k be n(y). Are k and -59 equal?
True
Let u be -3*2/15*10. Let f be (4/8)/(u/40). Is f at least 19?
False
Let r be ((5 - 10) + 6)*-216. Which is greater: r or -1952/9?
r
Let z be 345/5654 - (-16)/(-352). Which is greater: z or 1?
1
Let t = 105 + -102. Suppose 0 = t*x + 71 - 68. Is 3/136 at least x?
True
Suppose -173*l - 74088 = -86*l - 38*l. Is -6 != l?
True
Suppose 2*l = 7*l + 5. Let x = 704 + -702. Let f be (-10)/(-2425)*(-3 - x). Which is smaller: f or l?
l
Let w be (1 - 0) + 45 + 10/5. Let k = w - 47. Let m(b) = 24*b**2 - 2*b. Let o be m(k). Which is bigger: o or 23?
23
Let w = 12021 - 12017. Let o = -1753/154 + 209/14. Is w at most as big as o?
False
Let g be ((-40)/(-8))/(1/(-3 - 1)). Suppose 2 = 3*f - 5*y, 0 = -3*f - y - 4. Let s be -1 + -24 + (3 - f). Which is bigger: s or g?
g
Let n(d) be the third derivative of -d**6/120 - d**5/12 + 5*d**4/8 + 13*d**3/6 + 5*d**2 + 1. Let x be n(-7). Is 37/7 greater than or equal to x?
False
Let u = -14 + 16. Let p(r) = u - 4 - 5*r + 6*r. Let g be p(0). Is g greater than or equal to 2/5?
False
Let q(r) = r**2 + 12*r + 40. Let d be q(-5). Suppose 0 = -d*i - 3*g - 31 + 116, -5*g = 0. Is i <= 11?
False
Let b be ((-646)/(-57))/(1/(-3)). Let y = b + 37. Suppose 0 = y*z + 165 - 30. Is -44 at least as big as z?
True
Let h = -2/34951 - -3879605/768922. Do h and 4 have different values?
True
Let p = -2004/201823 - -331012159587/44401060. Let n = -7455 + p. Let b = n + -1/132. Is -0.2 at least b?
False
Let s be ((-2)/(-14))/(((-5)/50)/(222/60)). Which is greater: s or -0.004?
-0.004
Let t = 185559 + -920062/5. Which is smaller: 1548 or t?
t
Suppose -73 + 57 = -c. Suppose -2*m + c = -6. Let o be -1 + m - (-14)/7. Which is greater: 13 or o?
13
Let x = -23927719/73555 - -2107/1565. Let k(d) = d**3 + 13*d**2 - 21*d - 72. Let o be k(-12). Let g = x + o. Is -1 greater than