 -2*(i + (-2)/4). Let d be (2/(-38))/(c/(-2)). Are 0 and d unequal?
True
Let g = -23/33 - 7/11. Suppose 5 = -2*c - 5*n, 1 = 5*c - 4*n - 3. Which is greater: c or g?
c
Let u = 13988 - 1007525/72. Let k = u + 45/8. Let i = 1.3 - 1.4. Is i at least as big as k?
False
Let f be 4/(-1*(-2)/3). Let z be 2/3 + 26/f. Suppose 3*q = z*q - b + 2, 0 = 2*b - 4. Are -1/2 and q nonequal?
True
Let i be 2/(-7) + (-68)/7. Is -10 less than i?
False
Let g = 73/6 + -12. Let b = -30 - -27. Let z(a) = a**2 + a - 6. Let d be z(b). Are g and d equal?
False
Suppose 11*n + 142 = -144. Which is bigger: -1/4 or n?
-1/4
Let p = 5266/17 - 310. Let g = -33/68 - p. Which is bigger: -3/7 or g?
g
Suppose 4 = 4*u - 0*u. Is 1/3 less than u?
True
Let i = 1.993 - 10.303. Let s = 1.41 + i. Let l = s - -7. Which is smaller: -1/4 or l?
-1/4
Let s = -0.011 - 5.589. Let c = s - -5. Which is greater: c or 0?
0
Let y = 6 - 4.5. Let f = 4.5 + y. Let z = 6 - f. Are z and 1/5 equal?
False
Let d(g) be the first derivative of g**3/3 + g**2 + g + 1. Let a be d(-2). Let x = -113 + 1693/15. Is a != x?
True
Suppose 0*h = -4*h. Suppose h = 5*u - u - 16. Let z = 5 - 1. Is u smaller than z?
False
Suppose -o - 275 = -3*h, 4*h = -2*o + 272 + 88. Let g be ((-2)/(-14))/(26/h). Which is smaller: g or 0.01?
0.01
Let l = 308/5 + -62. Which is bigger: l or 0.1?
0.1
Let z be 5/(-14) - 3/(-21)*2. Let q = -7 + 7. Is z greater than q?
False
Let g(a) = -10*a + 3. Let b(f) = 3*f - 1. Let c(o) = 7*b(o) + 2*g(o). Let s be c(5). Let k = 136 - 132. Do s and k have the same value?
True
Let u = 10 - 26. Which is smaller: u or -15?
u
Suppose -2*g + 69 = -4*o - 5*g, 3*g - 21 = 2*o. Which is bigger: 1 or o?
1
Let j = -0.131 + 0.031. Which is smaller: j or -45?
-45
Let o be 2*1/(-6)*-1. Let u = 13 - 12. Which is smaller: u or o?
o
Let g = 0.055 - -0.045. Is 2 at least g?
True
Let i = 0 - -1. Let w = 19 - 43. Let t = 74/3 + w. Which is greater: t or i?
i
Suppose s = -p - 0*s - 7, 1 = -s. Suppose 5*u = -3*w - 9 - 9, -w = 3*u + 10. Are p and w unequal?
True
Let i = 3.9 - 4. Let u = 7.6 - 2.6. Which is greater: i or u?
u
Suppose -3*w + w = -8. Let z be ((-2)/w - -1)*0. Suppose 0 = 5*i - 2*g + 20, -2*i = -4*g - 0 + 24. Which is smaller: z or i?
i
Let i be (-6)/27 - 58/(-18). Suppose 5*p - 2*b - 10 = 0, -3*p = -2*p - i*b - 15. Which is greater: p or -1?
p
Let b = 12 + -3. Suppose 0 = -4*q + b + 11. Does 5 = q?
True
Let y = 5 - 1. Suppose 0 = -0*w - 4*w - y. Is w > -1?
False
Let r = 139 + -971/7. Is -1 != r?
True
Let o be (46/(-3))/(2/90). Let t = -3437/5 - o. Which is bigger: 2 or t?
t
Suppose 0 = y, k + 5*y - 17 = 2*k. Which is smaller: -18 or k?
-18
Let x = -8 + 12. Let s be (-3 + x)/((-3)/(-6)). Is s > 1?
True
Let k(l) = -4*l - 8 + 4 + 2*l. Let a be k(-3). Which is bigger: 4 or a?
4
Let o = 0 + -0.1. Suppose s - 6*s = -35. Suppose 2*g - 5 = s*g. Is o at least g?
True
Let n = 0.021 + -3.021. Which is greater: -0.05 or n?
-0.05
Let o = 21 - 34. Is o at least -13?
True
Let d be 3/(-4) - (-4)/4. Which is greater: -1 or d?
d
Let a = 4 - 4. Are -3/41 and a equal?
False
Let j = 4 - 4.4. Let y = j + -0.6. Which is bigger: y or -2?
y
Suppose 0*y - y = -18. Let b be ((-6)/y)/(2/(-12)). Is -0.1 bigger than b?
False
Let o = -1 - -1. Let k = 0.01 + -0.36. Let u = k - 0.15. Which is smaller: u or o?
u
Suppose 0 = -2*j + 13 + 11. Let t be (-7)/(14/j)*1. Let v be (t/3)/(10/2). Are v and -2/5 equal?
True
Let s = 7 - 2. Suppose x = f, -4*f - 4 = -s*x - 1. Let r = f - 2. Which is smaller: -2 or r?
-2
Let c = -11 - -1. Which is smaller: -11 or c?
-11
Let x be ((-4)/8)/((-1)/(-4)). Let l = -0.4 + 0.2. Is x <= l?
True
Suppose -23 = z - 4. Which is smaller: z or -20?
-20
Suppose -2*j + 6 - 10 = 0. Let d be -3 + 1 + j + 3. Which is smaller: d or 1/8?
d
Let j(m) = -m. Let f be j(1). Suppose -z = 3*z - 8. Let x be z - (21/4)/3. Are f and x equal?
False
Let m = -7 + 8. Is -18/7 greater than m?
False
Let z = 1.3 - 1.2. Which is greater: z or 0.06?
z
Let k(l) = l**2 + 5*l + 4. Let u be k(-4). Suppose 4 = -u*t + 2*t, -3*a = -4*t + 8. Does a = -1?
False
Let g = -5 + 1. Suppose 3*n - 4*n + q - 1 = 0, q + 8 = -2*n. Which is bigger: g or n?
n
Suppose d + 191 = -3*d + 3*q, 4*d = 4*q - 196. Let i be (-4)/d*(-2 + -2). Which is greater: i or 1?
1
Let q = -107 - -750/7. Do q and 0 have different values?
True
Let c = 2 - 1.95. Let h = 6.05 - 6. Let t = h + c. Which is smaller: t or -1?
-1
Suppose 0 = -2*x - u + 9, -4*x - 5*u + 21 = 0. Let k(a) = -a + 11. Let d be k(6). Suppose d*c + x*y - 25 = -5, 4*y - 20 = 0. Is c at most -3/4?
False
Let r be 5 + (-2)/1 - -2. Suppose -2*s + j = -3, 0 = -r*j - 2 - 3. Which is greater: 7/4 or s?
7/4
Suppose i + 16 = 2*j - i, -4*j = 3*i - 4. Suppose j*u - 8 = -0*u. Let n = u + -1. Which is greater: n or 6/7?
n
Let r = -0.118 - -3.118. Are -0.7 and r nonequal?
True
Let z(w) be the second derivative of -w**5/20 - 2*w**4/3 - w**3/6 - 7*w**2/2 - w. Let y be (0 - 2*-4)*-1. Let o be z(y). Which is smaller: o or 2?
o
Let p(l) = l**2 - 16*l + 25. Let v be p(18). Which is bigger: 62 or v?
62
Let r = 2 + -87. Is -86 greater than r?
False
Let x = 0 - -1/2. Which is smaller: x or 0?
0
Let c be 35722/(-10423) + (-2)/(-1). Let h = -2/1489 + c. Is -2 at most as big as h?
True
Let w(y) = -5 + 0*y + 3*y - 5*y. Let r be w(-6). Is r bigger than -1?
True
Let q be 130/(-14) - 10/(-35). Let g = q + 8. Which is smaller: g or 1/3?
g
Let a(n) = n + 6. Let c(o) = o + 6. Let l(t) = 6*a(t) - 7*c(t). Let s be l(-7). Which is greater: 2 or s?
2
Let f(d) = 5*d - 1. Let a be f(2). Let j = a + 1. Suppose -3*v = 2*v - j. Is -0.1 greater than or equal to v?
False
Let z(v) be the first derivative of v**4/4 - v**3 + v**2/2 - v + 6. Let y be z(3). Are 2 and y unequal?
False
Suppose 5*h - 3*h = -2. Let z = -1 + 4. Suppose 0 = -v - z*v - 4. Is v at least as big as h?
True
Let g(h) = h**2 - 5*h + 2. Let a be g(5). Let n = 29 - 25. Is a greater than n?
False
Let h be ((-1524)/(-32))/(3/2). Let f = h - 32. Let x = -13 + 14. Which is greater: f or x?
x
Let x be ((-5)/15)/((-19)/(-6)). Which is greater: x or -1?
x
Let i(k) = -k**3 - 3*k**2 - 2*k - 1. Let z be i(-3). Suppose -z*m - 24 = -m. Let u be (m/9)/(2/(-6)). Is u at least 3?
False
Let p be 0/2 - (-2 - 2)/24. Suppose 8 = 3*o - d, -5 - 5 = -5*o + 5*d. Let i be o/(-84) + 1/(-4). Is p less than or equal to i?
False
Let w = -198941/145 + 1372. Let n = -83/3625 - w. Let z = n - -383/500. Is 0 bigger than z?
False
Suppose -2 + 6 = 4*m. Which is bigger: 2/7 or m?
m
Suppose -2*s = 4*x - 14 + 6, -2*s = -2*x + 4. Is s < 6/13?
True
Let c = 14 + -17. Is c smaller than 0.1?
True
Let u be (-1)/(1 - 8/12). Let f(x) = -x**3 + 5*x**2 - 2*x - 4. Let i be f(4). Let z = -7 + i. Are z and u unequal?
False
Let u(t) = -t - 10. Let p be u(-12). Let a be p/3 - 18/27. Is 3 less than or equal to a?
False
Let q = 8/11 - 27/22. Is 0 at most q?
False
Let i be 19/(-24) - (-1)/(-3). Which is smaller: 0 or i?
i
Let s(l) = l + 3. Let i be s(-3). Suppose i = -4*t + 4*r, t - 3*r - r = -6. Suppose o + t = 2*o. Which is smaller: 1 or o?
1
Let i be (1 + -2)*1 + -1. Let t be 2 - i/(12/(-15)). Which is smaller: t or 0?
t
Let l be (-104)/32 + 0 - (-1 - 2). Let z be 5/2*(-4)/(-45). Which is smaller: z or l?
l
Let c(f) = -2*f**2 + 2. Let m be c(-3). Let d be (-1)/(-3) - m/(-36). Is -1 not equal to d?
True
Let p be (-2)/9 - (-312)/(-54). Suppose -4*w - 20 = w. Which is smaller: w or p?
p
Let w = -11 + 4. Let p = -4 - w. Is p at least 0.1?
True
Let j(r) = -4*r**3 + 53*r**2 - 12*r - 12. Let k be j(13). Is k at most 2/179?
False
Let c(p) be the second derivative of -p**5/20 + p**4/4 + 5*p**3/6 - p**2/2 - 2*p. Let r be c(4). Let o(s) = -4*s**3 - 2*s**2 - s. Let x be o(-1). Is x > r?
False
Let u = 2 + -2. Let w be ((-1)/(-2))/(-1) - -1. Which is bigger: w or u?
w
Suppose 4*z - 8 = l, -2*z + 4*l + 17 = -z. Is 3/2 != z?
True
Let r be 8/(-6) - 1/(-3). Let i = -31 - -45. Let c = -16 + i. Is r at most as big as c?
False
Suppose 2*v - 70 = 4*t - 9*t, 0 = -2*v - t + 86. Are v and 44 unequal?
True
Let t be (-20)/6*6/(-82). Let g = t + -152/287. Is 0.3 at least as big as g?
True
Let f(a) be the first derivative of -1/3*a**3 - 11/2*a**2 - 1 + a. Let d be f(-11). Are -1/12 and d equal?
False
Let t be (-26)/(-12) + 2/(-12). Let y = t + -3. Let x = -5 + 6. Which is bigger: y or x?