e 0 = -2*z - m - 7. Let q be z/(-3)*12/190. Is q smaller than 0?
False
Let d be (-6)/(-4) - (-2 + 3). Let v be 236/(-6) - (-4 + 5). Let q = v - -41. Which is bigger: q or d?
q
Let f = 50/39 + -239/156. Let t(m) = -m. Let l be t(-6). Is f < l?
True
Suppose 3*n - 18 = d, 0 = 3*d + 4*n - 2 + 4. Is -6 < d?
False
Suppose 10 + 4 = -2*j + 3*t, -4*j + 4*t = 20. Let s be 2/1 + 3 + -4. Let u be s/3*(-6)/(-23). Is j less than or equal to u?
True
Suppose 2*z = b + 5, 4*b + 6 = 5*z + 8*b. Is z smaller than -11?
False
Let b = 0.36 + 0.04. Let n = b - 0. Let h = 23.585 - 24.585. Are n and h unequal?
True
Suppose -2*c + c - 101 = 2*s, 289 = -3*c + s. Let r = -57 - c. Suppose -r = 4*h - 0*h. Is h at least as big as -11?
True
Let b be 3*(5 + (-80)/12). Which is greater: b or 2/3?
2/3
Let x = 3290 - 42694/13. Which is greater: x or 5?
x
Let i(x) = 3*x - 1. Let u be i(2). Suppose 0 = 5*t + 2*o - 42, 2*t - 27 = -t - 3*o. Is t > u?
True
Let d(b) = 2*b**2 - b + 2. Let w be d(-2). Suppose -w = -0*o + o - 4*g, -5*o = -g - 16. Are 4 and o equal?
True
Let x(f) = -5*f**2 + 19*f + 40. Let v(i) = -3*i**2 + 13*i + 27. Let l(q) = -8*v(q) + 5*x(q). Let k be l(-7). Is 0.1 < k?
False
Let g be (-9)/((-9)/(-2)) - 1. Let a be -1 - (80/35 + g). Let v = 0 + -1. Which is smaller: a or v?
v
Let u be -8*1 - (-9 - -3). Let v = 13 + -18. Let h(j) = -j**2 - 3*j + 6. Let m be h(v). Is u at most as big as m?
False
Let x(z) = -z - 4. Let k(q) = 2*q - 43. Let t be k(20). Let r be x(t). Which is greater: -1/48 or r?
-1/48
Let j be ((-63)/4)/(-7) + -2. Suppose b - 4*b = 0. Which is greater: j or b?
j
Suppose -2*y + 4*i + 10 = 0, 9*y = 7*y - i. Is y bigger than 2/493?
True
Suppose 30 = -w - 4*w. Let x = w - -11. Suppose -x*t + 7*t = -2. Is t greater than or equal to 1/4?
False
Let t = -18 - -18.048. Let q = -28.048 + t. Is -2/7 at most as big as q?
False
Let k be ((-6)/(-134))/(138/230). Are 1 and k non-equal?
True
Let o(a) = a**2 + 13*a - 24. Let p be o(-16). Suppose -z - i - 4*i + 2 = 0, p = 4*z + 4*i. Is z greater than or equal to 0?
True
Suppose -3*r - 60 = 7*r. Let b be (r/45)/(((-10)/(-12))/1). Suppose f = -5, 0*f - 4*f = -4*x + 16. Is x greater than b?
False
Suppose 21*p - 20*p - 5 = 0. Suppose -4*i + 19 - p = 2*a, 7 = 4*a + i. Is a >= -1?
True
Let j = -3.665 - 12.388. Let t = -0.053 - j. Which is bigger: t or 2/7?
t
Suppose 3*s - 21 = 99. Suppose -3*d - s = -4*l, -4*l + 3*l + 10 = -2*d. Let g be -3 - (l + -4 - 4). Do -6 and g have different values?
True
Let r = 5.8 - -1.2. Let a = r + -10. Let q = a - -8. Is q greater than 2?
True
Suppose -2*p - u = -4*u + 35, -3*u - 13 = p. Let k = -47/3 - p. Are k and 1.7 unequal?
True
Suppose 0*i + 15 = 3*i. Let t(b) = b + 1. Let k be t(i). Suppose -4*n + k*n - 2 = 0. Which is smaller: n or 1/4?
1/4
Let u(t) = t**2 - 6*t + 2. Let w be u(6). Let j(y) = 3 - 4 + 2*y - 50*y**2 + 51*y**w. Let m be j(1). Are 4/7 and m nonequal?
True
Let x be (-8)/77 - 2/(-7). Suppose -4*r - 2*o - 34 = 0, 12*r - 7*r + 2*o + 45 = 0. Let h(z) = -z**3 - 11*z**2 + z + 12. Let q be h(r). Are x and q unequal?
True
Let x(r) = r**3 - 8*r**2 + 14*r - 12. Let j be x(6). Suppose j = -3*y - v - 13, y + 3*v - 39 = 5*y. Is y smaller than -4?
True
Let p = 321 + -299. Which is smaller: p or 0.9?
0.9
Let f = -20 + 35. Let g = 101 + -51. Let v = -35 + g. Is f greater than v?
False
Let b be (-794)/(-12) + 18/(-108). Let a = b + -101. Is -35 > a?
False
Let t = -27 - -49. Let a = 13 - t. Let c be -1 + 32/(-6) + 34/(-51). Which is smaller: a or c?
a
Let k = 0.108 + -59.108. Let d = -58.63 - k. Let s = -0.17 + d. Is 5 at most as big as s?
False
Let u = -0.865 + -7.135. Let w(f) = -2*f**2. Let a be w(-1). Is a greater than u?
True
Suppose f = -4*f. Let q = -2/93 + 107/651. Which is bigger: f or q?
q
Let l = -259/165 - -13/55. Which is smaller: l or -33?
-33
Let q be 3/4 + (-6)/(21096/2645). Which is smaller: q or -1?
-1
Let c be (0 - -3)*(-1027)/(-39). Is c greater than or equal to 77?
True
Suppose 0*g - 24 = g. Let b be (-126)/g + (-1)/4. Let n = 5 - -1. Which is greater: b or n?
n
Let q = -885 - -1413. Is q > 528?
False
Let z = -16 + 28. Let p = -11.9 + z. Let g = 0.088 - 0.048. Is p not equal to g?
True
Let x(b) = -2*b**2 + 42*b - 47. Let t be x(21). Which is smaller: t or -46?
t
Let w = 6972/11 - 633. Let l = -314 + 316. Which is bigger: w or l?
l
Let v(o) be the third derivative of o**4/24 + 11*o**3/6 - 204*o**2. Let h(b) = b**2 - 7*b - 3. Let c be h(6). Let u be v(c). Which is bigger: 3 or u?
3
Let p be 3/(-4) + 2/(-8). Let u be 8/(-6)*p + -1. Let s = 7 - 8. Which is greater: s or u?
u
Let k(t) = 5*t. Let l be k(2). Let c be (-70)/(-15)*3 - 5. Which is bigger: c or l?
l
Suppose 3*a - k - 2 = 0, -15 = a + 3*k + 1. Is -12/83 greater than a?
True
Let g be 2/5*(-60)/(-9). Let q = g + -13/6. Let x = 334 - 335. Which is greater: x or q?
q
Let s be (14/(-3))/(2/(-3)). Suppose 4*g - 8 = -0. Suppose -4*a - 4*t = -24, -2*t - 18 = -5*a + g*a. Which is greater: a or s?
s
Let v(t) = -t**3 + 8*t**2 - 4*t + 3. Let a be v(7). Suppose 18 = 2*s - 28. Which is smaller: a or s?
s
Let u be (-504)/42*54*(-3)/(-4). Is u greater than or equal to -484?
False
Let v = 0.06 - 0.12. Let s = 59 - 25. Let f = -34 + s. Which is greater: f or v?
f
Let q(r) be the first derivative of 5*r**4/24 + r**3/6 - 5*r**2/2 - 5. Let k(g) be the second derivative of q(g). Let y be k(-3). Does -15 = y?
False
Suppose 5*u - 7 - 19 = -h, 0 = 4*h + 5*u - 104. Let p = 8 + h. Which is smaller: 32 or p?
32
Let v(a) = 1 - 2 - a + 0*a. Let r be v(-1). Which is greater: -2/23 or r?
r
Let k(a) = 3*a - 13. Let b be k(6). Suppose -b*j - 2*u + 0 + 6 = 0, -5*j = 5*u. Let z be 0/j - (-12)/(-27). Is -1 less than z?
True
Let f be (-46)/20*-2 + -2. Suppose 32*v = -28 + 156. Which is greater: f or v?
v
Let m be 12/(-6) + 3*2. Suppose 2*d - d = -m*s + 10, 18 = 4*s - 3*d. Let r = 0.8 + -1. Is s != r?
True
Let j = 251/35 + -46/7. Let k(h) = -h**3 + 9*h**2 + 11*h - 10. Let f be k(10). Let n be (0 - f)/(-14 - -12). Which is smaller: j or n?
n
Let n be (-1)/(-3) - (-272)/(-708). Is n at least as big as -1?
True
Let g(n) = -15*n**2 + 5*n + 4. Let a be g(-1). Is -12 < a?
False
Let c be ((60/25)/2)/((-1)/(-5)). Is -3/2 at most as big as c?
True
Let i = -222 + 222.1. Is i at least as big as 12/7?
False
Let l(m) = -m**2 - 15*m - 36. Let p be l(-12). Which is greater: p or -5/63?
p
Suppose 2*a + 10*a + 36 = 0. Let u be 4 - (a - 87/(-12)). Is 1/16 less than u?
False
Let q(k) = -9*k**3 - 91*k**2 - 9*k + 9. Let d be q(-10). Is -1/382 > d?
True
Let t(w) = 17*w**2 - w + 5. Suppose -u = -2*d + 6, 5*u - d = -4*d + 22. Let v be t(u). Is 72 > v?
True
Suppose 0 = -h + 114 - 125. Let s(f) = -10*f - 60. Let d be s(h). Which is smaller: d or 48?
48
Suppose 5*w + 9 = -2*q - 125, 2*q + 4*w = -138. Let g = q + 45. Is -94/3 >= g?
True
Let p = 18.3 + -19.01. Is p not equal to 1?
True
Suppose -l = c - 30, 4*l + 3*c = 7*c + 160. Suppose -k - 25 = -l. Which is bigger: k or 29/3?
k
Let t be (-415)/(-318) + 208/(-156). Which is smaller: t or 0?
t
Let v = -1404 + 12628/9. Is v at most -3/10?
True
Let q = -1.9 + 2. Let u = -315.1 - -272. Let y = 43 + u. Which is bigger: q or y?
q
Suppose -5*u = -5 - 5. Let d be (1 - u)*-2 + -1. Let z be (4 - 420/99)*(-3)/(-4). Which is smaller: d or z?
z
Suppose -2*b + 15 - 5 = 0. Let m(f) = f**3 - 4*f**2 - 6*f + 2. Let u be m(b). Let v be (-40)/(-25)*(u - 2). Is v < -6?
True
Let x = 223/4 + -181/4. Suppose 5*b + 2*t = 58, -5*b + 4*t + 44 + 20 = 0. Is b equal to x?
False
Let c be -5 + 2 + -3*182/18. Which is smaller: 0 or c?
c
Let p(i) = -i**3 - 4*i**2 - 5*i - 5. Let j be p(-3). Suppose -25 = 2*w + 5*r, -2*r = -0*w - w + j. Let l be 1 - 12/(-70)*w. Is l <= 0?
False
Let g(l) = l**3 - 2*l**2 + l - 3. Let n(i) = -i**3 + 18*i**2 - 15*i - 34. Let s be n(17). Let j be g(s). Let p be 1/(-2) - (-6)/(-4). Which is bigger: j or p?
p
Let c be 92/(-138) - (64/6)/2. Do c and 21 have the same value?
False
Let t(n) = -11*n**3 - n**2 - n + 6. Let s be t(-3). Is s < 297?
False
Let d = -3 + 5. Let f = -940 - -941.2. Which is smaller: f or d?
f
Suppose 11225 = -9*s - 16*s. Is s smaller than -448?
True
Let g = -499/2 - -250. Which is greater: g or 1.31?
1.31
Let y = 163 + -164. Let z be (-8)/42*3/26. Which is bigger: z or y?
z
Let b(o) be the second derivative of -o**3/6 + 3*