 + i, 5*i + 7 - 2 = 2*w. Are l and w nonequal?
True
Let f = 3/11 - 54/77. Are f and 1 non-equal?
True
Suppose -8*r + 86 + 34 = 0. Which is bigger: r or 11?
r
Let c(q) = -2*q**2 + 8*q + 10. Let z be c(5). Which is smaller: -4/17 or z?
-4/17
Let p be 2*(-3)/(-9)*6. Suppose s + p*f = -2*s + 41, -3*f = -3*s + 6. Let y be 0/1 - (-2)/s. Which is greater: y or 0?
y
Let x(i) = 3*i**2 - 4*i - 1. Let h be x(2). Which is smaller: h or 48/11?
h
Let f be 8794/10 - (-6)/(-4). Let o = 880 - f. Let b = 8/5 - o. Which is smaller: 0 or b?
b
Suppose -2*i + 0 + 5 = -v, -2*i = -2*v - 8. Let a(n) = n**2 + 3*n + 1. Let y be a(-2). Let k = y + i. Which is greater: 1/2 or k?
1/2
Let r = 19 - 29. Let b = 15 + r. Suppose o + b*f = 0, 4*o = 3*o + f. Which is smaller: 2 or o?
o
Let s = 3/25 + -184/75. Let x be 6/4*28/(-21). Which is smaller: s or x?
s
Suppose 3 + 9 = -3*v. Is v less than -1?
True
Let i be (-8)/6*(-18)/(-4). Which is greater: -4 or i?
-4
Let g be (0 + 0)*(-2)/4. Suppose g = -4*n + 2*n. Which is greater: n or 2/3?
2/3
Let b = -158/3 + 52. Let i(p) = -2*p + 2. Suppose 2 = 3*n - 4. Let z be i(n). Which is greater: b or z?
b
Let l be (-7)/(-5) - (-18)/(-45). Is l less than or equal to -2/25?
False
Suppose 1 = -z + 12. Suppose -n + 0 - 1 = 0, 5*n + 29 = -4*f. Let w = z + f. Is w < 5?
False
Let l = 0.66 - -0.04. Let z = 1 - l. Suppose -2 = 4*q + 2. Is z less than q?
False
Let b(q) = q + 7. Let c be b(-6). Let n be (-4)/(-2) + -2 + 0. Suppose 0 = -5*j - 10, 4*h = -n*h + 5*j + 10. Are c and h equal?
False
Let o be -4*(-2)/(-6) - 0. Suppose -2*u = -1 + 5. Are u and o equal?
False
Let f(a) = a - 6. Let w be (-41)/(-5) + (-2)/10. Let g be f(w). Is 1 >= g?
False
Let v = 23 + -19. Let u(z) = z - 2. Let b be u(7). Which is smaller: b or v?
v
Let g be ((-2)/(-3))/(2/6). Let y be (25/2)/5*-2. Let l(z) = z**2 + 6*z + 7. Let c be l(y). Is g equal to c?
True
Suppose -16 = 5*y - 41. Let u be y*(2 + 24/(-15)). Let l be (-99)/(-21) - u/(-7). Is l equal to 6?
False
Let j(f) = -5*f + 1. Let o be j(2). Let n = o + 9. Is -6/11 equal to n?
False
Let a = -0.9 - -0.6. Does -3/2 = a?
False
Let z(c) = 15*c**3 + 29*c**2 - 18*c - 13. Let d(a) = -7*a**3 - 14*a**2 + 9*a + 6. Let x(r) = 13*d(r) + 6*z(r). Let s be x(-9). Which is bigger: s or 1/36?
1/36
Let i be ((-3)/4)/(177/8). Does i = -1/3?
False
Suppose -f = -5*f + 4. Let k be 1*(-1)/1*f. Let g(t) = t**3 + 5*t**2 - 5*t + 3. Let b be g(-6). Is b greater than k?
False
Suppose -5*h + 25 = 5*m, 4*m + 0*h - 3*h = 6. Suppose -4*i = -4*w - 20, 5*i = 2*w + 28 - m. Suppose 15 = 3*j + 3. Which is bigger: i or j?
i
Let v = -17 + 17.2. Let g = -11 - -8. Which is bigger: g or v?
v
Let o = 112/3 + -1006/27. Let w(g) = g**3 + 16*g**2 + 14*g - 14. Let b be w(-15). Is b not equal to o?
True
Suppose 0 = -4*s - z - 4, -3 = 3*s + 4*z - 0*z. Suppose -5*h = 2*o - 38, -3*h + h = 5*o - 32. Let v be ((-2)/h)/(4/(-3)). Which is smaller: v or s?
s
Let a = 25 - 21. Let v be (3 - 0)/(-1) + a. Which is bigger: v or 0?
v
Let q(l) = -l + 7. Let p be q(-6). Suppose 3*u - 20 = -2*u. Suppose -5 + p = -u*y, 4 = -5*j - 2*y. Is j less than 1/4?
True
Let j be 29/4 + (-4)/16. Let i = 7 - j. Are i and 1/6 nonequal?
True
Let o be 0 - -2 - (7 - 4). Let u = o - -1. Let d = 0.05 + 0.55. Is u at most as big as d?
True
Suppose -4*s + 6*s = y - 11, 4*y - 9 = 3*s. Which is smaller: -1 or s?
s
Let y(d) = d + 9 - 6 + 0*d. Let b be y(-3). Suppose 2*o - 5 - 1 = b. Which is smaller: o or 2?
2
Suppose -3*p - 4*c - 80 = 0, -p = 2*p + c + 65. Is -18 >= p?
True
Suppose 28 - 16 = 3*h. Which is greater: 16/3 or h?
16/3
Let u be 1/(((-2)/10)/1). Let s be (u/((-15)/(-12)))/(-5). Is s less than 2?
True
Let r = -148/7 - -21. Let j(h) = -h**2 - 7*h + 11. Let v be j(-8). Let s be 2/v - 7/(-21). Which is greater: s or r?
s
Let z be (5/3)/((-798)/81). Let m = -1/38 - z. Which is smaller: -1 or m?
-1
Let i = -6.9 - -7. Let q = i + -0.1. Let s be (2 + -2 - 1)/(-1). Do q and s have the same value?
False
Suppose 4*k + 0*a - a - 8 = 0, 2*a - 20 = -4*k. Which is bigger: 2 or k?
k
Suppose 3*v = 3*t - 9, 5*v + 6*t = 2*t + 3. Is -1/4 smaller than v?
False
Let q(f) = -f**3 - f**2 + 4*f - 1. Let m be q(-3). Suppose -5*b - 15 = 0, m*b + 14 + 1 = -5*k. Let s be -3*((-4)/(-6))/(-1). Which is bigger: s or k?
s
Let z(a) = a**3 - 5*a**2 + 3*a + 1. Let h be z(4). Is h greater than -5?
True
Suppose -2*g = -4*p + 5 - 15, -3*p = -3*g + 9. Let b = 1 + -1. Let m = g - b. Which is smaller: -2/5 or m?
-2/5
Suppose 1 - 13 = 4*o, 3*x - 4*o = 18. Suppose -4*h - 4 = 2*k - 24, h = x*k. Is k greater than 2?
False
Let h = 3/134 - -241/1206. Let q(z) be the third derivative of -z**6/120 + z**5/30 + z**4/8 + z**3/6 + 2*z**2. Let r be q(3). Which is bigger: h or r?
r
Suppose 5*n - 7 = -2. Let a be (3/2)/(21/(-6)). Are n and a equal?
False
Let a(h) = 14*h - 2. Let j(t) = -2*t**3 + 2*t**2 - 3*t + 2. Let x be j(1). Let u be a(x). Is -15 smaller than u?
False
Let y = 11 - -3. Which is greater: 1 or y?
y
Let s = -1.76 - 26.44. Let q = s - -24. Let g = 4 + q. Which is smaller: 1 or g?
g
Suppose 0 = 5*y - 0*b + 2*b - 16, -3*y - 5*b + 2 = 0. Let l = 11 + -8. Which is smaller: l or y?
l
Let l be (-4 - -5)*(1 - 3). Suppose 4*c - 12 = 4. Suppose c*x + 16 = 0, 2*x = 5*r - 3*x. Which is bigger: l or r?
l
Let g(x) = -x + 2. Let w be g(-6). Let s = -7 + w. Suppose 0*l = -3*l + 3. Is s greater than or equal to l?
True
Let n = -374 + 763/2. Let m = -7 + n. Which is bigger: m or 0.9?
0.9
Let a = 0.08 - 0.18. Suppose -13 + 3 = 2*c. Which is smaller: a or c?
c
Let c(d) = d**3 + 9*d**2 - 10*d + 8. Let m be c(-10). Let n be (m + -8)*(-1)/(-2). Which is greater: n or 1?
1
Let b be 8/(-28) + (-2)/(-7). Do b and -3/4 have the same value?
False
Let y be (-2)/(4*3/186). Let h = 123/4 + y. Which is greater: h or 0.04?
0.04
Let z be (-2)/(-3)*(-90)/12. Let h = -5 + 5. Which is greater: z or h?
h
Suppose 2*o + 5 = 7*o. Let l(t) = t**3 + 6*t**2 + 7. Let q be l(-6). Let d be ((-1)/q)/((-1)/2). Which is smaller: o or d?
d
Let x be (10/8)/((-3)/(-12)). Suppose 4 = 3*w - f, -5*w + x*f = -w - 9. Are 1/3 and w non-equal?
True
Suppose 4*y = x - 0 - 7, -3*x + 4*y - 11 = 0. Is x at most 2?
True
Let m(t) = 2*t**2 - 9*t + 2. Let s be m(6). Suppose -s = -a - 4*k, k - 10 = -3*a - 5. Is -1 < a?
True
Let b be (4 - 4)/(1 - 2). Is 1 greater than or equal to b?
True
Suppose 3*m - 4 = 8. Suppose a = -0*a + 5. Suppose c - a*f = 3, -c + f + 3 = m. Is -1 <= c?
False
Let y be (72/105)/(-4)*5. Is y >= -2?
True
Let g = -207.9 - -208. Let f = 2.6 - 0.6. Do g and f have different values?
True
Let s = -1 - 0. Let g = 15.1 - 10. Let v = 5 - g. Is v >= s?
True
Let o = 457/30 - 46/3. Suppose 2*t = -5*f - t - 2, 0 = 4*t - 4. Which is smaller: f or o?
f
Let h = -0.21 + 0.1. Let w = h + 0.01. Which is bigger: w or 5?
5
Let d be (-4)/45 + (-1)/(-3). Let o = d - 2/15. Which is smaller: 1 or o?
o
Let v = -3 - -3.2. Let m = v - 0.3. Which is smaller: m or -0.2?
-0.2
Let q = 146 + -165. Which is greater: -1 or q?
-1
Let y = -1192/16269 - -18/187. Is -1 <= y?
True
Let j be 4/14 - 215/(-7). Suppose -4*z = -4*u + 12, j = -5*u - 5*z - 4. Let a be u - 3*(-6)/9. Are 0 and a non-equal?
False
Let p be (-1 + 1 - -3) + -1. Suppose 4*z - p*z - 158 = 0. Let j = z + -555/7. Are 0 and j unequal?
True
Suppose v - 3*v = -10, -z = -5*v + 10. Suppose -3*i = -0*i + z. Which is smaller: i or -7?
-7
Let m be (-1676)/770 + 10/35. Let a = 12/11 + m. Which is bigger: -1 or a?
a
Let u = 0.03 + -3.03. Let y = 2.9 + u. Are 0.4 and y unequal?
True
Let a be 1 + 0 - 4/2. Let g be ((-2)/(-4))/(a/(-2)). Let r be (-2 - 13/(-7))/((-22)/77). Is g less than or equal to r?
False
Let x = -9 + 8. Do x and 0 have different values?
True
Let t = -5 + 8. Let u be ((-2)/4)/(75/(-270)). Do t and u have the same value?
False
Let b(l) = -l**3 - 3*l**2 - 4*l - 3. Let t be b(-2). Let n(h) = h - 6. Let z(p) = p - 7. Let u(k) = -4*n(k) + 3*z(k). Let a be u(0). Which is greater: t or a?
a
Let r = -35.2 - -35. Which is smaller: r or 0.12?
r
Suppose -4*q + 5 = -l + 6*l, -3*q + 10 = 5*l. Let s(c) = -c**2 - 5*c - 1. Let t be s(-2). Is l bigger than t?
False
Let w be (-2)/6 + (-4)/6. Let m be 1 + -2 - (5 - 4). Which is bigger: w or m?
w
Let t be ((-12)/(-10))/(6/15). Suppose t*s = s + 2. Let b be 6/(-4)*(1 + -3). Is s at least as big as b?
False
Let l = 0.06