 -3*u - 2*u - 2*j. Let p(l) = -l - 2. Let g be p(u). Is x less than g?
False
Let w = -8 + 9. Let z(r) = -r. Let g be z(w). Does g = -4/7?
False
Suppose 0 = -2*w - 4*c - 72, -3*c - 194 = 4*w + w. Is -39 bigger than w?
True
Let w be 1/(-3) + 129/9. Which is bigger: 16 or w?
16
Let x be ((-2)/3)/((-5)/90). Let h be 33/(-12) + (-1)/4. Let q be (-2)/x*h/(-2). Is q at least -0.1?
False
Let g be 1724/(-40) + 3 + -2. Let c = -42 - g. Suppose 0 = -3*z + 2*w + 3, z + 4*w + 0 = 1. Is c at most z?
True
Let q = 3 - 2.97. Let i = q + -0.08. Are i and 0 non-equal?
True
Let p = 0 - 0.2. Is 1/3 at least p?
True
Let c = 0 + 8. Do c and 10 have different values?
True
Let b = 1925 - 215605/112. Let l = 101/112 + b. Is l at most 2?
True
Let v be ((-3386)/2276)/(35/(-10)). Let h = 9883/59745 - 17/105. Let q = v + h. Is 0 bigger than q?
False
Let q be 0 + 4 + (-7 - -5). Which is smaller: -32 or q?
-32
Let j be (-1 - -1)/(1 + -3). Suppose x - 1 = -j. Let p be (-3)/(6/(-9)*6). Which is smaller: p or x?
p
Suppose -9 = -5*o + 4*y, 5*o - 3*y = -4 + 17. Let g(r) = r**3 - 6*r**2 + 6*r - 4. Let p be g(o). Is 2 at least p?
True
Let w(y) = -y**3 - 4*y**2 + 4*y + 1. Let j be w(-5). Suppose -x + u = -4*u - 12, -x + 2*u + j = 0. Suppose 5 = -7*m + x*m. Which is greater: m or 1?
1
Let p(w) = -w**3 - 10*w**2 - 8*w + 8. Let a be p(-9). Let c be a*6 - (-8)/4. Is c <= -2?
True
Let a(c) = -c**2 + 3*c + 4. Let t(z) = z**2 + 4*z - 1. Let w be t(-5). Let n be a(w). Let x be ((-3)/15)/((-4)/5). Which is smaller: n or x?
n
Let w(r) = 4*r**2 + 2*r - 1. Let s be w(1). Is s < 2?
False
Let l = -5/38 - 241/190. Which is smaller: l or 0?
l
Suppose -24 = -7*s + 3*s. Let c be (-2 - (3 - s)) + 0. Which is smaller: 3/7 or c?
3/7
Let n be (-2 - (-21)/11)/(5/15). Suppose -2*l = -l. Which is smaller: l or n?
n
Let i be -5 + -1 + 8/(-2). Is i less than or equal to -12?
False
Let c(u) = 0 - u + 2 + 2. Let i be c(5). Let x be (i/(-6))/(2/6). Is x <= 2?
True
Let i = -17/2 + 9. Which is greater: i or 0?
i
Let t be 2/3 + (-586)/24. Let a = 212937 + -5962909/28. Let i = a - t. Which is greater: i or -2?
i
Let h = 5 + -6. Is h greater than -2?
True
Let m be 0 - (-1 + (-12)/(-10)). Let l be (6/(-5))/(-3)*-5. Let v = l + 1. Which is smaller: v or m?
v
Let r = 64 + -63. Is r at most as big as -2/53?
False
Let v(c) = 4*c - 43. Let z be v(11). Which is smaller: -14 or z?
-14
Let h be 1/2 + 0/(-2). Let y(b) = 2*b**2 + 24*b + 56. Let s be y(-9). Is h less than s?
True
Let y = 57 + -10. Is y at most as big as 48?
True
Let z be (0*(-1)/3)/(-1 + 3). Which is smaller: z or 3/13?
z
Let l = -74 - -69. Let y be (32/6)/4 + -1. Is y smaller than l?
False
Suppose -z - 2*m = 2*z + 28, 5*m = 5*z + 5. Is -7 equal to z?
False
Suppose -4*a + 3*u - 6*u = -8, -4*a = -4*u + 20. Is a at least 0?
False
Let l = -4/127 - -901/381. Which is smaller: 2 or l?
2
Let a = -965.8 + 966. Let q(v) = -v**2 - 6*v - 5. Let c be q(-4). Suppose 5*f + c = 8. Which is greater: a or f?
f
Let w be 1/(-2) + (-45)/(-6). Suppose 2*x - 15 = w*x. Suppose 5*d = 4*i + 10, 0*d - 3*i = -d + 13. Which is smaller: d or x?
x
Let t be 5*12/140 - 3/7. Is t > 16?
False
Let a = 0.227 + 137.773. Are a and -1 equal?
False
Let f = 0 + -0.2. Let x = 12.7 - 13. Let v = x - f. Which is greater: v or 2/9?
2/9
Suppose 2*b - 6*b = 3*p + 80, 0 = -2*p - 4*b - 60. Let d be (8/20)/(2/p). Let t be (d/(-6))/(1/6). Are t and 3 equal?
False
Let x = 996 - 12940/13. Is x greater than 2?
False
Suppose 3*p + 91 = 5*r + p, -2*p = -r + 15. Is 19 smaller than r?
False
Let x = 0.6 + -0.2. Let t(r) = -16*r + 193. Let d be t(12). Which is bigger: x or d?
d
Let z be (52/(-12) - -3) + 2. Let b = 2.1 - 1.4. Let u = -0.4 + b. Are u and z equal?
False
Suppose 4*i = -q + 5*q, 4*i + 36 = -5*q. Let z = 2 - 0. Suppose 18 = -z*p - 4*v, 2*v + 3*v = -15. Is q less than or equal to p?
True
Let c = 32 - 32. Which is bigger: -3/83 or c?
c
Let h be (-1)/2 + 22/28. Let n = 9.95 - -0.05. Is h at least n?
False
Suppose x = -0*x - t + 5, -6 = 2*t. Suppose 0 = 3*h + h + x. Let v be (-1)/h - (-3)/6. Is v > 0?
True
Let h be (-21)/(-19) - (-4 + 5). Which is smaller: h or 1?
h
Let w = -2/8903 + 59552185/80127. Let u = w + -742. Let g = u + -68/63. Which is smaller: g or 1?
g
Let q(y) = -y**3 - 4*y**2 - 4*y - 1. Let p be q(-3). Suppose p*n = -n. Let r be (-6)/3 - n/(-2). Is -2 < r?
False
Let f = -6.4 + 6. Suppose 2*j = -2 - 0. Is j < f?
True
Let t(n) = 2*n + n + 1 - 6*n + 2*n. Let b be t(2). Let v be 1 + 1 - (5 + b). Do v and -1 have the same value?
False
Let d = 0.2 - -0.8. Let r = -7 - -12. Let f(m) = m**3 - 6*m**2 + 4*m + 3. Let y be f(r). Which is greater: d or y?
d
Suppose -3*j = j - 8. Let z = 145 + -145. Is j < z?
False
Let b = 29 - 21. Let g = 6 - b. Let m = 3 - 4. Which is greater: g or m?
m
Suppose -3*a - 17 = z, 0 = -3*a - 2*a - 4*z - 33. Let c(p) = p**2 + 4*p. Let s be c(-2). Is a less than s?
True
Let p be (-72)/40*(-5)/(-4). Is 0.1 >= p?
True
Suppose -36 = 4*o - 4*d - 120, -75 = -5*o - d. Let n(j) = -j**2 + 31*j - 153. Let t be n(7). Is o > t?
True
Suppose -8*h + 846 = -17*h. Is -94 > h?
False
Suppose -2 = 3*v - 11. Suppose -2*c + c + 7 = 2*h, 5*c = v*h - 17. Which is greater: 1 or c?
1
Let a = 23/28 - 3/28. Is a at least 2?
False
Let l(t) = -t**2 - 1 - t**3 + t**3 - t**3. Let z be l(-2). Are z and 3 unequal?
False
Suppose 5*s + 26 = -4. Let k be 6/(-9)*s/(-4). Which is smaller: -0.03 or k?
k
Let i(w) = -2*w**3 + 6*w**2 + 9*w + 3. Let p(l) = l**3 - 3*l**2 - 4*l - 1. Let o(x) = 4*i(x) + 9*p(x). Let m be o(3). Which is smaller: 1 or m?
1
Suppose 6 = -l - l. Let t(y) = -4*y**2 - 3*y + 2. Let q be t(1). Which is smaller: l or q?
q
Let y(u) be the second derivative of 0 + 1/2*u**2 - 1/12*u**4 + 1/6*u**3 - 1/20*u**5 - u. Let l be y(-1). Does l = -3/5?
False
Let o(w) = -5*w + 1. Let p be o(-1). Do p and 6 have the same value?
True
Let b(s) = s**3 - 5*s**2 + 2*s - 6. Let q be b(4). Let p be 2/(-7) + (-4)/q. Which is smaller: p or 1/3?
p
Let x = 20 - 21. Which is greater: x or -2/75?
-2/75
Let r(c) = 6*c - 1. Let d be r(-1). Let u = -3 - d. Which is smaller: u or 0?
0
Let m = 164/3 + -54. Let x be -1 + -13 - (3 - 5). Let r be x/(-6) + 4/(-2). Is r at most as big as m?
True
Let m(g) = -g**2 + g + 9. Let c be m(0). Let h be (-2)/(-6)*c/3. Is h greater than -1/11?
True
Let v(h) = -h**3 - 3*h**2 - 2*h. Let n be v(-2). Let j = n + 2. Which is greater: 4 or j?
4
Suppose 0 = v + 3*v - 8. Let t be (v/(-24))/(12/(-16)). Which is smaller: 1 or t?
t
Let y = -12 + 8. Let c be 3/y*114/9. Let x = c - -39/4. Which is smaller: -2 or x?
-2
Let h = 6061/6 - 28859/30. Let v = -48 + h. Which is greater: 1 or v?
1
Suppose 5 = -5*c + 3*t, -4*c - 2*t + 1 = 5. Let j be 11/(-4) + 1/4. Let r = j - -19/10. Is r at least as big as c?
True
Let q = 130/17 - 7704/1003. Which is smaller: q or -1?
-1
Let h be (-2*(-9)/(-30))/(-3). Let u = -1 - -2. Suppose 3*y + 8 = -5*v, v = 4*y + u + 2. Which is smaller: v or h?
v
Let k = 8 + -20. Let q = -12 - k. Are q and 4/17 non-equal?
True
Let p be 24*((-2 - -5 - 6) + 4). Is p not equal to 24?
False
Let d = 1.8 + -2.9. Let r = 15.8 + -15. Let u = d + r. Which is greater: u or -0.1?
-0.1
Let a be 28/(-10) + (-5 - -8). Which is bigger: a or -3/7?
a
Suppose -5*m + 26 - 9 = 3*u, 0 = -m - 4*u. Suppose -m*b + 87 + 8 = 5*o, -5*o + 95 = -b. Suppose -4*y + 2*y - o = 5*d, -4*d - 10 = -y. Is y >= 2?
False
Suppose -s + 0 = 6. Let h be (-28)/s - 2/3. Let b be 0/(1 - -1 - h). Which is bigger: 1 or b?
1
Let x = 38.6 + -43. Let c = -0.6 + x. Let i = -4.9 - c. Is i equal to -0.1?
False
Let h = 21 + -21. Is 0 less than h?
False
Let o be (-12)/(-42) - (-52)/14. Suppose -4*l + 4 = -3*v - o, -v + 4*l = 8. Which is greater: v or -2/7?
v
Suppose 0 = 2*u - 4*u + 48. Let i be 0 - (-1 + u/15). Is i equal to -1?
False
Let d be (0 - 1)*4/(-22). Let c = -0.06 - -1.06. Let g = 0.9 - c. Which is bigger: d or g?
d
Let s = 49/3 - 17. Which is smaller: 1 or s?
s
Let w = -15 - -7. Let m = -8.5 - w. Is -2/3 at least as big as m?
False
Let q be (-3)/9 + (-28)/6. Let t = -3 - q. Suppose 6 = t*x - 2*n, x = -0*x + 2*n + 7. Is x != -1?
False
Let s = -14 + 18. Let p(o) = o. Let n be p(4). Let h = s - n. Is 1/6 < h?
False
Let b = -6 + -112. Is -118 smaller than b?
False
Let h = 0.15 + -7.15. Let i = h + 14. Let u = -6 + i. Does -1/5 = u?
False
Let r