e
Let d = -27/8 + 767/232. Which is smaller: d or 1?
d
Let c = 10 - 10.8. Let o = 389 + -389. Which is greater: o or c?
o
Let m be 3*(2/12)/((-7)/1190). Is -85 at least m?
True
Let n be (-1 - (4/44 + -1))/1. Suppose -4*m + 1 = -3. Is m < n?
False
Suppose 2*u + b + 2*b = 3, -5*b = u - 5. Is u equal to -5/9?
False
Suppose 217 + 564 = 11*y. Is y equal to 71?
True
Suppose -4 + 24 = 2*r. Let a = -6 + r. Suppose 0 = j + 5, 0 = -4*w - 0*j - a*j - 12. Is w <= 1?
False
Let z(d) = d + 8. Let m be z(-6). Suppose 2 = 2*y + 4*l, -2*y = -6*y - 4*l. Let u be 2 + (y + m - 3). Is u bigger than -0.1?
True
Let m be (-1 - -4)*3/9. Let q = -4 - -3. Let b = q + m. Which is smaller: b or -3/4?
-3/4
Let t = -143 - -159. Is t > -3?
True
Let n be ((-6)/4)/(1/6). Let i(t) = -t**3 - 8*t**2 + 10*t - 6. Let w be i(n). Is -15 bigger than w?
False
Suppose -3*v = 16 + 26. Let i be (-18)/v - 8/28. Is 2 <= i?
False
Let j be (-1 + 1*(-258)/(-256))*2. Which is smaller: -1 or j?
-1
Let n be (2 - (3 + 1)) + 6. Let c = -4 + 9. Is n bigger than c?
False
Let q = 1/1061 + 154903/3183. Let f = -48 + q. Suppose 4*a = a. Is a >= f?
False
Let d be 57/(-21) - (-6)/(-21). Which is greater: d or -2?
-2
Let u be (3/4)/((27/75)/3). Is u bigger than -0.1?
True
Let r be -4 - -1 - 6/(-2). Is r at most 1?
True
Let l(q) = q**3 + 21*q**2 - 6*q - 56. Let z be l(-21). Which is greater: z or 72?
72
Let n(m) = m**3 + 2*m**2 - 2*m - 4. Let v be n(-3). Let g = -7 + 7.09. Let l = -0.91 - g. Does l = v?
False
Let y = 1.93 + -2. Is 0.2 smaller than y?
False
Let w(a) = -9*a - 39. Let f(g) = -4*g - 19. Let n(d) = -7*f(d) + 3*w(d). Let h be n(-15). Which is bigger: h or 0?
h
Let m be (-2)/5 - 16/(-30). Let o(s) = -3*s - 1. Let n(b) = 7*b + 2. Let u(t) = -4*n(t) - 9*o(t). Let l be u(0). Which is bigger: l or m?
l
Suppose 3*d = -4*i - 29 - 18, -15 = 3*i. Let r be (d/(-6))/((-4)/(-32)). Is r less than 13?
True
Suppose -k + c - 3*c + 9 = 0, -2*k = 2*c - 18. Let z = k + -3. Suppose -z*p - 20 = -p. Is p at least -4?
True
Suppose -y - 5 = 4*y. Let q = -2/157 + 328/1099. Which is smaller: y or q?
y
Let w(x) = -x + 20. Let u be w(11). Suppose u = -4*y - 3. Let a = 1 - 3. Is a at most as big as y?
False
Let h = 104 - 305/3. Which is bigger: h or 2?
h
Let g(y) = 2*y + 12. Let a be g(-5). Suppose 5 = -3*o + 2*v, 0 = -2*o + v - 0 - a. Is 0 not equal to o?
True
Let x = 13 - 13.1. Let u = 0.1 - x. Which is smaller: u or -0.2?
-0.2
Suppose 0 = 5*u + o - 5 + 61, 4*o = -3*u - 20. Let n be (-32)/u*(-3)/(-2). Suppose 0 = 3*d, 0*b = -n*b - 3*d + 4. Which is greater: 3 or b?
3
Let y(g) = g**2 + 9*g - 10. Let h be y(-10). Is 1/8 < h?
False
Suppose 3*w + 18 = w - 5*s, -w - s = 3. Let z = -1/12 + -1/6. Which is smaller: z or w?
z
Let u = -7 - -3. Is u less than -4?
False
Let u = -12 + 12. Is u greater than -4/3?
True
Let g be 2*(3/6)/(-1). Let r be -1 - (-1 + 2 + g). Let q be r/4 + (2 - 2). Which is smaller: q or 4?
q
Let n = -0.9 - -0.5. Let l = -1.6 + n. Let k = l + 1.9. Is -0.2 >= k?
False
Let d be (21/(-3) + 5)/(1 - 3). Which is bigger: 2 or d?
2
Let d = 19 + -10. Let g = d - 7. Let q be g/(-3) - 28/(-105). Is q <= -2/5?
True
Let q be 2/6 + 6/9. Suppose 0 = -m - 2 + q. Is 0.6 not equal to m?
True
Let f = -19 + 22. Suppose -f*g - 3 + 9 = 0. Which is greater: -2/13 or g?
g
Let o = 29 + -29. Is 0.31 <= o?
False
Let g(r) = 2*r + 8. Let y be g(-4). Let k = 46/17 + -1368/493. Is y at least k?
True
Suppose -4*b = -6*b - c + 10, -b - 4*c = -5. Suppose -2*j + 5*x - 2*x = 10, -3*x = -b*j - 7. Is 4 != j?
True
Let u(s) = s**2 - 8*s + 1. Let g be u(8). Let w be g - (70/18)/5. Which is greater: w or 1?
1
Suppose 0*s + s = 17. Suppose 0 = 5*y + 3*d - 6*d - 75, -y + d = -s. Suppose -2*g + y - 2 = 0. Is g less than or equal to 5?
True
Let r = 1.2 + -1.3. Is -0.8 at most r?
True
Suppose 7 = 7*v - 7. Let x(c) = 0 - c + 3 - 5. Let q be x(-5). Which is bigger: v or q?
q
Let w be ((-5)/(-5))/(1/22). Is w at most 21?
False
Let q = -71 + 1345/19. Is q less than or equal to 0?
True
Let g = -137 - -1917/14. Let y be -3 + (-5 - -1) + 7. Which is bigger: y or g?
y
Suppose -2*b - 5*y = -25, 28 = 3*b + 4*y + 1. Let p = -7 + 11. Let v = b - p. Which is smaller: v or -1/5?
-1/5
Suppose 0 = -o - o. Suppose -4*u + 25 = 3*k - o*u, u = k - 6. Suppose -3 = -y - 4. Which is smaller: k or y?
y
Let r be 2/(-4)*(-1 + 1). Let k be ((-2)/(-24))/((-3)/(-27)). Does r = k?
False
Let t(l) = -4*l**2 + l - 1. Let b be t(-3). Let q be (-96)/b - 4/10. Is q greater than or equal to 5?
False
Suppose 57 = 2*t + 5*j + 5, -48 = -4*t + 4*j. Suppose -6 = 2*p - t. Suppose 0*x - 3*c - 3 = -2*x, -2*x + 5*c + p = 0. Which is smaller: 1 or x?
x
Suppose 0 = 5*n + 15, 0 = -5*z + 3*n + 5 + 19. Suppose 3*m + z = -0*m, 27 = 5*o - 2*m. Is o less than or equal to 6?
True
Suppose 3*x - 6*x = 0. Suppose -4*q - 8 + 24 = x. Let b be (-2)/q + (-6)/(-4). Which is smaller: b or 2/5?
2/5
Let g(s) = -3*s - 27. Let p be g(-17). Is p at least as big as 26?
False
Suppose -3*q + 3 = -2*q. Suppose -3*m = -l - 0*m - 16, q*m = 5*l + 32. Let s be 1*2/l*1. Which is greater: 0 or s?
0
Suppose -48*k + 75 = -51*k. Which is greater: -24 or k?
-24
Suppose 5*x + k = 46 + 12, -49 = -5*x + 2*k. Let a = 8 + x. Are a and 18 non-equal?
True
Suppose 0 = -2*a - 2*u - 4, -5*a + 2*u + 2 = 5. Let o = a - -1. Are 2/9 and o equal?
False
Let a = 0.1 + -0.1. Suppose -6 = -2*n - n. Let i be (36/15 - n)/2. Is a at least as big as i?
False
Let v(t) = -3*t + 19. Let s be v(5). Is s at most as big as 4?
True
Let r be 3*(-4)/36*6. Which is greater: -3 or r?
r
Suppose 4*j = 5*u + 22, 0 = 8*j - 3*j - 15. Which is smaller: 0 or u?
u
Let k = -6 - -1. Let z = -4 - k. Does 0 = z?
False
Suppose -3*f + 4 - 1 = 0. Let q = -423 - -120. Let z = 3941/13 + q. Which is bigger: z or f?
f
Suppose 113*f - 116*f - 57 = 0. Is -18 less than f?
False
Let d be (-1 + 3)*1/2. Let q(u) = -u**2 + 8*u - 8. Let r be q(7). Which is smaller: r or d?
r
Let l be (2/5)/((-17)/425). Which is smaller: l or 1?
l
Let r be 3/(-4) + (0 - -1). Let g = -1.6 + 2.9. Let y = g - 1.5. Is y at most as big as r?
True
Suppose 5*t + 2*d - 13 = -0, -5*t = 5*d - 25. Let m be t + 3 + 21/3. Suppose 3*r - 15 = 18. Is r smaller than m?
False
Suppose 16 = 4*f + 4*i, -4*i - 4 = f - 20. Is 2/23 at least as big as f?
True
Let z(g) = -g**2 - 2*g - 2. Let h be z(-2). Let o = 2 + h. Suppose s - 3*s - 4 = o. Are 2/11 and s equal?
False
Let s be 6/45*3*60. Suppose h = -1, -4*z + 7*h = 3*h + s. Let b = z + 13. Which is smaller: b or 5?
5
Let n be 6*2/8*-6. Let h(s) = -s**2 - 8*s + 5. Let k be h(n). Let m be -2 - k/3 - -2. Which is smaller: m or 2?
m
Let k(f) = f**3 - 10. Let h be k(0). Let a = -587 - -578. Is h greater than a?
False
Let v be 153/(-234) - (-2)/4. Let b(u) = u - 4. Let j be b(4). Which is smaller: v or j?
v
Let v be 7 - 7 - 0*(-1)/3. Which is greater: v or -5/28?
v
Let d(f) = -f**3 + 3*f**2 - 3*f + 2. Let c be d(2). Suppose 2*k + w - 1 = k, -3*k + 5*w - 13 = c. Is k at most as big as -4?
False
Suppose 4*b - j - 100 = 3*j, 0 = 3*b - 4*j - 78. Are 21 and b unequal?
True
Let i be (51/(-17))/((-18)/(-4)). Let t = -8 + 14. Let f be (2/(-3))/(4/t). Which is smaller: f or i?
f
Let l = 221/2 + -107. Suppose 4*y + 5 = -s + 25, 12 = 4*y - s. Is l > y?
False
Suppose 3*j - 25 = -2*j, -4*j + 120 = -4*i. Which is smaller: i or -26?
-26
Let v be (-2)/(-1 + 27/21). Let q be 2/v*(-12)/(-8). Is q less than -1?
False
Let n(u) = -3 - u + 2 + 6 - 1. Let o be n(6). Let x(r) = -r + 4. Let z be x(6). Is z >= o?
True
Let w = 83 + -82. Is -2/95 at least w?
False
Let t(u) = u - 2. Let z be t(9). Suppose 0 = -z*o + 4*o. Is -2 bigger than o?
False
Suppose 3*u = 3 + 3. Suppose -4*y = u*g - 2 + 22, -4*y = -g + 14. Let s be (g - (-2 + 2))/7. Is 4 >= s?
True
Let o = 76 + -683/9. Let x = -1/18 - o. Is x at least as big as 1?
False
Let a = 110 - 100. Is 1 < a?
True
Let d be ((-3)/10)/((-12)/10). Let p = 68.1 - 75. Let x = -7 - p. Which is greater: x or d?
d
Let v = -13 - -13. Which is smaller: -1/30 or v?
-1/30
Let l(n) = n**3 + 2*n**2 + 2. Let m be l(-4). Let h be (-26)/(-39) + (-28)/m. Which is bigger: 1 or h?
h
Suppose 6*v = 4*v - 24. Is 1 < v?
False
Let y(r) = r**3 + 7*r**2 + 5*r + 9. Let n be y(-6). Suppose 3 + n = 3*u. Let k(p) = -2*p + 8. Let v be k(u). Do -4 and v have the same value?
True
Suppose -3*i + 2*z - 1 = 