6 + 3. Let y = 0.34 - n. Which is bigger: y or 0?
y
Suppose b + 19 = 4*u - 9*u, -u - 2 = 2*b. Do u and 3 have the same value?
False
Let i = 61/5 + -12. Let v be 2/(-9) + 0 + 0. Which is bigger: i or v?
i
Let z(m) = 4*m + 1. Let x be z(2). Suppose -4*t - 37 + x = 0. Is -6 at least t?
True
Let v = -41 - -450/11. Which is smaller: v or -1?
-1
Suppose -5*s - d = -5*d + 20, -3*s = -4*d + 20. Suppose 0 = 2*h + 17 + 55. Let r be (h/40)/((-12)/(-5)). Which is smaller: s or r?
r
Let n = 2.96 - 3. Let x = -4.04 - n. Which is smaller: 2/3 or x?
x
Let q = -0.07 + -2.93. Let k = 6.86 - 7. Let o = -0.04 - k. Is o greater than or equal to q?
True
Let b = 205/11 - 19. Which is smaller: b or -0.1?
b
Let o = 4 - 3.9. Let k = 0.6 - o. Let i = 0.4 - k. Which is smaller: 1/4 or i?
i
Let m be 7 - (14/4 + -4). Which is bigger: m or 9?
9
Suppose -3*n + 5*h = 22, 2*n - 3*h - 2*h = -18. Are n and -9 non-equal?
True
Let a = -3.5 - -5. Let j = a + -1.4. Do -8 and j have different values?
True
Let a = -7.4 + 9.4. Which is bigger: 0.1 or a?
a
Let s = 98 + -89. Which is bigger: 2 or s?
s
Let s(c) = -4 - c + c - c + 2*c**3 - c**3 + 6*c**2. Let a be (8/20)/(1/(-15)). Let i be s(a). Are 0 and i non-equal?
True
Let v = 40 - 28. Let n be (-1640)/v*12/(-10). Let j = n + -1146/7. Is 1 greater than j?
True
Let a = 0 - 5. Which is smaller: 0 or a?
a
Let i = -11 + 10.84. Let s = i - -0.26. Which is smaller: s or -1?
-1
Let s(l) = -l**2 - l + 4. Let g be s(-3). Let m = 9 - 7. Let t be m*(-3)/6*2. Is t bigger than g?
False
Let m = 8 + -7. Let j be m/(-2)*4/10. Is j less than or equal to 0?
True
Let h be 6/12*(0 - -2). Which is smaller: 1/105 or h?
1/105
Let v be (-2)/(36/(-19)) - 1. Which is greater: v or 1?
1
Let p = -9 + 9. Is 1/9 > p?
True
Let z = 3.4 - 0.5. Let p = 0.1 + z. Let i be ((-2)/16)/((-2)/4). Which is smaller: p or i?
i
Let d = -5 - 4. Let r = 9.1 + d. Is r not equal to -2/17?
True
Suppose 3*h + 7 = h - o, 3*o - 39 = 4*h. Let m = h + 1. Let f = -5 - m. Which is greater: -1 or f?
f
Let l = 9.23 - 0.23. Let c = l + -6. Are c and -6 equal?
False
Let b(q) = -10*q + 10. Let m be b(1). Let w be 1 - 2 - (-1)/4. Is w < m?
True
Let l = -42.03 + 42. Do 0.2 and l have different values?
True
Let s = -11 + 16. Suppose 2 = -s*n - 3. Which is smaller: n or 2/11?
n
Let t(z) = 4*z**2 + z. Let a be t(-1). Suppose -3*q + 0*q = a. Let u be (27/(-6) - q)*-2. Is u bigger than 6?
True
Suppose 4*d + 23 = 87. Let b = d - 16. Let k(y) = y + 2. Let g be k(0). Is b greater than or equal to g?
False
Suppose -3*b + 33 = -3*h, h - 13 = -4*b + 1. Is -1 > h?
True
Suppose f = -0*f. Let t be f*(10/4)/5. Suppose -2*x - 3*x = t. Which is smaller: x or -2?
-2
Let i = 30 - 28. Which is smaller: 3/2 or i?
3/2
Suppose -8*c + 3 = 11. Let p be (1 + (2 - 2))*4. Suppose -j = 4*t - 20, -j - p*j = t - 5. Which is greater: j or c?
j
Suppose 0 = -d - 4*l + 20, -d + 4*l = -4*d + 20. Let b = -133 - -1993/15. Which is greater: b or d?
d
Suppose -2*d = d - 6. Let q be (4/8)/(d/4). Which is bigger: -3/7 or q?
q
Let z be (5/100*5)/((-1)/(-12)). Let t be (-12)/(-7) - 6/(-21). Do z and t have different values?
True
Suppose -5 = 2*h - 3*s, -4*h - 5*s = h. Is h less than 2/27?
True
Let b be 18/27 - 5/8. Let q = -19711/120 + 329/2. Let c = b - q. Is c at most as big as 0?
True
Let x be ((-64)/(-20))/(4/(-20)). Let g be (-4)/(x/(-4))*5. Is -5 at most as big as g?
True
Suppose -r - 3 = -7. Suppose 0 = -2*m - m + 24. Let q = m - r. Which is greater: 3 or q?
q
Suppose -3*d = 5*v + 341, v + 5*d - 14 + 69 = 0. Let c be ((-2)/v)/(2/(-5)). Which is bigger: c or 1/3?
1/3
Let u be ((-51)/36)/(1/2). Let z = -19/3 - u. Do z and -3 have the same value?
False
Let z = -1.5 - -2. Let h = 0.5 - z. Let p be (2 + 0)/((-3)/3). Which is bigger: p or h?
h
Let p(i) = i**2 - 2*i - 11. Let h be p(0). Let m(l) = l**2 + 11*l - 2. Let a be m(h). Is a greater than or equal to -1/2?
False
Let t be 1/4 - (-94)/(-120). Let x = t + -2/15. Are -1 and x nonequal?
True
Let m = 10.04 - 0.04. Let w = -8 + m. Which is greater: w or 1?
w
Let k = -20.1938 + 0.1338. Let m = k - -20. Are m and -1 nonequal?
True
Let g(u) = 2*u**2 + u + 1. Let d(p) = p**2 - 5*p + 3. Let v be d(4). Let t be g(v). Suppose m + m = t. Are 2/11 and m equal?
False
Let r(f) = f**2 + 6*f + 2. Let q be r(-4). Which is greater: -7 or q?
q
Suppose -7*r = -3*r - 4. Suppose 0*y + 4*y = -4. Let n be (-6)/(-8) - y/4. Is n < r?
False
Let p = -0.47 + 0.37. Is p at most as big as 33?
True
Let j be 28/21*6/4. Suppose 0 = -j*o - 5 + 1. Let v(c) = c**3 + 4*c**2 + c + 1. Let x be v(-4). Is x at least o?
False
Let m = -865/1164 - 2/291. Suppose 7*u - 3*u = -2*p - 12, -u = -p. Do m and u have different values?
True
Let r(y) = -2*y**3 + 15*y**2 + 7*y + 11. Let i be r(8). Which is greater: 21 or i?
21
Let w = -11 - -10.97. Let b = 0.53 + w. Is 2 >= b?
True
Let o be (5 + 1)*1/3. Let a be 1/(o + 3/(-2)). Suppose -v + a*k = -4, 3*k = 3*v - 1 - 5. Which is bigger: 2/13 or v?
2/13
Let g = 11 + -2. Let m = 0 - g. Let a = 7 + m. Which is smaller: a or -1?
a
Let f = 0.116 + -0.076. Which is smaller: f or 0.2?
f
Suppose 0 = b + 3*b + 4. Let y = 28 + -20. Is b at least y?
False
Let w = -5/2 - -11/6. Is w > 3?
False
Let f be -2 - -2 - 4/(-46). Let r(k) = k + 6. Let d be r(-5). Which is bigger: d or f?
d
Suppose -o = 5*s + 8 - 3, -3*o + 2*s = -53. Let i be (-114)/o*(-66)/4. Let u = i - 125. Which is bigger: 0 or u?
u
Suppose -10 = -u - u + 2*w, 5*u = 3*w + 21. Let k be (3/(-3))/((-3)/u). Is k <= 2/5?
False
Let a = 1/11 + 17/55. Let o = -11 - -16. Which is bigger: o or a?
o
Let d be 4/(-5)*(-10)/4. Which is smaller: d or 8/9?
8/9
Let s be 8/6*(-12)/(-8). Let x be (-1)/s + 8/16. Is x at most 1?
True
Suppose -4*d = -k - 6, -4*d + 3 = -k - d. Let p(i) = -2*i - 6. Let h(f) = -f - 6. Let o(n) = 3*h(n) - 2*p(n). Let v be o(k). Which is greater: 2/3 or v?
2/3
Let m = 14.1 + -1.1. Let t = -12 + m. Let h = 0 + 1. Is h at least as big as t?
True
Let f = -3590 + 39518/11. Let j = f + -62/33. Let l = -6 - -8. Which is smaller: j or l?
j
Let o = -0.13 + -0.07. Let m = 63/2 + -32. Which is smaller: m or o?
m
Let c be 0 + (-48)/20 + 2. Is c greater than 0.23?
False
Let i(s) = -s - 2. Let t be i(-7). Suppose 5*w - t = 2*f - 0*f, 0 = 2*w - 3*f - 2. Let d be (1 + -3)*(-2 + w). Which is smaller: 0 or d?
0
Suppose -3*d - 64 = -11*d. Suppose c = -2*c + 27. Which is greater: c or d?
c
Let g = -11 - -23. Let w = 1 - 5. Let j = g + w. Is j < 7?
False
Let j = -5 + 8. Suppose 0 = -q - 8 - j. Let g be (2 - 4) + q/(-7). Which is smaller: 0 or g?
g
Let i = 19 + -19. Let n be i/3 - -4 - -2. Is n at most as big as 3?
False
Let u(w) = -w**3 + 3*w**2 - 2*w + 2. Let g be u(2). Suppose g*z = 4*z. Which is smaller: 1 or z?
z
Let d be (1/(-5))/(5 - 272/56). Is d at most 0?
True
Let f(j) = j**2 - 4*j + 5. Let m be f(4). Which is bigger: m or 7?
7
Let l(d) = -d**2 - 5*d - 2. Let k be l(-3). Suppose -4*t - 4*p = -3*p - 8, 2*p + 20 = k*t. Let q(z) = z. Let n be q(t). Is 4 less than n?
False
Let f = -35 + 34. Is -5 at most f?
True
Let z be (-3 + (-70)/(-24))/((-6)/(-16)). Which is greater: z or -1/8?
-1/8
Let q = 59/85 - 22/17. Is -2 greater than q?
False
Let d = 2 - -1. Suppose 0 = -3*t - d*r + 5*r - 14, 0 = t - 3*r + 7. Let i be (-64)/132 + t/22. Are i and 0 equal?
False
Let c(b) = b - 8. Let z(p) = -2*p + 15. Let x(v) = -13*c(v) - 6*z(v). Let s be x(6). Is 8 less than s?
False
Suppose -3*l - 312 = -x, 2*x + 0*l - 617 = -l. Let a = -1245/4 + x. Which is bigger: -3 or a?
a
Let i = -4 + 4.8. Let n = -0.73 + i. Is n less than 1?
True
Let s = 0 + 0. Let j(l) be the third derivative of -l**5/60 + l**4/3 + l**3/3 - 6*l**2. Let u be j(8). Is s at most u?
True
Let a = 0.042 + 0.058. Which is smaller: a or -18?
-18
Suppose 2*i = 21 + 13. Suppose 4*y + 2*r - i = -y, -2*y - 2*r + 8 = 0. Are 2 and y nonequal?
True
Let m = 1.38 + -1.4. Let v = 1.02 + m. Is v less than 0?
False
Let j = -8.3 - -0.3. Let m = 122/3 - 40. Which is bigger: j or m?
m
Let b = 0.18 - -2.82. Which is smaller: b or -0.2?
-0.2
Let p = -529981379974597/9757747713 - -1/464654653. Let l = -54298 - p. Let u = 16 - l. Are 1 and u non-equal?
True
Let o be -5 + 1 + -5 + 4. Let h(m) = m**3 + 6*m**2 + 4*m - 3. Let k be h(o). Let x be (-1)/(-2) + 6/(-4). Which is greater: x or k?
k
Let j be (2/1)/(-2) - 7/1. Which 