+ 17, 4*s - 5*j + 7 = -6. Is c at least as big as s?
False
Let v(d) = d + 4. Let j be v(-4). Suppose 5*p + 10 = 0, -4*i + 4*p - 4 = -j*i. Suppose 3*k = 5*k + 4. Which is smaller: i or k?
i
Suppose v = -2*b, 0 = 6*b - 2*b - 3*v + 10. Let u be b*(-2 + (-7)/(-3)). Let r = -4.9 + 5. Which is bigger: r or u?
r
Let p be 68/(-132) - (-4)/22. Let l = 1 - 0.8. Let t = l - -0.1. Do p and t have different values?
True
Let r = 62 - 42. Is 20 >= r?
True
Let z = 1867881/496552637 - 6119625079935882080/214014186547. Let y = z + 28594483. Let j = 2/431 - y. Which is smaller: 1 or j?
j
Suppose 4*j = 2*k, 4*k + 5*j - 63 + 11 = 0. Suppose 0 = -k*l + 5*l. Are 1/5 and l equal?
False
Let i = -19/12 + 119/76. Is -1 < i?
True
Let w = 16/5 - 18/5. Let q = 3 + 0. Suppose g + q = 2. Is g less than w?
True
Let f = -50.21 - -50. Let d = 0.31 + -0.3. Let r = f + d. Which is greater: r or 2?
2
Let n(t) = t**3 - 22*t**2 + 19*t + 35. Let u be n(21). Is u at most -3?
True
Suppose i + 0*i = -3*s + 8, 2*i - 9 = s. Let z(v) = v + 4. Let m be z(0). Which is greater: i or m?
i
Let m(j) = -j**3 + 4*j**2 - 3*j - 1. Let p be m(3). Let g be (-45)/10*2/(-4). Let d = -31/12 + g. Which is greater: p or d?
d
Suppose 5*n + 2*q = -0*n + 244, -2*q = 3*n - 144. Is 48 smaller than n?
True
Let o be ((-2)/((-24)/21))/(2/(-8)). Is -10 at most o?
True
Let p be 1 - (3 + -7 + 3). Let n = 8 - 8.3. Is p less than n?
False
Suppose -4*z + 32 = -4*n - 0*z, 3*n = -3*z - 12. Let l be (-10)/(-3)*30/(-25). Let w = l - n. Which is greater: 1 or w?
w
Let c = 44 + -44. Which is smaller: c or 2/333?
c
Let q be 15/9 - (-2 + (-16)/(-6)). Is 1 > q?
False
Let g be 5/3*(19 - 22). Is -3 greater than g?
True
Suppose 0 = 5*g + 38 - 8. Let a be 2/(-15) - (-4)/g. Is -1 less than or equal to a?
True
Suppose 5*q + 2*g + 0*g = 115, 0 = -q + 4*g + 23. Let c = 32 - q. Which is greater: 10 or c?
10
Let y = -1.9 - -2. Is y bigger than -5?
True
Suppose -4*x + 3*o = -6*x + 6, -o = 2. Are x and 4 unequal?
True
Let f = 81 + -82. Which is greater: f or -2/139?
-2/139
Let z(j) = -j**2 + 8*j - 8. Let i(t) = t**2 + 6*t + 6. Let m be i(-5). Let v be (m - 2/4)*14. Let q be z(v). Which is bigger: q or 0.2?
0.2
Let p = -3.03 + 3. Let f = 0.03 + p. Are f and 0.05 equal?
False
Suppose 0 = -4*p - 3 - 9. Suppose 0 = 5*d + 4*o + 4, 2*d + o + 3*o - 8 = 0. Let g be ((-2)/d)/((-1)/6). Is p <= g?
True
Suppose -2*p + 2*r - 24 = 0, -4*p + 35 = 2*r + 95. Is p not equal to 2?
True
Let a be (-30)/14 + (-9)/(-21). Does a = -2?
False
Let t = 11 - 7. Suppose 4 = t*s - 0. Is s >= 2?
False
Let o = 0 + 2. Let v be (o*-1)/(-1)*-1. Let d = v - 1. Which is bigger: d or -1?
-1
Let p be (-1)/4 + 26/8. Let x(l) = l**3 + 2*l**2 - 3*l - 1. Let q be x(-3). Let i be (p - -1) + (q - -1). Is 5 greater than i?
True
Suppose 3*k - 4*x = 10, 2*x - 4 = k - 10. Which is smaller: k or -3?
-3
Let t be 2 + ((-169)/2)/(-1). Let o = -1561/18 + t. Which is smaller: 1 or o?
o
Suppose 9*q - 7*q - 12 = 0. Which is smaller: 1 or q?
1
Suppose -4*i = -i. Let p(f) = f**2 + 7*f + 5. Let t be p(-6). Which is smaller: i or t?
t
Suppose -44*l + 46*l = -2. Is l greater than or equal to -3/20?
False
Suppose -4*o - 3 = 3*n + 1, -5*o + n = 5. Let z = -4 - -8. Suppose -3*s = -z*d + 2*s - 17, -2*d = 2*s + 4. Is d not equal to o?
True
Suppose 6*x + 38 - 2 = 0. Are 1 and x non-equal?
True
Suppose -3*q - 4*d + 90 = 0, -d + 81 = -2*q + 5*q. Suppose -8*o + 3*o = -m + q, -4*m + 4 = 0. Which is smaller: -4 or o?
o
Let x = -0.96 - 0.04. Let j = -3 - -3.1. Which is smaller: x or j?
x
Let x = 0.03 + 0.07. Let w be (-2)/7 - (-12)/(-7). Is w at most as big as x?
True
Let l = -4/79 + -138/395. Are -1 and l equal?
False
Let y(x) = -x**2 + 4*x - 4. Let i be y(3). Let n = 8399 - 58697/7. Let j = -14 + n. Which is bigger: j or i?
j
Let t be (4 - (-13)/(-4)) + 3. Does t = 3?
False
Let y = -11 + 5. Let d = 9 + -14. Which is bigger: y or d?
d
Let a = -4 + -9. Let i = 11 + a. Which is greater: i or -3?
i
Let v(d) = -d**3 + 15*d**2 + 5*d - 3. Let w be v(15). Let b be (-2)/(-8) - 2/w. Is b != 1?
True
Let s = -8 + 11. Let w = -0.011 + 5.211. Let z = w - 5. Is s less than z?
False
Let d = 0.3 - 0.2. Let g = -3.2 + -0.8. Let v = g - -3. Is d smaller than v?
False
Let p = -68 - -275/4. Let c(f) = 7*f - 4. Let b(i) = 8*i - 4. Let j(k) = -6*b(k) + 7*c(k). Let y be j(4). Do p and y have different values?
True
Let l = 3 + -3. Let o = 0.5 + l. Let y = o + -0.3. Which is bigger: 2/7 or y?
2/7
Let g(b) = -b**3 - 4*b**2 + 12*b + 4. Let j be g(-6). Which is smaller: j or 0?
0
Suppose -5*n + 2 = -2*l - 3, 0 = 2*l. Let q be (4/(-32)*-4)/(1/6). Is n smaller than q?
True
Let c = -34/57 + 5/19. Let f = c + 1. Is f at least as big as 0?
True
Let s = -0.11 - -0.1. Do 2 and s have the same value?
False
Let o = 92 + -132. Do o and -40 have the same value?
True
Let c = -13 - -11. Let m(y) = y**3 + 8*y**2 + y + 6. Let q be m(-8). Is q less than c?
False
Suppose 16 = -q + 3*z, -5*q + 5 = 4*z + 161. Is -28 != q?
False
Let q = -0.1 - -0.1. Suppose 23 = -4*z + 19. Are q and z equal?
False
Let r be 2611/3*(-3)/1563. Let g = r + 2/521. Which is greater: -1 or g?
-1
Suppose z + 2*z = 0. Let o = -14947/8 + 129647/72. Let l = -135/2 - o. Which is smaller: l or z?
z
Let w = 8 + -6. Let l = 4 + -6. Let v = w + l. Which is bigger: v or -2/5?
v
Suppose -72 = -2*o - 2*x, o - 6*o - 3*x = -180. Suppose -11 = 5*j - o. Suppose 6*l - 2*l = -3*q - 1, 4*q - 9 = j*l. Is 1 > q?
False
Let c = -3.7 - 1.3. Let t = -28 - -26.6. Let l = -1.5 - t. Which is greater: l or c?
l
Suppose -2*p = -p - 2. Let q be 3/6 + 1/p. Let z be 0*(-1 - q - -1). Is 4/3 >= z?
True
Let f = -22 - -17. Is 2/7 smaller than f?
False
Let j be -4 + 7/(35/(-10)). Which is smaller: -26/5 or j?
j
Let k(n) = -n + 5. Let w be k(5). Suppose -3*p + 2*p - 25 = w. Let j = p + 17. Are j and -7 equal?
False
Suppose 3*j - 8*j + 5 = -3*n, -4*j + 4 = 2*n. Suppose 3*z = -0*z + 18. Let f be 2/3*z/(-4). Which is smaller: n or f?
f
Let f = -17 - -24. Let c(g) = g**2 - 6*g - 3. Let q be c(f). Is 4 greater than or equal to q?
True
Let s(r) = 76*r**3 - r**2 + 2. Let j be s(-1). Are j and -75 nonequal?
False
Suppose 3*l - 4 = l. Suppose 0*u - l = 2*u. Let x be (u - 2) + 33/15. Is 0 at most x?
False
Let k = -14716/33 + 446. Which is smaller: -3/5 or k?
-3/5
Suppose -2*h = -4 + 14, 0 = -x - 3*h - 40. Which is smaller: -24 or x?
x
Let y = -89/4 - -22. Which is smaller: 31 or y?
y
Let p = 11 - 3. Let k be 42/(-4) - (-12)/p. Which is smaller: -10 or k?
-10
Suppose -2 = 2*s - 4. Is s equal to 4/5?
False
Let i(w) = -w**2 + 8*w - 7. Let x(z) = z**3 - z**2 + z - 1. Let u be x(2). Let f be i(u). Let y = f - 6. Is 0 <= y?
True
Suppose 0 = -6*o + 11*o + 25. Is -4 bigger than o?
True
Suppose 0 = 5*b + r - 629, 4*b = 4*r + 17 + 467. Suppose -3*w + b = 2*w. Suppose -5*h + 0*q = -q - 23, 0 = 4*h - 3*q - w. Which is greater: h or 5?
5
Suppose -4*j = 3 - 15. Suppose -j*r + 2 = -25. Is 9 at least r?
True
Let f = -0.4 - 4.6. Let s = -5.1 - f. Is s at most as big as -2/3?
False
Suppose 3*w + 1 = 4. Let c(l) = 13*l**3 + 2*l**2 + l. Let p be c(-1). Let n be (w/4)/((-3)/p). Is n less than or equal to 1/3?
False
Let z = -5.4 + 26.4. Is z greater than -1?
True
Let y = -0.2 + -2.8. Let s = -4 - y. Let d = 1 - -2. Does d = s?
False
Suppose -2*f = 2*v - 36, -2 = f + 2*v - 6*v. Are 29/2 and f equal?
False
Let y be (-3 - -3)/(0 + 1). Is y at least as big as -4/23?
True
Suppose 0 = -8*i - 8*i + 64. Which is smaller: i or -11?
-11
Let x be ((-1)/5)/((-4)/(-232)). Let w = -12 - x. Is 1 < w?
False
Let y = 0.35 - 0.25. Let r = -0.3 + 0.5. Let t = -0.2 + r. Is t > y?
False
Suppose -3*b - 10 = -b. Let t be b*2 - (-6)/3. Is -8 less than or equal to t?
True
Let n(i) = i**3 - i**2 - 28. Let q be n(0). Let y be q/24 + 0 + 1. Which is smaller: y or -0.2?
-0.2
Let b = -1329/11 - -121. Let i = 0.1 + -0.1. Let p = i + 0. Is p >= b?
False
Suppose 3 = -o + 5. Which is smaller: o or 9?
o
Let d(w) = w**2 - 7*w - 8. Let s be d(8). Let m be 0/(-2) + (s - 0). Let t be (-6)/(-6) - (-10)/(-12). Which is greater: t or m?
t
Suppose 2*p = 3*p - 4*q + 3, -5*p + q + 4 = 0. Which is smaller: p or 3/68?
3/68
Let i(c) = -c**3 - 7*c**2 - 6*c - 4. Let d be i(-6). Let f be (-9)/6 - 30/d. Is 11/2 at least as big as f?
False
Suppose 3*a = -2*a - 15. Let t be 3/(-1) - a/3. Let r(q) = -q 