1
Let l = -62 + 556/9. Which is bigger: -2/3 or l?
l
Suppose 5*i + 14 = 4*x, 0 = 4*x + 3*i - 16 - 14. Suppose -5 = -3*z - t, 3*t + 11 = -2*z + x*z. Is z at most 3?
True
Let t(z) = -4*z**2 + 3*z + 12. Let v be t(0). Suppose -3*o - 4*j + 10 = -10, -5*o - 2*j = -52. Does o = v?
True
Suppose 0 = -2*c + 2*o, -4*c = -0*o - o - 3. Let p = c - 3. Let w be ((-15)/(-6) + p)*-1. Which is greater: -2/9 or w?
-2/9
Let u be (1/2)/((-2)/(-4)). Let i = -1.52 + 0.52. Do i and u have different values?
True
Let r = 210 + -254.9. Let j = r - -39. Let x = j + 6. Does x = 3?
False
Let a(l) be the first derivative of 11*l**2 + 6*l - 1. Let b be a(6). Let h = -410/3 + b. Which is smaller: 1 or h?
1
Suppose 0*f = -f - 4*a + 3, -2*a - 33 = -f. Let z = 11 - f. Which is bigger: z or -11?
-11
Let t(x) = -x**2 + 4*x + 2. Let b be 10/(-8)*(-2 + -2). Let n be t(b). Are 1 and n equal?
False
Let h(x) = 3 - 2*x - 2*x + 5 - 5 + x**2. Let y be h(4). Which is bigger: y or 5?
5
Suppose 0*v - 2 = v. Let g = v + -9. Is g at least as big as -11?
True
Let v = 21 - 20.74. Which is smaller: v or 0?
0
Let i = 25 - 106. Is i greater than -82?
True
Let s(u) = u**2 - 6*u + 4. Let k be s(5). Which is smaller: 2/43 or k?
k
Let t = 7 - 11. Let x be ((-45)/(-27))/(t/3). Is 0 at least as big as x?
True
Suppose 0*b = 3*b - 117. Is 39 at least b?
True
Let y = 5927/960 + 5/192. Let b = 599/95 - y. Is 1 less than or equal to b?
False
Let t = -9 + 9. Is t < -5?
False
Let j(o) = -o**3 - 3*o**2 - o + 4. Let f be j(-3). Let h = f - 16. Let q be 2/h + (-33)/(-27). Which is bigger: 2 or q?
2
Let r be (-1)/((8/(-10))/4). Suppose f - r*f = -20. Is 4 >= f?
False
Suppose -5*u = 5*t + 25, 4*u - 4*t - 13 = u. Suppose 3*f = -2*r - 11, -r - 1 = -0*r. Is u != f?
True
Let n = 69 + -69.2. Is 2 at least n?
True
Let p(j) = j**3 - 2*j**2 + 4*j - 2. Let b be p(2). Let t be (-198)/(-44)*(-2)/(-3). Which is smaller: t or b?
t
Suppose -8 = k - 1. Let a = 6 + k. Is 2 smaller than a?
False
Suppose -2*v + 10 = 4. Suppose -3*l = -6*l - v. Is 1 at most l?
False
Let u be -3 - -8*7 - -3. Let v be u/40 - 2/5. Which is greater: v or 6?
6
Let b = 5.9 - -0.1. Let q = b - 6. Is 2/7 != q?
True
Let z = -5 + -9. Which is smaller: -15 or z?
-15
Let m be 1 + (1 - -1) - (-1 + 139). Is m less than or equal to -135?
True
Let r be (-4)/18 - (-2)/9. Let o be -1*(-3)/(-4) + 1. Which is bigger: r or o?
o
Let p(d) = -d**3 + d**2 - d - 1. Let x(w) = -5*w**3 + w**2 - 5*w - 8. Let c(o) = 4*p(o) - x(o). Let u be c(-3). Do u and -1 have different values?
True
Suppose -5*w - 5*l + 321 = -l, 2 = -2*l. Which is greater: w or 64?
w
Let o = -12 - -13. Is -1/3 >= o?
False
Suppose 11*z - 6*z = -30. Let j be (-184)/24 + (-4)/z. Let a(l) = -l - 5. Let k be a(j). Is k less than or equal to 2?
True
Let x be ((-18)/48)/(99/(-12)). Which is greater: -1 or x?
x
Let d = 0.033 - 1.133. Which is smaller: d or 0.1?
d
Let u = -1659 - -5041/3. Suppose -m + b - 83 = 3*m, 5*m = 4*b - 101. Let q = m + u. Which is greater: q or 1?
1
Let u(o) = o**2 - 5*o + 2. Let b be u(6). Is 9 > b?
True
Let a = 38 - 39. Which is bigger: 2/241 or a?
2/241
Let t(o) = 2*o - 10. Let k(h) = -h. Let r(v) = 3*k(v) + t(v). Let s be r(-5). Which is smaller: s or -4?
s
Let g be 0/(-1 + 12/4). Let l = 2 + -3. Let q = -2 - l. Which is greater: q or g?
g
Let p be (5/(-15))/(1/(-21)). Let l = p + -3. Let x be l*(-1 + (-9)/(-6)). Is x <= 4?
True
Let k = -2 - -14. Let q(a) = a**3 + 8*a**2 + 4*a - 8. Let f be q(-7). Which is greater: k or f?
f
Let c = -2 + 4. Suppose 4*p - c*p = -4*v + 6, -3*p + 2*v + 1 = 0. Let z be 3/(-6)*(-1)/2. Is z smaller than p?
True
Let f = 1/2696 + -37785/110536. Is f less than 1?
True
Let t be (-305)/(-1010)*10 + -3. Which is smaller: t or 1?
t
Let c be 0 + (-6)/(-45) + 64/(-520). Is -1 greater than c?
False
Suppose -3 = -3*t - 0*t. Let m be 0 + 0 + t + 13. Let w be (-4)/(-8)*(-8)/m. Which is smaller: -1 or w?
-1
Let r(i) be the third derivative of i**4/24 - i**3/2 + 2*i**2. Let w be r(6). Let x be w/(-12) + (-14)/(-8). Is 2 != x?
True
Suppose 5 = v + 2. Let w = -4 + v. Is -1 less than w?
False
Let p = -4 - -8. Suppose -10 = -2*f + p*u, -4*f + 5*f - 1 = u. Are f and -5 nonequal?
True
Let i = 171 + -155. Are 18 and i equal?
False
Let k be 19/132 + 8/24. Let p = k - 5/22. Does -6 = p?
False
Let x be (-2 - -4) + (0 - -2). Suppose 13 = -x*q + 5. Let v = q - -2. Which is greater: v or 1?
1
Let p be 2/5 + (-7)/5. Let h be (0 + p)/((-2)/2). Let n be 50/(-182) + (-6)/(-14). Which is smaller: n or h?
n
Let i be (-1)/3 - (-116)/234. Let d = -5/13 + i. Which is greater: 0 or d?
0
Let v = -13 - -9. Let t = 7 + -1. Let l = t + v. Is l > 5/2?
False
Let s(q) = 2*q - 1. Let f be s(2). Suppose -5*z - w + 2*w + 44 = 0, -f*w = 5*z - 28. Do 7 and z have different values?
True
Let a(w) = w**2 - 5*w. Suppose -4*b = -7*b + 15. Let q be a(b). Which is greater: -0.04 or q?
q
Let l = 1 + 6. Suppose -4*h - l - 1 = 0. Do -3 and h have the same value?
False
Let g(v) = 2*v - 3. Suppose 2*r = 3*o - 14, -4*r = 5*o - 13 - 3. Let n be g(o). Suppose 4*m - 4*s + 16 = 0, 0*m - n*s = 3*m - 12. Which is smaller: -2/5 or m?
m
Let q = 67/15 + -1601/345. Which is bigger: -1 or q?
q
Let g = 9 - 6. Let c = 5 - 5.2. Which is bigger: c or g?
g
Let b = -9 - -4. Let k = b - -9. Which is smaller: k or 0?
0
Let v = -65.95 + 66. Do v and 1/2 have the same value?
False
Suppose 0 = -i - 2 + 4. Suppose -4*g + 0*m - 32 = m, 0 = -2*g - i*m - 10. Let t be ((-2)/(-18))/((-6)/g). Is -1 smaller than t?
True
Suppose 5*g - 23 = 2*h - 0, -5*h - 5*g = -30. Is 2/21 > h?
False
Let f = -8.3 - -9.3. Which is smaller: -4/23 or f?
-4/23
Let b = -4 - -1. Let x = b + 1. Let z be (-3)/(-1 - 29/x). Which is greater: z or 3/7?
3/7
Suppose 5*w = 0, -1 = -2*m - 4*w + 5. Let r = m + -4. Does -2 = r?
False
Let h = -9.1 + 7. Let p = -2 - h. Let f = -0.1 - p. Is f >= 1?
False
Let a(m) = -m**2 - 3*m - 4. Let p be a(-2). Let h = 0.2 - 0.1. Is h less than p?
False
Let q be (4 - (-15)/(-6))/(102/(-2)). Which is smaller: -1 or q?
-1
Let z(q) = q**2 + 6*q - 6. Let i be z(-5). Let n = -57/5 - i. Which is greater: n or 1?
1
Let w = -10 - -16. Let k = -5 + w. Let r = 91/3 - 31. Is r greater than or equal to k?
False
Let n(g) = g**3 - 7*g**2 - 9*g + 12. Let v be n(8). Suppose c = -5*d + 7, -c = v*c - d + 17. Let l be 3/9 - 32/6. Is l bigger than c?
False
Let x = 0 - 0.5. Let n = x - -0.6. Let s = -0.2 + n. Is 1 less than s?
False
Let h be (-69)/15 + (-12)/30. Let g be 308/(-165)*h/2. Is g bigger than 6?
False
Suppose 30 = 5*u - 0*c - c, -5*c - 6 = -u. Suppose 2*y = 10 + 4. Which is smaller: u or y?
u
Let z = -21 + 38. Suppose 3*v - n = 11, 0*v - v + z = -3*n. Suppose 3*i + v*i - 10 = 0. Do i and 5/4 have different values?
True
Let s = -0.09 + -0.11. Let o = -1.2 - s. Which is smaller: o or 0?
o
Let q be (-2 + 0)*(-7)/1. Which is smaller: q or 15?
q
Let n be ((-2)/(-6))/((-10)/(-12)). Let r = -3/8 - -1/8. Which is greater: n or r?
n
Suppose 0 = -4*g + 7 - 3. Let h be (2/(-4))/(14/(-8)). Which is smaller: h or g?
h
Let c = 653/8 + -82. Which is bigger: -0.05 or c?
-0.05
Suppose -5*k = -10*k. Let d be (8/(-9))/((-3)/(-843)). Let o = d - -250. Is o smaller than k?
False
Let g be 1/2 + 14/28. Are -2/9 and g non-equal?
True
Let a be (0/3)/((-6)/((-9)/3)). Are 1 and a equal?
False
Let t = 1583/8272 + -2/517. Let r = t - -1/16. Which is greater: -0.13 or r?
r
Let x = -4 - -5. Which is greater: x or -1?
x
Suppose -2*i - 9 = -1. Let j be i/(-18) + (-19)/45. Suppose 2*b - 5 = -g - 14, 3*g + 3*b + 15 = 0. Which is smaller: j or g?
g
Let o(n) = -n**3 + 3*n**2 + 2*n + 2. Let x be o(4). Let g be (2*3)/(x/(-4)). Which is greater: g or -2/5?
g
Suppose 0 = 4*h + 4*b, h + 2*h + 32 = 5*b. Is h at least 2/9?
False
Suppose g = 3*g. Suppose 0 = -2*y - 2*y. Is y at least g?
True
Let u be (596/6)/(5 - 3). Let j = 69 + -20. Let i = j - u. Which is smaller: i or -2?
-2
Let x = -5 + 5. Suppose 4 = 2*t - 6*t. Which is greater: t or x?
x
Let j = 0.19 - -0.01. Which is smaller: 0.3 or j?
j
Let j(a) = -a**2 + 3*a + 19. Let q be j(6). Suppose -w + 4 = -4. Suppose 2*t - w = -2*t. Is t < q?
False
Let a = -10 - -9. Which is smaller: 2/15 or a?
a
Let d = 7904/2373 + 2/791. Is 2/3 >= d?
False
Let o(m) = m**2 - 10*m + 13. Let t be o(9). Suppose 0 = -t*j + g - 2 - 3, -5 = -2*j - g. Is 1 bigger than j?
Tru