
True
Let h = 123287/23 + -5359. Let q be (10/(-6) + 0)*12/(-10). Is h at most as big as q?
True
Let y = -3832/9 + 425. Are -2 and y nonequal?
True
Let f(c) = c**3 - 20*c**2 + 48*c + 65. Let q be f(17). Which is bigger: q or 22?
22
Let t = 39310/11 - 3568. Let c = 6742/143 + -542/13. Let v = c - t. Which is smaller: v or -1?
-1
Let v be 2*2 - 39*264/1974. Let r = v - 10/47. Is r > -2?
True
Let w = -0.67 - -0.57. Is -360 smaller than w?
True
Let h be ((-14)/(-35))/(141/(-105)). Is -1 less than or equal to h?
True
Let g = 100 + -59. Suppose -3*j - 2*w = -14, 0*j - 5*w - g = -2*j. Which is smaller: j or 7?
7
Let c = 22 + -6. Suppose t - 29 = 2*o - 10, t - 35 = 4*o. Let i = c + o. Does 2 = i?
False
Let l = 1 + -8.2. Let j = l + 2.2. Which is smaller: 0 or j?
j
Suppose -3*m = -5*x + 1, -m = 2*m - 4*x + 2. Let c(n) = -3*n**2 + 2*n + 3. Let k be c(m). Let i = 13 + k. Is -1/2 equal to i?
False
Suppose -5 = 2*a + 3. Let n = 7 + a. Suppose 14 + 6 = 4*o, -2*l + n*o + 7 = 0. Which is greater: l or 9?
l
Let u = 189 + -1509/8. Let o = 2.3 - 2.2. Is o > u?
False
Let a(w) = w**3 - 9*w**2 + 10*w - 14. Let n be a(8). Suppose -6 = -n*l - 76. Let s = l + 34. Which is smaller: s or 5/13?
s
Let d = -0.021 + 1.021. Let p = 3.1 - 3.01. Which is bigger: d or p?
d
Suppose 397 = 8*r - 7*r - 5*p, -2*r = 5*p - 719. Is r greater than 372?
False
Let s = -52 + 99/2. Let g(u) = 12*u**3 + u**2. Let r be g(1). Suppose 5*o + 26 - 10 = 2*t, -3*t + r = -2*o. Is s greater than o?
False
Let g(j) = -j**2 + j - 1. Let v(k) = -3*k**2 + 26*k + 35. Let i(h) = 4*g(h) - v(h). Let b be i(-20). Which is bigger: b or -1.1?
b
Let s(q) = 5*q + 68. Let o be s(-13). Let u = 4 - 2. Are o and u equal?
False
Let n(p) = -p**3 - 5*p**2 - 3*p + 1. Let r(d) = d**3 - 6*d**2 - 3. Let o be r(6). Let s be n(o). Let b = 7 + s. Which is bigger: b or -4/3?
b
Suppose 0 = -5*o + 4*o + 5*l + 4, 3*l = 0. Suppose 5*w = j + 30, -3*w - 5*j = w - 53. Suppose -16 = 4*k, 6*k = 3*f + w*k - 14. Is f equal to o?
False
Let c(k) = -5*k - 28. Suppose 0 = 2*f - 4*r + 16, -12 = -2*f + 3*f + 2*r. Let u be c(f). Which is smaller: 23 or u?
u
Let v(w) = w**3 - 5*w**2 + 2*w + 18. Let a be v(3). Is -0.2 equal to a?
False
Let j = 1660 + -1663. Suppose p + 2 = -4*z - 0, 2*p = 4*z + 8. Let b be p + ((-90)/(-4))/(-5). Are j and b nonequal?
True
Suppose x = -2*p - 2, 4*x - 4*p = -p + 14. Suppose 0 = -x*d + 5 + 15. Let v be 2/d*(-2 - -3). Is -1 at most as big as v?
True
Suppose -f = 2 + 4. Let q(k) = -k**2 - 5*k + 10. Let n be q(f). Which is greater: n or 5?
5
Let v = 197.072 - 198. Let b = v + -0.072. Let a = -656/7 + 94. Is b >= a?
False
Let y(b) = 8*b + 615. Let u be y(-55). Is 173 at most as big as u?
True
Suppose -r = 3*r + 4*f - 32, -4*f + 28 = 3*r. Let l be (3 - 7) + 8 - r. Which is smaller: l or 1.7?
l
Let j be (10/(-35))/(10/(-126)) - 4. Is j at most -20/7?
False
Let i = -9.09 + 0.09. Let k = -7 - i. Let j = k - 1.5. Is 1/4 at most as big as j?
True
Let y = -334/3 + 3002/27. Let f = y - -16/27. Suppose q = -2*q + r + 1, 5*q = -3*r + 11. Which is greater: q or f?
q
Let l(t) = 2*t**3 + 12*t**2 - 2*t - 14. Let g be l(-6). Is 10 bigger than g?
True
Let h = 335 - 99. Which is smaller: h or 235?
235
Let u = 56 - 56.01. Let a = 30 - 26. Which is smaller: a or u?
u
Let x(s) = 12*s**2 + 14 - 17*s + 2*s**3 - 18*s**2 + 2*s**3 - 3*s**3. Let i be x(8). Is 7 less than or equal to i?
False
Let j(x) = x**3 - 30*x**2 - 33*x + 7. Let k be j(31). Suppose -5*r + 3*r + 4 = 0. Let a be r/8 + k/300. Which is smaller: a or -1?
-1
Suppose 2*a - 3*f = -99, 2*a + 81 = -0*a - 3*f. Suppose 3*b - 1 - 29 = 0. Let g be a/9*8/b. Which is greater: -1 or g?
-1
Suppose -z - 8 = -i, 4*z + z + 22 = -i. Suppose -c = 2*t - 4*t - 9, -5*t + c = 27. Let r be (-2 + 8)/(9/t). Which is greater: r or z?
r
Let z(q) = -q**2 - 21*q + 21. Let p be z(-22). Let l = -1/69 + -15/23. Are p and l unequal?
True
Let w(u) = u**2 + 2*u - 2. Let v be w(2). Suppose -2*t + 11 - 3 = 0. Suppose -2*g - i = -8, -t*g = -3*g - 4*i - 13. Which is smaller: v or g?
g
Suppose -7 = -a - 3*b - 25, -b + 57 = -2*a. Which is greater: a or -15?
-15
Let l = 204103/5355 - 343/9. Is -1 less than l?
True
Let l = -19 + 50. Let n = l + -30.9. Let t = 3.05 - 3. Is t less than n?
True
Let c(w) = w**3 - 3*w**2 - 10*w + 1. Let u be c(5). Which is greater: 8 or u?
8
Let k = -80 + 81. Which is smaller: 11 or k?
k
Let b(r) = -3*r - 18. Let w be b(-6). Let s be 1/(w + -1) - 0. Let n = 129/8 + -10691/664. Are s and n equal?
False
Let l(k) = k**3 + 4*k**2 + 3*k + 1. Let o be l(-2). Let h(v) = v + 5. Let x be h(0). Let u be -1 + 6 + x + -8. Does o = u?
False
Let v(z) = -z + 17. Let f be v(17). Suppose 0 = -l + i + 65, l = 4*i + 100 - 29. Let a be 2/12 + l/(-702). Is f less than a?
True
Let n = -47/140 + 1/20. Let l = 15 + -16.9. Let y = l + 1.9. Is y at most n?
False
Let l = -124 - -129.1. Let s = -0.12 - 4.88. Let o = l + s. Which is smaller: o or -5?
-5
Suppose 2*n + 2*b + 128 = 0, b - 5 + 4 = 0. Let h = -55 - n. Which is smaller: h or 7?
7
Suppose -2*m + 10 - 4 = 0. Let z be 8 - (-2 - 1) - m. Let w = z + -11. Which is greater: w or -5?
w
Suppose 7*i = 9*i. Which is bigger: i or -1/14?
i
Suppose l + 2*h = 8, -3 = -2*l + h - 2. Is l < 7/11?
False
Let i = -4 + 30. Let l = -1899 + 1898.9. Is l != i?
True
Suppose -8 = -16*g + 8*g. Which is smaller: g or 1/106?
1/106
Let d = -0.17 - 16.83. Let u = -18 - d. Which is smaller: u or -26?
-26
Let o = 0.009 - 0.056. Let h = o - -0.047. Do 3 and h have the same value?
False
Let b be 3 - 57/(-6)*-2. Let m be 84/63*(-14)/b. Is 1 < m?
True
Let r = -71543/20491 + 5/661. Which is greater: r or -3?
-3
Let d = 125648/7 + -18104. Let f = -154 - d. Which is bigger: 0 or f?
f
Suppose -3*s = 5*n + 5, 2*n - 3*s + 2 = -0*s. Let u = 15 - -20. Let t be (-45)/u*1/(-6). Is n at most as big as t?
True
Let y = 482 + -481. Let k = 2.82 - -0.08. Let t = 3 - k. Is y less than or equal to t?
False
Let i(j) = -6*j**3 - 2*j**2 + 1. Let z be i(-1). Let w be (-2 + 9/12)/((-22)/88). Suppose -2*c = -w*f - 0 + 2, f = z*c - 18. Which is greater: c or 3?
c
Let a be 2 - -3*(2 + -3). Let o(k) = 89*k + 1. Let b be o(2). Let j = -1250/7 + b. Which is smaller: j or a?
a
Suppose 0 = i + 4*j + 14, -8 = 3*i - 2*j - 3*j. Suppose -q + 3 + 2 = 0, 157 = 4*z + q. Let v = z + -43. Is v > i?
True
Suppose -10*d - 2*d + 12 = 0. Let r(x) = x + 3. Let p be r(0). Suppose p + d = 2*z. Is 2 > z?
False
Suppose 8*v - 4*i = 11*v - 568, -5*i + 945 = 5*v. Is v smaller than 188?
False
Let s(k) = -k**2 + 15*k + 16. Let n be s(16). Let l be (-2 - (n - -3))/2. Let y = l + 7/4. Which is bigger: -2 or y?
y
Suppose -7*n + 3*n + 12 = 0. Suppose -2*b + n = 3*j + b, b + 1 = 0. Let u(p) = -4*p**3 - 2*p**2 - p. Let t be u(-1). Is j != t?
True
Let m = -42833 + 1455237. Let x = 74854813/53 - m. Let q = x + 49. Which is bigger: q or -1?
q
Let q = 571 - 551. Is 18 less than q?
True
Let p(s) = -s**2 - 9*s + 1. Let k(f) = -5 + 15 + 8*f + f**2 - 11. Let l(g) = 5*k(g) + 4*p(g). Let a be l(-4). Which is smaller: -4/15 or a?
a
Let u = 22.957 - -0.043. Let x = 15 - u. Let p = x + 9. Which is bigger: -22 or p?
p
Suppose -2*p = 3*l - 8, -4*p = 2*l - 3*l - 16. Suppose p*i + 65 = 5. Suppose b - 112 = 8*b. Which is smaller: i or b?
b
Suppose -8*w - 21 = 19. Is w at most as big as 196?
True
Suppose 3*l + 0*z = -2*z + 29, -z - 26 = -3*l. Suppose -7 = -q - u, -3*u - 5 = -q + 14. Which is smaller: l or q?
l
Let f = -58 + 83. Let q = f + -28. Is 2 smaller than q?
False
Let r = 315 - 371. Which is smaller: r or -55?
r
Let w = 7 - 5. Let o be (74/9)/((-7)/(-42)). Let d = 52 - o. Is w at most as big as d?
True
Suppose 2*o - 15 + 37 = 0. Let p(v) = -v**2 - 9*v - 1. Let k be (-18)/(-4)*(-5 + 3). Let y be p(k). Are y and o unequal?
True
Suppose 0 = 4*i - 4*s, 4*i - 2*s = -0*s + 4. Suppose 0 = -4*w + 1 - 5. Is w greater than i?
False
Suppose -5*i = -3*i + 3*m + 198, -3*i - 2*m = 307. Let f be 16/(-12) - (-2)/i*5. Is 0 greater than f?
True
Let n = 3 + -6. Let r = n - -6. Let c = -7 + r. Which is bigger: c or -1?
-1
Let t = 115 + -105. Let m be ((-42)/35)/(4/t)*1. Which is greater: m or -0.8?
-0.8
Let u be (-3)/12 + 33/4. Suppose u = h - 5*h. Are -8/3 and h equal?
False
Let s = 16.04 + -16. Let m = s + -0.24. Let n = -5 - -5. Do n and m have the same value?
False
Let s be (20/(-6