e
Let k = 6 + -5. Let v be 2 + -2 - (-2 - k). Suppose v*b + 4 = b. Do -5/2 and b have different values?
True
Let u = 5 - 2. Suppose u*g - 2 + 5 = -4*t, g = -4*t - 9. Let n(y) = y - 5. Let k be n(6). Is k smaller than g?
True
Suppose 2*b - 16 = -2*b, -4*b + 32 = 4*d. Are 1 and d non-equal?
True
Suppose -x = 2*x - 6. Let t be (1 + 1 + -2)/x. Which is bigger: t or -1/4?
t
Let y be (-4)/((-16)/(-6))*-2055. Let c = 3150 - y. Let r = 69 - c. Is -2/7 at most as big as r?
True
Let x = 10 + -15. Let v = 4.94 - -0.06. Let j = x + v. Is j at most 2?
True
Let b = -6 - -6. Which is smaller: b or 3?
b
Let m = -1.5 + -0.5. Let x = 109 - 107.94. Let c = 0.06 - x. Which is greater: m or c?
c
Let i be (1029/9)/(23/(-3)). Let n = i - -705/46. Let l = n + 2/23. Which is smaller: l or 0?
0
Suppose -4 = -4*f + 8*f - 4*w, 0 = w. Let s(o) = o**3 - o**2 + 54. Let a be s(0). Let i = a - 164/3. Is f smaller than i?
True
Suppose -38 = 5*x + 122. Let s be 6/(-21) + x/84. Is s bigger than 0?
False
Let v(w) = -2*w + 4. Let b be v(-4). Let z be (b/15)/((-9)/5). Are 1 and z equal?
False
Let g = -13/15 + 2/3. Let a = -32 + 32. Is a >= g?
True
Let i = 134 + -663/4. Let l = i + 32. Which is smaller: -1/2 or l?
-1/2
Let g = 13 + -14. Are 0.9 and g unequal?
True
Suppose 5*p = 2*p + 6. Suppose 0 = 5*s + p*j - 5*j + 4, -j = -5*s - 8. Let i = s + 4. Do 0 and i have different values?
True
Let o = -93 + 140. Which is smaller: -1/3 or o?
-1/3
Suppose -3*r + 5 = -1. Suppose 0 = -r*t + t. Are t and -4/5 equal?
False
Let g = 425/7 + -1109/14. Let d = -19 - g. Are 2 and d nonequal?
True
Let j = -42 - -10. Let c be 10/4*j/100. Is 0 != c?
True
Suppose 0 = -5*w - 3*z + 7, -4*w = 5*z - 1 - 15. Let x be (-1)/w + 85/(-35). Is x not equal to 0?
True
Let f = -4 + 3.8. Let y = 0.3 - 0.1. Are f and y equal?
False
Suppose -3*r = -5*r. Let o(q) = -3*q + 4. Let c(i) = i - 1. Let m(a) = 4*c(a) + o(a). Let v be m(r). Is -1/3 <= v?
True
Let n = 19 - 58/3. Is n smaller than 1?
True
Let t be (-4)/(-6) - 1/(-3). Suppose 4*o = -o + 20. Let f be ((-2)/(-3))/(o/6). Is f < t?
False
Let y(j) = -j + 13. Let m be y(9). Suppose -m*t - 8 - 176 = 0. Let h = -136/3 - t. Is 2 at most h?
False
Let w(m) = 2*m**3 + 3*m**2 - 4*m - 1. Let b be w(-3). Let f = b + 13. Let s = -7 - -4. Does s = f?
True
Let i be (2/6)/((-1)/3). Let x = -1079/9 + 120. Which is smaller: x or i?
i
Let q = 61/7 + -9. Which is greater: 0 or q?
0
Suppose 4*f + a - 8 = f, -12 = f + 4*a. Let r = 6 - f. Are 2 and r unequal?
False
Let c be (-1 + (-8)/(-6))/(-6). Let t(l) = l**3 - 47*l**2 + 90*l + 1. Let n be t(45). Which is greater: n or c?
n
Let h be 3/(-24)*-10 + -1. Are h and -4 non-equal?
True
Suppose -7 - 1 = p + 5*w, w - 8 = -5*p. Which is greater: 3 or p?
3
Let q(w) = -3*w**2 + 4*w - 3. Let c(v) = v**2 + v. Let y(k) = 2*c(k) + q(k). Let g be y(4). Suppose m + g*h + 0 + 1 = 0, -3*h = 0. Is m not equal to -2?
True
Let c be 2 + 0 + (-13)/6. Let j = 5/12 + c. Let z = -34 + 35. Which is greater: j or z?
z
Let f be (-7 - -3)*30/8. Which is greater: f or -13?
-13
Let c = 1/24 - -5/8. Let b = 6 + -9. Let q = b + 3.2. Is c < q?
False
Suppose 0 = -3*p - 5*t - 30, 3*p - 3 = -2*t - 24. Are -4 and p non-equal?
True
Let h be (-6)/(-2) - (-1 + -4). Let s = -9 + h. Let x(v) = v**2 + 7*v + 8. Let w be x(-6). Which is bigger: w or s?
w
Let n(r) = 26*r + 7. Let j be n(-2). Which is smaller: j or -44?
j
Let g = -0.24 - 0.06. Let z = 0.12 + -0.12. Let y = z + -0.1. Is g smaller than y?
True
Let q be 542/133*28/(-18). Let z = q - -58/9. Which is bigger: 1 or z?
1
Let s(x) = 1 + 10*x**2 + 0*x - x**3 + 2*x - 2*x. Let h be s(10). Is -1/7 greater than h?
False
Let g be ((-3)/9)/(10/4). Let o(w) = w**2 + w - 1. Let p be o(-2). Suppose z - 2 = -p. Is z > g?
True
Let o = 7 + -3. Suppose 0 = -2*c - c - 18. Let m = c + o. Which is greater: -2/3 or m?
-2/3
Let v be (18/8)/(33/(-22)). Let a be (2/5)/((-3)/15). Is v < a?
False
Let d(x) = 2*x + 2. Let s be d(2). Is 6 less than s?
False
Let u be 2/(2 - (-8)/(-6)). Suppose u*q + 2*q + 30 = -5*m, -4*m = 5*q + 28. Let n = -5 - q. Are -2 and n equal?
False
Suppose -5*r - 5 = -15. Is r greater than or equal to 15/8?
True
Let a be 1 + -4 + (-17 - -7). Let f be (13 + a)*2/(-4). Do 2 and f have the same value?
False
Let u be 3*(-8)/36*15. Which is greater: -8 or u?
-8
Let c = 367/20 + -75/4. Is 37 at least as big as c?
True
Let c be (-16)/6*(-27)/(-12). Let l be c/33 - (-75)/(-132). Is 0.2 at least as big as l?
True
Let a = 229/70 - 47/10. Is a greater than or equal to 0?
False
Let j(c) = 19*c**2 - 2*c - 1. Let h be j(-1). Let q be (-4 - -7) + h/(-7). Is q less than -1?
False
Suppose 2*f = 3*k - f, 2*k - f = 5. Suppose a = 5*a - k*n + 49, 3*a - 4*n = -38. Are -7 and a equal?
False
Let o = 3 + -4. Let r be (-9)/5 - (6/3 + -3). Which is smaller: o or r?
o
Let x = 2 + 3. Suppose 2*l + 3*c = 13, 2*c + 0*c + 4 = x*l. Is l > 2/3?
True
Suppose d + 142 = 96. Is -46 not equal to d?
False
Let t be (-2)/(-6) + 5/(-5). Is -1/2 at most as big as t?
False
Let f = 1/393 + 677/42837. Is 0.1 bigger than f?
True
Suppose 2*t = -7*t - 9. Is 8/23 greater than t?
True
Let y be (3*1)/(24/40). Let f be ((-1)/3)/(3/(-18)). Let r = y - f. Which is bigger: r or 2?
r
Let w = -2 - -1. Let z(i) = 2*i**3 - 7*i**2 + 8. Let j be z(3). Is w >= j?
True
Suppose -n = 2, 0*j = -3*j + 3*n + 18. Suppose -j + 6 = -c. Which is smaller: c or -0.2?
c
Suppose 3*q + 1 + 11 = 0. Let d be -1*2 + 4/1. Suppose d*z + 9 - 1 = 0. Is q at most z?
True
Suppose -2*x = 3*x - 15. Suppose -p = 2*p - 6, 0 = -x*t + 3*p. Let b = -4 + 6. Is t <= b?
True
Let p = 6 - 4. Let x be -1*-2*p/36. Is 2/3 greater than or equal to x?
True
Suppose 0 = 5*g - 5*a, -5*g = -a - 2*a - 4. Let n be (-2)/9 + 325/45. Suppose 5*r = g - n. Which is smaller: 0 or r?
r
Let n be (-2)/366*2*-3 - 0. Is 1 > n?
True
Let m = 603/5 - 121. Is m at most -36?
False
Let j = 3 + -14. Let u = -10 - j. Are 2/7 and u nonequal?
True
Suppose 3*p - 5*h + 0 - 20 = 0, p + h + 4 = 0. Suppose 7 = -p*i + 5*i - 4*l, i - l - 2 = 0. Which is smaller: 2/13 or i?
i
Let w = -6/55 + 52/275. Is w at least as big as 1?
False
Suppose -6 = -2*m + 2*f, m + 5*f + 1 = -8. Suppose w + 4 = m. Let g = 36 + -38. Does g = w?
False
Let b = 11 - 7. Is b less than 3?
False
Let d(x) = -31*x**2 + x. Let q be d(1). Let v be (q/9)/((-1)/(-3)). Is -9 smaller than v?
False
Let u(k) = k**2 - 6*k - 5. Let n be u(6). Let a = n - -4. Which is smaller: 3 or a?
a
Let j(x) = 2*x**2 - x. Let s(n) = -2*n - 6. Let t be s(-5). Let a be j(t). Let m be ((-6)/(-8))/((-7)/a). Is m at least -2?
False
Let p be (12/(-3) + 3)/(-6). Is 0.09 smaller than p?
True
Suppose -2*m + 2 = -5*j, 4*m - 10 = -j - 28. Let r be (-1)/(-1 + (-18)/(-16)). Let c be r/(-12) + (-34)/24. Which is smaller: j or c?
j
Let f(a) be the third derivative of 0 - 2*a**2 + 0*a**4 + 0*a**3 - 1/20*a**5 + 0*a - 1/120*a**6. Let w be f(-3). Is w smaller than 1/9?
True
Let u = 57 + -341/6. Let l(c) = c**2 + 4*c - 4. Let t be l(-5). Let r = t - 2. Which is bigger: r or u?
u
Let w = 43 + -29. Let c be (-2)/4*(-20)/w. Are c and 1 equal?
False
Suppose -4*z = 2*u + 26, -4*z = 3*u + 2*u + 95. Is u greater than -22?
False
Suppose 0*h = -4*h + 8. Suppose 0 = -h*v + 8 - 0. Is v at most 3?
False
Let q(b) = b**2 + 5*b - 1. Let x be q(-3). Is -8 > x?
False
Let c be ((-3)/1 + 4)*11. Let s(q) = -4*q. Let h be s(-3). Which is smaller: h or c?
c
Let x = -0.28 - -0.08. Let c = x - -0.2. Let v = -2 + 0. Which is greater: v or c?
c
Let z = 0.1 - 0. Let a = 62.9 - 63. Which is smaller: z or a?
a
Let v be 2/(-3) - (-12892)/12030. Let q = v - 2/401. Is -3 bigger than q?
False
Let s be 4/10 - (-26)/10. Let q(c) = -3*c - 1. Let r be q(-1). Suppose 0 = -r*p - 3*p + 10. Which is bigger: p or s?
s
Suppose -3*b = 5*s - 9, -3*b + 9 = -3*s + 2*s. Suppose s = -5*v + 9 + 6. Suppose 2*g = -0 - 2, -p = -2*g - 5. Is p at most v?
True
Suppose -16 + 1 = g. Are -14 and g non-equal?
True
Let z = 7 - 7. Which is bigger: 3/22 or z?
3/22
Let f = -115/3 + 38. Which is bigger: f or -0.1?
-0.1
Let n(u) = -u + 2. Let o be n(1). Let i(h) = h. Let k be i(o). Let q = 23/6 + -4. Which is greater: k or q?
k
Let w(j) = j**2 - 5*j + 1. Let n be w(5). Let c(b) = -b**2 - 6*b - 4. Let i be c(-4). Let d be 2/i*8/14. Is d at most as big as n?
True
Let l = 0.21 + 0.03. Let u = 1.76 + l. 