is smaller: c or w?
c
Let c(d) = -d**2 - 2*d - 2. Let x be c(-2). Let m be (1 - 3/x) + -2. Which is smaller: -3 or m?
-3
Suppose -p = -2*p + 3. Let m(d) = d - 3. Let w be m(p). Which is smaller: 2 or w?
w
Let v be (-7)/3*(-60)/100. Is -1 at least as big as v?
False
Let y be 2/3*(-2 - 1). Let w be 0/(-5 - -2 - y). Is w <= -1/7?
False
Let g(j) = -j + 1. Let p be g(0). Suppose -4*q = 5 - p. Let n = -0.2 - -0.6. Is q less than n?
True
Let t = -2 - 2. Let a = t - -2. Let n = -4 - -3. Is a less than n?
True
Let n = -18/5 - -4. Suppose -4*o + 3*m + 28 = -m, -4*o = 3*m + 7. Is o bigger than n?
True
Let x = 23 - 3. Let p be (12/10)/((-6)/x). Let z(t) = -t + 2. Let c be z(6). Is p <= c?
True
Let n = -8.83 + -0.17. Let j = n + 12. Which is smaller: j or 1/3?
1/3
Let p be 3 - (2 + -2 + 3). Is -1/18 smaller than p?
True
Let y = 0.5 - 0.49. Let n = 0.39 + y. Let h = -0.2 + n. Which is smaller: h or 0?
0
Let g = -5.1 + 5. Which is smaller: 0.01 or g?
g
Let t = 0.04 + -0.6. Let m = -0.6 - t. Let h = m + -0.16. Which is greater: 1 or h?
1
Suppose -3*d + 10 - 7 = 0. Which is smaller: -3/64 or d?
-3/64
Let g(k) = k**2 - 4*k + 1. Let r be g(4). Is r > -2?
True
Let z be -1 + (4440/(-93))/4. Let i = z + 13. Is 1 != i?
True
Let g = 1/5 - -3/10. Suppose 97 = -4*q + 265. Let p be (-2)/q + (-3)/(-9). Is g less than or equal to p?
False
Let x = -51 + 32. Let p be x/(-19)*2/13. Let l = 2 + -1. Which is smaller: l or p?
p
Let h = 101 - 157. Which is bigger: -55 or h?
-55
Let v(p) = 5*p**2 + 7*p + 3. Let j(x) = -11*x**2 - 14*x - 5. Let n(h) = -4*j(h) - 9*v(h). Let q be n(-4). Do 0 and q have different values?
True
Let m(h) be the second derivative of h**5/20 + h**4/3 + h**3/3 - 7*h**2/2 - 8*h. Let w be m(-3). Are w and -4 equal?
True
Let c = -42 - -22. Does c = -20?
True
Let z be 90/(-495) - 2/((-44)/862). Is z >= 38?
True
Let r(f) = 2*f - 16. Let c be r(8). Suppose 1 = -c*j + j. Let p be (-31)/54 + 1/2. Which is greater: p or j?
j
Suppose -15 = -5*n, 2*n + 17 = -j + 5. Let d = j + 15. Which is greater: d or -2?
-2
Let v = -1275/16 + 80. Which is smaller: -1 or v?
-1
Let n = 8 - 4. Let h be (n/12)/((-2)/(-18)). Suppose 5*g + 2 = -h. Which is greater: 1/6 or g?
1/6
Suppose 0 = 9*g - 5*g + 4. Is 3 greater than or equal to g?
True
Let f = 8 - 8. Let t be -5*(2 - (f - -3)). Do 5 and t have the same value?
True
Let p(y) = y**3 - 5*y**2 + 5*y - 1. Let k be p(4). Let i = 1 - -7. Let g be (0 + -1)/((-2)/i). Are g and k nonequal?
True
Suppose -4*v = -3*v - 3*p - 16, 4*v + 1 = -p. Which is greater: v or -2/33?
v
Let t(l) = -l**2 + 3*l + 4. Let h be t(4). Which is smaller: 2/21 or h?
h
Let q = -0.2 + 0.2. Let m = 0.1 - q. Let r = -1.9 - m. Which is smaller: r or -1?
r
Let i(m) = 27*m**2 + 1. Let f be i(1). Let g be (2/f)/(2/8). Is 6/7 bigger than g?
True
Let d = -2 + 2.1. Let q = 1 + 0. Let l be ((-2)/8)/(q/6). Which is smaller: l or d?
l
Let u be (-2)/5 + 24/10. Suppose -u*b + 3*b = -1. Let p = -2049/7 - -292. Which is greater: p or b?
p
Let c = -14.8 + 14.3. Let y = 2.03 - 0.03. Is y > c?
True
Let p be (-1)/(-3)*(-3 - -1). Is 13/5 at most p?
False
Suppose -2*f + 2*h = 10, -4*f + 5*h = -9*f - 65. Let s be f/6*(-2)/3. Let v be (-4)/(-33)*6/4. Is v at least as big as s?
False
Let l = 0.1 - -0.9. Let b be 1*(-1 + (-9)/(-3)). Suppose 1 + 5 = -b*x. Which is smaller: l or x?
x
Let a = 125 + -131. Which is greater: -2/11 or a?
-2/11
Let i = -1.27 + 0.9. Let n = -0.07 - i. Is n at least 1/2?
False
Let v(f) = f + 16. Let x be v(-7). Let c = -8 + x. Let a be (1/10)/((-2)/(-4)). Which is bigger: a or c?
c
Let h(u) = 2*u**3 - 2*u**2 - 2*u + 2. Let w be h(-2). Let s be 2 + -1 + w/15. Are s and 0.1 non-equal?
True
Suppose -g + 6*g = 15. Let n be 3/(2 - -1) - 0. Which is bigger: n or g?
g
Let q(j) = -3*j**2 - 3*j - 2. Let w be q(-3). Let k be 8/w - 72/(-205). Which is smaller: k or -1?
-1
Suppose 0 = 3*q - 80 + 8. Let m = q + -19. Which is smaller: m or 1/2?
1/2
Let o be 3*((-24)/(-10) + -2)*-5. Which is smaller: 2/9 or o?
o
Let n = -1 - -61. Is 61 greater than or equal to n?
True
Let p(o) = o**2 - 6*o + 2. Let c be p(4). Let i(g) = -g + 1. Let f(j) = -4*j + 13. Let v(y) = -f(y) + 5*i(y). Let b be v(c). Which is greater: -3 or b?
b
Let p = 11 + -25. Is 0 less than p?
False
Suppose 0*w - w - 10 = 2*g, 4*g = 4*w + 16. Let f be w/10 - (-13)/5. Let z be 1/(f/(-3) + 1). Which is smaller: z or 2/3?
2/3
Let x be (2 - 5) + (-6)/(-3). Which is smaller: x or 1?
x
Let y(a) = -a**3 + 5*a**2 + a - 3. Suppose 9 = 5*h - 16. Let c be y(h). Suppose 4*f = -c*o + 16, 0 = 4*o - f + 1 + 3. Which is bigger: 2/5 or o?
2/5
Let n be -3 + (4 + 0 - 0). Which is greater: n or 9?
9
Let b = 42 - 35. Let t = -0.1 + 0. Which is bigger: b or t?
b
Let l = -20070/61 + 329. Do 0 and l have the same value?
False
Let v be (1*3/5)/3. Which is bigger: -1 or v?
v
Let s = 18 + -17. Is -2 equal to s?
False
Let z(h) = -h**3 - 2*h**2 + 5*h + 7. Let y be z(-3). Which is bigger: 7/16 or y?
y
Suppose 3*l + 22 = 5*r, -r - l - l = 6. Suppose v = -r + 3. Suppose -2*s = -6*s. Which is bigger: s or v?
v
Let v be ((-2)/(-4))/((-226)/(-44) - 6). Which is bigger: 0 or v?
0
Let j = -15.9 + 16. Are -2/11 and j nonequal?
True
Let j be -1 + (0 - 3/(-5)). Let q be (-2)/8*(-3 + -1). Which is greater: j or q?
q
Let g = 33/58 - 2/29. Suppose -4*n - 50 = 4*k - 2*n, -4*k - 5*n - 47 = 0. Let r = k - -10. Which is bigger: r or g?
g
Suppose 5*t - 24 = -4*r, 0*r + r - 17 = -4*t. Let z = 138/5 - 28. Which is bigger: z or r?
r
Suppose -4*p = -p. Suppose p = n + 3*n + 4. Let v be (n/3)/(16/12). Do v and -1 have the same value?
False
Suppose -41 - 14 = 5*p. Let i = -14 - p. Is -4 < i?
True
Let l = 4.8 - 1.8. Which is greater: l or -0.15?
l
Suppose -i = -4*i + 3. Let h be (2/(-35))/((-3)/30*-2). Which is smaller: h or i?
h
Let c be 6/(-15) - 6/10. Let y be (6 - 0) + (c - 1). Suppose y*p + 2*n = 0, 0*n - 6 = 2*p - 2*n. Is -0.2 <= p?
False
Suppose -k + 3 + 0 = 0. Let u(h) = -h**3 + 4*h**2 - 3*h + 1. Let t be u(k). Which is greater: 3 or t?
3
Let s be 4/((-3)/((-9)/2)). Let y be 2 + 3*4/s. Suppose -5*f = -f - y. Is -2/17 >= f?
False
Let w = -0.13 - -0.23. Is w at least 0.3?
False
Let q be (27/42)/3*-2. Which is bigger: q or 1?
1
Let m = -1 - -1. Suppose -t = -m - 20. Let i be 0 - (-5)/(t/(-3)). Which is smaller: -2 or i?
-2
Let z be 2*3/(-6) - -2. Let y be ((-2)/(-4))/((-8)/(-32)). Let f = y - z. Is -2/7 > f?
False
Let m be 0 - (-114)/(-260) - 4/(-10). Which is greater: 0 or m?
0
Let j = -0.2 - 0. Let u = 0.1 + j. Let l = -19 - -22. Do l and u have different values?
True
Let c = -2.3 - -0.3. Let u = 0.111 - 3.111. Is u greater than c?
False
Let g be ((-8)/(-3))/(12/18). Suppose -g*q + 0*q = -28. Suppose 37 = 4*b + 5*v, 4*b - 4*v - 27 = -q*v. Which is smaller: 4 or b?
b
Suppose 3*u = 2*m + 3, 0 = 4*u - 5*u - m - 4. Let j = -11 - -94. Let p = j - 251/3. Which is smaller: p or u?
u
Let q = 3 - 5. Let o(j) = -j**2 - 2*j + 1. Let z be o(q). Do -2/23 and z have different values?
True
Let g be ((-18)/2)/(18/12). Is -6 at least as big as g?
True
Let b(l) = -l**2 - 4*l + 5. Let k be b(-5). Is k smaller than 5/8?
True
Suppose 0 = -3*u - 12 - 12. Let c = -6 - u. Let x be 3/(-18)*c*-2. Is x < 0.1?
False
Let v = 1 + -2. Let s = -36 - -35. Is s >= v?
True
Let i = -19715/17 + 1159. Are i and -1 non-equal?
True
Suppose 4*o + 0 = 4. Suppose -3*x = 6 - 12. Is o at most as big as x?
True
Let f = -186/35 - -28/5. Are 3 and f non-equal?
True
Let w = -18.39 - 0.51. Let l = 19 + w. Is l < -0.4?
False
Let l(i) = -2*i + 2. Let g be l(1). Which is bigger: g or -10/13?
g
Let h be ((-24)/4)/(6/(-8)). Suppose 0 = -2*x + 3*u + 4, -x = -5*x - 3*u + h. Suppose 5*w - 10 = -0*w. Is w less than x?
False
Suppose -4*m = -2*m - 2*g + 4, -5*g = -4*m - 12. Let t = m - 1. Which is greater: t or -1?
t
Suppose 4*p - p = -9. Let t = -4 + 3. Let w be (t - 1)/(4/p). Which is greater: 2 or w?
2
Let h = 21 - 15. Is h greater than -0.2?
True
Let d(p) = -p**3 + 5*p**2 - 4. Let g be d(5). Let s be (g - -3) + (-1)/(-3). Which is smaller: s or 1/2?
s
Suppose 2*r - 6*r - 40 = 0. Which is smaller: r or -34/3?
-34/3
Let w = 23 - 25. Let m be ((-15)/(-12) - 1)*-7. Which is smaller: m or w?
w
Let d = 23.7 - 22. Which is bigger: d or -0.1?
d
Let p = -3.01 + 3. Let b = 1.01 + p. Which is smaller: b or -2?
-2
Let i be (-4)/12 - 