er: y or 1/5?
y
Let p be (-21 + 2)/(1 + -2). Which is greater: 20 or p?
20
Let t(j) = -2*j + 8. Let f be ((-12)/(-10))/((-1)/(-5)). Let v be t(f). Let d be 45/18*(0 + -2). Is d > v?
False
Let w(t) = -2*t. Let o be w(2). Which is bigger: o or -5?
o
Let d(c) = -c**3 + c**2 + 3*c + 2. Let y be d(-1). Is -3/23 smaller than y?
True
Let m(i) = -i + 4. Let c be m(3). Let p be -1*(-1 - 8/c). Let f be -2 - ((-24)/p - 0). Is f greater than or equal to 1?
False
Let l = -63 - -314/5. Is l equal to -3?
False
Suppose -4*k - 2*h + 0*h = -502, 2*k - 249 = -3*h. Let q be (-14)/(-144) + (-28)/k. Let x = 2 + -1. Is q less than or equal to x?
True
Suppose 3*n - 7*n + 20 = 0. Suppose 9 + 1 = -n*j. Let c(v) = v**2 - 5*v - 6. Let f be c(6). Are j and f nonequal?
True
Suppose 3*f = -f + 20. Suppose 10 = 4*y - 6, -24 = m - f*y. Let c be 2/12*m/(-2). Is 1 at most c?
False
Let r be -3*5/3*-1. Which is greater: -0.1 or r?
r
Let o be (-2 + -1)*(5 + -3). Let k(f) = f**3 + 5*f**2 - 6*f + 4. Let g be k(o). Is g less than or equal to 3?
False
Let f be (-8)/4*14/(-4). Suppose 3*w + 14 = f*a - 2*a, a - 16 = 5*w. Let i = 1 - a. Which is smaller: -3 or i?
-3
Let j(b) = -1. Let f(t) = t - 5. Let v(z) = 3*f(z) - 21*j(z). Let q be v(-5). Is q less than -8?
True
Let h = 0.4 + -0.19. Let w = h + -0.26. Which is greater: -3 or w?
w
Let j = -22 + 17. Is j equal to -5?
True
Let d(f) = -f**3 + 6*f**2 + 7*f - 4. Let y be (0 - 2/(-1)) + -2. Let g be y - 3 - -1 - -9. Let h be d(g). Which is smaller: -0.1 or h?
h
Let v(q) = q**3 - 7*q**2 + q - 7. Let f be v(7). Let l = 33 + -16. Let n = -18 + l. Is f <= n?
False
Let y = 17 - 9. Let z(u) = u - 3. Let p be z(y). Suppose -7*o = -12*o + 20. Which is smaller: p or o?
o
Let c = -21 + 9. Let o = c + 20. Does o = 7?
False
Let y = -22 - -23. Do 2 and y have the same value?
False
Let x = -0.04 + 0.02. Let u = x + -0.08. Let k = 0.2 - 0. Which is greater: u or k?
k
Suppose 2 - 1 = j. Let g be (3 - (3 + 78)) + 0. Let l = g + 392/5. Which is smaller: j or l?
l
Let z be ((-3)/(-18))/(5/15). Let r be 6/(-9) + (-11)/(-3). Suppose -2*k + 1 = -r. Is k less than z?
False
Suppose -3*c + 36 = -3. Which is bigger: c or 12?
c
Let g = 16 + -16. Are -1/9 and g equal?
False
Let d = -22 + -18. Let k be 3 - 9/((-108)/d). Is 1 > k?
True
Let z(s) = s**2 - 2*s + 1. Let v be z(1). Let p(c) = c**3 + 3*c**2 - c - 2. Let g be p(-3). Let t be (-1)/g*(-7 + 7). Is t less than v?
False
Let l = -1 - -0.8. Let i = -4.6 - 0.4. Let c = -4 - i. Are c and l non-equal?
True
Let z = 3.2 - 3.2. Which is smaller: z or 7?
z
Let j be 4/(-10)*-5 - 3. Let i = -4 - j. Is -5 at least as big as i?
False
Suppose -97 + 88 = 3*i. Is i greater than -25/7?
True
Let a(v) = -v**3 - 9*v**2 - 7*v + 8. Let y be a(-8). Let q be (0 - 0)*4/8. Is y smaller than q?
False
Let v(c) = c + 1. Let d be v(-1). Suppose -3*h = 3*m - 8*h - 24, -m + 4*h + 15 = d. Let b be -3 - ((-3)/m + 0). Is b greater than -2?
False
Let c be (-67)/(-66) - (0 + 1). Let a = c + 29/22. Let f = -16 + 17. Which is smaller: a or f?
f
Let x be -35 + 20/5 + -4. Is -35 at most x?
True
Let m(u) = -u - 4. Let f be m(-3). Let h(g) = g**3 + 14*g**2 - 2*g - 29. Let b be h(-14). Is f < b?
False
Let z = -8 - -8.1. Let h = z + 0. Are 2/5 and h equal?
False
Let n be 0 - 4/(47 - -1). Which is bigger: 0 or n?
0
Let r be 2/6 - (-56)/21. Suppose 4*d - r*l = -8*l - 6, 0 = -d + 4*l + 9. Which is smaller: d or -1/6?
-1/6
Suppose 6*k - k + 12 = -2*b, 2*b - 28 = 5*k. Let u be -1 + -6 + (-4)/(-1). Let j = u + b. Which is smaller: j or 0?
0
Suppose -4 = -q - q. Let s = -2 + 0. Let w = s + 3. Is w bigger than q?
False
Let w = 121/3 - 41. Let g(t) = t - 4. Let k be g(4). Suppose k = 5*n + 5*y + 20, 0 = -5*n - y - 0*y - 4. Is n at most as big as w?
False
Suppose 9*y + 7 = 10*y. Suppose 0 = 5*p - y*p. Is 6/11 bigger than p?
True
Let w = 7.6 - 8. Is 0 <= w?
False
Suppose 4*d + 0*d - 5*s = 37, 0 = 2*d + 2*s - 14. Suppose 40 = 4*m + d. Let i be (-12)/(-10)*(-4)/m. Which is smaller: -2 or i?
-2
Let x be ((-18)/3)/(9/(-60)). Let w = x + -282/7. Let t(b) = b**3 - 6*b**2 - 8*b + 9. Let l be t(7). Which is bigger: w or l?
l
Let s = -94 - -93. Which is smaller: s or -2/33?
s
Let k = -3715/7 + 530. Let d = -3 - -1. Which is bigger: d or k?
k
Suppose 4*s = 4 - 0. Let k = 17 - 29. Let q be ((-32)/120)/(k/10). Which is smaller: s or q?
q
Suppose 14 - 6 = 2*n. Suppose -3*p - 21 = -3*k, -p + 4*p - n = -2*k. Does -3 = p?
False
Let v be (3/2 + 0)/(-12). Let w = -1/24 + v. Which is smaller: -2/5 or w?
-2/5
Suppose -w - 1 = 1. Let f be w - -6 - (0 - -2). Let c be (1/f)/((-1)/2). Is c > -1?
False
Let x = 2.2 - 7.7. Let r = x - -5. Is 1 at most as big as r?
False
Suppose 0*k + 5 = k. Suppose 3 = -k*j - 2. Let c be 0 - (j - 12/(-9)). Is -1 < c?
True
Suppose 2*q + q = -3*g + 9, g - 1 = q. Which is smaller: g or 12/5?
g
Let o be 5 - 0/((-1)/(-1)). Suppose -o*i + 14 = -6. Suppose i*d + 0 = l - 1, 30 = 5*d + 5*l. Is 0 bigger than d?
False
Suppose 4*s - 17 = q, 0*s - 8 = -2*s. Which is smaller: -2/31 or q?
q
Let o = -0.807 + 0.007. Which is greater: 1/3 or o?
1/3
Suppose 3*i - 87 = 3*l, -2*l - 4*i = -7*l - 146. Let y be (153/l - -3) + 2. Is -1 bigger than y?
False
Let h = -71 + 782/11. Suppose 0 = -5*t - 2*c - 41, -5*c = 2*t - 4*c + 17. Let v(p) = -p**3 - 8*p**2 - 6*p + 8. Let r be v(t). Does r = h?
False
Let n be 18/(-12)*(-1)/12. Is 0 less than or equal to n?
True
Suppose 5*a + 105 = 5*m, 2*a + 2*m = 6*a + 86. Let k = a + 64/3. Is k >= -2/11?
False
Let r be 10/(-32) + 2/4. Let q = -82 - -82. Which is greater: q or r?
r
Let x = 0.01 - -0.09. Let p = x + -1.1. Which is greater: 0 or p?
0
Let i = 0.27 - 0.37. Which is greater: i or 3/4?
3/4
Let t(i) = -i**3 + 7*i**2 - 3*i - 7. Let q be t(7). Is -29 bigger than q?
False
Let s be 2/(-13) - 5695/(-3640). Let l = s + -9/8. Which is bigger: l or 0.01?
l
Let z = -14488/5 - -2914. Let h = 16 - z. Let q = 1.1 - 0.1. Which is smaller: h or q?
h
Let b = -0.06 + 0.14. Let k = b - 0.68. Let f = k - 0.4. Is f greater than 0.1?
False
Let r be 2/(-9) - 636/54. Let w be (r/14)/((-2)/28). Suppose 3*k + 4*j + 8 + 8 = 0, 2*k + 3*j = -w. Which is greater: k or 1?
1
Let q(o) = 4*o**3 + 7*o**2 + 7*o + 6. Let w(t) = t**3. Let r(j) = -q(j) + 5*w(j). Let a be r(8). Is a smaller than 5/4?
False
Let g = 0.07 - 0.27. Let a = g - 0. Which is bigger: a or 0.06?
0.06
Let l be 3*57 + (12 + -5)/(-7). Is l != 170?
False
Let u(x) = x**3 - 6*x**2 + x - 8. Let c be 16/(-20)*(-30)/4. Let v be u(c). Which is bigger: v or -2/3?
-2/3
Let i be (-28)/(-6) + (-6)/(-18). Let d be 1*i + (4 - 7). Let f(o) = -o**2 + 3. Let z be f(0). Which is smaller: d or z?
d
Let j = -4 + 3. Let s = -23 + 22.8. Do s and j have the same value?
False
Let l be 12392/21420 + (-10)/35. Let g = 6/85 - l. Which is smaller: g or 1?
g
Let r = 10 + -7.9. Let y = -0.1 + r. Which is greater: 0.1 or y?
y
Let a be 5 - (2 - 0) - 7. Let g = 8 + a. Is 4 <= g?
True
Let j be (-7)/(-6) - (-2)/(-12). Let h be -2*(j + 1/(-2)). Which is smaller: -2 or h?
-2
Let c = 17 - -1. Suppose -3*o + 22 = 5*n, -4*o = 2*n - n - c. Suppose 0 = -4*a - 0*a + o. Which is smaller: -1 or a?
-1
Let k be (-2)/(-4) - 3/(-6). Let t be ((-1)/4 - k) + 1. Are -4 and t equal?
False
Suppose -2*x + 4*x = -12. Let j = -4 - x. Is 2 at most j?
True
Let f be 0 - (-4)/((-8)/22). Let b = -12 - f. Which is smaller: -0.3 or b?
b
Suppose -4*g = -2*z + z + 6, -3*g = -2*z + 2. Let b = g + 2. Which is smaller: b or -2/5?
-2/5
Let b be (2 + (-5)/2)/(39/(-4)). Which is greater: -1 or b?
b
Let j = 51 - 53.1. Let l = j + 1.1. Which is greater: l or 6?
6
Let l be ((-66)/(-12) - -2)*4/(-215). Do -1 and l have the same value?
False
Let x(t) = -4*t - 94. Let k be x(-24). Is 1 less than k?
True
Let t = 139 + -140. Let m be 0*(1*2)/(-2). Is m at least as big as t?
True
Let s = 6/35 - 16/35. Suppose -g - 5 = -3*f, -3*f + 27 = 4*g + 2. Suppose -2*r + g*l = 16, 0 = 4*r - 0*l + 3*l - 12. Which is greater: s or r?
r
Let f = 17 - 12. Let q = f - 4.8. Let z = -3.1 + 3. Which is bigger: z or q?
q
Let j be (-2)/4*(-1 - -3)*-181. Which is smaller: 182 or j?
j
Suppose 0 = 10*w - 5*w - 15. Let j be (1/w)/(1/3). Let r = -4 - -7. Is j greater than r?
False
Let l = -23 + 23.2. Let c = -0.4 + l. Does -5 = c?
False
Let m(x) = -x**3 - 16 + 11*x + 6 + 3*x**2 + 6*x**2. Let u be m(10). Suppose u 