e 2 and i equal?
True
Suppose v - 2*y = -21, 5*v - 9 + 69 = y. Let o be 37/(-3) - 1/(-3). Let l = v - o. Which is smaller: l or 7?
l
Suppose -10*l = -13*l. Is l greater than -1?
True
Let c be -1*2*1/2. Let w(j) = j. Let v(o) = -6*o - 2. Let i(k) = v(k) + 5*w(k). Let q be i(c). Which is smaller: q or 0.1?
q
Suppose 0 - 8 = -g. Let z = g - 8. Suppose -3*q + q + 2 = z. Is 1 at least as big as q?
True
Let d(b) = -4*b. Let x(v) = v - 1. Let i(t) = d(t) + 3*x(t). Let r be i(-8). Let l be (0 + -3 + 2)/r. Which is smaller: l or -1?
-1
Let v(u) be the first derivative of -u**3/6 + u**2 + 2*u - 1. Let r(q) be the first derivative of v(q). Let y be r(4). Which is bigger: -4 or y?
y
Let s be (24/16)/((-6)/(-44)) + 1. Which is greater: 13 or s?
13
Let a be 1 + 0 + 79/(-7). Let x = -10 - a. Let g = -3 + 4. Which is greater: x or g?
g
Suppose 7*p + 40 = 3*p. Let h = p + 31/3. Which is bigger: h or 0.3?
h
Let z = 2/285 - -188/285. Let g = -6 - -4. Which is smaller: g or z?
g
Let i = 67 + -70. Let c = -0.1 - 0.1. Is c >= i?
True
Let u = 433 + -3023/7. Let p = -4 + 3.9. Is u at most p?
False
Let c = -34 + 24. Let h = 25 + c. Let w = h - 8. Are -1 and w nonequal?
True
Let z be 49/(-7)*(1 - -2). Is -23 smaller than z?
True
Let r = -1.05 + 0.05. Let l = -3 - r. Let a = l - -1. Which is smaller: a or 0.1?
a
Let o be (6/10)/(15/(-2)). Which is greater: o or 0?
0
Let j = -9/103 - -737/6077. Which is greater: -1 or j?
j
Let s be 1/(-4) - 735/(-2380). Is 1 less than s?
False
Let p be (2/4)/(45/10). Suppose -11 = -2*v + 3. Let t(k) = -k**3 + 6*k**2 + 8*k - 6. Let z be t(v). Which is smaller: p or z?
p
Let m = 0 + 1. Suppose -14 = 5*c - 19. Is m smaller than c?
False
Let n(x) = -9*x**2 - x. Let f be n(-1). Let w(i) = -i**2 - 8*i - 2. Let u be w(f). Which is greater: u or -3/4?
-3/4
Let m be (-8)/(-6)*6/2. Suppose -2*b = -m + 2. Suppose 2*c + 10 = -3*g + b, -5*c + 9 = -3*g. Are 4/9 and c unequal?
True
Let y = -5 - -22. Which is smaller: 2 or y?
2
Suppose -2*l + 12 = -p - 17, 110 = -5*p + 3*l. Let j = -32 + p. Let v = 256/5 + j. Is v greater than or equal to 1?
False
Let v = -3.7 - -4. Let i = 0.2 - v. Which is smaller: 3/5 or i?
i
Let n = -24 + 23.9. Let z = -2.06 - -0.06. Let y = 1 + z. Is n smaller than y?
False
Suppose -5*b + 4*w + w - 50 = 0, 0 = w - 4. Let c be b/(-8)*28/(-35). Is 0.01 >= c?
True
Suppose f - 4*u + 10 = 0, -f - 34 = 4*f - 4*u. Let m(r) = -r**3 - 6*r**2 + 8. Let o be m(f). Is 8 <= o?
True
Let r = -0.152 + 0.052. Which is greater: r or -0.025?
-0.025
Suppose -2*b + 0*v = -5*v, -3*b = 2*v - 38. Suppose m = -4 + 3. Let w be (-2)/b - 0/m. Which is greater: 0 or w?
0
Suppose 0 = 5*n - 3*n - 12. Suppose -n = t + 7. Do -13 and t have different values?
False
Let z(n) = -n**3 - 6*n**2 + n + 6. Let y be z(-5). Let k be (-3)/6*y/15. Is k >= 0?
True
Let n(o) = -o**2 - 6*o - 6. Let r be n(-5). Which is bigger: -9/11 or r?
-9/11
Let u be -2 - ((-1607)/(-6) + 3). Let x = u + 274. Which is greater: 1 or x?
x
Suppose -4*l + 13 = 1. Suppose 0 = l*s - 8*s. Suppose 0*x - 4*x - 12 = s. Is x smaller than -3?
False
Let j(q) = -3*q**3 + q**2 - q - 1. Let i be j(-1). Suppose 0 = i*n - 15 + 3. Suppose n*c - 4*c = 1. Is -1 <= c?
True
Let k be -2*((-2)/3 - -1). Suppose 2*y + t - 3 = 2*t, -2*t = 4*y + 14. Let u be 2/y - (1 + -2). Which is bigger: u or k?
k
Suppose 2*j + 56 + 146 = 3*t, -2*t = -5*j - 120. Let o be 4/(-7)*t/(-20). Is o >= 3?
False
Let s = 0.2 + 3.8. Let d = 6 - s. Which is smaller: 2/11 or d?
2/11
Let d(n) = 5*n**2 - 5*n**2 - 2*n**2. Let l be d(-1). Which is greater: l or -9/5?
-9/5
Let o be (12/(-188))/(6/4). Which is bigger: 1 or o?
1
Let l be 4/12 - 2/6. Suppose 2*o - 4 = -0*o. Let g be o/(-2)*3/3. Which is bigger: l or g?
l
Let w(y) = 2*y**2 - 3*y + 2. Let x = -7 - -9. Let d be w(x). Which is greater: 5 or d?
5
Let y be (-1)/(-3) - (-1)/(-3). Let k be (-2)/(y/(-1) - -9). Which is smaller: -1 or k?
-1
Let y = -73 + 73.1. Is -9/10 smaller than y?
True
Let r be 1/(-3) + (-293)/3. Let h = r + 884/9. Let y = 139 - 141. Is h greater than or equal to y?
True
Suppose 4*p + 2*v - 24 = 0, -p - p + 4*v + 2 = 0. Which is smaller: p or -1/2?
-1/2
Let a = -23.7 + 24. Which is smaller: 2 or a?
a
Suppose -4*a = -8 - 68. Which is bigger: a or 18?
a
Let n be 5*(24/10)/3. Suppose 2*q + i + 0*i = 17, 3*q - 28 = -n*i. Suppose 0 = 10*f - 83 + 13. Which is smaller: f or q?
f
Suppose 4*j - 41 = -5*r - 8, 3*j = 4*r - 45. Let h be (-3)/(r/2)*3. Is -3 greater than or equal to h?
False
Let f be (-9)/42 - (-3)/7. Which is smaller: 0 or f?
0
Let p be (24/20)/(3/40). Let i = p + -12. Is 3 at most i?
True
Let b be (-1)/(-2) + (-102)/(-4). Is b != 26?
False
Let o be (0 - -1)/(2/(-12)). Let h(j) = -j - 1. Let g(q) = q**2 + 10*q + 6. Let v(b) = -g(b) - 4*h(b). Let n be v(o). Is n at least -3?
True
Let b = 9 - 1. Is b <= 9?
True
Let y be 3/(-2 - 1) - -1. Suppose -4*a - 38 = 2*q + q, y = 2*q - 2*a + 2. Let b be (-2)/4 + (-4 - q). Which is greater: 2 or b?
2
Let b(l) = l - 14. Let w be b(10). Is w >= -11/3?
False
Let d = 56 - 55.91. Is -0.6 smaller than d?
True
Let v = 92 + -94. Which is bigger: -0.07 or v?
-0.07
Suppose 3*x - 2*v - 2*v + 24 = 0, 0 = 2*v + 6. Let n(z) = -2*z - 17. Let s be n(x). Suppose t + q = 2*q + s, -t + 17 = -3*q. Is 4 > t?
True
Let b be (-2)/(-4) + (-9)/(-18). Suppose -c + 3 = b. Is 2 greater than c?
False
Let b = 0.06 + 0.04. Let l = b + 0. Which is smaller: -5/2 or l?
-5/2
Suppose -4*z - 4*g = 0, 5*z + 2*g - g = 16. Let s be z/6*(-3)/(-4). Is s greater than 5?
False
Let m = -366/7 - -52. Let s = -241/4 + 60. Which is greater: s or m?
s
Let z be -2 + 1 - 1/(-1). Suppose 15 = -z*k + 5*k. Let c(t) = -t**2 + 3*t - 1. Let u be c(k). Are -2 and u unequal?
True
Let s = 2.6 + -3. Let q = 31 + -30.9. Let z = q - -0.9. Which is smaller: s or z?
s
Suppose 2*u - 3 = 5*g, 0 = -2*g - 0*g - 2. Let r(f) = -f**2 + 8*f - 1. Let m be r(8). Let z be m/(2 - (-2 + 9)). Is z not equal to u?
True
Let o = 3.5 - 4. Let t = 0.5 - o. Which is greater: t or 0?
t
Let v = -6.72 - -9.7. Let c = v - -0.02. Let m = 5 - c. Do -2/5 and m have the same value?
False
Let o = -3 + -1. Let z be (o/(-2) + -7)*-2. Which is greater: 9 or z?
z
Let s be 20*(336/20)/4. Let u be (-6)/9 - (-32)/s. Let i = 0 - 1. Does u = i?
False
Let r = 265/4 + -131/2. Suppose j = 6*j. Suppose -n - n = j. Is n < r?
True
Let w = 2 - 3. Let k = -34 - -36. Is w >= k?
False
Suppose 0*z + 7 = -z. Let b = -5 - z. Suppose 3*a - 3*s = 6, -3*s + 4 = b*a - 2*s. Is a less than -2?
False
Let u = -0.06 + 3.06. Which is greater: u or -0.1?
u
Let z = 151/3 - 49. Let a(b) = b**2 + 2*b - 3. Let x be ((-6)/4)/((-2)/(-4)). Let k be a(x). Which is smaller: k or z?
k
Let m = 67 + -71. Which is smaller: 2 or m?
m
Let p = 101 - 1716/17. Are p and 0 unequal?
True
Suppose 4*w + w + 30 = 0. Let h be w/10*(-2)/(-3). Which is smaller: -2 or h?
-2
Suppose 6*q - 30 = 204. Are q and 39 nonequal?
False
Let b = -15 - -15. Suppose b = x + 4 - 8. Is 7 at least as big as x?
True
Let g be 418/1316 - (-32)/(-112). Which is greater: -1 or g?
g
Suppose 3*t - 4*t + o = -1, 3*t - o - 9 = 0. Suppose t*r - h - 6 = 0, -2*h - 8 + 0 = -4*r. Is 7/4 at most as big as r?
False
Suppose 5*f - 28 = -4*t, t + 0 + 6 = 2*f. Suppose -t*u - 2*u + 4 = 0. Let a = 5 + -3. Which is smaller: a or u?
u
Let z = 11/81 - 8/81. Which is smaller: z or -1?
-1
Let o(n) = n**3 + 5*n**2 - 2*n - 6. Let u be o(-6). Is u less than or equal to 1?
True
Let d = 5.5 - 3.4. Are 0.1 and d equal?
False
Let f = 290/9 + -242/9. Which is bigger: f or 5?
f
Suppose 1 = -3*v - 5. Is v less than or equal to -1?
True
Let x = -449/18760 - 1/938. Is -1 greater than or equal to x?
False
Suppose 0 = -12*z + 37 - 133. Are -96/11 and z equal?
False
Let v be (3/42)/((-1)/(-4)). Let t be 6/20 - 5/(-25). Is t at most as big as v?
False
Let c(w) = -w**3 - 25*w**2 - 23*w + 32. Let s be c(-24). Which is smaller: s or 7?
7
Let t be 4 + (-3)/(9/(-6)). Is t at most 6?
True
Let x be (-830)/(-264) - (-15)/(-20). Let n = 30/11 - x. Which is bigger: 17 or n?
17
Suppose -10 = -2*p + p - 5*k, 4*p + 2*k - 4 = 0. Let n = 10/63 - -2158/693. Let q = n + -158/55. Is p greater than or equal to q?
False
Let i = 7.88 + -8. Let k = -19.98 + 20. Let r = k + i. Is 0.2 less than or equal to r?
False
Suppose 3*m = -5*w + 11 + 11, 0 = -4*w + 3*m - 4. Suppos