e
Let n = -112 + 174. Let t = -436/7 + n. Which is smaller: 1/10 or t?
t
Let n(m) = -4*m - 6. Let k be n(4). Let j be -2 + (142/6 - 0). Let l = k + j. Which is bigger: l or -0.2?
-0.2
Suppose -3*c + 7 = -2*k - 7, -3*c + 16 = -4*k. Suppose -2*d - 3*p - p = 2, 5*p + 2 = -2*d. Is k at least d?
True
Let w be 10/(-4)*44/(-165). Which is greater: 33 or w?
33
Suppose 6*w - 2*w + 6 = 2*d, 5*d = 5. Suppose 3*i + 4 = -2*n, -3*n = -0 + 15. Suppose s + 3 - i = 0. Is s > w?
False
Let w = -2 + 4. Let o be (-3 + 4)/(w/10). Suppose o*y + 16 - 1 = 0. Which is greater: -1 or y?
-1
Suppose -20 = 4*y - 5*l, 0 = 4*y - 4*l + 19 + 1. Is -7 <= y?
True
Let p be 3 + 1*(-2)/(-2). Suppose -8*j + 15 = -3*j. Do j and p have the same value?
False
Let m = 0.15 + 6.85. Let l = -7 + m. Which is bigger: 6 or l?
6
Suppose 2*q = 5*q - 12. Suppose q*s = -0 + 8. Which is bigger: s or 2/3?
s
Let w = 26 - 26. Is 2/53 <= w?
False
Let l(t) = 5*t**3 - t. Suppose 5*n = 2 - 7. Let o be l(n). Is o less than -4?
False
Let i(h) = 2*h - 5. Let z be i(5). Suppose -l - z*a - 2 = 2*l, -a + 4 = 5*l. Let f be ((3 + -2)*-1)/l. Which is smaller: f or 0?
f
Suppose 5 = f + r, -4*r + 7 + 10 = f. Suppose -t - 2 = 2*y, 4*t - 4*y - f = -9. Let o = 0 - 1. Is t greater than o?
False
Let l = 24.03 - 0.03. Let x = 9 - l. Is x < 0?
True
Let h be (-2)/(-4 + 2) + 2. Suppose 6 = 2*s, -2*l - h*l = 5*s - 15. Which is smaller: l or -2/3?
-2/3
Let a be (-115)/(-20) - 1/(-4). Let r = 51 - a. Let p be 4/r*6/4. Which is smaller: p or 1?
p
Suppose 2*f = -0*f + 3*x + 1, -5*f - 4*x = -37. Is 6 > f?
True
Suppose 2*k = -2*k - 40. Let p be k/(-4) + 1/2. Is 2 less than or equal to p?
True
Suppose -5*k - 8 - 2 = 0. Let p be (0 + 1/k)*14. Let m = p + 11. Which is smaller: m or -1?
-1
Let z(r) = -2*r - 23. Let d be z(-12). Is 1 greater than d?
False
Let j be 16/4*26/11. Let f = 7822/825 - j. Let w = f - -16/25. Which is bigger: w or 1?
1
Let q(f) = f**3 + 17*f**2 + 14*f + 22. Let r be q(-16). Let l be (-15)/(-10)*16/r. Which is greater: l or 1?
1
Suppose -y - 12 = -2*a, -4*y - 6 - 18 = -2*a. Let c = y + 4. Let b = -2 + 2. Is b less than or equal to c?
True
Let r = -1411 + 95957/68. Let i = 2/17 + r. Let z be 4/(-10) + 18/70. Are i and z non-equal?
True
Let f = 1.724 - 0.024. Is f equal to 0.1?
False
Suppose 5*t = 6*t - 21. Let j = t - 14. Which is greater: 8 or j?
8
Suppose 0 = 4*v - l - 0*l - 59, -l - 27 = -2*v. Let b be 4/(-12) + v/(-6). Let t be (-1)/3 - (-1)/b. Which is greater: t or -1?
t
Suppose 0 = -h + 3*h - 20. Suppose -c + h = 3*b, 8*c + b = 3*c + 22. Suppose -2*p = -l + 8 + c, -5*l = -5*p - 35. Does p = -6?
False
Let m(c) = -c - 1. Suppose -5*z + 2 = -s + 3, 4*z + 5 = 5*s. Let f be m(z). Let j = -5/18 - 47/90. Is f at most as big as j?
True
Let q = 13 - 31. Which is smaller: q or -16?
q
Let o(c) = -3*c**2 + 23*c - 23. Let s(a) = -a**2 + 8*a - 8. Let j(p) = 6*o(p) - 17*s(p). Let v be j(2). Is -3/5 equal to v?
False
Let g = 55 + -60.6. Let o = 6 + g. Is o < 0.1?
False
Let x = -49 + 38. Which is smaller: 4 or x?
x
Let v = -1 - -1. Suppose q - 1 + 2 = v. Let l be (3 + -2 + -1)/(-1). Is q equal to l?
False
Let f be (-2)/6*(-14 + 14). Let y be (-4)/(-22) - (-430)/55. Is f < y?
True
Let l = 0.9 + -1.1. Let d = -2 + 1.8. Is d at least as big as l?
True
Let b = 80 - 78. Is b < 2.7?
True
Let b be ((-21)/6)/(-7)*-2. Let z = -1/6 - 1/12. Is z < b?
False
Let p = 485/66 + -43/6. Suppose 4*b + 4 = -0*b. Is p at least as big as b?
True
Let k = -4.05 - -0.05. Let a = k - -3.8. Is -1/2 >= a?
False
Let g = -51.7 + 49. Let o = g - -3. Let j = -0.09 - -0.29. Do o and j have the same value?
False
Let u be ((1 - 1) + 1)*-4. Let v(z) = 2*z + 7. Let a be (0 - 5)*(0 + 1). Let y be v(a). Is y at least u?
True
Let s(u) = -u + 3. Let q be s(4). Which is greater: q or 2?
2
Let p = 25 - 21. Which is bigger: 0 or p?
p
Let p(b) = b**2 + b + 6. Let s be p(0). Suppose i - 2*q + 12 = -s*q, 2*i - q - 3 = 0. Suppose -y + 13 - 8 = i. Is y bigger than 6?
False
Let k be (-2)/4*0*(-1)/(-3). Which is smaller: k or 10/17?
k
Let v be 2/4 - 26/4. Suppose -4*q + 12 = -7*q, -12 = 4*f + q. Let b be 4/f + 1*-2. Which is greater: b or v?
b
Suppose -2*c + 0*c - 4 = 0. Let a = c - -3. Are a and 1 nonequal?
False
Let x(c) be the third derivative of c**5/60 + 5*c**4/24 - 3*c**3/2 + c**2. Let j be x(-7). Suppose -j*n - 5 = -0*n. Which is smaller: n or -2?
-2
Let z(i) = -i**2 + 13*i - 18. Let r be z(13). Let p = r - -12. Are -6 and p unequal?
False
Suppose 36 = 2*m + m. Suppose -7*q + 3*q + m = 0. Is q at least as big as 3?
True
Let f = -25 - -23. Is f not equal to 0.03?
True
Suppose -16 = -5*x + 3*z, 5*x - z - 20 = 4*z. Let n = 27/2 + -13. Which is bigger: n or x?
x
Let t be (7 - 4) + 22/(-6). Are t and 0 non-equal?
True
Let w = 1 - 6. Let v(d) = -d**3 - 4*d**2 + 7*d + 5. Let k be v(w). Are 0 and k unequal?
True
Let a = 5/44 - -53/308. Let b = -3 + 4. Is a < b?
True
Let n(w) = w. Let q = -8 - -5. Let y(g) = g**2 - 11*g. Let t(p) = q*n(p) - y(p). Let l be t(8). Which is bigger: l or -1/3?
l
Suppose 96 = -x + 2*a, 4*a = -4*x - 0*a - 360. Let y be x/(-12) + -3 - 3. Is 1 at least y?
False
Suppose 0*u - 6 = -5*u + 2*y, -u - y = 3. Suppose g - 1 = m, u*g = -g - m + 3. Which is bigger: 1 or g?
g
Let n be 0 + -1 + 4 + -5. Which is greater: -4 or n?
n
Let v = -61/2 - -919/30. Suppose 4 = -7*t + 3*t. Is t >= v?
False
Suppose 3*v - 3*i + 0*i - 3 = 0, 3*v - 5*i - 3 = 0. Let n be (-18)/63 - 4/35. Is v less than or equal to n?
False
Let t = 95 + -377/4. Is t less than 2?
True
Let u = 14 + -13.1. Let l = u - -0.1. Let c be 32/2*(-4)/(-8). Do c and l have the same value?
False
Suppose -4*x = -13 + 41. Which is bigger: -8 or x?
x
Let v be 12/(-15)*25/(-180)*-4. Are 1 and v non-equal?
True
Let s = -1 - -4. Let m = s + -4. Let d = -15 - -11. Is m less than or equal to d?
False
Let l(u) = -2*u - 8. Let a be l(-7). Let o(b) = -b**2 + 4*b + 7. Let y be o(a). Is y greater than -4?
False
Let y = -1.08 - -0.08. Let m = 0 + y. Let g = -3 - -4. Is m at most as big as g?
True
Let f be 1*(-3 + (-12)/(-3)). Let l be f/(-2) - (-3)/(-6). Is 0 <= l?
False
Let b = 17.6 - 4.5. Let c = -13 + b. Is c smaller than -0.02?
False
Suppose 5*u = -2*m + 3*u - 72, -m + u - 36 = 0. Are m and -36 nonequal?
False
Let m be (-3)/4 - (-2 + (-335)/(-28)). Is -10 less than m?
False
Let v be 4/2*25/100. Which is smaller: v or 25?
v
Let q = 25.9 - 26. Which is bigger: q or 0.08?
0.08
Let b(i) = -i + 9. Let t be b(9). Let g be -2 + t + 30/18. Which is greater: g or -6?
g
Let o = -161 - -162. Let v = 0.07 - -2.93. Let z = v + 3. Which is smaller: o or z?
o
Let h(z) = -3*z - 15. Let r be h(-8). Is 9 smaller than r?
False
Let b = 18 - 17.9. Which is smaller: b or 9?
b
Let s = 8 - 8.5. Let j = s - -0.4. Let c = -2.9 + 3. Which is smaller: j or c?
j
Suppose 2*v + 2 - 7 = -j, 5*j + 3*v = -3. Let z be ((-1)/(-3))/((-10)/(-30)). Let l = z + -3. Is j greater than l?
False
Let a(o) = 5*o. Let b be a(1). Suppose -4 = b*q + 1. Which is greater: q or -2/5?
-2/5
Let w(n) = n**2 - n + 4. Let p be w(3). Let r be ((-11)/p + 1)*-1. Which is smaller: r or 0?
0
Let b be (2 + (-408)/195)/(0 + 2). Is 0 > b?
True
Let a = 0.21 + -0.55. Let s = a - 2.86. Let x = -3 - s. Which is bigger: x or 1/4?
1/4
Let v = -5 - -8. Let o = v - 0. Is 2 at most o?
True
Suppose 94 = 2*k + 4*y, 0 = -k + y + 34 + 25. Suppose k = 3*s - 53. Let j be 4/(-18) - 28/s. Which is bigger: -2 or j?
j
Suppose -2*s = -2*d + 52, -4*s + 5*d = -0*s + 107. Let v be s/(-7) + (-4)/14. Suppose -v*t - 4*i = 1 + 3, t = -2*i - 2. Which is bigger: -2 or t?
t
Let a be 0/(((-20)/(-8) - 4)*-2). Which is smaller: -2/27 or a?
-2/27
Let t(y) be the first derivative of -2*y**3/3 - y**2/2 - y + 6. Let p be t(1). Which is greater: -2 or p?
-2
Let q be ((-3)/6)/((-2)/(-28)). Let k be q/(-21) + 7/(-39). Which is smaller: -1 or k?
-1
Let l = -181 - -182. Suppose 9 = -r + 5*m, 0 = -r - 2*m - 3*m + 11. Are r and l equal?
True
Suppose 4*f - 4*w - 22 = -w, f - 4*w - 12 = 0. Suppose 2*r - f*s = 3*r + 7, 0 = r - 3*s + 7. Let x = r - -29/4. Is 0.5 bigger than x?
True
Let c = 34/3 + -547/48. Suppose -2*r = 2 - 4. Which is smaller: r or c?
c
Suppose 0 = -0*t - 3*t - 30. Let o = 11 + t. Which is smaller: o or -2/13?
-2/13
Suppose 2*n = -4 + 2. Let t = -0.17 + 0.1. Let i = -0.23 + t. Is n equal to i?
False
Let x 