eater: s or -2/11?
-2/11
Let a(l) = -l + 5. Let d be a(6). Which is smaller: d or 2/5?
d
Let s = 0 - -3. Let i = 1 - s. Let c = -0.3 - 0.7. Which is bigger: c or i?
c
Let x(w) = -w**3 + 5*w**2 + 2*w - 6. Let n be x(5). Suppose -n*k + v + 9 = k, 0 = -k + 2*v. Let f = -48.3 - -48.6. Is f less than k?
True
Suppose -3*x - 11 = -5. Let o be 7/(1 + x - 1). Is -4 at least as big as o?
False
Let y = -18 + 26. Suppose -65 = -7*c - 16. Which is smaller: c or y?
c
Let k be 0 + (-1 - 2/4). Let u = -1.65 + -6.25. Let v = u + 8. Which is bigger: v or k?
v
Let g(x) = -2*x**2 - 17*x + 27. Let b be g(-11). Are -29 and b equal?
False
Let v = -39 - -40. Is v > 1/5?
True
Let t = 4/41 - 53/123. Which is smaller: 15 or t?
t
Let l = 0.06 + -2.06. Let j = l + 5. Let p = -4 + 5. Is j at least as big as p?
True
Let k = 112 - 68. Let y be k/(-60) + 2/5. Which is bigger: 1 or y?
1
Let f be (-24)/(-42)*2/4. Which is smaller: -1 or f?
-1
Suppose -x - 2*x = 0. Suppose 5*g + 10*z + 185 = 5*z, -4*g = -4*z + 172. Let p be 1/2 + 36/g. Is x at least as big as p?
True
Let q = 2/9240689 - -5525929412/12059099145. Let v = 2/145 - q. Which is bigger: v or 1?
1
Let j be -6 + 3 + (0 - 1). Let m = 0 + j. Is -4 less than m?
False
Let p be ((-16)/22)/(14/(-28)). Let v = -42895/132 - -1307/4. Let d = v - p. Does -3 = d?
False
Let m be 2*(279/1164 - (-3)/(-12)). Which is smaller: m or 1?
m
Suppose 2*v + 0*v + q - 8 = 0, 4*v = 4*q - 8. Suppose y + 5*h = 19, -v*h + 5*h = -y + 13. Let f = 11/3 - y. Which is bigger: f or 0?
0
Let g = -83/5 - -151/10. Let d(j) = j**2 + 3*j - 2. Let b be d(-3). Is b greater than or equal to g?
False
Let z(v) = -10*v - 3. Let h be z(-1). Which is bigger: 62/9 or h?
h
Suppose 3*m - 2*f + 5 = 0, -2 = 3*f - 5*f. Is m greater than -14/9?
True
Let d(m) = 2*m - 1. Let q be d(3). Suppose q*b = 7 + 13. Which is smaller: b or 5?
b
Suppose 16 = -2*w - 0. Let d be (-1)/12 - 893/228. Are w and d nonequal?
True
Let v be (-2 + 3 - 0)*3. Suppose v*y = -y. Is y less than or equal to 0?
True
Suppose 8 = 4*k - 0. Let z be 2 - (k + -1 + 1). Let o be 0/(0 - -3) - z. Is -1 equal to o?
False
Let s(u) = u**3 + 11*u**2 - 2*u. Let j be s(-11). Let b = j + -30. Are -8 and b equal?
True
Suppose -5 = -4*s + 4*a + 3, 2*s + a + 8 = 0. Let f be 2 - ((-22)/(-5) + s). Which is greater: -1/4 or f?
-1/4
Let x(a) = -2*a - a + a**2 - 4 + 6. Let k be x(3). Let u = -2 + k. Is 2/5 != u?
True
Let k = 281/88 - 27/8. Which is greater: -1 or k?
k
Let v(o) = -o**2 - o - 4. Let m be v(0). Let w = m - -5. Suppose 5*k + 0*k = -3*l - 7, 3*k = -6. Is w less than l?
False
Suppose -4 = 4*i + n, 2*n + 9 - 1 = -i. Let p be (-3)/(-5) - (-152)/(-270). Let b = p - -8/27. Are i and b non-equal?
True
Let r be 2 - (-2 + 1 + 3). Let f = 2 + r. Let l be (-3)/f - (6 - 6). Is l equal to -1?
False
Let n be ((-2)/4)/((-1)/4). Suppose 0 = 3*w + n*m + 7, 6*m - 2*m + 10 = -2*w. Suppose -4*k = -8*k. Is k bigger than w?
True
Let g = 0.4 - 0.3. Which is bigger: g or -0.17?
g
Let c be (-43)/(-9) + 4/18. Suppose 0 + 4 = g, -4*u = -c*g + 24. Is -0.1 <= u?
False
Suppose 3*n + 50 = -2*n. Let r = -7 - n. Suppose r = -4*p - 1. Which is greater: p or -0.2?
-0.2
Let o be ((-4)/2)/(1 + -3). Let m(r) = r + 12. Let k be m(-10). Which is greater: o or k?
k
Let n be 4/(-24)*(0 - 5 - -1). Let v = -180 - -1258/7. Which is smaller: v or n?
v
Suppose -3*y + 4*y = 3. Suppose 2*t + 0*t = 8. Suppose t*d = 11 - 3. Is y smaller than d?
False
Let j be -3 - (3 - 1 - 4). Let f = 18.4 + -15.4. Which is bigger: j or f?
f
Let i be (-4 - 3/(-1))*-1. Let c be (i/5)/(-2 + 1). Is -1 greater than or equal to c?
False
Let j = -291 - -595/2. Which is bigger: j or 8?
8
Let m = -0.109 - 7.991. Let y = 8 + m. Let d = -0.3 - -1.3. Which is smaller: y or d?
y
Let h(u) = u**2 + 14*u + 13. Let t be h(-13). Suppose 2 = -3*c + c + k, 3*c - k + 5 = t. Suppose r + 1 = -1, 0 = 2*i + r + 8. Do c and i have the same value?
True
Suppose -2*g = -p + 4, -g + 1 + 3 = -2*p. Let x be ((-2)/g)/(8/(-8)). Which is greater: x or -0.3?
-0.3
Suppose t - 3*n = 8, n - 5*n - 19 = -3*t. Suppose -38 - 7 = -5*x - t*m, 4*m - 20 = 0. Let c = x - 6. Which is greater: c or -7/4?
-7/4
Suppose 0 = 4*a + 9 + 11. Let t(u) = u**3 + 4*u**2 - 3*u - 6. Let w be t(a). Let x be 0/1 - w/36. Is 1 greater than or equal to x?
True
Let m be (7 + -2 - 2) + -3. Which is smaller: m or -5/4?
-5/4
Let z = 14 + -37. Is 0.2 at most z?
False
Let y = -0.0284 - 10.0116. Let v = y - -10. Which is smaller: v or 0?
v
Let m(s) = -s**3 - 9*s**2 + 2*s + 18. Let a be m(-9). Is a less than -1?
False
Suppose 0 = r - 5 - 0. Is 9 smaller than r?
False
Let c be 2*-1*3/63. Let d be 212/(-286) - (-16)/(-88). Let n = d - -110/91. Is c > n?
False
Let g = -23.048 + 0.048. Let d = 23.3 + g. Is d equal to -2?
False
Suppose 2*p - 4*q = 316, 0 = p - 6*p + 4*q + 766. Let j be (-5164)/(-34) + (-2)/1. Let i = j - p. Which is smaller: i or 0?
i
Let r(n) = 3*n**3 + n. Let f be r(-1). Let s be -5*(-5)/((-50)/f). Which is smaller: 7/5 or s?
7/5
Let n = 3.1 - 3. Let d = 0.73 + -0.23. Which is smaller: n or d?
n
Let y = 0.01 - 0.81. Let w = y + 0.6. Let f = 0.3 - -1.7. Is f less than w?
False
Let p = 551879/210 - 2628. Let a = p - 59/210. Which is smaller: a or -1?
-1
Let n = -383/51 - -15/2. Let r = n + -199/510. Which is smaller: r or -11?
-11
Let s be 20/6*12/10. Let o be -2 + s + 4 + -3. Suppose -c - r + 3 = 0, -o*c = 4*r - 12 - 1. Which is smaller: 5 or c?
c
Let q be (2/(-2))/(5/(-20)). Suppose -t + 2*t - 19 = 5*a, 0 = -q*t + a. Let h = -2 + 0. Which is smaller: t or h?
h
Let j be (-18)/(-8) + 3/(-12). Suppose -j*g = -3 - 7. Suppose -3*t + 7*d = 5*d - 1, -2*d + g = 3*t. Do t and 1 have the same value?
True
Let y = -3/202 + 983/38986. Is y <= -1?
False
Let x = -0.3 - -1.3. Let d = -68/111 - 2/37. Is d at least as big as x?
False
Let d = 61 - 23. Suppose -3*o = -5*x + d, 2*x - 2*o - 3*o - 19 = 0. Which is smaller: x or -2/5?
-2/5
Let f = 0.8 + -1. Do f and -3 have the same value?
False
Let k = -0.4 + 1.1. Let a = k - 3.7. Let f = 1 + a. Are -2 and f nonequal?
False
Let d = 3115/258 + -73/6. Which is greater: 0 or d?
0
Suppose y - 2 = 2*t, -y + t - 3*t - 2 = 0. Let b(w) = 2*w**2 + 4*w - 3. Let j be b(-4). Suppose -4*f + 5*c - 10 = y, 4*c - j = -2*f - 5. Is -2/3 less than f?
True
Let s(c) = c. Let x be s(2). Let o(z) = -2*z + 2. Let q be o(x). Which is bigger: -3 or q?
q
Suppose -3*v + s = 2, 2*s - 5 = 4*v + v. Is v >= 4/23?
True
Suppose 0 = -4*h - 33 - 3. Which is bigger: -10 or h?
h
Suppose 5*p - 2*x + 155 = 60, 2*x = 3*p + 57. Is p less than or equal to -19?
True
Let q = -45/14 + 26/7. Which is smaller: q or -14?
-14
Let i be 2*(-3)/(-6)*-1. Which is smaller: -4/9 or i?
i
Let m = -2 - -2. Let f be ((m - 1)*4)/(-2). Let j be (-2)/4 - 3/(-2). Do f and j have the same value?
False
Let m = -5 + 5. Is m <= -1?
False
Let f = 0.156 + -0.036. Is f less than or equal to 0.2?
True
Suppose 0 = 17*u - 12*u - 25. Suppose u = r + 3*l - 4, l = 4. Which is smaller: r or -2?
r
Let r be 5/(20/8) + -16. Which is smaller: 2 or r?
r
Suppose -2 = -q + 2*v - v, -q + 1 = -2*v. Suppose q*k - r - 12 = 0, 0 = -3*k + 6*r - 4*r + 12. Is 4 > k?
False
Let h(r) = -2*r + 1. Let v be h(-1). Let p be v/(-4)*(0 + -4). Let i(j) = -j**3 + 3*j**2 + j - 2. Let n be i(p). Is n at least 0?
True
Let x = 114/497 - -4/71. Are x and -22 equal?
False
Suppose 0*x + 6 = -x. Let o be x/(-4)*(-6)/9. Which is smaller: 1 or o?
o
Let t be 1 - (-1 + 6/2). Is t equal to -2?
False
Suppose -3*k - 8 = -5. Is 2/15 >= k?
True
Let u(i) = -i**2 + 3*i + 8. Let f(c) = c**2 - 3*c - 7. Let k(y) = 5*f(y) + 4*u(y). Let w be k(4). Which is smaller: -2/19 or w?
-2/19
Let a = 3/88 + -279/440. Are a and -1 non-equal?
True
Suppose -24 = -2*f - 22. Which is bigger: 3 or f?
3
Suppose -q + 3 = 2*q - 3*p, 4 = -p. Suppose -1 - 14 = 15*z. Is z less than or equal to q?
False
Let z = -13.8 + 1.8. Let o = 12.1 + z. Is o at most -0.6?
False
Let o = -23 + 21. Let h = 14 + -10. Let l = -3 + h. Is l >= o?
True
Let u = -8183738/105 - -77941. Let y = u - -1/35. Let z = -1 - 0. Which is bigger: z or y?
y
Let k be 1601/13 + -5 + 2. Let w = k + -120. Is 1 < w?
False
Suppose 16 = 4*m - 4*o, -5*o = 6*m - 3*m + 12. Is m less than or equal to 8/5?
True
Suppose -v = -2*h - 4, -3 - 5 = 3*h - v. Let x = -26 + 27. Let t be (-10)/h - x/(-2). Which 