8)*1344/30. Which is bigger: g or 11?
g
Suppose 5*b = 15 + 15. Let n = 11 - b. Are 5 and n equal?
True
Let i = 322/5 + -64. Let d be (-2)/(-3) + (-22)/24. Do d and i have the same value?
False
Let m be (-30)/(-25)*(1 + 4). Let v = -5 + 16. Suppose v*d = m*d. Which is smaller: d or 1?
d
Let w be 5/25 + 28/10. Suppose a + 2 = w*a. Which is greater: a or -2/5?
a
Let j = -3.1 + 3. Let a = -0.1 - j. Let l = a + 0.1. Is 3/4 > l?
True
Let x(h) = -2*h + 1. Let f be x(5). Let y be -12 - f - (0 - 8). Which is greater: y or 4?
y
Let c = -8 - -8.2. Let t = c + -0.5. Let y = t - -0.2. Which is smaller: y or -1/4?
-1/4
Let r = -12 + 13.4. Let p = 4.6 - r. Let i = p - 3. Is 0.2 greater than or equal to i?
True
Suppose 3*m - 6 = m. Let b = m + 1. Which is smaller: 3 or b?
3
Let z = -121/3 + 40. Which is greater: 112 or z?
112
Let d be (2/4)/(5/130). Is d > 13?
False
Suppose 0*u + 5*u - h - 19 = 0, -3*u - 11 = 5*h. Suppose -20 = 4*x, u*s + 0*x = x + 44. Do 13 and s have the same value?
True
Suppose -3*z + 64 = z. Let w(l) = -2*l**2 - 22*l - 43. Let q be w(-6). Which is greater: q or z?
q
Let n = 7 - 3. Suppose 0 = -3*g + 2*f - 3*f - 7, 5*g + 6 = n*f. Let w be 0 - 2/(-4)*-1. Which is smaller: w or g?
g
Let l = 12 + -13. Which is smaller: 1/9 or l?
l
Suppose -1 - 2 = 3*f. Let l = 1075/2 + -563. Let p = l + 25. Is p < f?
False
Suppose -2*y - 52 = 2*y. Is y at most 1?
True
Suppose 0 = -3*r - 3 + 6. Suppose 4*x + 3*z - 28 = 7*z, -2*x + 5*z = -29. Which is smaller: r or x?
r
Let x = 0.02 + 2.98. Let g = -1 + 0.1. Let o = g - 0.1. Is o < x?
True
Suppose 5*r - 3 - 2 = 0. Suppose 0*s = s + l - 3, -7 = -s - 5*l. Let m be (0 - 2/s) + 1. Is m equal to r?
False
Let u(g) = g + 8. Suppose -y + 4 - 11 = 0. Let d be u(y). Is -0.8 smaller than d?
True
Let b = 134.08 - 131. Let r = 0.08 - b. Let c = 4 + r. Which is bigger: c or -1/3?
c
Let n = 6 + -12. Let y = 5 + n. Is -0.1 at least y?
True
Suppose -d = t - 4*t - 3, 5*t + 3 = d. Is 1/30 greater than t?
True
Let r be 1 + -1 + 7 + 7. Let b be (-51)/(-105) + (-4)/r. Let k be (1/((-1)/1))/1. Which is smaller: b or k?
k
Let p(u) = u**3 + 6*u**2 + 4*u - 1. Let g be p(-5). Let d(c) = c - 5. Let z be d(g). Let s = 163 + -1139/7. Which is smaller: z or s?
z
Let f be 1/3 + 26/(-96). Let h = 113 - 114. Does h = f?
False
Let w be 4/12 + (-26)/(-3). Let l be 94/10 - (-6)/(-15). Is l smaller than w?
False
Suppose -14 = -p + 5*o, -2*o = 4*p + 2*o - 8. Suppose u + 5*l = -5, u - 1 + 5 = -p*l. Let b be (-2)/10 - (-4)/10. Is u smaller than b?
True
Let s = 4 + -4. Let j be ((-4 - -1) + 2)*-2. Suppose 3*a + 5 - j = 0. Which is greater: s or a?
s
Let l be (-4794)/14 - (-6)/6. Let d = -342 - l. Which is greater: d or -1?
d
Let w(t) = -3*t - 4 + 4*t - 5*t**2 + 5*t**2 - 3*t**2 + t**3. Let f be w(3). Let m be (1/(-12))/(1/2). Is f less than or equal to m?
True
Suppose -5*t + 11 = -s - 7, 3*s + 6 = 3*t. Suppose a + 0*n + 1 = s*n, -a - 2*n + 3 = 0. Suppose 0 = -x - 0 + a. Which is greater: x or 0?
x
Let u(j) = 14*j - 1. Let k be u(1). Suppose -4*c = -5*w + k, -w = -c - 4*c - 11. Let g be ((-4)/6)/(14/21). Is c < g?
True
Let l = -22 + 21. Which is smaller: l or -2/3?
l
Let v(w) = -w**2 + 7*w + 10. Let y be v(8). Let s(h) = 6*h**2 + 0*h**y - h**3 - 3 - h**2. Let x be s(5). Is -4 smaller than x?
True
Let q be (153/21)/(2/(-7)). Let y = -26 - q. Are -0.5 and y non-equal?
False
Let l = -20/37 - -334/481. Is l not equal to 1?
True
Let f = 0.6 + -0.9. Let k = 1.7 - f. Let g = -2 + 2. Is g greater than or equal to k?
False
Suppose -l - 5*o + 20 = 0, 2*l - 2*o = -4*o. Let f be 36/(-15) + 3/l. Is -3 less than or equal to f?
True
Suppose -4*i = -213 - 63. Is i greater than 70?
False
Suppose -2*w - f + 12 = -0*f, 0 = -3*w - 5*f + 25. Let b = -2 + w. Suppose l - 4 + b = 0. Is 6/5 > l?
True
Let u = -0.2 + -0.3. Let q = u + 0.4. Are q and -0.2 unequal?
True
Suppose -h - 32 = -5*q, q - 6*h - 16 = -h. Suppose -w - q = w. Is w greater than or equal to -4?
True
Suppose 4*m - 2*r - 21 = 21, -2*m = 5*r + 9. Suppose 3*h = 2*y - 28, -16 + 4 = y + 5*h. Is m >= y?
True
Let t = -0.2 + 2.2. Let h = t + 0. Let i = 1/2 - 3/4. Which is smaller: h or i?
i
Suppose -5*d + 13 + 32 = 0. Is d not equal to 9?
False
Suppose 0 = -2*x - 32 + 18. Is -7 bigger than x?
False
Suppose 0 = -4*m - 2*f - 6, 4*m = -0*m - 3*f - 9. Let y be (2/4)/(0 - 1). Is m greater than y?
True
Let p = 13 - 13.4. Is 1/3 equal to p?
False
Let k = -26 + 24. Is -2 less than or equal to k?
True
Let h be (-4)/(-6) + (-40)/42. Is 2 less than h?
False
Let x(d) = -d**3 - d**2 + 1. Let w be x(1). Which is bigger: 3/8 or w?
3/8
Let u = 35.9 - 32. Let n = 18 + -14. Let c = u - n. Is -5 < c?
True
Let y(j) = -7*j**3 - 2*j**2 - j. Let k be y(-1). Let g be (-3)/k + 33/(-6). Which is smaller: g or -7?
-7
Let o(r) = r**3 - 5*r**2 - 3*r + 2. Let h be o(5). Let w = -193/15 - h. Which is smaller: w or -1?
-1
Suppose 0 = 5*d - 5*l - 35, -2*l = -4 - 2. Let r be (-33)/d*1 - -3. Let z be -1 - (2 - 2) - -1. Is r equal to z?
False
Let v = 2.2 - 0.2. Let u(d) = -d - 6. Let i be u(-4). Which is smaller: v or i?
i
Suppose -3*v + 4*v = 22. Let z = -20 + v. Are -3 and z unequal?
True
Let l = -46.1 - -48. Which is smaller: l or -0.1?
-0.1
Let c = -27 - -15. Are c and -1 non-equal?
True
Let q be 2 + 0 - (-49)/(-28). Suppose 6 = -b + 4*b. Is q <= b?
True
Let t(l) = l**2 - 4*l + 1. Let c be t(4). Let q be -3 + (71/23)/1. Which is bigger: q or c?
c
Suppose -2*f - 327 = -1035. Suppose -4*i = x - f, 3*i - x = 4*x + 254. Let k be (-2)/(-5) - i/170. Is k at most as big as 0?
True
Suppose -q - v = -3*q + 1, -5*v - 5 = 2*q. Let r(u) = 2*u**3 - 3*u**2. Let y be r(2). Suppose 6*m - y*m - 8 = q. Is 3 equal to m?
False
Let p = 113 + -113. Is p greater than 9/25?
False
Let z be 2 + 0 - (-8 - -3). Let w = z + -7. Suppose -g + 2*g = -1. Which is greater: g or w?
w
Suppose -c + 0*c = -1. Let k be 3 - (4 + -1 + 0). Let q be (-1 + c)/3 - k. Which is greater: q or 2/7?
2/7
Let u be (-6)/(-3) + 15/(-7). Let g be 3*(-3)/(9*-1). Is g != u?
True
Let i be (-1 - 3)*2/8. Let k be (1/4)/(2/(-12)). Which is smaller: k or i?
k
Let d = -10 + 14. Suppose -5*p = 0, 3*y + 4*p + 2 = d*y. Suppose y*q - 20 = -3*q + 5*t, 2*q = -t - 4. Which is bigger: -1/4 or q?
q
Suppose 2*r + 2*r = 3*n - 9, -2*r = -4*n + 12. Which is smaller: r or -2/87?
-2/87
Let i = -1 - -0.9. Let l = -1.7 + -10.3. Let v = 11.6 + l. Which is greater: i or v?
i
Let h = 2/855 + 112/855. Which is smaller: -1 or h?
-1
Suppose 0 = 5*k - m - 3, -5*k - 3*m - m - 12 = 0. Let j be 6/(-27) + (0 - (-29)/90). Which is smaller: k or j?
k
Suppose -3*c - 4*f - 17 = 0, -3*c - 4*f = c + 16. Let p be 2 + (-1)/(c/2). Let h be 4/((0 - 5)/(-1)). Which is greater: p or h?
h
Let g(x) be the second derivative of 0 + x + 1/4*x**4 - 1/2*x**2 + 0*x**3. Let n be g(1). Is 2 less than n?
False
Suppose -5 = -2*g - 1, -g = 2*f + 102. Is f >= -50?
False
Let g = 58.8 + -59. Is -21 < g?
True
Let o = 69 + -69. Is -1 != o?
True
Let m(g) = g**2 + g - 2. Let o be m(-4). Let p = -186 - -195. Which is bigger: o or p?
o
Let u = -6933/2045 - 4/409. Which is smaller: u or -2?
u
Let o(w) = -2*w + 8. Let b be o(6). Let y be (4/16)/((-1)/b). Is y greater than or equal to 1?
True
Let j be 6/(-1)*(-2)/3. Suppose j*d + 0 = 4. Is -3/7 smaller than d?
True
Let d = -2.2 - 1.8. Which is smaller: d or -1/3?
d
Let h be (0 + 4 + -8)/(-10). Which is greater: 0 or h?
h
Let r be 2 + 0 + -1 + 10. Suppose 0 = -4*n - i - 0 - 2, -n + 5*i - r = 0. Let j be (3/45)/((-3)/(-9)). Which is smaller: j or n?
n
Let i = 0.123 + 12.877. Does i = 1/8?
False
Let g = 3.3 + 0.3. Which is smaller: 1 or g?
1
Let c = 1.8 + -2. Let u be ((-4)/(-10))/((-2)/(-40)). Let o be (-18)/u - (-3)/12. Is o greater than c?
False
Let p(w) = -7*w + 43. Let n be p(6). Are n and -4/17 nonequal?
True
Let v = -1/45 + -14/45. Let o = -111/5 + 22. Are v and o nonequal?
True
Let x be 42/80 + (-1)/8. Which is smaller: -1 or x?
-1
Suppose 0*i + 2*i = -5*a - 5, 0 = -a + 3*i + 16. Which is bigger: -3 or a?
a
Let d(h) = h**3 + 10*h**2 - 11*h - 2. Let g be d(-11). Let i be 0/5*1/g. Is 1 equal to i?
False
Let y = -11 + 193/18. Which is bigger: y or -1?
y
Suppose 0*h + 4*u + 6 = -2*h, 0 = h - 5*u - 25. Let c(d) = -d + 6. Let s be c(h). Are 0 and s nonequal?
True
Let p = 5 + -6. Let k = 6147/10 - 614. Let q = -31/30 + k. Is