e
Let d = 120 + -84. Suppose 5*u - d = -3*a + 4*a, -3 = -2*a - 5*u. Let c = a + 5. Is c greater than or equal to -6?
True
Let u = 4 + -3.5. Let o = -0.5 - u. Which is bigger: -2/15 or o?
-2/15
Suppose -3*x + 4*u - 9 = 0, 0 = -x - 3*u + 2 + 8. Which is greater: 4 or x?
4
Let u = -169 + 152. Do u and -16 have different values?
True
Let d = 97 + -82.8. Let v = -14 + d. Which is smaller: v or 5?
v
Let p(v) = -v + 16. Let c be p(11). Suppose s - c*s = 0. Which is greater: 1/3 or s?
1/3
Let k = -7.35 + 7. Let f = -0.24 - k. Which is bigger: 0.1 or f?
f
Let y = -28 - 17. Let l be (-12)/(-8)*(-4)/y. Suppose -4*c + q + q = 6, 4*c = -5*q + 1. Which is smaller: c or l?
c
Suppose 3*n + 6 = 21. Suppose -n*z + 3*z = 2. Let r be (-7)/(-12) + (-3)/9. Which is bigger: z or r?
r
Let x(d) = -7*d - 152. Let g be x(-22). Suppose 4 = k + 9, 3*z + 3*k = -12. Suppose -5*c = -6 + z. Is c smaller than g?
True
Let l = -16 - -26. Let k(d) = -d**3 + d**2. Let z be k(-2). Let g = l - z. Which is bigger: -3 or g?
g
Let g = -65 - -65.5. Let u = 0.08 + 0.52. Let r = g - u. Is 1/3 at most as big as r?
False
Suppose 2*t = -t - 3. Which is bigger: t or -5/8?
-5/8
Let f = -3.6 - -3. Let s = f - -3.6. Which is greater: 0.2 or s?
s
Let p be 21*3/(8 + 1). Suppose 0 = 4*z + p + 1. Let j be (-2)/(-3) - z/(-3). Is j equal to -1?
False
Let r(h) = -h + 2. Let l(w) = 1. Let u(v) = -l(v) + r(v). Let p be u(0). Is -2/13 at least as big as p?
False
Suppose 0 = -v + 5*v - 24. Suppose 13*c - 63 = -8*c. Is v bigger than c?
True
Suppose 0 = 2*f - 2, 20*d + 4*f = 15*d + 14. Which is greater: 17/11 or d?
d
Suppose -5*i - 3*a - 2 = -68, -14 = -i - a. Let w = 12 - i. Let c = 249 + -1737/7. Are w and c equal?
False
Let l(m) = 8*m - 3. Let x be l(-5). Let u = x + 388/9. Which is smaller: 1 or u?
u
Suppose 4*r + 33 = -3*z - 2*z, -z - 5 = 0. Let s be (r/4)/((-2)/96). Suppose 2*a + 5*h - 14 = 4*h, s = 2*a - 4*h. Is a <= 7?
False
Let f = 0.16 + -0.26. Let w = f - -0.2. Which is bigger: w or 0.04?
w
Let l be ((-14)/(-20))/(2/5). Suppose -3*g + 6 + 3 = 0. Which is bigger: g or l?
g
Let c = 175 + -1397/8. Let y be (2 - 3)/((-1)/2). Suppose 0*h + h + 7 = 3*p, 4*p = -y*h + 6. Which is smaller: c or h?
h
Let x = -0.14 + 0.44. Let j = 0 - -0.1. Which is smaller: x or j?
j
Let o = -8153/10 - -816. Let r = -6/5 + o. Are 1 and r nonequal?
True
Let y be -1*(-2)/4*4. Let v = y - 5. Does -3 = v?
True
Let u = -2 + 40. Which is smaller: u or -2?
-2
Let h be 265/(-3)*(-1)/5. Let b = 18 - h. Is -10 >= b?
False
Suppose l + 4*w = 2, -5*l - 5*w + 12 - 2 = 0. Suppose -l*k + 0 + 2 = 0. Which is greater: 1/5 or k?
k
Suppose -20 = -5*r, 0 = -i - 3*i + 5*r + 12. Let p(z) = 2 - 3*z + z**2 - 3 + 2 + i*z. Let c be p(-3). Is -4 less than or equal to c?
False
Let v = 89/296 + 12/37. Which is greater: 3/2 or v?
3/2
Let x be 6/21 + (-2)/7. Which is smaller: 1/23 or x?
x
Let q be 20/((-8)/10*25/(-10)). Is 10 at least as big as q?
True
Let p = -2.04 + 0.04. Let g = 2 + p. Let l = -2 + 2.3. Are g and l unequal?
True
Let j(k) = -k**3 + 2*k**2 + k - 1. Let i be j(2). Is i not equal to 3?
True
Let g(i) = i**3 + 7*i**2 + 3. Let x be -6 + (0 - (-2 - -3)). Let n be g(x). Suppose p - 4*p = n. Which is smaller: p or 0?
p
Suppose 3*u + 5*a = 2*a + 6, 2*a = 5*u - 24. Is 3 at most as big as u?
True
Let i be ((-1)/(-2) - -1)*2. Suppose 0 = -i*h + 9 - 0. Suppose -h*m - 43 = 2*m + 2*g, -3*m + 2*g = 13. Which is smaller: -6 or m?
m
Let i(j) = 2*j**2 - 9*j + 3. Let t be i(4). Which is smaller: t or 1/2?
t
Let t(k) = -4*k + 5. Let x be t(-6). Let w = x - 15. Which is smaller: 15 or w?
w
Let v be (-2)/4 - 142/60. Let c = -16/5 - v. Let o(p) = p - 7. Let a be o(6). Is a less than c?
True
Let j be -7 + 9 + 7/(-6). Is 0 >= j?
False
Let a = -51712/2135 - -9/427. Let w = a + 24. Suppose -3*d + o + 1 = 2, -4*d + 3*o = -2. Which is smaller: d or w?
d
Let s = 24 + -17. Suppose 2*b + 3 - s = 0. Let t = 59/6 - 17/2. Which is smaller: t or b?
t
Suppose 4*t = -52 + 132. Suppose 3*p + p = -t. Let m = 4 + p. Is 2/9 >= m?
True
Suppose -3*r - 7*q + 209 = -2*q, -2*r = -5*q - 156. Is r less than 74?
True
Let a = -35.67 + 36. Let i = -106 + 106.03. Let p = a - i. Which is smaller: 0.1 or p?
0.1
Let k = 3.66 - 0.66. Does k = -18?
False
Let q = -7.9 - -8. Which is smaller: 0.15 or q?
q
Let s = 72 + -937/13. Which is greater: s or 1?
1
Suppose -11 = -5*h - 4*g + 5*g, -5*h + 3*g = -13. Which is smaller: 8 or h?
h
Let a be (3 - 86/30)*1/10. Is a less than 0?
False
Let q be (-8)/2*28/(-8). Let h be 4/q - (-10)/14. Let a(b) = -b**2 - 4*b - 1. Let m be a(-4). Is m less than h?
True
Suppose -3*f - 4*h = -14, 3*h = -4*f - 5 + 19. Let o(y) = y + 1. Let g be o(-2). Let n be 2 + 1/((-1)/g). Do f and n have the same value?
False
Suppose -3 + 33 = 3*j - 5*s, 0 = j - 5*s. Suppose -3*u + j = 2*u. Suppose 4*n - 3 = 3*n. Are u and n equal?
True
Let i = -527/3 - -175. Suppose -3*x = -3*h + 3, 8*h - 3*h - 4*x = 3. Is i greater than or equal to h?
True
Let s be (7/3 + -1)*-3. Let u be 6/s*(-8)/12. Let n = -916/9 - -102. Is n at least u?
False
Let a(f) = -f + 15. Let b be a(16). Is -9/7 at most as big as b?
True
Suppose -2*r - 2*b = 2*b + 12, 2*b = 5*r - 6. Which is bigger: r or 2/19?
2/19
Let p = -886211/410 - -4323/2. Is 0 smaller than p?
True
Let v be ((-21)/14)/(10/(-6)). Let u = 7/5 - v. Let l(f) = -f**3 - f**2 - f. Let m be l(-1). Which is smaller: u or m?
u
Let g(n) = -5*n + 4. Let l be g(1). Let r = 13/20 - 19/10. Which is smaller: r or l?
r
Let f = 2 - 0. Let g be f/9*12 - 2. Is g not equal to 2?
True
Let l be ((-2)/(-4))/((-2)/(-16)). Suppose -6 = -l*f - 2. Is 0 smaller than f?
True
Let g = -6/1253 + 3004/103999. Let i = -18412963/249 + 73948. Let o = i - g. Which is bigger: o or -1?
o
Let k = -1/30 + -3/10. Let p(m) = m - 4. Let a be p(5). Are a and k equal?
False
Let r(p) = -3*p**2 + 2*p - 1. Let l be r(1). Let t be (8/10)/(2/10). Suppose -4*m - t = 4. Does m = l?
True
Let i = 3 - 4. Let k = i - 2. Let z = k + 3. Is z at least as big as 4?
False
Suppose -14*n + 18*n + 580 = 0. Are n and -145 non-equal?
False
Let c(q) = -2*q**3 - 3*q**2 - 3. Let v be c(-2). Let m = 11/80 - 577/5360. Which is smaller: v or m?
m
Let n = 0 - 0.12. Do n and -2 have the same value?
False
Suppose 3 + 3 = -2*w. Let s = w - -2. Are -5 and s equal?
False
Let z(y) = y**3 + 8*y**2 + y + 8. Let h be z(-8). Let f = -0.23 + 2.03. Let o = -2 + f. Which is bigger: o or h?
h
Let r(d) be the third derivative of d**5/60 - d**4/8 - d**3/2 - d**2. Let x be r(-2). Suppose 2*j = x*j. Is j greater than 2/11?
False
Let n = -18 + 12. Let z(h) = h**3 + 5*h**2 - 5*h + 6. Let y be z(n). Is 2 != y?
True
Let v be 1/(1/(2 - 4)). Let j = v - 0. Which is greater: j or -2/3?
-2/3
Let i = 0 - 5. Let s be -5 + 3 + 0 + 2/(-1). Is s bigger than i?
True
Let i = -4 - 1. Let p be (-1 - 7/i)/1. Let w = 3 - 3.1. Is p smaller than w?
False
Let q be (7 + -4)/(5 + -2). Let o(v) = -v**3 + 2*v + 1. Let n be o(-1). Is n < q?
True
Suppose 4*b = 5*m + 3*b - 3, 3*m - 5*b - 15 = 0. Suppose m*t = -t. Is t smaller than -2/19?
False
Let a = 45 - 65. Let x be (4/a)/(2/(-4)). Let r(b) = -b**2 - b + 1. Let p be r(-2). Which is smaller: x or p?
p
Suppose -2*t = 5*g + 23 + 9, -5*g + 4*t - 26 = 0. Let y = 4 + g. Is -1 smaller than y?
False
Let w = 126 + -105. Is 21 equal to w?
True
Let x = -33/10 - 509/20. Let f = x - -29. Which is bigger: 1 or f?
1
Let c be ((-30)/(-25))/(4/300). Are c and 90 nonequal?
False
Let h be 1/(-2)*(-6 + 4). Suppose -3*x - 10 = -h. Let f be (x/(-21))/((-1)/2). Is f less than 2/7?
True
Let i = 1105/2 - 521. Let d = -32 + i. Which is smaller: -2 or d?
-2
Let h = 4.8 - 5. Is 6 less than or equal to h?
False
Suppose -5*d + 24 + 1 = 0. Suppose 4 = d*f - f. Is -5 < f?
True
Suppose 0 = -2*j + 3*f - 4*f - 6, 0 = 2*f - 4. Suppose 0*b - 6 = b. Let a be (b/4)/((-3)/j). Which is greater: a or -5/6?
-5/6
Let z = 7.05 + -0.05. Let r = -5 + z. Let n = r - 4. Is 3 greater than or equal to n?
True
Let s = 1.8 - 0.8. Is -2/3 <= s?
True
Let r = 1/28 + 1/4. Let l be (6/(-135))/((-4)/69). Let w = 1/10 - l. Which is smaller: r or w?
w
Suppose 0*r - 2*p = 3*r - 40, 4*r - 55 = -3*p. Suppose 7*a - r = 2*a. Suppose -3*w + 5*z + 14 = 3*z, w - 6 = z. Is w not equal to a?
False
Let o = 0.67 + -0.61. Which is smaller: o or 12?
o
Suppose -7 = 3*o + 2. Are o and -21