is greater: -877/5 or h?
h
Let p(z) = z**3 + 28*z**2 + 53*z + 11. Let w be p(-26). Is -6 <= w?
False
Let v = 1.69 - 1.8. Let m = -3.09 + v. Let i = m - -1.2. Which is bigger: 2/5 or i?
2/5
Let o(w) = 30*w + 571. Let a be o(-20). Is a not equal to -31?
True
Let k(p) = 3*p - 15. Let o be k(4). Let u be o - (-4)/(-20)*(2 + -14). Is u > 12?
False
Let p = -0.13 + 0.21. Let q = 0.27 + p. Let s = q + -0.3. Are s and 0 unequal?
True
Let o = 325 - 345. Is o <= -6?
True
Suppose -3*f = 4*a + a - 21, -a = -4*f + 5. Suppose 2*y + 4 = -f*o - 0*y, -y = 2*o + 6. Let u be 19 + o/(2 + -1). Which is smaller: u or 14?
14
Let r be -1 - (-1 - 2)/3. Suppose r = 3*m - 0 - 3. Let v = 276 - 3590/13. Is m smaller than v?
False
Let d(f) = -f**2 + 82*f - 386. Let q be d(77). Let t be 158/154 - 2/2. Which is smaller: t or q?
q
Let o = -173 - -173.436. Let b = -0.226 + o. Suppose -2 + 0 = 2*n. Is n greater than b?
False
Let b(j) = 3*j**3 + 12*j**2 - 11*j + 3. Let s be b(-6). Is s at most -145?
True
Let m = -88.822 - 0.178. Let k = 89.06 + m. Let d = -3 + 2.9. Which is smaller: k or d?
d
Suppose -2*r + 75 = 25. Let v = -70 + 70. Suppose 5*m + r = -v*m. Is m > -4?
False
Let n be (-3*8)/(-3) + 4 + -4. Let j be 1/(-3)*2*(-45)/4. Which is smaller: j or n?
j
Let x = -729/4 + 183. Which is greater: x or 1?
1
Let r(o) = -2*o + 5. Let y(k) = k - 3. Let m(p) = 2*r(p) + 5*y(p). Let v be m(5). Are -1/5 and v equal?
False
Suppose 2*k + 3*i - 18 = -i, -4*k - 3*i + 21 = 0. Suppose 2*g + 2 = 2*b - 0, 0 = -2*b + k*g + 4. Suppose 0*t = -t. Is t < b?
False
Let y(j) = 9*j - 127. Let z be y(14). Do z and -2/29 have different values?
True
Suppose 0 = v + d + 8, 0 = -5*v + 8*v - 3*d + 30. Which is bigger: v or -99/10?
v
Let h = 9.75 + -11.55. Which is bigger: 4/3 or h?
4/3
Let n be (2/(-8))/(-2789*13/(-52)). Do n and 0 have different values?
True
Let h = 312 + -313. Is h at least as big as -2/27?
False
Let i(r) = 5*r - 5. Let f be i(2). Suppose f*j = j + 24. Let x be (4/j)/(80/(-75)). Is 0 less than x?
False
Let h = 0.023 - -0.177. Which is smaller: h or 161?
h
Let u be 1 - (-2)/4*-1. Suppose g + n + 252 = 6*g, 45 = g - 2*n. Let c = g - 51. Is u bigger than c?
True
Let m be 42/(-9)*((-72)/3 + 0). Is 3 > m?
False
Let y be -6 + 7 + (-200)/212. Which is smaller: 0 or y?
0
Let i = 23 + -23. Suppose i = -x - 9 + 10. Let j be (-3)/6*-2 - x. Is j equal to -2/35?
False
Suppose 0 = 4*g + 12 + 20. Let z = 965/6 - 323/2. Which is smaller: g or z?
g
Suppose 8*r - 24*r + 784 = 0. Which is bigger: r or 47?
r
Let z = 771.975 + -764. Let q = z + 0.025. Which is greater: 1 or q?
q
Let a be (7/(84/27))/3. Suppose 0 = s - 3 + 9. Let k = s + 8. Is k > a?
True
Suppose 2*o - 5*u = -1229, -3*u = -o - 7*u - 608. Let f be 2*(-1)/4*(-16)/o. Which is bigger: -1 or f?
f
Let q = -11 - 1. Let f = q + 42. Let t be 36/(-15) - (-12)/f. Which is smaller: t or -1?
t
Let r be (16/(-60))/((-265)/15). Is 1 at most as big as r?
False
Let k = 915 + -917. Is k less than -69?
False
Let v(w) = -w**2 - w + 2. Let a(d) = -3*d**2 - 3*d + 6. Let j(g) = 2*a(g) - 7*v(g). Let i be j(2). Suppose 0 = -3*o - 2*o. Which is smaller: i or o?
o
Let l(r) = 6*r**3 + 3*r**2 - 4*r + 2. Let v be l(-4). Let d = v - -190. Let c = d - -261/2. Is 4 bigger than c?
True
Let s be (-38)/(-9) + (-4)/18. Suppose f + 2 = 2*v - 34, -4*f - 92 = 5*v. Let j be (2 - f/(-4))/(-1). Is j >= s?
True
Let u = 262 - 263. Is -18/13 < u?
True
Let w = -44 - -49. Suppose 0 = -w*v - 3*g - 50, 0 = 2*g + 8 + 2. Which is bigger: v or -8?
v
Suppose 3*d + 12 = -33. Let o = d + 14. Is o greater than or equal to -9/8?
True
Let h be ((-16)/6)/((-88)/108). Is h less than or equal to 4?
True
Let q be 0/(-1) - 1 - -1. Let t(x) = -3*x + 35. Let c be t(6). Are q and c equal?
False
Let b be (2*(7 + 60/(-8)))/1. Do -52/55 and b have the same value?
False
Let g = 89 + -85. Let c be 47/g - (-4)/20*0. Which is bigger: 12 or c?
12
Let g be 2 + -3 - 270/(-266). Let i = 124/18829 - -278088/1713439. Let x = i - g. Which is bigger: x or 1?
1
Let q(g) = -g**2 - 5*g + 6. Let w be q(-5). Suppose w = -5*u - 39. Is -7 not equal to u?
True
Suppose -21*c + 17*c - 22 = 2*p, 4*c = 12. Let q = -46 - -31. Which is smaller: p or q?
p
Suppose -5*w - 990 = -8*w. Suppose 20*t = 25*t - w. Which is greater: t or 65?
t
Let c = -508.1 - -509. Is -0.04 >= c?
False
Suppose 2*j - 18 = -7*j. Let a(m) = -m + 5. Let t be a(5). Let q be (-2 - t)/(6/(-21)). Is q at most as big as j?
False
Suppose -12*c + 11*c = 0. Is 3 greater than c?
True
Let n be (1*(-1 - 1))/4. Suppose 18 = 5*m - 2*p, -p = 2*m - 7 - 2. Suppose 0 = 5*w - z + m, 3*z + 4 = -3*w + 2*w. Which is smaller: n or w?
w
Let c = -0.52 - 0.18. Let p = -3.97 + -0.03. Is p >= c?
False
Let r = 23715/4 + -5900. Let k = r - 29. Which is smaller: k or 6?
k
Let j = 8306/21 - 396. Which is greater: 1 or j?
1
Let t = 2 + -3/2. Let s = 6081/11 - 553. Which is greater: s or t?
t
Let d = 491/150 + 3/50. Let f(h) = -2*h**3 - 2*h**2 - 5*h - 2. Let b be f(-1). Does d = b?
False
Let j = -9.78 + 10.57. Is -1/3 != j?
True
Suppose 2*n - 7 - 29 = 0. Which is bigger: n or 15?
n
Let c = -0.0184 + 0.0394. Does 0.2 = c?
False
Let o = 283152949152 - 71354440558787/252. Let s = o - 407253. Let f = 11/28 + s. Are f and -1 unequal?
True
Let k = 31988/7 + -63457/14. Let t be (-1)/(-4) - (-306)/8. Let o = k - t. Which is greater: o or 0?
0
Let g be ((-7)/14*4)/2 + -3. Do -24/5 and g have different values?
True
Let h(x) = x**3 + 10*x**2 - 3*x - 25. Let w be h(-10). Suppose -3 = -2*j + w*j. Is j bigger than -1?
False
Let r be ((-4)/136)/((-1)/10884). Let i = r - 320. Let f be -12*(-2)/20 - 5/25. Which is greater: i or f?
f
Suppose -17*g = -7*g - 30. Let k be (2 - 2 - g) + 3 - 5. Which is greater: k or -1/4?
-1/4
Let o(l) = l**3 + 10*l**2 - 2*l - 27. Let d be o(-10). Which is smaller: -10 or d?
-10
Let y = -24 - 35. Let r = y - -70. Is r greater than 11?
False
Suppose -h = -2*v + 13, 26*h - 2*v + 19 = 23*h. Which is greater: -7/8 or h?
-7/8
Let v(k) = k + 7. Let d be v(-8). Suppose 15*a = 19*a + 8. Is d >= a?
True
Let f = -1.8331 - 0.1669. Which is smaller: 75 or f?
f
Let x = 26799 + -26770.047. Let q = -0.047 - x. Is 0 smaller than q?
False
Let q = 2.1 + -2. Let x = 10.69 - 10. Let j = x - 0.59. Is q != j?
False
Suppose 0 = 3*z - 2*z + 3. Let v be (1/(-3))/(z/45). Suppose 4 = -v*j - 1. Are -4 and j equal?
False
Let p = 0.1 - 0.4. Let v = -22 + 25. Which is greater: v or p?
v
Let t be (1/15)/(2/(-6)). Let y = -7.3 - 11.7. Which is smaller: t or y?
y
Let h = -205 - -204.87. Let t = 441 - 437.87. Let m = t + h. Is m less than or equal to -3/7?
False
Suppose -15 = p + 5*u, 11 = -2*p + p - 3*u. Let a be ((-64)/(-40))/(2/5). Suppose -3*d + 9 = 0, -a*r = -d + 18 - 3. Which is smaller: r or p?
p
Let j(x) = -x**2 + 2*x + 34. Let l be j(7). Let a be -4 + (2/l - -15). Do a and 9 have different values?
False
Let h(l) be the third derivative of -l**5/60 + l**4/4 - l**3 + l**2. Let t be h(4). Let z = -1 + t. Is 1 bigger than z?
False
Suppose -6*t + 45 = -t. Let i be 2/(1 - 0) - 1. Suppose 2*h + i + t = 0. Is h less than or equal to -5?
True
Let f(j) = 2*j**2 - 4*j. Suppose 2*n + 14 = 2*t, 5*t - 2*n - 31 + 8 = 0. Let p be f(t). Let c(r) = r + 7. Let l be c(-2). Which is smaller: p or l?
l
Let y(j) = -j**3 - 7*j**2 - 6*j - 4. Let w(a) = -a**2 - a - 5. Let t be w(0). Let b be y(t). Let z be b/(-20)*4/(-18). Is 0 less than z?
False
Suppose 3*k + 4*g - 15 = 0, 2*k + 4*g - 12 = 2. Which is bigger: 1/67 or k?
k
Let n(b) = -b**3 + 12*b**2 - 3*b + 16. Let k be n(12). Does k = 3/2?
False
Suppose 0 = c + 2*c + 585. Let s = c + 196. Let o(t) = -t**2 + 2. Let j be o(0). Which is smaller: j or s?
s
Let c(y) = -y**2 - 2*y + 1. Let o be c(-1). Let x(v) = 3*v - 5. Let w be x(o). Let b(d) = 2*d - 3. Let n be b(2). Is n greater than w?
False
Let t = 66.7 - 66.6. Which is bigger: t or -106?
t
Let y = -35 - -66. Suppose 5*i + 70 = -5*r, -y = r + 3*i - 9. Which is smaller: r or -13?
-13
Let r = 24 - 25. Let j be (-16)/(4*r) - 345/85. Which is smaller: j or -5?
-5
Let b be ((-4)/(-36))/(6/(-45)). Let y be 320/(-2088) - (-8)/(-116). Is b at most y?
True
Let b be -2 - (-120)/55 - (-2152)/22. Is 98 < b?
False
Let m be 5/(10/(-4))*-2. Let y(s) = s**2 + 12*s + 3. Let x be y(-12). Suppose m*g = g - x. Which is bigger: -2/9 or g?
-2/9
Let o = 0.4