x, -2*x - 1 = 4*w - 3*x. Which is bigger: w or -3?
w
Let j = -14380/39 - -1111/3. Which is smaller: j or 1?
1
Let w = 468.1 + -468. Let p = 1.4 - 1.22. Which is bigger: p or w?
p
Suppose 4 = -3*g + 13. Suppose 2*m = -g*m. Is m <= -2/11?
False
Let v be -8 - (-1 + 1 + -2). Let f be 2/v + (-57)/(-9). Suppose 3*k + 15 = 0, -2*d = -f*k + 2*k - 16. Which is greater: -1 or d?
-1
Let v = -49 - -41. Which is bigger: -7 or v?
-7
Let b be ((-6)/(-15))/((-8)/(-25)). Which is smaller: b or 0?
0
Let d be 4/16 + 31/4. Let k = 9 - d. Let s be (3/15*2)/(-1). Which is greater: k or s?
k
Let z(k) = -k**2 + 9*k + 1. Let d be z(10). Let m = 9 + d. Is m smaller than -1.8?
False
Let o = -135 + 126. Which is smaller: -14 or o?
-14
Let c be ((-4)/5)/((-2)/25). Suppose -5*b = -2*x + 17 + 1, -3*x - 4*b + 27 = 0. Let f = x - c. Is -1 less than or equal to f?
True
Let m(c) = -2*c**2 - 18*c. Let v be m(-9). Which is smaller: -2/11 or v?
-2/11
Let h = 2411/175 + -97/7. Which is greater: 1 or h?
1
Suppose -r = -5*x - 0 + 2, -x + 10 = -5*r. Let g be x/((-3)/((-6)/(-2))). Let c be (-1)/3 - (-2)/24. Is g less than or equal to c?
False
Let v = -2 - -2/5. Is -2 >= v?
False
Let h be 9/(-3) - (-93)/33. Let l = h + 15/22. Which is smaller: -2/5 or l?
-2/5
Suppose -f + 3*h = 22 - 6, h - 5 = 0. Let j be f*4/(6 - 2). Which is smaller: -1/6 or j?
j
Let h be (2 - (1 - -1)) + 18. Suppose -3*x - h = -51. Suppose -5*u - 4*f + 16 = 0, x = 3*u - 2*f - 3. Is 4 greater than u?
False
Let s(f) = f**3 + 2*f**2 - 8*f - 5. Let w be s(-5). Let q be 106/w + 1/4. Let r = q - -26/15. Do r and 0.1 have the same value?
False
Let l = -3110495/12222 - 2/6111. Let o = l + 248. Which is greater: -8 or o?
o
Let x = -123662606/101201 + 1806/5953. Let o = 1222 + x. Which is bigger: -1 or o?
o
Suppose 2*f + 5 = -3*r - 0*f, 25 = -5*r + 5*f. Let i = r - 2. Let c be ((-12)/(-2))/(-2 - -1). Which is bigger: c or i?
i
Let b = 20 + -20.07. Let t = 0.789 + -4.719. Let m = t + b. Which is smaller: m or -0.1?
m
Let b(l) = -3*l + 3. Let k be b(2). Let d = -18 - -17.9. Which is smaller: d or k?
k
Let i = -5 + 1. Let y = 4.3 + i. Which is smaller: -1 or y?
-1
Let a = -0.51 + -0.09. Let n = -0.5 - a. Let h = -552/5 - -110. Is n <= h?
False
Suppose 10*h = 6*h. Which is smaller: -6/11 or h?
-6/11
Let n be ((-2)/4)/((-1)/116). Let z = 512/9 - n. Are -1 and z nonequal?
True
Let o be ((-8)/(-10))/((-30)/(-25)). Is o at least 0.12?
True
Let v be (3/(-18))/(2/57). Is -6 > v?
False
Let c(f) = -f + 5. Let x be c(7). Let z(m) = -2*m**2 + 8*m + 5. Let j be z(8). Let h = 175/3 + j. Are x and h equal?
False
Let d = -12.1 + 10.6. Which is smaller: d or -0.4?
d
Suppose -16 = 28*d - 32*d. Is 33/7 < d?
False
Let t be -3*(-39)/18*10. Let y be 6/(-10) - (-29)/t. Is 1 > y?
True
Suppose -2 = -2*n + 2. Suppose 9 = n*t + t. Which is bigger: 0.1 or t?
t
Let y be -2*((-33)/(-6) + 1). Let d = -10 + -4. Which is smaller: d or y?
d
Let z be (21/(-12))/((-2)/(-8)). Let f = 20 + 10. Suppose f = -18*n + 13*n. Is z less than n?
True
Let f = 16352/942903 + -2/8059. Is 2/5 at least f?
True
Let x = 3 + -3. Let g be 0 + x - (0 - -1). Let h be 8/(-6)*(g + -2). Which is smaller: h or 3?
3
Let d be (-2)/(4/(-44) + 0). Which is smaller: d or -0.1?
-0.1
Let w = -25/4 - -79/12. Let q(v) = 2*v**2 + 2*v. Suppose -n - 5*p + 6 = n, -12 = 5*n - p. Let f be q(n). Are w and f non-equal?
True
Suppose 5 = -t - s, 1 = t - 2*s - 3. Are 1/3 and t non-equal?
True
Let q = -89 + 47. Which is bigger: q or -43?
q
Suppose -20 = -0*w - 4*w. Let i = 5 - w. Suppose 5*b - 5*c = -10, i = -b - 0*c + 2*c - 4. Are 0.1 and b unequal?
True
Let u(l) = -l**3 - 3*l**2 - 4*l - 3. Let o be u(-2). Let h be (-1 - (-2 + o))/(-1). Which is greater: h or -1/14?
h
Suppose 5*v + 2*p = -1, 0*p + p + 3 = -5*v. Is v at least -2?
True
Let q be (-2)/(-8) + (-155)/(-20). Let d be 8/((3 - -2) + -3). Suppose d*y = q*y - 20. Which is smaller: 4 or y?
4
Let n be (10/6)/((-4)/(-12)). Suppose 0 = f + f + 2*t - 4, -n*f + t = 20. Suppose 4*h = -6 - 6. Are f and h nonequal?
False
Let m = -60.1 - -60. Is 4/7 greater than m?
True
Let s(w) be the third derivative of w**4/24 - 7*w**3/6 - 2*w**2. Let m be s(7). Which is smaller: 2/7 or m?
m
Let i(m) = -4*m + 1. Let u be i(1). Let s be (u/(-5))/((-42)/(-20)). Is s less than -1?
False
Let p be -14 + 2 - (2 + 0). Is -15 greater than or equal to p?
False
Suppose 2*g - 2*r = -2*g - 42, 4*g + 5*r + 7 = 0. Which is smaller: -7 or g?
g
Let v be 348/(-36) + (-2)/(-3). Are v and -12 equal?
False
Let l = -1 - -3. Let h be (-2)/(1 + -2) + -2. Suppose l*u - 4 - 4 = h. Which is smaller: u or 3?
3
Let a(z) = -z**2 - 2*z - 1. Let q(y) = -1. Let b(r) = -a(r) + 2*q(r). Let o be b(-2). Let w be (3/10)/(6/(-8)). Are o and w nonequal?
True
Let v be 10 - (-5 - (-3 - 0)). Suppose 0*f - 5*f = 20, -4*d - 4*f = v. Which is bigger: 0 or d?
d
Let v = 0.212 - -0.018. Let q = -7.7 - -8. Let h = q - v. Is h bigger than -1?
True
Suppose 2*o - 22 = d - 0*d, 0 = 5*o - 4*d - 61. Let i be 19/5 + (o - 10). Which is smaller: i or 3?
i
Suppose -1 = -3*s + 4*s. Are s and 2 nonequal?
True
Let c = 0.2 + -0.1. Let f = -0.5 + 1.5. Which is smaller: f or c?
c
Let p = 12 - 17. Let s = p - -4.7. Let q = 0.2 + s. Which is bigger: q or -2?
q
Let r = 90 - 72. Is r > 19?
False
Let i = -6 + 6. Let u = -5 - -13. Let r = -6 + u. Which is bigger: r or i?
r
Let l be (-12)/(-9) - 8/132. Are 0 and l non-equal?
True
Suppose -12 - 8 = 4*v. Let r = 4 + v. Which is greater: -2 or r?
r
Suppose -b = 2 - 7. Which is greater: b or 4?
b
Let f(w) = -w**2 + 14*w + 4. Let v be f(13). Suppose -j + 5*q = -18 - 15, -v = j + 5*q. Is j bigger than 8?
False
Let v(q) = 4*q**2 - 3*q + 2. Let r be v(1). Suppose 0 = r*d - 0 - 6. Which is bigger: 5/6 or d?
d
Let i(g) = g**2 + g + 13. Let m be i(0). Let o = 20 + -8. Is o at least m?
False
Suppose -3*y = -2*g + 11, 3*y = 5*y - 5*g + 22. Let v be (-7)/(-21)*(-1)/y. Is v at most 2?
True
Let q(t) = t + 3. Suppose -4*c + 44 = -4*y, -5 = -2*y + 3*c - 32. Let p be q(y). Is -1 equal to p?
False
Let m = -0.163 - 3.837. Is m at least -2/7?
False
Let m(f) = -4*f**2 - 2*f - 1. Let c be m(-1). Let i be (-1 - -2)/(4 + c). Is i at most 5/6?
False
Let p(d) be the third derivative of -d**4/24 + 7*d**3/6 - d**2. Let t be 8/64 + (-78)/(-16). Let g be p(t). Is -2 > g?
False
Suppose -5*n = 4*h - 12, -h + 3 = 4*n - 0*h. Is n at most as big as -1/10?
False
Suppose 10 = -3*t + 7. Let d(l) = -l**2 + 3*l - 3. Let c be d(2). Is c > t?
False
Let x be 1296/328 + -2*2. Which is greater: x or 0?
0
Let z(t) = 3*t**3 - 30*t**2 + 10*t - 23. Let b(n) = -n**3 + 10*n**2 - 3*n + 8. Let r(d) = 17*b(d) + 6*z(d). Let v be r(9). Which is smaller: -1 or v?
v
Suppose -5*q - 2 - 3 = 0. Let j = 17 + -12. Let z be ((-2)/(-5))/((-7)/j). Which is smaller: q or z?
q
Let t = 191 - 191. Which is smaller: -8/15 or t?
-8/15
Let x(s) = s - 1 + 1 - 7. Let k be x(8). Which is greater: k or -6/13?
k
Let u(p) = -p - 12. Let n be u(-7). Let k be 6/15 - 43/n. Let v be (-16)/(-18) - 6/k. Which is smaller: v or -1?
-1
Let k = -5 - -5. Let b be ((-1)/6)/(8/16). Does k = b?
False
Let g be (1/((-2)/10))/1. Let v = -41 + 38. Is v at most as big as g?
False
Let w be 2 - (7*2 - 2). Let o be ((-2)/(-95))/(2/w). Suppose -5 = 3*h - 8*h. Does h = o?
False
Let f be -1*(0 - 3)/9. Which is bigger: f or 0.2?
f
Suppose -573 = -16*q + 19*q. Is q at least -191?
True
Suppose 2*n - 4*n = 4. Let f be 0 + (-6)/n - 0. Is f != 3?
False
Let o be (497/21)/(1370/24). Let a = 2/137 - o. Which is smaller: -11 or a?
-11
Let x = 25 - 24.8. Are x and 1 non-equal?
True
Let i be -2 + 22/4 + -2. Let r be 9/12*(-1 + 5). Suppose 2*x = g + 2 - 1, -g - 2 = -r*x. Is g greater than i?
False
Let h = -1.8 + 1.3. Let u = -0.5 + h. Which is smaller: -0.1 or u?
u
Let s = 3 - -5. Which is greater: s or 13?
13
Let k = 804.07 - 808. Let z = -0.07 + k. Let i = z - -2. Which is greater: i or 0?
0
Let b = -16 + 18.9. Let m = -0.1 - b. Which is smaller: m or -2/3?
m
Let n(o) = -o - 2. Let w(k) = -3*k - 5. Let i(r) = 5*n(r) - 2*w(r). Let u be i(-6). Is u smaller than -5?
True
Suppose 4*r - 2 = -3*q, 3*q + r = -r + 4. Suppose q = -5*m + 7. Is m equal to -9?
False
Let p = 10 + -4. Let c be 3/p*(-12)/81. Which is greater: 1/4 or c?
1/4
Suppose 4*r + 12 + 136 = 0. Which is bigger: -38 or r?
r
Let i = -222/5 + 45. Which