n or equal to m?
True
Let w = 39 - 23. Let y be 6/3 - w/14. Is 2 > y?
True
Let o(p) = -p**3 - p**2 - p. Let i(b) = b - 4. Let l be i(6). Let k be ((-1)/l)/(1/2). Let z be o(k). Is z > 1/3?
True
Suppose -8*p - 58 = 214. Is -34 at least as big as p?
True
Suppose -3*u + 6 = -u. Suppose -2 = -u*p + 2*p. Suppose 0 = -0*d + p*d. Which is smaller: -2 or d?
-2
Let d = -64 + 62. Which is smaller: d or -0.48?
d
Let v = 2 + -3. Let a = 32154509/28052721 + -3/164051. Let p = a - 26/19. Which is greater: v or p?
p
Suppose -4 = -2*i + 8. Let f be ((-4)/42)/(2/i). Is f bigger than -0.2?
False
Suppose p + 7 = -4*y, -p + 5*p + 14 = -2*y. Suppose 2*x - 3*x - f = 2, 3*x = 4*f - 27. Is y bigger than x?
True
Let k = 4.1 + -4.4. Which is greater: -4 or k?
k
Suppose 4*h - 3*y + 2*y = 31, 2*h - 29 = 5*y. Which is smaller: h or 8?
h
Suppose f = -p - 1, -5*f - 2 = 2*p - 12. Let o(d) = -d**2 - 7*d. Let v be o(p). Is v not equal to 9?
True
Let v be (-3)/9*(2 + -11). Suppose v*x - 29 = 5*w, x + 3 = -2*x - 3*w. Are 5/2 and x nonequal?
True
Let c be -12 - (6 + (-1 - 2)). Let h = 10 + c. Suppose 0 = -0*w + w - q, -w = 5*q + 18. Which is greater: w or h?
w
Let u be 1*(-4 + 9/2). Let d = -0.2 - 0. Let n = -1.2 - d. Which is smaller: u or n?
n
Let s(y) = y. Let h be s(1). Let t(n) = -n. Let o be t(-4). Suppose o*u + 6 = j, -4*j - 1 + 7 = 2*u. Which is greater: j or h?
j
Suppose q = 5*s - 32, 0 = -2*s - 4*q + 4. Suppose 7*f = s*f. Let r = -2.03 - -0.03. Which is smaller: r or f?
r
Suppose -4*u + 3*u - 1 = 0. Let c be 3 + -2 + u - 1. Do -1/13 and c have the same value?
False
Let i = 176.94 - 175. Let z = i + 0.06. Let u = -2 - -1. Is u >= z?
False
Let i = 79 + -79. Is 2/11 < i?
False
Let q(g) = 2*g + 1. Let r be q(8). Which is smaller: 18 or r?
r
Let j = -1 - -2. Let w be (j + (1 - 2))/3. Which is smaller: -1 or w?
-1
Let q = 0.1 - 0. Let m = 0.9 + q. Let u = -0.03 + -0.97. Which is bigger: m or u?
m
Let x be (-1 - (-2)/1) + 2. Let w = x - 3. Suppose 0 = p + 2*p - 6. Which is smaller: p or w?
w
Let q be ((-2)/(-16))/(4/(-56)). Which is smaller: q or -1?
q
Let i = 8 + -6. Suppose 3*v - 4 = p, -3*v + 4*p - 9 = i. Let r be 8/(-10) - (-48)/10. Is r smaller than v?
False
Let o = -11 + 16. Suppose -a = 4*a - o. Is a less than 1?
False
Let n be 2413/508 + 0 + -4. Let x = 2 - -1. Suppose -3*k = 3*l + 3, -x*l - 9 = k + 2*l. Which is bigger: n or k?
k
Let k = 52 - 262/5. Is k smaller than 1?
True
Let m = 0.6 - -1.4. Do -9 and m have the same value?
False
Let i = 1 - 0. Which is smaller: i or -2/27?
-2/27
Suppose 4*z + y = 20, 5*y - 2 - 2 = -4*z. Suppose z*x - x = 0. Which is greater: x or 1?
1
Let r = 0.05 - 0.35. Let b = r + 0.2. Let f = -0.3 - -0.4. Which is smaller: f or b?
b
Let q be (-9)/((-3 - -5)/(-2)). Let r = -3 + q. Which is smaller: r or 8?
r
Suppose 5*q = 2*q. Let p(b) = 5 + q*b**2 + 2*b**3 - 6*b**2 - 8*b - b**3. Let d be p(7). Is d less than -2?
False
Let g = 0.2 + -1.2. Are -9 and g equal?
False
Let m be 6/9*3/(-31). Is m at most -1?
False
Let t(j) = j + 6. Let r be t(-9). Suppose 4*b = 2*i - 9 - 9, -4*b - 33 = 3*i. Let c be b + 3 - (1 + -1). Is r at least as big as c?
True
Let a be 18/(-30) - (-2 - -2). Do -2 and a have the same value?
False
Let q = -5349 - -15740/3. Let v = q + 104. Which is bigger: v or 2?
2
Let m be (-1180)/(-48)*28/(-10). Let p = -69 - m. Which is bigger: 1 or p?
1
Let h(y) = -y**3 - 10*y**2 - 20*y + 3. Let p be h(-6). Is p bigger than -18?
False
Let p(z) = -z**2 + 8*z + 1. Let s be p(5). Suppose d = -3*r + s, 0*r + 36 = 3*d + 3*r. Suppose -4*k = -j - 4*j + d, 10 = 5*j. Is 2 less than k?
False
Let i(c) = c**2 + 6*c + 6. Let l be i(-8). Suppose -2*z - 104 - l = 0. Let y = z + 317/5. Is 1 > y?
True
Suppose 7 = -q + 3*c + 15, -2*q - 4*c = 4. Let l be q*2 - (-3 - -5). Which is smaller: l or 3/4?
3/4
Let j be (-12)/10 - -1 - 754/2030. Is 0 >= j?
True
Let h be 2/(-8) + (-3)/4. Suppose -4*v = -v. Is v != h?
True
Let j be (-2)/5 - (-267)/630. Is 0 smaller than j?
True
Suppose 0 = -2*x + 3*k + 14, 25 + 3 = 4*x - 2*k. Do x and 1/5 have different values?
True
Suppose 2*m - 8 = 4*m. Let w be (-3)/9 - (-134)/(-84). Let j = -4/7 + w. Is m greater than or equal to j?
False
Let g(o) = -5*o - 27. Let r(m) = -3*m - 13. Let l(a) = 4*g(a) - 7*r(a). Let s be l(10). Let v = s + 9. Does v = 2?
True
Let s be (-220)/105 + 0 + 2. Let h(t) = -t**2 - 9*t - 7. Let w be h(-8). Is s greater than or equal to w?
False
Let s = -3.62 - -0.12. Is -0.1 at most as big as s?
False
Suppose 0*v = -v - 2. Let s(i) = -5*i - 2. Let l be s(v). Is l >= 9?
False
Let g = 102/35 + -16/5. Do g and -1 have different values?
True
Let x(c) = c + 1. Let q be x(6). Let t = 5 - q. Which is bigger: -0.3 or t?
-0.3
Let w(p) = -p**2 + 8*p + 32. Let k be w(11). Is k bigger than 2/303?
False
Suppose -11 = 2*u - z, 2*z = u - z + 18. Let g be 7/u + 1 - -1. Is g less than 7?
True
Suppose 4*i + 1 = 3*i. Which is greater: -1/11 or i?
-1/11
Suppose -4*h + 9 - 1 = -4*g, -3*h = 5*g + 2. Suppose 3*k - 6 = k. Let r be k/((-1)/(-2)*-3). Which is smaller: r or g?
r
Let g be (-1)/(-1)*(-5 + 5). Suppose g = -y - 3 + 2. Is 0.3 smaller than y?
False
Suppose 4*p - 5*i + 12 = 0, 5*p = 2*i - i + 6. Which is bigger: 5/3 or p?
p
Suppose 0 = -2*v - 9 + 1. Let c(l) = l**2 + 3*l + 1. Let i be c(v). Let o = i + -11. Is o smaller than -5?
True
Let u = -87/55 + 24/11. Is 0 > u?
False
Let m be -3 - 0 - (-6)/2. Which is greater: m or -1/7?
m
Let t = 1219 - 30481/25. Which is smaller: t or 1?
t
Let w = -171/4 + 43. Is w less than or equal to 1?
True
Let g = 5 + 1. Let n be g/56*(-14)/4. Is 0 at most n?
False
Let u be (-15)/(-5) + 0/2. Let c be 2/u + (-1)/(-3). Is c at least as big as 1?
True
Let r be ((-9)/(-6))/(6/16). Does 4 = r?
True
Let q(m) = m**2 + 5*m - 5. Let l be q(-6). Let j = -9 - -9. Let k = 1 - j. Is k > l?
False
Let w = -25 - -30. Do w and 5 have different values?
False
Suppose -5*m + 3*u = -0*m + 101, 5*u + 103 = -4*m. Is -21 != m?
True
Let g be (-3*(-204)/(-18))/(-5 + 1). Which is bigger: g or 10?
10
Let d = 0 - -2. Suppose -s + d*s + 1 = 0. Suppose 2*u - 2 + 4 = 0. Is s less than u?
False
Suppose -2*a + 5*a + 4*w = 5, 5*w - 11 = a. Let t be (-14)/(-8) + 3/12. Let m = -4 + t. Which is bigger: a or m?
a
Suppose -1 = -z + 4*z - l, -3*l = -4*z - 8. Let i = -0.006 + 0.006. Is z at most as big as i?
False
Suppose 0 = 4*t + 2*r, 5*t + r + 3 = -3*r. Let b(z) = 3*z**3 + z**2 + z - 1. Let v be b(t). Suppose v*u + 12 = -0. Which is bigger: u or -1?
-1
Let d be (-126)/(-45)*6/4. Which is smaller: 4 or d?
4
Let h = -59/126 + 5/14. Suppose 7*w = 8*w - 2. Suppose w*p = -4*l - 2, l + 3*p - 2 = -0. Which is bigger: h or l?
h
Let q = -20 - -29. Which is bigger: q or 7?
q
Let x(u) = 34*u + 2. Let j be x(2). Is 69 smaller than j?
True
Let a be 1/28 + 1/4. Let d(w) = -w - 2. Suppose -3*q - 1 - 2 = 0. Let p be d(q). Which is smaller: p or a?
p
Let h(y) = -2 - y + 3 + 2 - y**2. Let w be h(-3). Is w at most as big as -1?
True
Let w = 5 - 5.08. Let h = w + 0.08. Let g(j) = -j**2 - 3*j - 1. Let p be g(-3). Is h smaller than p?
False
Let i = -0.56 + 0.3. Let g = -2.66 - i. Let x = 0.4 + g. Is x at least -0.1?
False
Let k be ((-18)/(-2))/3 + -4. Which is bigger: k or -6/5?
k
Let x be (-1 - -2)*3/(-15). Let r(s) = -s**2 - 3*s - 1. Let o be r(-3). Which is smaller: x or o?
o
Let r = 17 - 10. Let k be ((-4)/(-2))/(r/2). Suppose -2*f - 10*f = 2*f. Is k greater than f?
True
Suppose 5*i + 15 = 0, 3*i + 6 - 1 = 4*h. Let o be (-7 + 1)/(1*-2). Let a be 8/12*o/(-4). Is a at least as big as h?
True
Let q be (-1)/2 + 30/(-4). Let l be ((-2)/q)/(2/(-244)). Let d = -30 - l. Which is greater: 0 or d?
d
Suppose h + h - 2*j = -42, 5*h = j - 109. Let s = 24 + h. Let v be 2/(-3) - (-17)/12. Is v bigger than s?
False
Let j(t) = 2*t**2 + 2*t + 1. Let a be j(-1). Which is greater: 6 or a?
6
Let m = 1 + -3.8. Let t = -3 - m. Let f be (2/(-12))/((-1)/3). Which is smaller: f or t?
t
Let u = -0.224 + -0.046. Which is smaller: u or 2?
u
Let s = -82 + 111. Which is smaller: 0.2 or s?
0.2
Suppose s = -0*s + 1. Let d = -16887/55 - -307. Which is smaller: d or s?
d
Let l = -3 - -3. Suppose -5*r + l*r + 3*n = -15, r = n + 5. Suppose r*w = -w. Which is greater: -4/7 or w?
w
Let h(t) = t**3 + t**2 + t - 1. Let z be h(0). Let n be (-4)/z - (-2)/(-1). Let c be (4/(-15))/((-4)/10). Whi