er: -2 or k?
-2
Let a be (-3)/(1 + 1 + -1). Let c be (-13899)/63 - (-6)/21. Let q = 217 + c. Which is bigger: q or a?
a
Suppose -5*j - 11 = r, -2*j - 3*j = 25. Let y = r + -23. Let p be (-6)/y*(-3)/(-2). Which is smaller: p or 2?
p
Let d(f) = -f**2 + 7*f. Let s be d(7). Let v be -11 + 13 - (1 - s). Which is greater: -1 or v?
v
Let j be (-2)/3 + 33/31. Let x be 108/(-248) - (-1)/2. Let i = x - j. Is -1 equal to i?
False
Let p = -0.82 - -1.32. Which is bigger: p or 1/3?
p
Suppose -5*w + 2*w - 18 = 0. Let u = -10 + 6. Is w less than u?
True
Let w(f) be the first derivative of f**2/2 + f - 2. Let n be w(-2). Let z = -1 - n. Is -1/6 < z?
True
Let y be 3/15*(-5)/25. Which is bigger: y or 0.06?
0.06
Let s = 499 + -1517/3. Let y = s - -19/6. Suppose -m + 2*b = -7 + 21, b = 5. Which is smaller: m or y?
m
Let a = 0.45 + -0.05. Let b = 0.2 + -0.7. Let j = b + a. Is 0.1 <= j?
False
Let p = -24 + 24.13. Which is bigger: p or -1?
p
Suppose 0 = 5*g - 4*b - 72, 4*b + 40 = 2*g + 4. Let u be g/(-15)*(-15)/(-6). Are u and 2 equal?
False
Let v = 913010/199 + -4588. Let t be 813/21492 - (-1)/(-4). Let r = t + v. Is 1 smaller than r?
False
Let s = -6.9 - -7. Suppose -11*i - 4 = 7. Are i and s nonequal?
True
Let y be (6/9)/(2/(-12)). Let x be -2 - -2 - -1 - 6. Is y greater than x?
True
Suppose -s + 4*s = 0. Which is smaller: -2/5 or s?
-2/5
Suppose 5*v - 1 = 4. Let t be 1*((-9)/(-4) - 2). Which is bigger: v or t?
v
Let f be 2 + (-14)/6 - (5 + -7). Is 2 bigger than f?
True
Let l = 45 + -21. Let t = l + -23. Which is smaller: t or 1/5?
1/5
Let x = 0.2 - -0.1. Let a = 0.4 - 0. Let b = a - x. Which is bigger: b or 0.03?
b
Let m = 0.26 - 0.06. Is 6 <= m?
False
Let u = 37 + -38. Which is greater: u or -0.2?
-0.2
Let c = 0.08 + 0.22. Let v = -0.48 + -0.52. Is v bigger than c?
False
Let f be 6421/(-145)*(-5)/102. Let j = -2/493 + f. Is j at least as big as 1?
True
Let v be 196/(-120) + (-15)/(-10). Do v and 0 have different values?
True
Suppose -5*x + 4*s + 32 + 0 = 0, 0 = -3*x - 5*s - 3. Suppose 3*o - o - 10 = 0. Which is smaller: x or o?
x
Suppose x - 6*x - 10 = 0. Let o be x/(-8) - 14/(-8). Suppose 4*s - 2*p - 2 = 0, 3*p = o*s + s. Are s and -2/5 nonequal?
True
Suppose -2*l = 3*l - 15. Suppose 3*s + r - 6 = 12, -3*r - 6 = -l*s. Suppose 4*b - s*b = 4. Is -5 greater than b?
False
Let w = -2 - 0. Let u = w + 2. Suppose 2*g = 4*g. Is g <= u?
True
Let k = 2 - 1. Suppose -5*h - 3*d = -4, 2*d - 9 = h + 2*h. Let l = h + k. Which is greater: l or 3?
3
Let s be (400/30)/(-2*1/(-3)). Is 18 >= s?
False
Let z = 2.9 - 3. Let l be (18/28)/((-12)/(-742)). Let o = l - 40. Is z at most o?
False
Let p be 6/8 + (-50767)/52. Let v = 976 + p. Which is smaller: 1 or v?
v
Let n = 68 - 74. Let h = 3 - 2. Is h not equal to n?
True
Suppose -2*m - j = -2, 5*j - 10 = -3*m + m. Suppose m = -4*h - 20, 2*h + 2 = -5*r - 3. Is -2/11 smaller than r?
True
Let m = 19 + -18. Which is smaller: m or -2/47?
-2/47
Let f be -2 + (-1 + 6 - 1). Let h be 1 + 79/(-6)*-2. Let d = 28 - h. Is d equal to f?
False
Suppose 4 = 4*a, -36 = 5*m - 3*a - 88. Is m <= 11?
True
Let u(h) = -2*h**3 + 2*h**2 + 6*h + 1. Let k be u(3). Is -5 >= k?
True
Let w = -27 - -26.97. Is 0.3 bigger than w?
True
Suppose -4*v - 2*h = 40, v - 6*v - 50 = -5*h. Let r be 76/v - (-6)/(-15). Let d be (1/2)/(6/r). Is 0.2 less than or equal to d?
False
Let v(t) = -t**2 + 6*t - 6. Suppose 4*j - 17 = 3. Let s be v(j). Is 2/5 < s?
False
Let n be ((-30)/(-25))/(2/(-10)). Suppose 4*m - 2*m + 37 = -5*d, 0 = 2*d + 4*m + 18. Is n < d?
False
Suppose 2 = -2*l - 0*l. Suppose 5*i + 2 + 6 = 2*g, -4*i + 5*g - 3 = 0. Let h be i/2 - (-6)/6. Are l and h nonequal?
True
Suppose -3*t = -b - 14, -5*b + 3*b - 24 = -5*t. Suppose -28 = q + 3*q. Let z = -3 - q. Is t equal to z?
True
Let m be (-1 + 1)*(-9)/(-18). Is 1/40 at most m?
False
Let f be ((-9)/6 - -3)*-4. Let i = f + 5. Let a = 1.8 - -0.2. Which is smaller: i or a?
i
Let y(b) = b**3 + b**2. Let c = -9 - -9. Let q be y(c). Let o be 2 - (-2)/((-60)/63). Which is smaller: q or o?
o
Let q = 2651/174 - 91/6. Is -1 smaller than q?
True
Suppose -2*z + 0*q + 2*q + 88 = 0, -4*q - 56 = -z. Suppose z = -5*n + 7*s - 2*s, 2*n + 4*s = 8. Let i = 4 + n. Which is bigger: 2 or i?
2
Suppose -2*b - 4*l - 8 = 0, -b + 8 = -5*b - 4*l. Suppose -15 = -4*u + u, z + 2*u - 15 = 0. Suppose 2*w + 3*h + 2*h = 9, -z*w + 14 = 4*h. Does w = b?
False
Suppose r + 18 = 3*j, 2*j - 4*r - 2 = 4*j. Which is greater: 3 or j?
j
Let a = -5.4 + 31.4. Is a greater than 1?
True
Let q(s) = s**3 + 13*s**2 - 13*s + 16. Let m be q(-14). Is 8 greater than or equal to m?
True
Suppose -y + 0*y - 5 = -2*z, -3*z = 3*y - 30. Which is bigger: 6 or y?
6
Let w be (6*(-4)/(-40))/((-1)/(-5)). Which is smaller: w or -1?
-1
Let z be 2*-1*(-2 + 0). Let a(c) = c**2 - 5*c + 2. Let l be a(z). Let q be ((-8)/(-220))/(l/10). Do q and -1 have the same value?
False
Suppose 3*h = 22 - 7. Suppose -g - 24 = 5*t, 2*t - t = -h*g. Let o be (8/54)/((-8)/12). Which is smaller: o or g?
o
Let f = -1.3 - -1.2. Let c(v) = -3*v + 1. Let w be c(1). Let q be (w/(-28))/((-1)/4). Which is bigger: q or f?
f
Suppose 0 = l - 6*l + 5, 0 = -3*u - 4*l + 4. Let y = 1 + u. Suppose p - 11 = -4*f, 0 = f - 2*p - 2*p + 10. Is f >= y?
True
Let c = -1/40 + -77/120. Are c and -2/11 nonequal?
True
Let i = -2.071 + 0.071. Which is bigger: -27 or i?
i
Let a = -1.53 - -0.53. Is 62 < a?
False
Let v = -0.1 - 0. Suppose 0 = -3*q - q - 16. Is q equal to v?
False
Let a = -6 - -5. Are 0 and a unequal?
True
Let q(i) = -i - 1. Let t be q(-3). Let m(r) = -6*r + 3*r**3 - 8*r**2 + 10 - 2*r**3 + 3*r**3 - 5*r**3. Let u be m(-7). Do u and t have different values?
True
Suppose 24*w - 9*w + 780 = 0. Is -51 != w?
True
Suppose -2*y + 20 = 2*y. Suppose -y*o = 0, -2*w + 0*w + o = -4. Let t be ((-3)/21)/(1/(-4)). Which is smaller: t or w?
t
Suppose -5*k - 8 = -3*k. Is k at least -14/3?
True
Let o be 1 + -4 + 1968/648. Is 1 less than o?
False
Suppose -4*r - 14 = -r + 5*a, 4*a + 8 = -2*r. Let x be 3 - 1 - (7 + r). Is x greater than 8/5?
True
Suppose -5*m - 5 = -w - 0*w, -w - 5*m + 5 = 0. Suppose 2*v + w*d + 16 = 4, -3*v = -3*d - 24. Which is smaller: 5 or v?
v
Let f = 24 - 16. Let k = f + -31/4. Is -0.5 greater than k?
False
Suppose -2*d + 10*n + 23 = 5*n, -d + 13 = -3*n. Suppose 4 = d*a - 0. Which is smaller: 2 or a?
a
Let a be -11 + 0 + -2 + -2. Let b be (-42)/(-5) - (-6)/a. Let z be 10/b + (1 - 2). Is z < -1?
False
Suppose m - 6*m = -30. Is 11/2 not equal to m?
True
Suppose -4*u - 3*o = -3, -2 + 3 = -2*u + o. Let n = -3077447/19 + 161866. Let q = n - -105. Which is smaller: q or u?
u
Suppose 20*b - 80 = 24*b. Which is smaller: -1/3 or b?
b
Let f = 45/14 + -229/70. Is 0.1 greater than or equal to f?
True
Let t = 11 - 12. Let p = t + 0.9. Which is smaller: 0.04 or p?
p
Let j be ((-98)/(-4))/((-4)/24). Let d = 591/4 + j. Which is smaller: 2 or d?
d
Let v = -28/9 - -113/45. Let q(o) = 2*o - 8. Let z be q(6). Let a be 1/4 - 1/z. Is v <= a?
True
Let p = -2/87 + 265/174. Suppose -7*c = -3*c + 32. Let m = c + 8. Is m not equal to p?
True
Let n = 120 - 64. Let x be (4/n)/(1/(-4)). Do -1 and x have the same value?
False
Let j be (-1)/((-2 + 3)/(-1)). Which is greater: 2/13 or j?
j
Let z = 23598095/361459 - -2/51637. Let l = -65 + z. Which is smaller: l or 0?
0
Let s = -7 - -6.8. Which is greater: s or -6?
s
Let x = -1.1 - 0.1. Let t = -0.2 - x. Let r = 4 - t. Is 1 at most as big as r?
True
Let y = -3 + 3. Let r = 0.5 + -4.5. Does r = y?
False
Let s = -1 + 2. Is s smaller than 4?
True
Let x be (-2 + (-15)/(-6))*2. Suppose -2*v - 44 = -4*g, -g - 3*v = -0*v - 4. Suppose 4*m - g = -m. Which is greater: m or x?
m
Let u = 124/483 + 2/69. Let n = -8.81 + -0.19. Let g = n - -7. Which is greater: g or u?
u
Suppose 11*b + 6 = -71. Is -7 greater than b?
False
Let h(g) = -3*g + 25. Let d(z) = -2*z + 13. Let u(x) = 5*d(x) - 3*h(x). Let m be u(-6). Is m greater than or equal to -8/3?
False
Let c be 4/(-16) - 41/(-4). Suppose 7*l - c = 2*l. Which is bigger: 1 or l?
l
Let t = -8 + 3. Let d = 5 + -2. Suppose 6 = -3*b + 2*a, -d*b = -a - 3*a. Is b at most as big as t?
False
Let a = 0.07 - -0.02. Let l = a + -0.19. Which is smaller: l or 4?
l
Let a be (-69)/2 - (-2 + 1). Let n = a - -33. Let s = 21.9 - 22. Which is greater: s or n?
s
Let r = -389/3 + 370/3. Is r at most a