24)/14)/(357/(-58492)). Let r = w + -5280/17. Let q = r + 30. Which is greater: q or 0?
q
Suppose 0*f + 7 = f - v, -2*f - 4*v - 16 = 0. Suppose -u = f*u + 12. Let p = -1 - u. Are 5 and p nonequal?
True
Let d(m) = m**3 + 8*m**2 + 3*m - 20. Let s be d(-7). Let v be (45/5 + -1)*22/s. Which is smaller: 21 or v?
21
Let a(b) = 3*b - 12. Let h be a(8). Let z be 4/(h/(-15))*1. Let m be z - 0/(-1) - -3. Is m > -2?
False
Let h(s) = -4*s**3 + 2*s + 1. Let g = -18 + 17. Let f be h(g). Suppose 0 = 4*d + f + 17. Which is greater: -6 or d?
d
Let n(l) = -l**2 + 11*l - 8. Let z be n(11). Let y be z/20 + (-46)/10. Which is greater: -6 or y?
y
Let g = 66 + -69. Let a be 9/g - 1*-4. Which is smaller: a or 4/33?
4/33
Let c = 2.17 - 2.219. Which is smaller: c or -2?
-2
Suppose 0 = 4*l + 52 - 4. Let n = l + 16. Suppose 4*x = -n*o + 2*o + 6, 5*o = 25. Is 1/7 > x?
True
Let t be ((-441)/(-91) - 5) + 32/(-1820). Which is greater: -1 or t?
t
Suppose 4*d = -5 + 1, 2*d - 13 = -k. Let l = k + -11. Suppose 3*c - 2*q - 25 = 0, -2*q = 5*c + 3*q. Are c and l equal?
False
Let a = -35 - -106/3. Suppose 0 = -z - 4*z + 3*d - 5, -3*z - d + 11 = 0. Let n be (-44)/48 - z/(-3). Is a less than n?
False
Suppose 6*y = y - 25. Let w(u) = -u**3 + 3*u**2 - 10*u + 15. Let j be w(2). Is y < j?
True
Let k = -21 + 22. Suppose -5*j = 4 + k. Which is smaller: j or 17?
j
Suppose -5*n = 265 - 865. Suppose 3*r + 3*f = -n, -3*r + r - 74 = -f. Do r and -38 have the same value?
True
Suppose 3*o = 2*h + 35, -7 = h - 2*o + 4*o. Let f(t) = t + 3. Let s be f(h). Let q be (-12)/(-30) + 134/s. Are q and -13 unequal?
False
Suppose 0 = 2*y - 12 + 4. Suppose 5*p + 30 = y*f - 2, f = 2*p + 11. Suppose -2*h + f = -1. Are h and -1 nonequal?
True
Let p(y) = -y**2 - 7*y - 7. Let z be p(-6). Let u = 0 - 3. Is u > z?
False
Let g = -5.28 - 0.32. Let c = g - -4.6. Do -73 and c have the same value?
False
Suppose -2*j = -3 - 1. Let t = j - 2. Let c be 4/(-1) + 288/84. Which is smaller: c or t?
c
Let m(w) = -7 + 5 - 19*w + w**3 + w**3 + 16*w**2. Let k be m(-9). Is 31/4 < k?
False
Let y = 12.55 + -80.55. Is y != 5?
True
Let m = 8 + 0. Let k(d) = d - 3. Let n be k(m). Let x be n*-1*(-8)/(-20). Is x <= -5/7?
True
Let v be (-208)/(-130)*30/4. Let o be -9*(32/v - 1). Is o greater than -16?
True
Suppose 3*s - 18 = s. Suppose -16 = 11*g - 3*g. Let l be ((-3)/s)/(g/6). Which is greater: l or -2?
l
Let g = 70 - 46. Let r be (-1)/(-1) - g/3. Is r >= -5?
False
Let j = -2/135 + 29/945. Let y = j + -445/252. Does y = 0?
False
Suppose 43 = -4*m - 17. Let l be -1 + 1*(5 + 1). Suppose -l*k = -o + 2*o + 11, -2*k = -2. Is o > m?
False
Let z = -15.57 - -15.75. Which is smaller: 1/74 or z?
1/74
Suppose -5*c = 3*a, -6*c + 3*c = 2*a. Suppose c*m = -0*m + 2*m. Are m and 1/4 equal?
False
Let s = 12938/17 + -758. Do s and 4 have different values?
True
Let q(j) = 3*j + 41. Let c(v) = v + 14. Let u(a) = 8*c(a) - 3*q(a). Let o be u(-9). Let m be 1 - -4*o/4. Is -4 less than m?
True
Let o be 15/(-5) - -7*1. Suppose o*l - 113 = -29. Suppose -5*m - l = 14. Which is greater: -8 or m?
m
Let v = -133 + 131.02. Let g = -9.02 - -9. Let l = v + g. Which is smaller: 0 or l?
l
Let o = 55 - 221/4. Let y = -5 - -3. Let p = -4 - y. Is o greater than p?
True
Suppose -20*f = 545 - 25. Which is bigger: f or -29?
f
Let f = 55 - 50. Suppose -f*m - 6 - 4 = 0. Which is bigger: 4 or m?
4
Let s = 15.11 + -0.11. Let o = s + -14.7. Let x = -1.7 - o. Which is greater: 2 or x?
2
Let c = 0.1577 - 0.2038. Is c at least as big as 0?
False
Let t(a) = -a**3 + 4*a**2 - 4*a + 6. Let q be t(3). Suppose -q*g + 17 = 8. Suppose 7*o = g*o - 60. Is -15 at most as big as o?
True
Let u = -129/28 + 32/7. Let k = 16 - 15. Which is bigger: k or u?
k
Suppose -61 = -14*a - 47. Is a equal to 5/29?
False
Let x = -5 + 10. Suppose x*o = 5*c + 90, -c + 2*o = -0*c + 18. Let u be c/90*25/(-3). Which is bigger: 2 or u?
2
Let v = -250 - -368. Is v at least as big as 117?
True
Let c = -340 + 341. Is 11/8 at most as big as c?
False
Let p be 42/(-7) - (-209)/34. Which is greater: p or 0?
p
Let h(f) = f**3 - 3*f**2 - 3*f - 3. Suppose -59 + 79 = 5*r. Let y be h(r). Which is bigger: y or -2/29?
y
Let z = 34 + -121/3. Let u = z - -35/6. Which is smaller: 0.04 or u?
u
Suppose 5*j - 15 = 4*v, -2*v - 20 = j - 9. Let w be (-2)/(j/(3 - 2)). Is 1 greater than or equal to w?
False
Let o be 2/(6/15) + -4. Is -1/18 > o?
False
Let b(c) = -21 - 6*c - 11*c + 21*c. Let i be b(4). Is -3 at most as big as i?
False
Let x be 3/18*-3*-8*8. Which is smaller: 129/4 or x?
x
Let z = -514 - -2564/5. Which is smaller: -0.1 or z?
z
Let p = 41558/9 - 4632. Is -15 >= p?
False
Suppose 23 = g + d + 2*d, -15 = -3*d. Which is greater: 6 or g?
g
Let a = -171 + 167. Let v be -1 - (-2)/(8/6). Which is greater: v or a?
v
Let g = 2/975 + 1/75. Which is greater: 0 or g?
g
Let i(j) = 6*j**2 - 40*j + 25. Let w be i(6). Is w greater than -1/425?
True
Suppose -52 = 6*n + 7*n. Let q be 53*1 + (4 - 5). Let u be -2 - (2 + q/(-14)). Is u at least n?
True
Let g = -589 + 13549/23. Which is bigger: 2/11 or g?
2/11
Suppose -4*s - 4 = -4*f - 12, -1 = 2*s + 3*f. Which is greater: s or 6/5?
6/5
Let b = 1.1 + -0.1. Let g = 2064 + -2065. Is g greater than or equal to b?
False
Let f = -0.76 + 0.5. Let t = -11.74 + f. Is t greater than or equal to 2?
False
Suppose 0 = -5*n + 2*v + 5 + 6, -3*v = -4*n + 13. Let w be (-16)/((-1232)/99) - 1. Is w at least n?
False
Let j = 31 + -22. Let m = 48.3 + -39.4. Let n = j - m. Which is greater: -0.4 or n?
n
Let d be ((-14)/6)/7*0. Let f be (-18)/(-28)*(-14)/(-105). Which is greater: f or d?
f
Suppose 5*x - 3*y + 0*y - 114 = 0, -5*y = 4*x - 106. Let w be (-482)/x + 5/(-20) + 3. Is w smaller than -17?
True
Let l = 1.3 + -1.34. Let q = -60 - -58. Is q != l?
True
Let s be (-12)/(-15)*2*5. Suppose 0 = s*l - 10*l + 4. Suppose 2*j + 5 = a, -4 = j + l*a - 4*a. Which is greater: j or -11/6?
-11/6
Let m = -3.07 - -3.1. Let x = 0.2 - m. Is 1 < x?
False
Let z = -28 + 27.82. Let m = z + -1.82. Let t = 0.01 - 2.01. Is t greater than m?
False
Suppose -5*l + 11 = k, 5*l - 3*k = -k + 23. Suppose 8*o + 140 = l*o. Let j be 4/(-6)*7/o. Which is smaller: j or 0.1?
0.1
Let t = -0.11 + 0.07. Let f = t - -0.07. Which is smaller: f or -2?
-2
Suppose -5*m = -3*a - 0*m + 116, 3*a = 4*m + 121. Is 41 less than or equal to a?
True
Let o be 21 - (-3)/(-9)*3. Suppose 2*h + 2*h + o = 0. Which is smaller: 0 or h?
h
Let f = 1175 - 1165. Let x be 1/(-2*(-2)/44). Which is greater: f or x?
x
Suppose -2*s = -2*z + 4, -2*s = 4*z + 12 - 2. Let i = -38/77 - -1709/3619. Is i > z?
True
Let l(u) = -u**2 - 14*u - 8. Let b be l(-11). Let o = -25 + b. Suppose -3*i + 4*m + 19 = o, 3*i + 4*m = -0*m + 59. Which is smaller: i or 15?
i
Suppose 5*q - p + 3 + 9 = 0, -3*p + 6 = 0. Let c be (-132)/80 + (-6)/8. Which is bigger: c or q?
q
Let w = -0.2242 + 0.1242. Is 17.7 bigger than w?
True
Let n be 5/2 + (-2)/4. Let x = -17.3 + -2.7. Let k = 14 + x. Is k <= n?
True
Let f(j) = j**2 + 5*j + 9. Let c be f(-3). Suppose 28 = -c*h - 2. Which is greater: h or -8?
-8
Let x(o) = 41*o**2 - 10*o - 6. Let d be x(-1). Which is smaller: 41 or d?
41
Suppose 9*h - 14 = -3*c + 4*h, 10 = -2*h. Suppose 36 = -7*d + c*d. Which is smaller: 0 or d?
0
Suppose 3*p + 4*x + 6 = 0, -2*p + 5*x - 4*x + 7 = 0. Let v = 274/3 - 177/2. Which is smaller: p or v?
p
Let h(r) be the first derivative of r**4/4 + 2*r**3 - 7*r**2/2 + 2*r - 9. Let f be h(-7). Are -1 and f nonequal?
True
Let r be 1 - (-101)/15 - (332 + -328). Are 1 and r equal?
False
Suppose -4*z = -2*z - 4*m - 62, 5*m + 59 = 2*z. Let n = 47 - z. Which is smaller: n or -1/3?
-1/3
Let a(i) = -i**3 + 9*i**2 - 16*i + 15. Let x be a(7). Let c be 1*((x - -2) + -4). Are -2/5 and c equal?
False
Let j = 17 - 28. Let g be 1164/135 + (j/9 - -1). Which is greater: g or 8?
g
Let a(m) = 56*m**2 - m. Let t be a(-1). Which is smaller: -2 or t?
-2
Let s = -29 - -30. Let d be s/(-2)*(1 - -1). Let x = -8/43 + 265/731. Is x smaller than d?
False
Let i be (-6)/(-9) - 2/(-6). Suppose -5*g = -13 - 2. Suppose -3*f = -g*m + 9, -4*m - 2*f = -0*m + 12. Which is greater: m or i?
i
Let i be (-7)/(-4) + 924/(-336). Is -2/345 at most i?
False
Suppose -5*c - 15 = 5*k, -20*c + 21*c - 21 = 5*k. Is c at most 37/26?
True
Let g be (-1 + -1)/((9/(-6))/3). Let x be 3*g/330*(-1 + 2). Is x greater 