big as y?
False
Let h = 291 + -144. Let d = -1909/13 + h. Which is smaller: 1 or d?
d
Let b(q) = -3*q + 10. Let c be b(5). Let i be (c/(-35))/(1/2). Which is smaller: -9 or i?
-9
Let z(j) = -j**2 + 9*j + 4. Suppose k - 18 = -k. Let h be z(k). Is h less than or equal to 8/3?
False
Let d be (-1 - 5)/(18/(-12)). Suppose -3*y = -d*t - 16, -7*t = y - 2*t - 18. Is 9 at most as big as y?
False
Let n be 568/(-20) + 2/5. Let q be (-36)/(-21) + (-8)/n. Which is bigger: 3 or q?
3
Let l = -42 + 41. Is 1/17 > l?
True
Suppose 0 = 2*j + 14 + 4. Let o = -9 - j. Do 2 and o have the same value?
False
Suppose -3*j + 8*j = 5. Let u = j + -3. Let q = -1 - -2. Which is smaller: q or u?
u
Let j = 18 + -12. Let h be ((-20)/j)/(1/(-3)). Let g be (-4)/h + (-24)/(-35). Which is smaller: -2/7 or g?
-2/7
Let j = -10 - -5. Let m be (-1)/(-1) - (j + 12). Is -5 <= m?
False
Let c(o) = o**2 + 21*o - 22. Let a be c(-22). Which is greater: a or 2?
2
Suppose 3*s - 4 = 2*s. Suppose m - 9 = 3*i, -s*m - i = 2*i + 9. Which is smaller: m or -0.2?
-0.2
Suppose -3*j + 2*g = -11, 0 = 5*j - 4*j - 5*g - 21. Which is greater: j or 12?
12
Let x be (3/4)/(2/(-8)). Let m(f) = -f**3 - 2*f**2 + 2*f - 3. Let c be m(x). Let v be 3 + (c - -2) + -1. Is 3 less than or equal to v?
True
Let c = 0.07 - 6.07. Let o = c + 5.97. Let b = o - 0.37. Which is smaller: -2 or b?
-2
Let k = -4805/51 - -283/3. Let s = -30 + 59/2. Is s less than k?
True
Suppose 7 = 2*y - 1. Let q be (-1)/(-1 + -2)*15. Suppose 5*m - 18 = -0*f - f, -q*f + 15 = 0. Is m greater than y?
False
Let c = -156 + 470/3. Suppose 4*m = -m + 30. Is c < m?
True
Let p = 47 + -47. Is p bigger than 1/4?
False
Let a be (-18)/(-45) + (-6)/15. Is 3/34 >= a?
True
Suppose 4*h + 0*i + 4*i = 36, -3*h = -2*i - 27. Suppose 0 = -2*s - s + h. Suppose -25 = s*x + 2*x. Is -4 >= x?
True
Let d = 7 + -4. Suppose 4 = c, i + i + d*c - 6 = 0. Let g be (i/2)/((-9)/(-12)). Which is greater: g or -1/2?
-1/2
Let j be (-166)/(-240) + 2/(-3). Let f = 3/8 + j. Which is bigger: f or 0?
f
Let d(s) = s**3 + 6*s**2 + 3*s + 4. Let n be d(-5). Is 15 less than or equal to n?
False
Let s = -10 - -5. Let n = s + 4. Let d(l) = -l**3 + 5*l**2 - 4*l - 2. Let r be d(4). Which is greater: n or r?
n
Let y = 42 + -36. Do y and 4 have the same value?
False
Let u = -639/16 - -40. Let p = u + -19/48. Is p less than 0?
True
Let w = 7 + -21. Let m = -14.07 - w. Are m and -0.1 equal?
False
Let k(c) = 2*c - 27. Let n be k(12). Let f(b) = -4*b**3 + 1. Let m be f(1). Is m bigger than n?
False
Let a(z) = -4*z**3 - 2*z + 1. Let k be a(2). Let m be ((-6)/7)/(5/k). Suppose 0 = -2*f + m*f - 16. Is 4 less than f?
False
Let j = -0.4 - -0.3. Let c = j + -0.9. Let w = -2 - -5. Which is smaller: c or w?
c
Let v = 4 + -6. Let w = -3/22 - 7/110. Is v at most as big as w?
True
Let o = 1 - -2. Let n = o + -4. Let f = n - 0. Which is greater: 2 or f?
2
Suppose 0*i = 3*i - 6. Let p be 1 - 1 - (1 - 4). Let x be (-6)/(-12)*(p - 1). Which is bigger: i or x?
i
Let c(u) = -u**3 + 9*u**2 + u - 10. Let i be c(9). Is i not equal to 0?
True
Let a(d) = -d + 1. Suppose 0 = 4*j - 7*j. Let y be a(j). Is y < 2?
True
Let k = 4 + -2. Let c = 0.02 - 0.52. Let o = 0.7 + c. Is o less than k?
True
Suppose 0 = 3*j - 0*j - 30. Which is greater: j or 11?
11
Let h = -0.4 + 0.3. Let n(s) = -207*s**3 + 2*s**2 - 2*s + 1. Let i be n(1). Let w be (i/70 + 3)*5. Which is smaller: w or h?
h
Let i be (-106)/182 + (-18)/(-117). Which is bigger: 1 or i?
1
Suppose -2*o = 2*o - 8, -5*b = -o + 17. Is -3 bigger than b?
False
Let y be 6032/(-26820) - (-2)/9. Let z = y + -439/2980. Is 1 >= z?
True
Let j be (6/(-28))/(7/(-14)). Which is greater: -1 or j?
j
Let m = 6079/124 + -49. Let t = -197/2108 - m. Are t and 0 unequal?
True
Let r = 19 - 19. Is -20 at most r?
True
Let r = 15 - 21. Let b = r - -11. Suppose 0 = b*w - 3*n - 8 + 22, 2*w - 5*n + 17 = 0. Is w greater than or equal to -2/3?
False
Let g = 3 - 1. Let f be 6*g/(-4) + 6. Suppose 2 - 4 = -f*r + 5*n, -r - 2 = -n. Is -4 at most r?
False
Let j be 3*((-4)/18)/(2/6). Let y(l) = 2 + l - 2. Let f be y(j). Is 2 > f?
True
Let g(i) = -2*i**2 + 3*i + 5 - 7 + 0*i**3 - i**3. Let c be g(-3). Suppose 5*t + 4*p - 2 = 0, 0*p - p + 11 = -4*t. Is c at least as big as t?
True
Suppose -4*x = -2*u - 98, -u + 0*x + 4*x = 53. Let g be (-2)/(-5) + 63/u. Are g and -4/5 non-equal?
True
Let j(t) = t**2 - 2 - 2*t**2 + 4*t + 4*t**2 - 2*t**2. Let w be j(-5). Does 2 = w?
False
Suppose 0 = 5*c + 10, 2*c = 5*q + 15 - 44. Suppose 0 = -3*l - 9, 0 = q*p + 2*l + 3*l + 15. Let f = -3/32 + -49/160. Is f at most as big as p?
True
Let d(w) = -w**2 - 8*w + 4. Let f be d(-7). Let i = -13 + f. Which is greater: i or -5/6?
-5/6
Let j = 7.07 + -0.07. Let d = 6.85 - -0.15. Let o = j - d. Is -4 at most as big as o?
True
Let d = 2/101 - 220/909. Which is bigger: -6 or d?
d
Suppose 3*b = -0*b. Suppose 2*a - 7*a = b. Which is greater: a or -3?
a
Let w be ((-36)/(-45))/(2/(-5)). Are -11/10 and w unequal?
True
Let q be ((-20)/(-5))/((-10)/(-2)*2). Which is greater: 0.1 or q?
q
Let j = 24 + -20. Suppose 26 = -5*a - j. Which is smaller: a or -4?
a
Suppose -4*s - 5 = -1. Suppose 0 = 4*v - 3*v - 5. Suppose 0 = v*a + 2*l, 6*a = 4*a + 5*l - 29. Which is greater: a or s?
s
Let z(h) = h**3 + 3*h**2 - 3*h + 3. Let s be 2 + -1 + 5 + -1. Suppose 0 = -y, 0*j + 2*y - 20 = s*j. Let m be z(j). Which is greater: m or 2?
2
Let i be 1/(24/16*2/6). Is i equal to 12/11?
False
Let u be (-1)/(-2*2/8). Suppose -j - 3*x - 17 = x, 3*j + 5*x = -16. Suppose a = -u*a + j. Is 1/2 <= a?
True
Let f = 15 - 15.1. Let o = -5 - -1. Let p = o - -2. Is p at least f?
False
Suppose -58 = j + 26. Let m be 1/4 + (-93)/j. Let y = m - 6/7. Is y >= 0?
True
Let i be (7 - 4)*2/(-3). Is 0.2 greater than i?
True
Let p(u) = u**2 + 11*u - 2. Let k be p(-11). Is k less than -1?
True
Let f = -6 - -6.4. Let h = 0.6 - f. Let p = -0.4 + h. Which is smaller: p or 1?
p
Suppose -s = 3*s. Let d = 143 + -433/3. Which is bigger: d or s?
s
Let h(x) = -x**3 + 5*x**2 - 3*x - 4. Let g be h(4). Suppose -s - 2*l = -10, g*s + 5*s - 3*l = -15. Let z be 2 + -1*4 + s. Is -4 at least as big as z?
False
Let r = 39/2 + -20. Let i be 2/(-6) + 2/6. Which is smaller: r or i?
r
Let t be ((-45)/12)/(3/(-22)). Let w = 27 - t. Which is greater: w or -1?
w
Suppose 4*f - 6 = 4*c + 42, 0 = -2*f + 6. Let k = 5 + c. Let i = k - -5. Which is smaller: i or 6/7?
6/7
Suppose b + 7 = 5. Is b <= -6/5?
True
Let l be (-1)/7*(-351465)/(-18). Let h = l + 2789. Let n = 2/21 - h. Which is greater: 1 or n?
1
Let s be 18/(-8)*(-1 - 291/117). Is 7 greater than or equal to s?
False
Let n be 2/(-13) - ((-17)/26 + 2). Which is bigger: n or -29?
n
Let o(w) = w**3 + 13*w**2 + 10*w - 4. Let i be o(-12). Let j = 18 - i. Is j less than -4?
False
Let r = 1135/2 + -588. Which is greater: r or -21?
r
Let k be (-3)/((-6)/(-4)) + -2. Let o be k/6 + 4/6. Which is bigger: o or -3/5?
o
Let f be (21/9 + -3)/(-1). Which is smaller: f or -1/2?
-1/2
Let k(h) = -h**3 - 5*h**2 + 10*h - 3. Let m be k(-7). Suppose 3*w + 2*a = 4*a - 11, 0 = -5*a - m. Let y = 6 + w. Is y < 0.2?
True
Let r be (-2)/12 - (-35)/(-42). Let b be 0/(-2 + (-4)/r). Which is bigger: -2/29 or b?
b
Let m be 6/(-27) - (-114)/27. Suppose 0*s - 2*s - u = 0, 0 = -3*s + m*u - 11. Let q = 1 + -2. Is s greater than or equal to q?
True
Suppose 0 = -2*d - l + 4, d - 5*l = -4 - 5. Suppose 3 = q - 0. Suppose -q*p = 2*p. Is d at least as big as p?
True
Let u = -15.4 + 15.4. Let h = -3 - -2.9. Let r = h + 0.1. Is u less than r?
False
Let f = -13 + 16. Which is greater: f or 2?
f
Let u = -7 + 4. Let a be (-1 + 1)/(u/(-1)). Is a less than 5/4?
True
Let b(a) = -a**3 - 3*a**2 - a - 3. Let u be b(-3). Suppose u = -2*g + g. Let q(z) = -z - 5. Let t be q(-5). Is g greater than t?
False
Let t = 372 - 370.03. Let v = t - -0.03. Let y = -24 + 24.1. Is y at most as big as v?
True
Let r be -3 - (100/36)/(-1). Let h = -5 + 3.1. Let m = 2 + h. Which is greater: r or m?
m
Let l = -15 - 5. Let g be l/(-16) + 3/(-12). Let h(r) = -r**3 + 2*r**2 - r. Let j be h(g). Which is bigger: j or 3?
3
Suppose -5*i = -3*i + 10, u - 4*i - 23 = 0. Let x be (u/15)/(2/2). Which is bigger: x or -1?
x
Let o = -0.19 + 0.19. Let m = 0.44 - 0.04. Let z = m - 0.3. Which is smaller: z or o?
o
Let m be (-4)/21*(-3)/2. Let x(j) = -j**2 - 2*j - 1. Let n b