= 24361358071/2409 + -10112644. Let r = q - -1/219. Is r bigger than 0?
False
Let g = 15 + -3. Suppose s + s + y = -3, s + 5*y = g. Is s < -4?
False
Let u(x) = -x**3 - 6*x**2 + x + 5. Let c be u(-6). Let v(l) = 2*l**2 + 17*l + 16. Let f be v(-7). Let w be 2 + 1 - f/(-1). Which is greater: c or w?
c
Let s = 22.7 - 24. Are -1 and s non-equal?
True
Let h(s) = -2*s**2 - 2*s. Let t be h(-2). Is t < -5?
False
Suppose -2*s - 5 = -3. Which is smaller: s or -1/3?
s
Let f be (-1)/(2/(6/(-1))). Let q(g) = -g**3 + 4*g**2 + 10*g + 25. Let p be q(6). Suppose -p = -5*h - f. Which is greater: h or 0?
h
Let b be (-61)/286*6 - -1. Let w = b + 6/13. Is -1 != w?
True
Let z be 4 - 1 - (0 + 2). Let q = 67/44 - 14/11. Are q and z nonequal?
True
Let w = -6 - 0. Which is greater: -9 or w?
w
Suppose -3*v - 4*a = 23, 3 = -5*v - a - 7. Let q be (-1)/3*(v + 0). Which is smaller: q or 0.17?
0.17
Suppose -2 = -a - a - 2*p, 3*p + 5 = 5*a. Is 5/9 > a?
False
Let p = 3 - 3.2. Let r = 0.3 - 0.1. Let w = r - 0. Are p and w non-equal?
True
Let w be (4/(-6))/((-8)/36). Is w > 0?
True
Let n be ((-2)/10 - 12/15)*1. Let w be (3 + 0)*(-1 + 0). Is n equal to w?
False
Let x(f) = -f**3 + 3*f**2 - 4*f + 2. Let w = 6 + -4. Let j be x(w). Let m be (j/40)/(2/5). Which is smaller: m or -1?
-1
Suppose 5*g = -4*z + 40, -6 = -2*g - 2*g + 2*z. Let j(l) = 4*l - 12. Let q be j(4). Let f = g - q. Is -2/7 smaller than f?
True
Let i = 37.7 + -40. Let w = 1.9 - -0.1. Let u = i + w. Which is bigger: 1 or u?
1
Suppose -2*r = -3*r - 5. Let w = 8 + r. Let l be ((-2)/(-33))/((-1)/w). Is -1 equal to l?
False
Suppose 0 = -5*j + 5*h - 10, 5*j + 2*h - h = 14. Suppose 0 = 2*z + j*t - 72, -z + 5*z - 144 = 5*t. Let l be 1 - (z/(-15))/(-3). Which is greater: 1 or l?
1
Let q = 13.28 + -0.28. Let b = 12.9 - q. Is b > -4?
True
Suppose 7 = -0*w - w. Let o = w - -7. Suppose 2*x = -o*x + 2. Is x >= -1?
True
Let s be 2/4 - 6/(-12). Is s less than -2/69?
False
Let s = -78 + 469/6. Which is smaller: 0 or s?
0
Let p(k) = -3*k**3 - k - 1. Let n be p(-1). Let t be ((-327)/(-9))/(4/n). Let z = 27 - t. Which is greater: z or -1?
z
Let b(m) = -m - 4. Let t(s) = -1. Let g(z) = b(z) - 6*t(z). Let y = 10 - 8. Let j be g(y). Is j at most as big as 0?
True
Suppose i + 0*i + 1 = 0. Let s = i - 1. Do s and -2 have different values?
False
Let w = 0.33 - 0.23. Is w at least -6/5?
True
Let t = 2 + 0. Let y = 58 - 58.2. Which is smaller: y or t?
y
Let h be 7 - 5 - (-3)/(-18)*7. Let u = 1 + 1. Which is greater: u or h?
u
Suppose -f = -3*f + 6. Let u be 15/2*2/f. Suppose s - 3*y = 3*s + 2, u = -5*s - 2*y. Is s > -1?
False
Let n = -1 + 4. Suppose 3*d + n = -6. Is -2 equal to d?
False
Let f = 42.02 + -42. Is -2 greater than f?
False
Let w be (1*(-2)/(-4))/(-2). Suppose -5*c + m + 5 = -5, 0 = -c - 2*m - 9. Is w not equal to c?
True
Suppose -x + 8 = 4*o, -o - 5 = 2*x - 0*x. Suppose -5*z - 2 = -2*i, 3*z = -3*i + z + o. Let w = 0.4 - 0.5. Are i and w unequal?
True
Let z = 4.5 + -4. Let x = -0.1 - z. Which is greater: 1 or x?
1
Let u = 11 + -6. Suppose -5 + 15 = -u*k. Which is smaller: k or 3?
k
Let b(n) = n**3 - 6*n**2 + 5*n - 11. Let o be b(4). Is -23 < o?
False
Let y be 6*((-1)/3 - -1). Let g = 7 - 2. Suppose -x = 3*t - 0 - g, 5*t = 4*x - 20. Is y equal to x?
False
Let v be 2 + -6 + -3 + 6. Let g be 0*(-1 - 3/(-2)). Suppose g*f = 2*f + 2. Is f greater than v?
False
Let z(a) = a**3 + 10*a**2 + 17*a + 9. Let u be z(-8). Which is greater: u or 21/10?
21/10
Suppose -r + 0*r + 1 = 0. Let v = r - 2. Which is smaller: 2/17 or v?
v
Let n be 2/3 + (-1)/(-3). Suppose 0 = -3*g - 5 + 5. Which is bigger: g or n?
n
Suppose 4*c - b + 5*b = 20, c - 3*b + 3 = 0. Suppose -c*y = -5*y - 6. Is y smaller than -3?
False
Let w(k) = -k**2 + 2. Let b be w(0). Suppose -b + 0 = 2*v. Let z be (-3 + 1)/(1*-9). Are z and v equal?
False
Let n = -139 - -98. Are n and -41 unequal?
False
Let w be (1 - 0)*9/(-9). Which is greater: 10/21 or w?
10/21
Let i(n) = 2*n**3 + 16*n**2 - 3*n - 18. Let y be i(-8). Suppose 5*l - 15 = 2*l. Which is smaller: l or y?
l
Let u be ((-28)/(-966))/(2/(-72)). Let z = -314/345 - u. Is -1 < z?
True
Let k = -14 + 13. Is k greater than or equal to 3/2?
False
Let b = -16 - -16. Suppose 0*s + 22 = 4*n + 2*s, -n - 2 = 3*s. Is b less than n?
True
Let g(p) = p**3 - 10*p**2 - p + 4. Let x be g(10). Are 3 and x nonequal?
True
Let r(m) = -2*m**3 + m**2. Let q be 4/6*3/2. Let y be r(q). Let o be y/(-4)*(3 + -1). Is -0.4 at most as big as o?
True
Let h = -43 - -214/5. Let r be 0/4*(1 + -2). Is r at most h?
False
Let l be 1*(-1)/((-1)/2). Let i be (2/4)/((-4)/80). Let r = 12 + i. Is r at most as big as l?
True
Suppose n = 5*q - 20, n = 5*q + 2*n - 10. Suppose 3*y = q*j - 12, 20 = -2*j - 3*j - 3*y. Let h be 19/8 - (0 + 2). Which is greater: h or j?
h
Suppose 37 = -4*o - 5*q, 2*q = 5*o - q. Is -2 less than o?
False
Let h(t) be the first derivative of t**4/4 + t**3 - 3*t**2/2 + 5*t + 2. Let j be h(-4). Let y be j + 1*(-21)/18. Is 0 greater than or equal to y?
True
Let n be (-2)/(-4) - (-2)/(-20). Let p = 6 - -2. Suppose -i - 4*y = 21 - p, -3*y = -i + 8. Which is bigger: i or n?
n
Let a be (3/(9/24))/(-1). Which is greater: -7 or a?
-7
Let d(h) = -h**3 - 6*h**2 + 9*h + 15. Let b be d(-7). Which is greater: 1/91 or b?
b
Suppose 21*n - 15 = 26*n. Let o be n/((-7)/4 + 4). Suppose q = 3*g + 9 - 4, 0 = -g + 4*q - 9. Is o less than g?
True
Suppose -31 = -2*v + 7. Is v less than or equal to 19?
True
Let g = -9 + -7. Let r = g - -16. Is r bigger than -0.3?
True
Suppose 4*y = 3*y + 1. Suppose 48 = -5*g + 2*g. Let a = -14 - g. Are a and y equal?
False
Let n be 560/(-66) + (-4)/22. Are -9 and n unequal?
True
Let u = 5 + -5. Is u < 20/21?
True
Suppose 0 = -0*h + 5*h + 5. Is h >= -2/47?
False
Let k = -0.09 + 0.29. Let v = 0.3 - 0. Let z = k - v. Which is bigger: -1/5 or z?
z
Let k = -1183/2 + 615. Which is smaller: 24 or k?
k
Let g be ((-9)/(-4))/(9/6). Let t be 1 - 1*(-3 - -2). Is t != g?
True
Suppose 0*m - 2*m = -3*p - 45, -m - 5 = 4*p. Suppose -d + m = 3*w, -4 = -w - w. Which is greater: -1 or d?
d
Let v(g) = -g**2 - 1. Let q be v(-2). Let n be (-1)/3 - 44/(-6). Let i = q + n. Which is bigger: i or 3?
3
Let a = 52 - 50. Which is smaller: a or -0.06?
-0.06
Let t be 3 - 4/(-1 - -5). Let o be ((-1)/(-2))/((-1)/(-2)). Let b = 0 + o. Which is greater: b or t?
t
Let v be 0/((3/3)/(-1)). Let s be 0*((-1)/(-2) + v). Let t = -1 + s. Is t less than -2?
False
Let c = 0 + -0.1. Let k be 1/(-5) + 14/(-30) - -1. Is c at most k?
True
Suppose 7*a = 3*p + 2*a - 10, 0 = -2*p - 2*a - 4. Suppose -4*m + 0*m + 40 = p. Let l be 5*(16/m)/(-4). Is l at most -2?
True
Let d be (-36)/(-8)*4/6. Suppose r = d*r - 10. Let q(z) = z - 6. Let b be q(r). Is 1/3 bigger than b?
True
Suppose 0 = w - 6*w + 5. Let i(d) = -d**3 - 6. Let t be i(0). Let c be w/(((-3)/t)/1). Which is greater: c or 3?
3
Let o = -1.88 + 2.88. Is o bigger than 2/5?
True
Let s(i) = i**3 + 10*i**2 + 9*i. Let r be s(-9). Is -1/15 greater than r?
False
Let i be (-9)/3 + 5 + -1. Let r be ((-5)/10)/((-1)/24). Let j be (3/11)/(r/(-8)). Are j and i unequal?
True
Let f = -41 + 71. Let x be ((-9)/f)/((-1)/2). Which is greater: x or 2?
2
Let v = 0.4 - 0.9. Let q = 0.3 + v. Let c = 1.2 + q. Is c >= -1?
True
Let d = 18 + -11. Are d and 7 nonequal?
False
Let i(v) = v**3 - 13*v**2 - 16*v + 18. Let g be i(14). Let l be 2/g + 180/25. Are 6 and l unequal?
True
Suppose -c = 3*y - 7, 4*c - 14 = -3*y - 2*y. Which is smaller: c or 2/57?
2/57
Let p = 13 + 8. Is p <= -1?
False
Let u(c) = c**2 - 9*c + 15. Let w be u(7). Suppose -3*m - f = 268, 0 = -m - 0*m - 3*f - 84. Let o be ((-12)/m)/((-3)/5). Which is greater: o or w?
w
Let j = -275 + 55. Let r be (-108)/j + (-6)/15. Is 0 less than or equal to r?
True
Let b = 187 + -2804/15. Which is smaller: b or -1?
-1
Let c = 4 + -7. Let g = -0.8 + 0.8. Which is bigger: c or g?
g
Let b = 0.1 - -0.9. Let m = -15 + 17. Which is greater: b or m?
m
Let g be (-10)/5*(-1)/(-11). Let i = -0.18 - -0.13. Which is greater: i or g?
i
Suppose 9*r - 49 = 2*r. Is r less than 8?
True
Let s = 61.004 + -0.004. Which is bigger: s or 1?
s
Let q = 16.2 - 13. Let s = 0.06 - 3.06. Let m = q + s. Which is bigger: m or -1/4?
m
Let f(s) = s**3 - 2*s**2 - 2*s - 6. Let c be f(3). Is -3 at least c?
True
Let u = 34 + -17. Is u at least as big as 17?
Tr