= 0.8 - 1. Is x bigger than c?
False
Suppose 5*j + 29 = y, 3*y + 30 = 8*y - 2*j. Is 4 smaller than y?
False
Let m be 15/39*8/(-100). Is m bigger than 1?
False
Let c = 0.04 + -2.04. Let f = 1.9 + c. Let h = 59 - 59.2. Is f less than h?
False
Let t(y) = -y**2 - y + 1. Let s be t(-2). Let d be 10/(-14)*((-147)/35 - -4). Which is smaller: s or d?
s
Let n be 7*(-1)/4*(-16)/(-20). Is n bigger than 0?
False
Let i be 30 - -3*2/(-3). Suppose -f = 2*f - 5*n - 13, 4*n = -2*f - i. Is -4 less than f?
False
Suppose -7*k = -k - 12. Let z = 3 - 0. Is z greater than k?
True
Suppose -9*y = -4*y. Is y at least as big as -3?
True
Let x be 5/((-195)/(-72)) + -2. Let h be ((-2)/6)/1*3. Is x >= h?
True
Suppose 2*c - 8 = 2. Suppose 5*v = -c - 5. Does v = -3?
False
Let q = 0.05 + -0.12. Let l = 2.93 - q. Let j = 2.8 - l. Which is greater: 2/5 or j?
2/5
Let s be 5/25 + (-38)/(-10). Let n be (10/(-15))/(s/(-6)). Which is smaller: -1/9 or n?
-1/9
Let g = -34840/63 + 553. Let b = g + -121/315. Let x = -1 + 1. Which is greater: b or x?
x
Suppose 4*s - 11 = 5. Let o = s + -3. Is o <= 2/13?
False
Let v = -17 - -11. Let b = -10 - v. Are b and -2 non-equal?
True
Let h = 6 + -2. Suppose -h*i + 9*i = 0. Is 2/5 <= i?
False
Suppose 2*q + q = -q. Let b = -4 + 0. Let a be b*(6/(-20))/(-3). Is a <= q?
True
Suppose 3*p + 231 = -5*z, 0*z + z - p = -43. Which is bigger: z or 0.1?
0.1
Let g(o) be the first derivative of o**4/4 + 7*o**3/3 - 4*o**2 + 10*o + 3. Let v be g(-8). Let u be (8/v)/(2/5). Is 3/2 at most as big as u?
True
Let g = 126/5 - 25. Suppose 3*l + 0*l = -84. Let r be l/240 - 2/15. Is g less than r?
False
Suppose -l - 18 = 2*l. Let u = 3 + l. Let n = u - 1. Is n at least -3?
False
Let w = -433 + 426.02. Let q = w + -0.02. Let c = q + 10. Do 0.1 and c have the same value?
False
Let x = 0.1 - 0. Suppose 0 = 3*n - 8 - 4. Suppose 5*k - 6 = n*p - 2*p, 3*k + 6 = -2*p. Which is smaller: x or k?
k
Let d = 335 - 8374/25. Which is greater: d or 0?
d
Suppose -4*h + 8 = -6*h, 4*h = c - 17. Suppose -a + 15 - 1 = 4*g, 0 = -a + g - c. Is a smaller than 3?
True
Suppose 4*i + 14 = 3*x, 2*i + 20 = -2*x + 6. Let r be 5/(-10)*4*2. Which is greater: r or x?
x
Suppose 7*a - 4*a - 6 = 0. Let f = 19 + -39/2. Which is smaller: f or a?
f
Let f be -2 - (-5)/20*6. Which is smaller: f or -7?
-7
Let t = 5 - 7. Let f = -9 - -7. Is t at least f?
True
Let q(i) = i**3 - 6*i**2 + 9*i - 10. Let v be q(5). Let u be 2/5 + (-14)/v. Which is greater: -2/7 or u?
-2/7
Let j be (-9)/3*(-2)/(-39). Let r(l) = -3*l**2 + 4*l**2 - 3*l - 3 + 0*l**2. Let y be r(4). Is j less than y?
True
Let b(t) = 3*t - 1. Let w be b(1). Let o be -5 + 4/(-2) + w. Is -5 less than or equal to o?
True
Let x = 12 + -12. Which is smaller: -21 or x?
-21
Suppose i - 4 = 0, -4*i - 2 = 2*s - 6. Let y be (2/s)/(91/42). Which is smaller: 1 or y?
y
Let f be (-171)/(-12)*(-515)/(-30). Let s = 473 + -718. Let j = s + f. Is j less than -1?
False
Let m(c) = c**2 + 5*c + 1. Let t = -10 - -6. Let d be m(t). Let h be (84/(-16))/(d/2). Do 5 and h have different values?
True
Suppose 16 = 3*q + q. Let m be 2/(-8) - (-5)/q. Let k be (3/11)/(2 + (-21)/6). Is m less than k?
False
Let x be (-3)/(-2)*(-3 - -5). Let c(n) = n**3 - 3*n**2 - 4*n + 4. Let l be c(4). Suppose 5*h - 19 = -l. Are x and h nonequal?
False
Let k(j) = 27*j - 143. Let l be k(6). Let v = -0.1 + 0.2. Is l > v?
True
Let m = 4 - -1. Suppose 0 = -q + 3, 3*q - m = o + 2*q. Let r be -1 + (-3 - (-3 + o)). Which is bigger: 1/4 or r?
r
Let a be 0/(9 + -5) + 1. Is 2/69 not equal to a?
True
Let o = 3 - 4. Let t(k) = k + 7. Let y be t(-6). Is y > o?
True
Let y = -253/4 - -63. Suppose -5*z + z + 24 = 0. Let b be (-8)/z - 2/(-6). Which is smaller: b or y?
b
Let p = 0.76 + -0.06. Let b = p + -1.3. Let s = 3.7 - 3.6. Which is smaller: b or s?
b
Let w(d) = d + 2. Let m be w(-2). Let c be (-562)/(-2) + 5/(-5). Let k be (-2)/(-8) + 10/c. Is k <= m?
False
Let y(a) = 2*a + 5*a - 8*a + 3. Let h be y(0). Is 5 at most as big as h?
False
Let v(i) = i**3 - 3*i**2 - 4*i - 2. Let h be v(4). Suppose 0 = -r - 3*r + 16. Let l = r + -5. Which is smaller: l or h?
h
Suppose 0 = 2*o - 2. Let g be ((-22)/4)/(o/4). Let p be (-4)/(-10) - g/(-5). Which is greater: p or -5?
p
Let b = -2 - -5. Suppose 2*j + 4 = -2*r, 4 = b*j - 2. Suppose -v + 5 - 10 = 0. Is r at most v?
False
Let q(f) = f**3 + 3*f**2 - 3*f + 3. Let p be q(-4). Let v = -1 + p. Suppose -6 = -3*l, -2*l - 11 = 5*c - 0*l. Which is smaller: c or v?
c
Let a = -8 - -9.5. Let k = 2.6 - a. Let x = -0.1 + k. Are 2/5 and x non-equal?
True
Suppose 0*p + 4 = 4*p. Suppose 0 = -q - 2, -4*n - 3*q = -8*q - 26. Is n bigger than p?
True
Let i(b) = 2*b**2 + 8*b - 5. Let u(j) = j - 1. Let z(y) = i(y) - 5*u(y). Let t be z(-2). Let m(k) = -k + 2. Let h be m(t). Which is greater: h or 1?
1
Let b = 6 - 5. Do b and -1/9 have different values?
True
Let i = 11/9 + -4/3. Which is smaller: i or -1?
-1
Suppose -4*w - 14 = 5*g, -2*w + 42 = -5*g + w. Do -2 and g have different values?
True
Let g be (0 + 3)*2/(-3). Let z be 2*(-2)/4*g. Do 1 and z have different values?
True
Suppose -3*u + 3*m = -2*m - 68, -u = -3*m - 24. Let d be 15/u + 4/14. Are 2 and d non-equal?
True
Let b be 10/4 - (0 - -2). Is b smaller than 0.29?
False
Let v be (-2)/4*0 - -4. Let j = v - 4. Let k be j/(-3) + (-2)/(-9). Which is smaller: k or 1?
k
Let s = -85 + 91. Is 1/6 equal to s?
False
Suppose -2*h + 2 = -4*z - 0, -3*z = -3. Suppose s - 3 = -3*r - r, -2*r = 2*s - 6. Suppose r*g = 3*g - 6. Are g and h unequal?
True
Suppose 3*t - t - 8 = 0. Suppose -t - 2 = 2*z. Is z greater than -1?
False
Let y(j) = j + 3. Let o be 10/6 - (-4)/(-6). Let h = o + -1. Let i be y(h). Which is smaller: i or 4?
i
Let s = -2481/7 + 355. Which is greater: s or 1?
1
Suppose 8 + 20 = -a. Suppose 6*q - 11 + 41 = 0. Let n be q/(-10) - (-22)/a. Which is bigger: n or -0.1?
-0.1
Let c = -0.5 - -0.2. Let k = -1.2 - -0.2. Let y = 1 + k. Is c >= y?
False
Let r = 8 - 2. Let m = 11 - r. Is 0.1 < m?
True
Let p = -62 - -61.94. Is p < -4?
False
Suppose 2*b - t - 6 = 3*t, 3*t + 3 = 0. Let a be (-3 - 86/(-28))*b. Which is greater: 0 or a?
a
Let t be (-2*18/1608)/((-3)/4). Do t and 1 have the same value?
False
Suppose -67 = 3*q + 4*f, 5*f - 2*f + 101 = -4*q. Let c = q + 95. Let p be (1 + c/(-63))*-3. Is p greater than -1?
True
Let l = 0.35 + -0.05. Let u = l + -0.4. Which is smaller: u or 2?
u
Let o(m) be the third derivative of m**5/60 - 11*m**4/24 + 2*m**3 + 8*m**2. Let n be o(9). Which is smaller: -4 or n?
n
Let j = 1681/12 - 140. Which is smaller: -1 or j?
-1
Let j be (-2)/(-8) + 54/8. Let f = -8 + j. Are -2/7 and f equal?
False
Let f(v) = v**2 - 13*v - 4. Let y be f(14). Suppose 0 = -5*w + y - 0. Which is bigger: 3/2 or w?
w
Let x be ((-6)/(-4))/(2/4). Let w = x + -4. Let a = -1 - w. Is a at least 1?
False
Let d(h) = -2*h**2 - 4*h. Let i be d(-3). Let w(t) = 2*t + 7 + 7*t**2 + 2*t**3 - t**3 + 5*t. Let k be w(i). Is k at least -1/4?
True
Let v = 11656/29 + -402. Is v smaller than 1?
True
Let r = 7 + 3. Let y(d) = 5*d - 2. Let o be y(2). Which is smaller: r or o?
o
Let o = -22 + 29. Suppose 3 = -l - 3*v - 0*v, -18 = -2*l + 2*v. Is l at most o?
True
Let q(j) = -j**3 - 7*j**2 + 6*j - 15. Let b be q(-8). Which is bigger: b or -6/25?
b
Suppose -4*v - x + 403 = -8*v, v + 5*x + 106 = 0. Is v <= 1?
True
Let k = -23481/4045 - -4/809. Which is smaller: k or -5?
k
Suppose -2*h = 2*s + 11 - 1, h = -3*s - 15. Let y = 47 + -20. Let z be (-25)/(-9) - (-6)/y. Are z and h equal?
False
Let j(u) = -u + 7. Let w be j(3). Suppose -4*d + 23 - w = 3*c, 0 = -d - 4*c + 21. Let t = -39/4 - -75/8. Does t = d?
False
Let b = -0.05 - -1.45. Let m = b + -0.4. Which is smaller: m or -1?
-1
Let y be ((-1)/(-2))/((-15)/(-18)). Is 1 <= y?
False
Let y(f) = -f**3 + 7*f**2 + 6*f + 18. Let s be y(8). Let m be s/(-5) - (7 - 7). Which is greater: m or -2/17?
-2/17
Let t be ((-7)/3 - -2)*3. Is t bigger than -5/3?
True
Let w = 83 - 54. Suppose 0 = t - 5*k - 0*k + w, 5*t - 3*k = -57. Let h be 22/18 + 2/t. Do h and 1/3 have the same value?
False
Let k = -41 + 48. Which is greater: 23/4 or k?
k
Let s be -3*1 - 11/((-176)/54). Let j be (-6)/2 + (-2 - -4). Which is bigger: s or j?
s
Let o(h) = h**3 - 3*h**2 + 3*h + 1. Let z be o(3). Let n be z/3*12/110. Let w(d) = -d**3 + 4*d**2 - d + 4. Let u be w(4). Which is