 -80?
True
Let l = 9 + -6. Suppose -4*c = l*x - 11, 2*c - 12 = -x - c. Which is greater: -6 or x?
x
Let b be -2*2/(-10)*5/(-2). Do b and 3 have different values?
True
Let f = 38.14 + -38. Which is smaller: f or 1?
f
Suppose 4*r - 3*r + 4 = 0. Which is bigger: -6 or r?
r
Suppose 0*a = -3*a - 6. Let g be 126/4 - a/(-4). Let p = g + -57/2. Which is bigger: p or 2?
p
Suppose -4*t - 12 + 4 = 0. Is t less than -1?
True
Let d be 14 - (-1)/((-3)/(-6)). Let r = 11 - d. Let y = r + 7. Which is bigger: y or 1?
y
Let q(y) be the second derivative of y**5/20 + y**4/3 - y**3/3 + 5*y**2/2 - 5*y. Let f be q(-5). Is -10 at least f?
True
Let u = 227/5 + -45. Let j = 3.02 - 0.02. Let m = 2 - j. Are m and u equal?
False
Let u = -7 + 3. Suppose 19 = -2*d - 15. Let b = -67/4 - d. Is b greater than u?
True
Let p(c) = c**2 - c**3 - c + c**2 - 2*c**3. Let i(d) = -d**2 + 5*d - 3. Let v be i(4). Let s be p(v). Is -2 less than s?
False
Suppose 1 + 45 = -2*q. Which is bigger: q or -24?
q
Suppose -41 = -6*f - 5. Is -0.3 equal to f?
False
Let o(l) = -l**3 - 4*l**2 - 3. Let q be o(-4). Let c = q + 5. Do 2 and c have the same value?
True
Suppose 2*n - 20 = -2*n. Suppose -n*f = -2*p - 12, 0 = -4*p + 6*p + f. Let a = 23/5 + -9/2. Is a equal to p?
False
Let t(f) be the third derivative of f**6/120 - 2*f**5/15 + f**4/3 - 4*f**3/3 + 10*f**2. Let i be t(7). Which is bigger: i or -1/27?
-1/27
Let r = -6 - -13. Let g(k) = k - 6. Let b be g(r). Which is smaller: 1/2 or b?
1/2
Let t be 2/6 + (-4)/(-6). Let z be (-74)/1*(-6)/(-8). Let r = z + 789/14. Is t equal to r?
False
Let w = -80 + 398/5. Let p = 9 - 19/2. Which is bigger: p or w?
w
Suppose -43 = -2*m - v, 11*m + v - 109 = 6*m. Which is smaller: 3 or m?
3
Let k(v) = v**3 - 4*v**2 - v + 5. Let u be k(4). Let q be (1 + u)/(-4 + 6). Is q at least as big as 1/23?
True
Let x be 16 - ((-4)/(-2) - 3). Suppose -3*m = -h + 3*h + 7, -2*h + 5*m + x = 0. Let r be 2 - h*(-4 - 0). Is 7 less than r?
False
Suppose l + 7 = 3. Let o be l - ((-12)/(-3) + -2). Let j = -3 + -2. Is j equal to o?
False
Let r be (16/(-3))/((-2)/15). Suppose -3*g = -14 - r. Let v be 4/g + (-4)/18. Which is greater: v or -1/3?
v
Let p(y) = y**2 + 6*y - 7. Let k be p(-7). Suppose -n - n = k. Suppose 3 = -3*f - n*f. Which is smaller: f or 0.2?
f
Let w(g) = g + 1 + 2*g - 2*g - 7. Let m be w(7). Is -0.7 at least m?
False
Let p = 0.55 - 3.65. Is p smaller than 1?
True
Let v = -31/42 + 7/6. Let i = 6 - 2. Suppose j = -i*j, -3*j = 4*x. Which is bigger: v or x?
v
Let s = 21 - 13. Suppose 4*g + 2*f - 3*f - 39 = 0, -2*g + 15 = f. Which is smaller: g or s?
s
Let y = 103 - 106. Which is smaller: y or -1/2?
y
Let t be 3/(0 + 12/8). Is 11/4 at least t?
True
Let t = -21 - -21.2. Let n = 1 + -1.1. Are n and t equal?
False
Let d be -2 + 4 - 12/(-3). Are 25/4 and d non-equal?
True
Let q = -13 + 10. Let s be (q/(-1))/3*-1. Is 2/5 <= s?
False
Let s = -7 + 7. Is -2/5 >= s?
False
Let y = -4 + 4. Let t = 100/609 - 2/21. Which is smaller: y or t?
y
Let x = -0.026 + 0.026. Which is greater: -1/6 or x?
x
Suppose -p - n = 0, -4*n + 3 = -4*p - 5*n. Let v be (-1 + 2)/(p/2). Let m = 89 - 361/4. Is v equal to m?
False
Suppose -2*h - h - j = -5, -5*j = -3*h - 7. Which is greater: h or 0.42?
h
Let z = -13 - -9. Let u = 0.14 + 6.86. Let b = u + z. Which is smaller: b or 0?
0
Let v = 5 - 5. Suppose -3*y - y + 58 = 5*k, v = 2*k - 2*y - 16. Suppose k = -5*p - 15. Is -4 <= p?
False
Let b = 9 - 13. Is b smaller than -21/4?
False
Suppose -8*i = -7 - 1. Let o = 2/983 - -62898/6881. Let a = 846/91 - o. Which is smaller: i or a?
a
Suppose -5*y = -9 + 4. Let o(a) = 2*a**2 - 4*a + 3. Let b be o(2). Let r be 4/b + (-2)/(-3). Which is smaller: r or y?
y
Let u(b) = -b**2 - 3*b + 2*b + 1 + 2*b. Let s be u(-1). Which is smaller: s or 0?
s
Let l = -7 + 10. Suppose o = 3*o - 4, -5*o - 2 = -l*c. Suppose -5*u - 7 - 18 = v, -c*u = 5*v + 20. Is v bigger than 2/3?
False
Suppose 3*o = -46 + 235. Is o bigger than 63?
False
Let i be 0/(6/(-3) + 3). Which is smaller: i or -2/7?
-2/7
Let x = 35.04 - 0.04. Which is bigger: x or -1?
x
Let k(m) = m**2 + 24*m - 25. Let i be k(1). Let a be 1/4 + (-9)/4. Which is greater: i or a?
i
Let l(s) = -4 + 0 + s + 0. Let z be l(6). Suppose -z*d + 5 + 7 = 0. Which is smaller: d or 5?
5
Suppose 5*q + 4*c = -18, 0 = -4*q + 2*c - 5 + 1. Let w = -2.78 + -0.02. Let a = 3 + w. Which is smaller: q or a?
q
Let x(j) = 1 + 1 + 3*j - 2*j. Let r be x(6). Let m be 20/(-15)*(-27)/r. Which is bigger: m or 6?
6
Suppose 2*x + 3 = -3. Which is bigger: -1 or x?
-1
Suppose 3 + 5 = -4*d. Let r = d - 0. Let m be r - (-1 - (-1)/(-1)). Which is bigger: -4/7 or m?
m
Suppose z = -2*z. Which is smaller: 2/3 or z?
z
Let z be (-25)/(-35) - (-4)/14. Suppose -a + z = -3. Which is bigger: a or 3?
a
Let o = -4 - -3. Let a = 19 + -23. Which is greater: o or a?
o
Let m = 55 + -14. Let s = 203/5 - m. Is s at most as big as -6?
False
Suppose 2*k - 4*j - 20 = 0, 6*k - 2*j = 3*k + 22. Let p = -3 + 0. Let n be (-1 + -3)/(k/p). Is 1/2 greater than or equal to n?
False
Let n be 256/(-26) + 2/(-13). Let u be (n/(-4))/((-1)/2). Let x = -1 - u. Is 4 at most x?
True
Let j = -248/91 - -25/7. Is 1 < j?
False
Let k be (4/(-12))/((-2)/(-18)). Suppose c - 7 + 0 = -a, 0 = -a - 5*c + 27. Let w be ((-1)/a)/(2/12). Do k and w have the same value?
True
Suppose -3*u = -26 - 4. Is u less than or equal to 17/2?
False
Let r = -0.22 - -0.12. Which is smaller: r or -10?
-10
Let t = -1 - 0. Let r = -149743/7 + 21495. Let l = r + -103. Is l <= t?
False
Let i be (4/7)/((-4)/14) + -7. Is -12 >= i?
False
Let u = 0.06 + 3.94. Is -2 bigger than u?
False
Let b = -6.84 + 7. Let l = b + 1.84. Let y be ((-9)/42)/((-6)/8). Is y less than or equal to l?
True
Let x be 228*(134/(-44) + 3). Let p = 10 + x. Do p and 0 have the same value?
False
Suppose -568 = -4*l + 116. Let y = -1547/9 + l. Is y bigger than -2?
True
Let b(i) = i**3 - 3*i**2 + i. Let y be 2/(-8) - 22/8. Let g = y - -5. Let v be b(g). Is v bigger than -3?
True
Let y = 87/40 - 3/10. Which is smaller: y or 3?
y
Let y be (-8)/12*(-4 + 7). Which is smaller: -7/5 or y?
y
Suppose -2*o - 6 = -2*i, 5 = 3*o + 2. Which is bigger: i or 6?
6
Let h be 2/5 + 9348/(-20). Let j = -2347/5 - h. Which is smaller: j or -3?
-3
Suppose -2*f + 56 = -6*f. Which is greater: -13 or f?
-13
Let k be ((-2)/(-3))/(16/72). Suppose -i = -2*o, -i - k*i - o + 9 = 0. Suppose -j = -4*j. Are j and i equal?
False
Let w be (15/2)/(6/(-47)). Let k = -126 - -68. Let m = k - w. Which is bigger: 0 or m?
m
Let k(t) = t**3 - 6*t**2 + t - 3. Let j be k(6). Let g be 7/21 + (-22)/(-6). Is j != g?
True
Let p = -15.9 + 30.1. Let f = p + -2.2. Is f equal to -0.1?
False
Let m be 2 - 0 - (-4 + -1). Let t(k) = k**3 - 3*k**2 - 7*k + 4. Let z(s) = -2*s**3 + 7*s**2 + 14*s - 7. Let f(h) = 5*t(h) + 3*z(h). Let w be f(m). Is w < 5?
True
Suppose -4*k - 7 = -23. Let c be ((-28)/(-16))/7*k. Which is smaller: c or 0?
0
Let h = -36219032998/3944655 - -5623032/613. Let g = h + -803/117. Let i = 78/5 + g. Is -1/3 greater than or equal to i?
False
Let w = 0.15 - -1.15. Let f = 0.1 - 0.4. Let o = w + f. Are 0.1 and o unequal?
True
Let x be (0 + 1)*1*-1. Is 1/4 not equal to x?
True
Let l(c) = c**2 - 64. Let s be l(-8). Which is smaller: -13/19 or s?
-13/19
Let a = 66 - 67. Is a less than or equal to -1.3?
False
Let w(k) = 4*k + 7. Let f be w(-6). Suppose -3*v + v = 4. Let i be v/(-8) + f/4. Are i and -3 unequal?
True
Let k = -11.1 + -0.9. Which is bigger: -4 or k?
-4
Let j = -11/4 + 29/12. Are -14 and j equal?
False
Let r be -5 - -1 - (-104)/28. Is -8 at most as big as r?
True
Suppose 0 = 6*j - 0*j. Suppose 6*a - 19 - 5 = j. Which is smaller: 5 or a?
a
Suppose 5*m - m + 4*w + 12 = 0, -9 = -m + 3*w. Which is smaller: m or 1/15?
m
Let k = 72 + -71.8. Which is greater: k or 34?
34
Let j be 9/4 + 3/(-12). Let g be (j/4)/(2/4). Let o = -0.1 - -0.2. Is o smaller than g?
True
Let g = -670/9 + 8656/117. Which is smaller: g or -1?
-1
Let b(j) = -5*j + 2*j - 4 + 2*j. Let s be b(-3). Let c(h) = h**2 + 4*h - 1. Let x be c(-4). Is s at most x?
True
Let a(c) = -c**3 + 19*c**2 - 2*c + 38. Let m be a(19). Let s be 4/(-1)*(-1 - 1). Let y be s/42*(-3)/(-2). Is y greater than m?
True
Let r(u) = -u**2 - 4*u + 2. Let b be 34/(-9) - 2/9. Let c be r(b). Suppose c*h = -h - 6. Do -2 and h have differ