?
False
Let q = -37/154 + 2/77. Let a = 2 + -1. Which is smaller: q or a?
q
Let w be 1/4 + 34/(-8). Suppose 3*z + 22 = -5*f, -3*z - 7 = -3*f + 5*f. Let k = w - f. Do k and 2/5 have the same value?
False
Let o(w) = -3*w**2 + 2 + 4*w**2 + w**3 - 3. Let j be o(2). Let f(r) = r**3 - 10*r**2 - 11*r. Let v be f(j). Which is smaller: v or 2/15?
v
Let m be (-8)/(-36) + 30/(-54). Let k = 6.93 - -0.07. Which is smaller: m or k?
m
Let n = -3 - -7. Suppose h + 6 = 4*h. Suppose -2*b + h = -n*b. Does 1/4 = b?
False
Suppose p - 4*h = -6, -p + h + 1 = -2. Let l be (-2)/p - 2/(-24). Which is bigger: 0 or l?
0
Suppose 4 = h + 3*h. Let c be ((-6)/3)/(h + 1). Is c at most as big as 2?
True
Suppose 0 = -2*m + 5*m. Let r be (58/(-2))/(126 - 0). Let u = r + 1/126. Which is bigger: u or m?
m
Let o = 3.155 + -0.055. Let u = -3.05 - -0.05. Let d = u + o. Is 0.2 <= d?
False
Let q = -10.7 + 10. Which is greater: q or 0.2?
0.2
Let n(x) = -x**3 + 11*x**2 - 11*x + 14. Let c be n(10). Suppose c*j - 7 = 21. Is 8 < j?
False
Let c = 3 + 1. Let p be 22/18 + c + -5. Which is greater: 2 or p?
2
Let f(t) = t**3 + 5*t**2 + 4*t - 4. Let p(a) = 2 + 0*a**3 + 0*a**3 + 5 - a**3 - 12*a + 12*a**2. Let x be p(11). Let d be f(x). Which is smaller: d or -3?
d
Let y = 11 + -7. Let i be (-2)/y - (-2)/(-20). Let o be -1 - (-6 - -3) - 4. Which is smaller: i or o?
o
Let f = -1 - -1. Suppose 2*j + f*j - 3 = 3*d, -5*j + 15 = 0. Are 2 and d non-equal?
True
Suppose -4*x = 4*q + 16, 6*x - 2*x = 4*q. Let n = -125/124 - -8/31. Are n and q non-equal?
True
Let q = 2/119 + 228/595. Which is smaller: 0.1 or q?
0.1
Let m = 19 - 7. Is m less than 10?
False
Let t = -18.04 - -0.04. Let m = -12 - t. Let v = m - 5. Is v >= -4?
True
Suppose 5*w - 18 = -z + 4*z, -2*w = -2*z - 8. Which is bigger: z or 13?
13
Suppose 2*y + 4*a - 20 = 3*y, -a = 2*y + 22. Let p be y/63 - 1/7. Suppose 0 = 2*n - 1 - 1. Which is smaller: n or p?
p
Suppose -7*f = -3*f - 88. Let v = f - 16. Which is smaller: v or 7?
v
Suppose -5*h + 0*h = 0. Suppose h = 4*r - r. Suppose 0 = -2*q - 5*x + 8, q = -2*q - 2*x + 1. Which is smaller: r or q?
q
Suppose -g + 3*g - 2*t = 14, 3*g - 31 = 5*t. Suppose 9 = 2*v + 3, -4*x = -g*v - 6. Let k be ((-4)/6)/(x/9). Which is smaller: 3/4 or k?
k
Let r = 62 - 62.1. Which is greater: -8 or r?
r
Suppose -2*q + 5 = 3. Let i = -2 - -12. Let a be q/10*i/8. Is -1 less than a?
True
Suppose 4*w - x = -25, 0 = 4*w + 3*x + 5 - 0. Let n = -4 - w. Which is bigger: n or 0?
n
Let t = 28 - 24. Which is bigger: t or 2?
t
Suppose -2*d = 4*x - 56, 3*x - 49 = -3*d + 20. Which is smaller: d or 19?
d
Let s be ((-4)/10)/(13/520). Which is smaller: s or -15?
s
Let g be (-4)/(-92)*(-6)/(-1). Which is greater: 0 or g?
g
Let m = 157/5 + -31. Which is bigger: m or -8?
m
Let l = 28 - 17. Suppose -l*p - 12 = -15*p. Let d be ((p - 2)/1)/(-11). Is 0 smaller than d?
False
Let y(g) = 2*g - 6. Let r be y(3). Let d = 2 - r. Which is smaller: 2/3 or d?
2/3
Let z = 9 - 8.1. Let h = -6.9 + z. Let t = 6 + h. Which is greater: -2/7 or t?
t
Suppose 0*g = 2*g + 4*l + 6, -3 = l. Suppose g*h + 9 = 6. Is 4/17 greater than h?
True
Let i(s) = s**2 - 10*s + 10. Let q(h) = 3*h**2 + h - 1. Let n be q(-2). Let f be i(n). Let v be (4/6)/((-2)/(-3)). Are v and f equal?
True
Suppose 5*q = 5*p - 585, -2*p - 429 = 4*q + 39. Which is smaller: -116 or q?
q
Let v = 0.061 - 2.061. Which is bigger: v or 11?
11
Let l = 58 + -58. Which is bigger: 2/5 or l?
2/5
Suppose 4*x - 211 = 21. Let k = 289/5 - x. Are k and 0 equal?
False
Let h(x) = -x + 1. Let j be h(2). Is 2/7 <= j?
False
Let a be ((-6)/9)/(5/(-3)). Let q = -2 + 2.05. Let n = q - 0.35. Which is smaller: a or n?
n
Let f(i) = 17*i**2 - 6*i - 7. Let v(m) = 50*m**2 - 17*m - 20. Let h(q) = 17*f(q) - 6*v(q). Let b be h(-1). Which is smaller: -9 or b?
b
Let f = 519/97 + -20756/5529. Let d = f + -5/19. Let u(s) = -s + 6. Let m be u(5). Is d >= m?
True
Let m = 12 + -6. Let s = -7 + 2. Let z = m + s. Which is smaller: z or -2/7?
-2/7
Let u = 15.054 + -0.054. Is -0.1 less than or equal to u?
True
Suppose -10 = -3*a - 2*x, 0 = -0*x - x + 5. Let j(k) = -k + 2. Let g be j(0). Suppose g = 2*c - c. Which is greater: c or a?
c
Let g = -19 + 21. Let n = -0.05 - 0.35. Is g less than n?
False
Let d = -3 - -3. Suppose -1 = -d*p - p. Let z be ((-6)/2)/(105/14)*-2. Which is smaller: z or p?
z
Suppose 0 = -5*q + 2*q + 15. Let o = 7 - q. Are 2 and o non-equal?
False
Let y(j) = -2*j**2 - 1. Let n be y(-1). Let a be (125/9)/(-5) - n. Let x(t) = -t**2 - t - 1. Let m be x(-1). Which is bigger: m or a?
a
Let o(a) = 6*a**2 - 2*a - 2. Let q be o(-2). Suppose -m - 3*y - 11 = 3, -m = -5*y - q. Which is greater: 1/4 or m?
m
Suppose 27 = -3*b + 3*w, 3*b + 10*w + 27 = 5*w. Let v(q) = q**3 + 4*q**2 - 5*q - 4. Let j be v(-5). Let p be 6/(-4)*j/b. Is p less than or equal to 4/5?
True
Suppose 2*u = -3*g + 6, -4*u + 0*u + 3*g = 6. Suppose -n = -u*n - 4. Suppose -4*v = 5*d, -n*v - 15 = 5. Which is greater: d or 2?
d
Let o be -2 + 1 + (-42)/3. Is o at least as big as -15?
True
Let l be (7 + 1)/(-1 - 0). Are -7 and l equal?
False
Let x(s) = -13*s + 1. Let z be x(-1). Suppose 5*j + 3*b = -z, 4*b = j + 2*j - 9. Let q(d) = d**3 - 6*d**2 - 3. Let i be q(6). Which is greater: j or i?
j
Let d = 0.136 + -0.18. Let n = -3.256 + d. Let v = 3 + n. Is -1 <= v?
True
Let f be -1 + (-1)/(-6)*4. Let n be (-3 + -2)*2/(-2). Suppose -9 - 1 = n*h - 3*j, -4*j + 21 = h. Are h and f nonequal?
True
Let m be 12/(-174)*6/(-4) - 0. Which is bigger: 0 or m?
m
Let q = -3.5 + 3.4. Which is smaller: 37/4 or q?
q
Let k(b) = 2*b**3 + 5*b**2 + 8*b + 9. Let t(v) = 3*v**3 + 11*v**2 + 16*v + 17. Let l(w) = 5*k(w) - 3*t(w). Let r be l(9). Which is smaller: r or 2?
2
Let s(w) = 2*w + 1. Let t be s(2). Which is smaller: t or 7?
t
Let v = -30 + 10. Which is smaller: -22 or v?
-22
Suppose 4*s = 3*l + 14, -2*l - 7 = -2*s + 1. Let d be 1 + 1/(-2)*s. Let h be (-3)/((-27)/6) + 0. Which is greater: d or h?
h
Let y = -10 + 15. Let u = y - 6. Let s = 23/42 - 3/14. Which is smaller: s or u?
u
Suppose -7 = 2*n + 5. Let c(w) = -w. Let l(z) = 2*z - 1. Let x(a) = -7*c(a) - 3*l(a). Let t be x(-9). Is n < t?
False
Let v = -12 + 11.89. Let y = 0.08 + v. Let g = 2.03 + y. Which is greater: -1 or g?
g
Suppose -b - 8 = -2*z, 5*z - 4*b - 26 = -0*b. Let w be (-38)/(-9) + z/(-9). Let s be (-18)/4*w/(-33). Which is smaller: s or 2?
s
Let h(q) = -q - 6. Let u be h(-8). Suppose -5*p = 4*s - 37, 2*s - 3*p + 9 = -0*p. Do s and u have the same value?
False
Suppose 0*c + n = -c + 2, n + 4 = 0. Suppose 5*g + 40 = -5*d, -5*g + 7*d = 3*d + 22. Let q = c + g. Is q equal to 0?
True
Let l = 4.74 - 1.8. Let d = l - -0.06. Is 1/4 < d?
True
Let i = 3.785 - -0.305. Let v = i - 0.09. Let g = 5 - v. Which is smaller: -1 or g?
-1
Let x = 0.21 + -6.21. Let b = x - -8. Does -6 = b?
False
Suppose -r - a - 3 = -3*a, 1 = -r + a. Which is greater: 3/32 or r?
r
Let b = -10 - -12.6. Let w = -0.5 + 0.9. Let g = b + w. Which is smaller: g or -1/4?
-1/4
Let j = 1 + 0. Which is greater: j or -1/6?
j
Let b = 24 + -36. Let u = b - -11. Is u < -3?
False
Let d = -203 + 95. Is d at least as big as -108?
True
Let u = 34.1 + -34. Which is smaller: u or 1?
u
Let a = -8 - -13. Let d = 19 - 15. Which is smaller: d or a?
d
Let s = 12624/335 - -48/67. Let k = s - 39. Which is smaller: 0 or k?
k
Let g be 42/(-110) - 5/(-25). Is -1 greater than or equal to g?
False
Suppose -3*w = -2*k - 0*k + 8, 5*k - 3*w = 2. Let r be (k/(-3))/((-8)/42). Let v = -89/26 - r. Are -1 and v equal?
False
Let u = -0.6 - 9.4. Is -1 at least u?
True
Let c = -12 - -11. Is 4 less than or equal to c?
False
Let x = -8 + 1. Let o = -5 - x. Which is bigger: o or 0?
o
Let k(x) = x**3 - 11*x**2 + 5. Let b be k(11). Suppose 4*w + 1 - b = 0. Let q = 1585/7 + -226. Which is bigger: w or q?
w
Suppose 0 = -10*l + 3*l + 371. Is 53 >= l?
True
Let u be 2*(2 - 23/10). Let s(z) = -z**2 + 11*z - 6. Let i be s(10). Suppose -4 = -2*y - 4*v, 2*v + 0*v = i*y + 12. Which is smaller: u or y?
y
Let l = 55/2 + -28. Suppose 0*o - o + 17 = 4*v, -3*o = -v - 12. Is l at least as big as o?
False
Let l(v) = v - 1. Let r be l(-4). Let d be (r - 1)/2 + 3. Which is smaller: d or -1?
-1
Suppose -4 = -5*h - 2*j, 4*h - 2 = -h - j. Suppose 9*z - 13*z - 4 = h. Let t = -1.05 - -1. Which is smaller: z or t?
z
Let u = 0.62 + -0.65. 