1. Let q be f(-1). Let m = q + -23. Suppose 0 = 2*x + 2*r - m*r - 12, 0 = -x - r - 3. Which is smaller: x or 1/4?
x
Let m = -744.081 - -744. Is m greater than or equal to -1.1?
True
Let x = -2.84 + -0.16. Which is greater: -5 or x?
x
Let k = -17 + 2. Let n be 1/k + 6/(-10). Do 0 and n have different values?
True
Let g = 89/12 - 16489/2220. Which is smaller: g or -1?
-1
Let f(u) = u**2 + 12*u - 8. Let a be f(-13). Suppose -5*m - 5 = -s, -a*s - 4 = 5*m + 31. Let q = -3 + 4. Is q at most as big as m?
False
Let i = -31/72 - -7/72. Which is smaller: i or 446?
i
Let h = -33.1 - -33.5. Is h >= 0.2?
True
Let h = 7.093 + 0.007. Let p = 7 - h. Let t = -1 - -2. Which is smaller: p or t?
p
Let c(h) = h**2 + 52*h. Let l be c(0). Which is smaller: -5/46 or l?
-5/46
Let q be (-24)/(-6)*4/(-2). Let z be 1/q - 94/16. Is z < -5?
True
Let d = 4.6646 - -0.1354. Is d less than 0?
False
Let s = -1128 + 1002. Which is smaller: -124 or s?
s
Let q = 156 + -158. Let x = 15 - 20. Is x > q?
False
Let k(a) = -a**2 + 11. Let p be k(6). Let r = -23 - p. Is r at most as big as 0?
False
Let x be -7 - (8227/(-1216) - 2/8). Which is smaller: x or -1?
-1
Let z = 492 - 835. Are z and -345 nonequal?
True
Let n(w) = -w**3 + 2*w**2 - 6*w + 11. Let f be n(2). Is -1/165 equal to f?
False
Suppose 106*b = 121*b - 2115. Which is smaller: b or 707/5?
b
Let y = 0.055 - -0.008. Let h = y - 0.163. Which is greater: -8 or h?
h
Let k = -19 + 24. Let d = 4.9 - k. Which is smaller: 1/52 or d?
d
Suppose 0 = -15*k + 47 - 92. Let o = -19/88 - 2243/616. Is k at least as big as o?
True
Suppose -2*l = -3*j - 22, 3*l - 6*l + 19 = -j. Let i be (3 - -8) + -3 - (-4 + 4). Let n be i/68 - (-159)/(-51). Is j less than or equal to n?
True
Let h = -19 - -16. Let p = 2 + h. Let s = -1.26 - 0.14. Is s <= p?
True
Suppose -4*z + 0*z + l = 27, -2*z = -2*l + 18. Let g be (9 + 1)*(-3)/z. Suppose 0 = -g*o - 6 - 4. Which is smaller: o or -1/8?
o
Suppose 20*m - 13*m = 70. Let v be 14*(3 + (-35)/m). Which is greater: -20/3 or v?
-20/3
Let p be (-2)/(-7) + 24/14. Suppose x - 4 = p*x. Let w be 1/x - (-9)/(-12). Is w greater than -1?
False
Let i be (-351)/18*(1 - (-14)/(-6)). Is 180/7 at most i?
True
Let m = -334 - -320. Are -158/11 and m equal?
False
Let p = -1136 - -1326. Which is smaller: 188 or p?
188
Let f = 6.11 + -0.11. Let t = f - 51. Is -2/3 greater than t?
True
Let q be -2*1 - 1*-1. Let i = -24 - -24. Suppose -c - 11 = -i*c - 5*s, 2*c = -3*s + 4. Is c bigger than q?
False
Suppose 2*n - 3*z = 644, -3*n = 2*n - 2*z - 1588. Are n and 315 non-equal?
True
Let r = -0.33 + 3.63. Let c = -6.3 + r. Let u be (-6)/(-27) + 74/(-90). Is c at least as big as u?
False
Let a(r) = 2*r**2 - r - 7. Let s(i) = -10*i**2 + 4*i + 36. Let t(b) = 16*a(b) + 3*s(b). Let g be t(3). Which is greater: g or 5/7?
g
Let r = -7.08 - -7. Let j = r + 0.58. Let i = j + -0.4. Which is bigger: i or 0.6?
0.6
Let j = 0.3 + -0.36. Let z = -22.8 + -3.2. Let k = z + 26. Is k >= j?
True
Suppose -18 + 56 = -c. Let a be (-1360)/35 - (36/(-42) - -1). Which is smaller: c or a?
a
Let l be 2/(-6) - (6/9 - 0). Let q be 1/((7 - 4) + -3 + l). Is q at least 2/65?
False
Let l = -3 + 0. Let c = 1 - l. Let g be -1*((-44)/c - -1). Is 10 greater than or equal to g?
True
Let h = -3 + -4. Let o = 3 + h. Let s be 0/2 + o/(-18). Which is smaller: s or 0?
0
Let m be (-2)/(-15) - (-31)/(6045/122434). Is 631 at most m?
False
Let l = -1/42 + 89/210. Which is bigger: l or 0.06?
l
Let j = -8177 - -8240. Let z be 569/9 + (-4)/18. Is z <= j?
True
Let y be (370/(-35))/(-2) + (-8)/28. Let l(j) = 5*j + 1. Let p(d) = -5*d - 2. Let w(f) = 5*l(f) + 4*p(f). Let s be w(2). Does y = s?
False
Let d(b) = 3*b**3 - 6*b**2 + 6*b + 1. Let u be d(3). Suppose -u*k + 51*k = -15. Are k and -8/5 nonequal?
True
Let j be ((-31)/186)/(10/(-104)). Which is greater: j or 1?
j
Let d(c) = c**2 - 4*c - 12. Let s(h) = 2*h - 8. Let a be s(7). Let v be d(a). Which is smaller: v or -1/3?
-1/3
Let k = -0.0265 - -134.0265. Which is bigger: 0.2 or k?
k
Let q = 0.7 - -21.3. Let i = -28 - q. Which is bigger: 2/3 or i?
2/3
Let b = -9/31 - -151/93. Are -154 and b non-equal?
True
Suppose -3*w - 5*m - 32 = -m, 2*w - 3*m - 7 = 0. Let x(k) = -k**2 + 11*k - 14. Suppose 0 = 4*u - 5*y - 25, 3*y + 13 = 5*u - 28. Let p be x(u). Is w less than p?
False
Let s(g) = g**2 + 11*g + 13. Let w be s(-10). Suppose -w*t + 3*c - 6 = 0, -5 = -5*t - 0*c + 2*c. Suppose 0*b = t*b. Is b at most as big as 6/19?
True
Suppose 47 - 7 = -4*l. Let r be -1 + (-1 - (-2 - -3)). Let n be 1/(3/r) - 8. Which is smaller: l or n?
l
Suppose -4*w - 4*o = -3*o - 104, -5*w = 4*o - 141. Suppose -w = -4*b + 59. Let k be 7/b + (-8)/6. Which is greater: 1/8 or k?
1/8
Let l = 271.5 - 39.5. Is l at most as big as 1/2?
False
Suppose 5*u - 5382 = 14*u. Is 0 less than u?
False
Let j(s) = -15*s - 42. Let w be j(-12). Is w at most as big as 139?
True
Let t = 3.5 + 27.5. Let w = t - 24. Which is smaller: w or 2?
2
Let m be 10/404*60/75. Let t = m - -394/505. Let c be (4/(-2) - 0)/(-1). Which is smaller: t or c?
t
Suppose -64*x - 2*x = -132. Let t(a) = -a**3 + a**2 + a - 1. Let m be t(1). Suppose -2*n + 5 - 1 = m. Is x < n?
False
Let u = 596 + -597. Let w = -4326 - -6471695/1496. Let r = -3029/55352 - w. Which is bigger: r or u?
r
Let y = 190 - 1706/9. Suppose -2*q + 6*q - 5*r = -5, -q - 3*r = -3. Is q smaller than y?
True
Let s = -0.35 + 22.35. Let k = 859 - 837.2. Let a = s - k. Is a > -7?
True
Let j = 113 + -113. Suppose 13 = 3*m - 2*f, 0 = -2*f - 5 + 1. Is m not equal to j?
True
Suppose -2*y = -2*j - 8, -2*y - 5*j + 10 = -y. Let s be 6/15*y + -3. Suppose -2 = -2*b + 3*b. Which is greater: s or b?
s
Suppose 0 = -4*f + 9 - 25. Let x be (-1 - -2)*(f + 3). Let z be (-3 - x) + (-50)/(-15). Is 0.2 < z?
True
Let s = -59/20 + 97/20. Which is bigger: 3 or s?
3
Let m be (-6)/4*(-16)/108. Let x = 0.35 + -14.35. Let s = 13 + x. Which is bigger: m or s?
m
Let w = 1514 + -155944/103. Suppose 0 = -x + g + 56 - 51, -3*x - g - 9 = 0. Which is smaller: w or x?
x
Let r = 5.9 - 76.9. Let l = r - -71.9. Is 0 greater than l?
False
Let q be 251/4 - (5 + 84/(-16)). Suppose 3*z + 81 - 273 = 0. Which is greater: q or z?
z
Let l be (-201)/(-105) - 6/3. Let s(c) = -c**2 + 4*c + 13. Let i be s(-2). Is l less than or equal to i?
True
Suppose -40*p + 3 = 43. Which is smaller: p or 14?
p
Let z be 2/(5 + -3) + 1. Let n(t) = -t**2 + 3*t + 1. Let k be n(z). Let r be (-9)/k + 2 + -2. Which is smaller: r or -3/2?
r
Let z be (0 + (-1)/(-2))*(-24)/(-114). Let k(i) = -i**2 - 8*i + 8. Let g be k(-9). Which is smaller: g or z?
g
Suppose -2*o = 5*v - 14, 3*v = -v - 5*o + 1. Let j be ((-7)/98)/((-5)/v). Let r = -41/105 + j. Is r less than or equal to 1?
True
Suppose 5*j = 5, -3*j = -3*b - 7*j + 46. Which is bigger: b or 5?
b
Let f(x) = 2*x**2 - 10*x - 11. Let u be f(8). Suppose 44*z + 63 = u*z. Which is smaller: z or -7?
z
Let d be (-22)/(-6) - 40/40. Is 2 at least as big as d?
False
Let b be (-1)/((-26)/5 + 5). Suppose j + 13 = b*z, 2*j - 3*z = -2 - 3. Is 3/4 greater than or equal to j?
False
Let x(k) = 2*k - 12. Let b(n) = n - 13. Let h(r) = -3*b(r) + 4*x(r). Let d be h(2). Which is smaller: 3/11 or d?
3/11
Let c be -1 - -6*6/39. Let o be 1 - (8/(-4) + 11) - -2. Let i(q) = q + 5. Let p be i(o). Which is smaller: p or c?
p
Let n = -619 - -809. Which is smaller: n or 191?
n
Let v(n) be the second derivative of -n**4/12 + 5*n**3/6 - 5*n**2 - n. Let j(y) = 8*y - 60. Let k be j(8). Let b be v(k). Which is bigger: b or -3?
-3
Suppose 40 = -2*q - 2*q. Let j(v) = -v**2 - 8*v + 17. Let x be j(q). Is x less than or equal to -20/9?
True
Let t(z) = 3*z**3 + 8*z**2 - z + 6. Let n(s) = 4*s**3 + 8*s**2 - s + 5. Let a(o) = -4*n(o) + 5*t(o). Let j be a(8). Is j > 0.11?
True
Let b = -8241735 - -3354388793/407. Let i = b + -160/37. Let z(w) = 2*w. Let g be z(1). Is i smaller than g?
False
Suppose -q - 61 = 2*a, -q + a - 76 = -0*q. Let w = 70 + q. Suppose 6 = -2*b - 2*b + 2*d, -d + 4 = -b. Are b and w equal?
False
Let b = -8 - -8. Let p(q) be the third derivative of -q**5/60 - q**4/2 + 11*q**3/6 + 10*q**2. Let i be p(-13). Which is bigger: i or b?
b
Suppose -51*u - 202 = -49*u. Let l = 77 + u. Is -25 < l?
True
Let b be 2/6*((-20)/(-1) - 2). Let n be (-3)/(-6)*(-4 + b). Is n >= -2/51?
True
Let t = -1/127 - 376/635. Suppose -4*a + 4