e
Let h be (2 - (-16)/(-4))/(-2). Which is bigger: 7/3 or h?
7/3
Let c be 2/8 - (-1)/(-4). Suppose c = 3*y - 0*y + 9. Are y and -3 equal?
True
Suppose 2*a + 2*t + 20 = 0, 5*a + 3*t + 35 + 25 = 0. Let f be 0 - (-2 - 204/a). Let k = 217/20 + f. Which is smaller: 0 or k?
k
Suppose u + u = -8. Let a(n) = n**3 + 3*n**2 - 4*n - 5. Let h be a(u). Let w = h + 4. Is 1/9 less than w?
False
Suppose 0 = -6*q + 5*q + w + 6, 2 = 5*q + 2*w. Let h(n) be the second derivative of n**4/12 - n**3/2 + n**2 + 3*n. Let a be h(q). Is a smaller than 2/7?
True
Let j = 10 + -8. Is j at most -2/5?
False
Let z = 27 - 27. Let o = -1 - -2. Suppose 6 = -5*r + o. Which is bigger: z or r?
z
Let b be (-432)/(-15) + (2/1)/10. Is b at most as big as 29?
True
Let s = -20 + 23. Suppose -b - 2*b = -9. Are s and b non-equal?
False
Suppose -3*a + 22 - 10 = 0. Suppose -a*g + g - 4*q = 15, 20 = -5*g - 5*q. Is -3 < g?
True
Let s = -0.76 - 0.14. Let u = s + 0.7. Let f be (2/(-6))/((-4)/(-6)). Is f less than or equal to u?
True
Let a be (-3)/(-8) - 300/32. Is a at least -10?
True
Let s = 2144/9 + -238. Is s <= 1?
True
Suppose -x = -3*x + 5*k + 12, 5*k + 11 = x. Let m be (-647)/(-28) - (-9)/12. Let b = -23 + m. Is b smaller than x?
True
Let c be (-9)/(-276)*((-4)/(-6) + 0). Which is greater: -1 or c?
c
Let w be -2 - 23/(-4) - 2. Let l = w - 2. Let y = 0.66 + -3.66. Is y at least as big as l?
False
Let j = 2763/5 + -550. Which is smaller: 3 or j?
j
Let p = 25 + -26. Which is smaller: p or 1/32?
p
Let r = -26 + 0. Let a = r - -36. Is 11 greater than a?
True
Suppose -100 = -26*d + 31*d. Is -3 bigger than d?
True
Let h be (4/42)/(33/308). Let j = -1 - -1. Which is bigger: j or h?
h
Let n be 3 - 1/(2/(-4)). Suppose -o - 4*o = -n. Let h be -1 + (-4)/(-44)*12. Which is bigger: h or o?
o
Let o be 56/(-78) + (-8)/(-12). Is o greater than or equal to 0?
False
Let h be 24/(-1116)*1*-3. Let f(u) = -9*u + 19. Let d(b) = -5*b + 10. Let n(j) = 7*d(j) - 4*f(j). Let p be n(6). Are p and h nonequal?
True
Let g be (-2)/((-7)/(21/(-6))). Do g and 4/33 have different values?
True
Let a = 5 - 2. Let f = a - 7. Is -1/5 greater than or equal to f?
True
Suppose -25*x + 24*x = -9. Does -6 = x?
False
Let d be 3*-5*16/24. Let m be (-14)/d + 2/(-5). Is m at most 3?
True
Let v be 2/(-1 - 0/(-1)). Let t be v + 12*(-1)/(-7). Let d(l) = -l**3 + 6*l**2. Let b be d(6). Which is bigger: b or t?
b
Let m = -0.05 + 0.23. Let k = 0.18 - m. Which is smaller: k or 11?
k
Let y(f) = -f**3 + 6*f**2 - 5*f + 4. Let i be y(5). Let u(b) = 21. Let r(w) = w + 43. Let t(a) = -3*r(a) + 5*u(a). Let d be t(-8). Which is smaller: i or d?
d
Let b = 206 + -2268/11. Is b at most -9?
False
Let w be 16/(-42) - (-3)/(-90)*-5. Which is smaller: -0.2 or w?
w
Let u = -2.1 + 0.1. Let t be (-2 - (-8)/2) + 2. Suppose t*v + 8 = -0*v. Are v and u non-equal?
False
Let u = 1818 - 14625/8. Let v = u - -10. Is v at least 1?
False
Let z(q) = 3*q - 4. Let f be z(3). Suppose x = -4*x - f. Let b be 0 - (13/(-7) - -2). Is x < b?
True
Let t = 1/36 - -1183/180. Do 8 and t have the same value?
False
Let s = 10 - -15. Which is smaller: s or -0.1?
-0.1
Let n(o) = o**2 + 7*o + 4. Let j be n(-6). Let l be (5/(-10))/(j/4). Which is smaller: 2/17 or l?
2/17
Suppose 3*z + 5 = -5*n, 4*z - n = -z - 27. Suppose 5*p - 47 = -222. Let c be 95/p - (-4)/(-14). Is z less than or equal to c?
True
Suppose 13*c - 10*c - 14 = -i, -5*c + 29 = -4*i. Let w be 295/(-180) - 6/(-8). Are i and w non-equal?
True
Let a = 10.3 + -26.5. Let j = 15 + a. Let n = 0.2 + j. Is 1/3 at least n?
True
Let j be (-8)/126 + (-4)/(-14). Suppose r = 2*l + 3*l + 7, -3*r + 3 = 3*l. Which is greater: l or j?
j
Let x be 6/6*3/21. Let k be 2 - (0 + -2 + 1). Suppose k*s - 4 + 1 = 0. Is s less than x?
False
Let z(x) = -x**2 - 4*x + 1. Let o(d) be the first derivative of d**3 + 6*d**2 - 4*d - 2. Let r(u) = -4*o(u) - 11*z(u). Let t be r(-5). Is t at least 0?
True
Let z(s) = s**2 - 11*s + 25. Let l be z(8). Which is smaller: 2/91 or l?
2/91
Suppose -g - 3*g - 5*h + 28 = 0, 0 = -3*g + h + 21. Let d = -6 + 13. Is g not equal to d?
False
Suppose 17 = 4*n - 3. Let m(x) = 1 + 2*x + 1 + 0 - x. Let o be m(0). Is n != o?
True
Let o = 10 - 13. Which is smaller: o or 3?
o
Suppose -3*g - 2*r + 5*r + 6 = 0, 0 = -5*r. Suppose 2*f + 4 = -2*d, -4 = 5*d + f - g. Let k be (-2)/6 + 44/60. Which is greater: k or d?
k
Suppose 0 = -v + 1, -2*h = h + v - 10. Which is bigger: h or 2?
h
Let o = 11.1 + -11. Is o >= -1.2?
True
Let f be ((-118)/20)/(-1 - -12). Let d = 2/55 + f. Let a = -6 - -5. Is a greater than d?
False
Suppose -2*x - 2*r + 72 = 0, -39 = -3*x + 2*x - 2*r. Is x at most as big as 33?
True
Let t be (-54)/(-9)*(-2)/2. Which is bigger: t or -2?
-2
Let n = 4 + -14. Let y = 9.9 + n. Is y >= -5?
True
Suppose 4 = -4*q - 3*h + 31, 2*h = -q + 13. Let b be 2/(-4) - q/(-14). Is 0.1 equal to b?
False
Let o(h) be the first derivative of -h**2/2 - 10*h - 3. Let z be o(-9). Does -2/7 = z?
False
Let b be ((6 - 3)/(-9))/((-5)/(-15)). Is -6 <= b?
True
Let s = 282/7 - 30766/763. Which is smaller: s or -1?
-1
Let a = 182 + -363/2. Are a and 2 non-equal?
True
Suppose 0 = -5*p - c - 84, 4*p - 7*c + 73 = -2*c. Which is smaller: p or -19?
-19
Let g(z) = -z**3 - 5*z**2 - 1. Let l be g(-5). Is -1.2 less than or equal to l?
True
Let d(j) = j**3 + 4*j**2 - 6*j - 3. Let b be (1 + -3)*20/8. Let o be d(b). Let x = o + -2. Which is smaller: x or -3/4?
-3/4
Suppose -2*c + 278 = 5*v - 120, 4*c + 4*v - 808 = 0. Let l be 6/(-36) + (-38)/c. Which is bigger: l or 0?
0
Let s = 34319/42 + -5099/6. Let a = -33 - s. Suppose 2*f + 4*k - 16 = 0, -3*f + 2*f - 3*k = -12. Is a > f?
False
Let k = 159 + -11. Let x = k - 587/4. Which is smaller: 0 or x?
0
Let m be 54 + 1/4*4*0. Is m > 53?
True
Let v = -4 - -6. Let y = -3 + v. Let g = -4.2 + 4. Which is smaller: y or g?
y
Let k = -181/15 + 35/3. Let s = 155/3 + -51. Which is bigger: k or s?
s
Let s be (-6)/(-15) - 8/20. Which is smaller: s or 6/13?
s
Let y(l) = l**2 + 10*l - 3. Let a be y(-7). Let k = 169/7 + a. Are k and 1 nonequal?
True
Let r = -0.03 - 0.02. Let d = r - -0.05. Which is smaller: 2/3 or d?
d
Let u = 25 + -32. Which is greater: u or -25/3?
u
Let x be 7/(-39) + 1/3. Let k(d) = d**2 + 4*d - 6. Let s(q) = -q**2 + 2*q - 2. Let l be s(3). Let b be k(l). Is x != b?
True
Let g = 3/8 - 37/56. Let u be (-35)/(-49) + (-4)/(-14). Which is smaller: g or u?
g
Let s = 139 + -829/6. Let n = -3 + 5. Is n less than s?
False
Suppose 5*f = 3*g + 144, -5*f + 3*f + 48 = 2*g. Do f and 27 have different values?
False
Let q(i) = i**3 - 11*i**2 - 15*i + 39. Let b be q(12). Is b greater than 28/9?
False
Let b = 1 - 0. Let x(y) = -3*y**2 - y + 5*y**2 + 0*y. Let g be x(b). Which is greater: g or 0?
g
Let d = -4.06 + 0.06. Let g = 2 + d. Is 1 < g?
False
Let m = -5 - -9. Suppose -m*q = 3*i + 2 - 4, 0 = -2*i - 5*q - 1. Is i less than or equal to 0?
False
Let i = 1.03 + -1.2. Let x = i - 0.03. Let m = -0.3 - -1.3. Which is smaller: x or m?
x
Let q = -5 - -6. Which is greater: 4/9 or q?
q
Suppose -6 = -0*l - 2*l. Suppose 3*b + 5*s - 12 = 0, -l*b + 0*s - 6 = -s. Is -2/17 != b?
True
Let c(o) = -o**2 - 10*o - 15. Let s be c(-10). Let t = 61/4 + s. Which is smaller: t or 0.4?
t
Suppose -5*l - k = -3*l - 6, 3*l + 2*k - 10 = 0. Let o be (l/(-4))/((-5)/20). Is -0.2 at least o?
False
Let p = -1321/2400 + 1/2400. Let f = -3/4 - p. Which is smaller: -1 or f?
-1
Let l be 1*(4 - -2)/(-2). Suppose -2*p = -2*q - 2, -2*p + 7*p - 2*q = -1. Are l and p unequal?
True
Let m = 0.5 - 1.5. Do 3 and m have the same value?
False
Let q be -1 + 0 - (-1)/1. Suppose y = 5*r + 10 - 5, -2*y = -r - 1. Is y > q?
False
Let g = -1 + 3. Let n be 0 + (8/10)/g. Suppose -3 = o - 2*o. Is o bigger than n?
True
Let u = 1.99 + 0.01. Suppose -c - 3*q + 4*q = 0, 4*c + q = 10. Is c greater than u?
False
Let d = 12.1 - 12. Is d >= -7?
True
Let a = -128/7 - -44174/2415. Let g = a + 224/1035. Which is smaller: 1 or g?
g
Let c = 615368/595 + -20829/35. Let n = -439 + c. Suppose -5 = 3*w - 5*v, 5*w = -4*v - v + 5. Is w bigger than n?
False
Suppose -q + 0*q = 2*a, -2*q = 2*a - 2. Let k = 2.2 - 0.2. Is a bigger than k?
False
Let r = 3 + -7. Let f be ((-5)/(-25))/(r/10). Let n = -1 - 0. Which is smaller: f or n?
n
Suppose 2 + 22 = 3*o. Suppose 0 = 2*c + 5*p + o, 0 = c + 2*p + 3 - 0. Which is smaller