+ v. Let b(l) = l**2 - 7*l + 6. Let j be b(6). Is j >= q?
False
Let t be (-13)/3 - 3/(-9). Let l(q) = -q - 2. Let a be l(t). Suppose -6*m + a*m = 0. Is m <= -1/8?
False
Let q = 9 - 6. Suppose 0 = -5*h + 2*j - 20, 0*j = -q*h + j - 12. Let a = 5 + h. Is 1 <= a?
True
Let y = 11 + -5. Which is smaller: 7 or y?
y
Suppose 0*a - 2*a = 0. Suppose a = -0*w - 2*w. Which is smaller: w or -2/13?
-2/13
Let f = 0 - 0. Let k = 5568 + -39199/7. Let d = k + 32. Are d and f nonequal?
True
Let t be -4 + 4 + 2 + 0. Let l = t - 0. Is 0.1 greater than or equal to l?
False
Let r = -939/8 - -117. Suppose -m - 2*m + 21 = 0. Suppose -4*q + 2*q - m = 3*c, -2*c = -q - 7. Which is greater: c or r?
c
Suppose 2*z = 6*z - 8. Suppose 4*j - 3*r + 603 = 0, z*j = 2*r + r - 309. Let y = j + 738/5. Is 1 != y?
True
Suppose 0 = -17*b + 7*b + 320. Which is smaller: b or 31?
31
Let q = 5 - 0. Suppose -r + 2 = 2*m + 3, -5*r = -q. Let g be m/(1 + (-18)/15). Is 5 less than g?
False
Let j(k) = 8*k + 1. Let c be j(1). Let n = 5 - c. Which is bigger: n or 2?
2
Let j(n) = 2*n + 2. Let q be j(-1). Which is smaller: -1 or q?
-1
Suppose -2 = v - 1. Let x = 188981/9 - 20963. Let j = x + -35. Is v < j?
True
Let k be -6*1/(-6)*-4. Let o be k/18 - (-1)/45. Which is smaller: 1 or o?
o
Let f be 10/35 + 46/(-14). Let g be f/3*15/1. Which is greater: g or -16?
g
Let y = -10 - -14. Are 5 and y equal?
False
Let c(j) = j**2 + 5*j - 6. Let r be c(-6). Does r = 10/7?
False
Let j = 42.8 - 39. Let p = 4 - j. Let z = 0.4 - p. Which is greater: 0.1 or z?
z
Let h = -83 + 36. Is -47 greater than or equal to h?
True
Let k(x) = x**3 - x**2 - 2*x - 4. Let d be k(-3). Let u be (-1)/(-6)*(-8 - d). Is u <= 4?
False
Let k = 223 + -79. Let t = k - 2161/15. Suppose 1 = j + 2. Which is bigger: t or j?
t
Let n(a) = a**3 + a**2 - 3*a - 1. Let d be n(-2). Let j be (-371)/484 + 21/28. Let u = -232/605 + j. Which is smaller: u or d?
u
Suppose 6 = 3*p - 0*p. Suppose p*n = -n + 6. Which is bigger: n or -2?
n
Let r = 93 - 172. Is r greater than -79?
False
Suppose 3*z + 2*z = -35. Let o(f) = f**2 + 7*f - 5. Let a be o(z). Is 0 > a?
True
Let d = -762 - -110488/145. Do d and 0 have different values?
True
Let r = -1 + 41. Let k be ((-3)/(-18))/((-2)/r). Is k at most as big as -4?
False
Let a = -3 - -2.99. Is 6 < a?
False
Suppose 0 = u - m, -2*m = 2*m. Suppose -3*f + 0*f - 6 = u. Which is smaller: f or -1?
f
Suppose -46 + 310 = 8*n. Is n != 35?
True
Let y = 0.04 + -0.44. Let v = -2.6 + y. Let i = 7.1 + -7. Which is smaller: v or i?
v
Suppose 5*k = -4 - 26. Which is greater: -9 or k?
k
Let v = 4 - 2. Let w(y) = 2*y**2 - 1. Let l be w(v). Let j = -4 + l. Is j greater than or equal to 3?
True
Let i = -4/147 - 2888/1911. Is -3 at least as big as i?
False
Let g be 0*((-5)/2)/5. Is g <= 10/9?
True
Let k(d) = d**2 + 7*d + 6. Let v be k(-4). Let a = v - -5. Which is smaller: a or 0?
a
Let u be -78*(-3 - (-28)/12). Do 52 and u have different values?
False
Let q = -24 + 25. Which is greater: q or 0?
q
Let f = -60.2 + 60. Which is bigger: f or 2/13?
2/13
Suppose -2*b + 5 = 2*b + 5*k, -3 = -3*k. Is b > 0.06?
False
Let o = -24 - -19.8. Let a = -4 - o. Which is greater: 0 or a?
a
Let l = -1.83 + -0.17. Is 2 at least l?
True
Let a = -0.4 + 2.4. Let q = -1.2 + 8.2. Let v = 5 - q. Which is greater: a or v?
a
Let z = -35 + 35. Which is smaller: -1/242 or z?
-1/242
Let n = 19 - 20. Let i = -2 - -5. Let l be 0 - i/2*2. Is l less than n?
True
Let q = -584/4605 - 2/307. Let x = 66 - 66. Which is smaller: x or q?
q
Let m = 8/15 + -26/105. Which is smaller: m or 1?
m
Suppose -2*l - h = -2*h + 24, h = -2. Is 0.1 < l?
False
Let d = 77 - 53. Let j = d + -25. Is -12 equal to j?
False
Let h = 92 - 94. Suppose 0 = 5*x + 3 + 17. Are x and h nonequal?
True
Let l(y) = -y**2 + 4*y + 3. Let g be l(6). Which is smaller: g or -7?
g
Suppose -4*n - 2*j = -23 - 15, -5*n + 3*j + 53 = 0. Let m(p) be the third derivative of p**4/24 - 7*p**3/6 + p**2. Let v be m(n). Are v and 3 nonequal?
False
Let p(g) = g**2 - 2*g - 4. Let y be p(3). Let n be (9/4)/(y + 7). Is 1 at least n?
True
Let y = -168 - -329/2. Let u(h) = -3*h + 8. Let k be u(4). Which is bigger: y or k?
y
Let f be 14/12 - (-8)/(-48). Which is smaller: f or 4/43?
4/43
Let f(g) = 28*g - 26*g + 3 + 3. Let s be f(-4). Which is smaller: -1 or s?
s
Suppose -22 = 4*p + 26. Is p <= -10?
True
Let y be -4 - ((-17)/4 + 0). Is 13 less than y?
False
Suppose -3 = -d, -4*l + d - 4*d = 7. Let c be l/(-10)*(-10)/22. Which is smaller: 1 or c?
c
Let l(z) = -2*z**3 - 2*z**2 - 2*z - 2. Let o be l(-2). Is 10 less than o?
False
Let g = 0 - -1. Let p be ((-5)/4)/((-1)/8). Let l be p/(-8)*(-1)/(-5). Are g and l nonequal?
True
Let k(i) = i**2 - 4*i + 2. Suppose 0 = 5*j - 0 - 15. Let n be k(j). Which is smaller: 0 or n?
n
Suppose 4*t + 4 = 3*t. Let a be (1 - -1)*(-2)/t. Which is smaller: 0 or a?
0
Let f(h) = h**3 + 7*h**2 + 4*h - 8. Let g be f(-6). Suppose 2*k = -2*m + 5*m + 10, k = 4*m + 5. Which is bigger: k or g?
k
Let o = -4 - 6. Let b be 6*(6/(-16))/(17/68). Which is smaller: o or b?
o
Suppose -3*j - a - a = -7, 4*j + 5*a = 0. Is 1 not equal to j?
True
Let u(s) = 1. Let w(t) = -8*t - 2. Let x(r) = -3*u(r) - w(r). Let m be x(-1). Let d be (-3)/m*-1*-3. Is d > 2/7?
True
Let v = -8 + 19. Let u = v + -10. Let n be ((-3)/26)/(9/12). Which is smaller: n or u?
n
Let r = 197/2 + -99. Which is greater: 15 or r?
15
Suppose 54 = -t - 2*t. Let f = t - -18. Which is smaller: f or -3/5?
-3/5
Suppose -2*w + 0 + 24 = 0. Is w greater than 14?
False
Let p be ((-1)/(-2))/((-3)/(-12)). Suppose -2*x - p = -0. Suppose 3 - 7 = 2*m. Which is smaller: x or m?
m
Let b be (-413)/329 - (-2 - -1). Let w = b + 297/611. Are w and 0 nonequal?
True
Let j = -0.05 + 0.25. Is 3/7 bigger than j?
True
Let c = 19/56 - 5/8. Let n = 3 - 2. Let u = 0 + n. Which is greater: u or c?
u
Let b = 0.68 + -21.48. Let y = -21 - b. Which is greater: -1 or y?
y
Let z = -111 - -73. Which is greater: -37 or z?
-37
Let t(g) = g + 17. Let x be t(-16). Is -0.1 smaller than x?
True
Let n = -12/5 - -351/140. Let o = n + 13/140. Is 0 != o?
True
Let v = 66 - 65. Is 1 <= v?
True
Let l = -3 - -3.5. Let z = -3 - -2.7. Let s = z + l. Which is smaller: 2 or s?
s
Let k(d) = d**3 + 9*d**2 + d + 11. Let c = -22 - -13. Let b be k(c). Suppose 0 = 2*g - b + 10. Is g <= -5?
False
Let l(w) = 3*w**3 + 7*w**2 - 2*w. Let d(t) = 7*t**3 + 14*t**2 - 3*t. Let s(u) = 4*d(u) - 9*l(u). Let x = 14 - 8. Let p be s(x). Which is greater: -4 or p?
p
Suppose 3*r + 25 = -2*r. Let m be r/20 + 6/(-8). Let v = 69 - 71. Is v less than or equal to m?
True
Let t = -26 - -19. Is t <= -6?
True
Let h be (-42)/(-140) - 3/5. Is -1 at least as big as h?
False
Suppose 0*s - s - 7 = 0. Let z = -5 - s. Which is bigger: 5/3 or z?
z
Let l(o) = -o**3 + o**2 + 1. Let s be l(0). Let d = 2 - -1. Suppose -x + s - d = 0. Which is smaller: x or -1/2?
x
Let s = -9 - -3. Let y be 1 + 4*(-3)/s. Let m(k) = -k + 8. Let r be m(6). Is y at least as big as r?
True
Let n = -97 + 678/7. Suppose -2*x + 10 = 0, -w - 3*x = -4*w. Suppose -2*h - 5 = w*m - 2*m, -5*h = -5*m + 25. Is m greater than or equal to n?
True
Let g = 25 - 19. Suppose 4 - g = q. Which is bigger: q or -5/8?
-5/8
Let t be (-918)/(-468) + 6/(-4). Which is smaller: 1 or t?
t
Let q be (13/(-65))/(1/(-13)). Is q at least 4?
False
Suppose -2 = -4*v + 14. Suppose 5*r = 4*h - 15, r + 15 = -5*h - v*r. Suppose 5*a - 2*a - 15 = h. Which is bigger: a or 4?
a
Let q(j) = 15*j**3 + j**2 + 2*j + 1. Let h be q(-1). Let s be -2 + (216/h)/(-4). Which is bigger: 3 or s?
3
Let o be (-4)/1 - (-74)/4. Which is smaller: 16 or o?
o
Let a = 698900653 + -2437066593517/3487. Let u = 52/11 + a. Let o = -1282/2219 - u. Which is smaller: -2 or o?
-2
Suppose 3*h = -z - 4, 4*z - 2 = -4*h - z. Which is bigger: -3/4 or h?
-3/4
Suppose -5*k + 19 + 1 = 0. Suppose k*q + q - 10 = 0, h - 1 = -q. Which is smaller: -2/9 or h?
h
Suppose -4*c - 7 = -51. Let r(q) = -q + 21. Let i be r(10). Is i <= c?
True
Let a be 2/(-8) + (-6)/(-4). Which is smaller: 0 or a?
0
Let t(p) = p - 8. Let g be t(7). Is -2/77 equal to g?
False
Let d be 1 + -2*1 + 0. Suppose -2 = w - 1. Is d equal to w?
True
Let i = 0.038 - -1.962. Let g = -2/57 - 47/285. Is g < i?
True
Let a = -11 - -9. Let s = -3.2 - a. Let y = 0.8 - s. Which is greater: y or -0.1?
y
Let l = -4