es?
False
Suppose -4*x + 13 = -m, -m + 10 = -2*m + x. Let o(u) = -u**2 - 9*u + 1. Let y be o(m). Let d(h) = -h - 1. Let l be d(-1). Which is greater: l or y?
y
Let l = 0.75 - 0.27. Let n = -56.98 - -57. Let i = l + n. Is i greater than 0?
True
Let z(g) = -g**3 - 7*g**2 - g - 5. Let c be z(-7). Is 8/7 smaller than c?
True
Let o be 62*(-6)/(-96) - 4. Which is bigger: o or -5/3?
o
Let b be 0 + 8/6*(-18)/(-12). Suppose -2*h + 44 = 3*v - v, -4*h + 94 = v. Let j be (-4)/(-14) - h/(-14). Is b at most j?
True
Let z = 0.126 - 0.166. Which is bigger: z or 0?
0
Let s = 10/33 + 4/11. Let u = 18 + -19. Let n = 2 - u. Is s at least n?
False
Let t be 2/(-6)*(-1 - 0). Let k be ((12/(-3))/(-4))/(-3). Is k greater than or equal to t?
False
Let m be (-522)/(-267) + 0 - 2. Let h = -222/979 - m. Do h and -3/2 have the same value?
False
Let r = -6 - -7. Which is greater: r or 10/9?
10/9
Suppose 0*o = -2*o + 8. Suppose -o*m = -2*m. Suppose -115*j - 7 = -122*j. Which is greater: m or j?
j
Let q(c) = c**3 + 6*c**2 - 7*c + 1. Let h be 1 - 1/(-1) - 23. Let b be 2/(((-24)/h)/(-4)). Let j be q(b). Which is bigger: j or 2?
2
Let q = 23 - 4. Let f = 20 - q. Which is smaller: -1 or f?
-1
Let b be (10/4 - 2)*2. Let o = 22/21 + -284/231. Is b equal to o?
False
Let w = -5 + 7. Suppose 0 = -m - m, -w*m + 15 = 5*f. Suppose -8*q + f*q = s + 12, s - q = 0. Which is bigger: s or -3?
s
Let o = -25 + 25.08. Is o < 3?
True
Let b = 0.92 - 0.02. Let f = b + 0.1. Is 1 equal to f?
True
Let m = -52 + 51. Which is smaller: 1/10 or m?
m
Let x(i) = 3*i**3 - 2*i - 1. Let s(f) = f + 7. Let r be s(-8). Let v be x(r). Does v = -5/3?
False
Suppose -3*q + 21 = -0*r - 4*r, -2*q - 6 = 4*r. Let g = -11 + 2. Let v be -1 + -1 - (g + 4). Is v <= q?
True
Suppose -2 = -2*f - 5*c + 6, f - 4 = -2*c. Let b = 0 + f. Are b and 3 nonequal?
True
Let s = -30/23 - -321/299. Which is greater: s or 0?
0
Suppose -9*y - 3*y + 156 = 0. Which is bigger: 14 or y?
14
Let i = 506/35 + -90/7. Which is smaller: i or 2?
i
Let b = 3 - 2.9. Let p = -2.076 + 0.076. Which is bigger: p or b?
b
Let i be (-39)/(-18) + (-2)/12. Let z = -1 + i. Let h = 1/4 - z. Is h bigger than 0?
False
Let l = -13 + 11. Suppose -4*s = -2*t + 7*t - 3, -4*t = 2*s. Which is greater: l or t?
t
Suppose t + 25 = 6*t. Which is greater: t or 7?
7
Let a(p) = p**3 - 5*p**2 - 7*p + 6. Let t be a(6). Let y be 2 + t - (-140)/(-68). Is y less than 0?
True
Let s = 57 - 56. Are 4 and s equal?
False
Let i = -5 - -3. Let q be 3/i*(-6)/9. Let d = q - 2. Which is smaller: -3/7 or d?
d
Let t(k) = k - 2 - 11 - 14*k**2 - 4*k**3 + 5*k**3. Let s be t(14). Are 2 and s unequal?
True
Let b = -1.6 + 1.6. Is b < 68?
True
Suppose -q - 4*q = 20, -4*q = -5*l + 16. Suppose 4*m - 2*m = l. Is 0 less than or equal to m?
True
Let w = 6 + 0. Let g be 8/(-24) + (-26)/(-6). Is w less than or equal to g?
False
Let k(v) = v**2 + 7*v - 13. Let x be k(-9). Suppose -16 = -x*c + c. Is c less than 4?
False
Let h = 8.01 - 8. Let b = h + -0.11. Do 15 and b have different values?
True
Suppose 2*q + 4*l = q - 91, 3*q = 3*l - 273. Is q at most as big as -91?
True
Let q(s) = -s**3 - 3*s**2 + 5*s - 3. Let m be q(-5). Let o = 32 - m. Suppose -3*h = -2*y + o, -h + 1 = y + 6. Which is smaller: -2 or y?
-2
Let x = 2 - 4. Let j = 0.08 - 9.08. Let g = j + 6. Is g at least as big as x?
False
Let f = -7 + 9. Are 4/3 and f non-equal?
True
Let l = 55.1 + -55. Let x = -1.3 - -0.3. Which is bigger: x or l?
l
Let y(t) = t**3 + 10*t**2 + 8*t - 7. Let u be y(-9). Are 16/5 and u equal?
False
Let g = -152/3 + 50. Let c = 2.98 - 3. Let z = 0.02 + c. Is g at least as big as z?
False
Let q be 10 + -1 + (-2 - 0). Let x be -5 - (-18)/2 - -2. Which is bigger: x or q?
q
Let c(v) = -2*v - 10. Let t be c(-9). Which is bigger: t or 9?
9
Let f = 33 + -26.4. Let v = f - 7. Which is smaller: 0.2 or v?
v
Let n = -202 - -215. Suppose 52 = 2*a + 2*a. Is n != a?
False
Let w = -65 - -75. Are 7 and w equal?
False
Let y = 0 + 0. Let n(r) = -r**3 - 9*r**2 - 3*r - 12. Let o be n(-9). Let v = 12 - o. Are y and v non-equal?
True
Suppose 2*m = -c + 19, 37 = -0*c + 2*c + 5*m. Let o be (-4)/(c/(2 - -1)). Which is smaller: o or 0?
o
Suppose 5*b - 20 - 7 = -4*l, 4*b = 5*l + 38. Let c = 12 - b. Suppose -w - c = -2*w. Which is smaller: 4 or w?
4
Suppose -5*l - 3 = 12. Let f be (1 + -2)/(3/l). Is -1/17 equal to f?
False
Let q = 4 + -3. Let r = 4 + -5. Let j be r*3*(-2)/3. Which is greater: j or q?
j
Suppose -k - 13 = 2*y, 0 = -k - 5*y - 18 - 7. Suppose d + h - 2 = 0, -4*d + 0*h - 22 = -2*h. Which is smaller: d or k?
k
Let w be 2 + -3 + (2 - -2). Let o be 0 - 1 - w/(-5). Which is smaller: o or 1/3?
o
Let v be -1 - (-1)/(2/(-4)). Let y = 6 + v. Suppose -3*j = y*u - 2 + 11, -j - 3*u = 13. Is 5/2 > j?
True
Let r = 0.006 + 0.294. Is r at least 0.3?
True
Let a be -3 - (1 + 35/(-9)). Is -1 smaller than a?
True
Suppose 5*o - o - 4 = 0. Let q(s) = -s - 5. Let k be q(-3). Let u = k + 3. Is u < o?
False
Suppose -l + 4 = -3*l. Let u be (2 - 6/4)*l. Let f = u + 4. Is f less than 2?
False
Let h = 0.006 + -0.106. Suppose 3*m = x + 13, -5 = -4*x + 4*m - 17. Which is smaller: x or h?
h
Let x = -0.07 - -0.04. Let k = x - 1.97. Let i = -30 - -32. Which is smaller: k or i?
k
Let f = -2 + -1. Let u = 5 + f. Suppose -4 = -3*r + u. Is r at least as big as 0.2?
True
Let t = 3.4 - 3. Which is smaller: 2 or t?
t
Suppose 77*g = 73*g - 24. Is -3 less than g?
False
Let t(l) = l**3 + 7*l**2 - l - 7. Let h be t(-7). Suppose k = -2*v - 9, -5*v = 3*k - h + 23. Are -1 and k nonequal?
False
Let f be (-2)/(3/33*-7). Let b = -24/7 + f. Let w = -0.03 - -0.13. Which is greater: b or w?
w
Let q = -23 + 38. Let v = 74/5 - q. Which is greater: v or 1?
1
Let z be (2/(-4))/((-3)/6). Let f = -106 - 23. Let k = 519/4 + f. Is k at most as big as z?
True
Suppose 3*b - 4*g - 307 = 0, 4 = g + 5. Which is greater: 102 or b?
102
Suppose 3*x - x + 4*k = 16, x - k = -1. Suppose -7 = x*t - 3. Is -3 less than t?
True
Suppose -p - 7 = -2. Is p > -5?
False
Let c = -88 - -58. Let u be (-16)/c*(-3)/(-4). Let b be (20/50)/(4/(-5)). Is u <= b?
False
Let r be (8/(-4))/((-3 + -1)/(-8)). Is -4 not equal to r?
False
Let q = -137.2 - -137. Let d(y) = -y - 3. Let k be d(-3). Let c = 3 + k. Is q equal to c?
False
Let y = 34531069/936 + -36892. Let w = y + -1/72. Which is bigger: w or 0?
w
Let t = -13.2 - -13.25. Which is greater: 0.1 or t?
0.1
Suppose -2*s - 3*t = 6, -4*s + 2*t - 1 - 11 = 0. Let r be 0/(0 + 2 + s). Let y(c) = -c**2 + c + 3. Let o be y(r). Which is bigger: 3/2 or o?
o
Let r(s) = s**2 - 4*s - 4. Suppose -2*a + 4*a = 10. Let g be r(a). Let b be (g/6)/((-2)/(-8)). Which is bigger: 1 or b?
1
Let y(r) = -r**3 + 2*r**2 + 2*r - 2. Let i be y(2). Let b(l) = -l**2 - 2*l + l**3 - 3*l + 4*l. Let k be b(2). Do k and i have different values?
False
Let z(i) = -i**3 + 5*i**2 - 5*i + 4. Let p be z(4). Let k = 1/27 - 35/216. Is p >= k?
True
Let y be -2 - (-5)/9 - 8/(-12). Which is bigger: y or -1?
y
Let h(w) = -w**3 + 6*w**2 + 3. Let j be h(6). Suppose -c = j*c - 32. Suppose -5*b - 25 = 5*x, -5*b + b - c = -2*x. Is -3 less than b?
False
Let l be (0/(1/(-1)))/(-2). Let a be (-122)/14 + (-8)/28. Let w be a/15 + (-4)/(-10). Is w <= l?
True
Suppose -110 = 5*o - 5*s + 3*s, 0 = -3*o - s - 55. Which is greater: o or -21?
o
Suppose -4*i = -a - 15 + 2, 3*i - 12 = 0. Let l(w) = w**3 - 2*w**2 - w - 3. Let b be l(a). Suppose -5 = -3*p - 2*p. Which is smaller: p or b?
p
Let x be (-7)/2*20/(-35). Suppose -o - x = 3*r, 2*r + r - 9 = 0. Let p = o + 7. Which is greater: p or -3?
-3
Let f = -4 + 2. Suppose 3*r - 21 = -3*d, 0 = -r - r - 5*d + 26. Suppose -r*s - 2 = 1. Is s at most as big as f?
False
Let n(t) = -t - 1. Let m be n(5). Let i(h) = -3*h + 11. Let z(x) = -2*x + 10. Let d(j) = -3*i(j) + 4*z(j). Let u be d(m). Which is bigger: 3/2 or u?
3/2
Suppose 2*d - 16 = 8. Which is bigger: d or 13?
13
Let s = 6 + -4. Let k = s - 0. Let r = k + -5. Is -0.2 not equal to r?
True
Let d = -10 - -19. Suppose 4*n - 1 = -d. Is n less than -4?
False
Let s be (7 - 3 - -2) + (-4 - -3). Suppose -5*c + 3*c = -4. Let p be (-3)/s*c/15. Do 1 and p have the same value?
False
Let m(w) = -w**3 - 7*w**2 - w - 5. Let k be m(-7). Suppose 2*s - 12 = -p + 3*p, -s + k*p = -3. Which is smaller: 10 or s?
s
Let p = 0.08 + -0.06. Is p at most as big as -0.4?
False
Le