62 or n?
-3/62
Let i(r) = -r**3 - 4*r**2 - r - 2. Let n be i(-4). Suppose -4*y + n + 5 = v, v - 1 = -y. Let u be 6/(-3) - y/(-2). Which is greater: u or 1/11?
1/11
Suppose 2*f = -2*d - 3 - 2605, 3*f = -2*d - 2603. Are -1309 and d nonequal?
False
Let x = -125 + 237. Is 110 greater than x?
False
Suppose 0 = 6*j - 5*j + 5*s - 9, -4*s = 3*j - 5. Let l(i) = i**2 + 4*i - 5. Let d be l(-5). Suppose d = 2*b + 8. Which is bigger: b or j?
j
Suppose 4*a - 12 = 20. Suppose 5*p - 28 = -a. Is 3 at most p?
True
Let u = -12 - -13. Let y = -6 - -9. Let n = y + u. Which is bigger: 2/7 or n?
n
Let x = 4 - 8.1. Let l = x + 3.9. Is 6 less than or equal to l?
False
Let i = 158 - 154. Let x(c) = -c - 1. Let q be x(-3). Which is smaller: i or q?
q
Suppose 2*v = 5*g - 61, -2*v + 11*g = 9*g + 46. Which is smaller: -15 or v?
v
Let a be (-23)/3 - 2/6. Let j be (1/(-2))/((-1)/10). Suppose 13 = -2*f - 2*u - 5, 45 = -j*f + 2*u. Are a and f equal?
False
Suppose s + 6 = 5*i - 3, 31 = s + 5*i. Let o be (s + -12)*1*-7. Is -3 equal to o?
False
Let m be 1565/20 + 3/4. Let p = 1342/17 - m. Do p and 0.1 have different values?
True
Suppose 60*s = 57*s. Is s greater than or equal to 4/609?
False
Let x = -3.05 + 8.05. Is -9/19 less than x?
True
Let y be (140/(-16))/(-5) + (-3)/(-12). Let r = 0 + -2. Let o = y - r. Which is smaller: 5 or o?
o
Let u = -6 + 11. Suppose 11*h - u = -27. Which is greater: -18/25 or h?
-18/25
Let q be (-72)/(-220)*((-3642)/9 - 2). Let m = q + 133. Which is smaller: 2 or m?
m
Let p(t) = -t**2 + 14*t + 22. Let o be p(17). Is -117/4 less than or equal to o?
True
Let h = -27 + 29. Let b = 70 + -42. Let f = 29 - b. Is f greater than h?
False
Suppose 3*p - 4*p - 3*j - 4 = 0, -1 = 5*p - 4*j. Is -5/56 not equal to p?
True
Let y = 65 - 59. Let z = y - 8. Let b = -6.2 - -0.2. Is b <= z?
True
Let j = 51.35 + -10.2. Let t = j + -38. Let v = 0.15 - t. Is -0.1 at least as big as v?
True
Let j = -2797/4 + 688. Which is smaller: j or -12?
-12
Let u = 7 + -7. Let a = -0.7 + -4.3. Let q = u + a. Is q greater than or equal to 0?
False
Let t be (1 + -1 - -2) + -1. Let p = t + -1. Suppose -6 = -p*m - 2*m. Is m < 0?
False
Let c = 3/190 - -1566/95. Is c smaller than 1/2?
False
Let u(r) = -r**3 - r**2 + 2*r - 5. Let z be u(-3). Let l be z/(14/8) - 9. Is -5 at least l?
True
Let l(h) = -14 + 15*h**2 - 28*h**2 - 4*h**3 + h + 0*h**3 + 5*h**3. Let x be l(13). Let r be 1/36 + (-1)/4. Are r and x non-equal?
True
Let c(y) = -y + 16. Let u be c(11). Let h = -9 + u. Let k be -5 + (h/(-2))/(-2). Which is smaller: -5 or k?
k
Let g be 6*88/12 + -2. Suppose -r = 2*z + 74, 313 + g = -5*r - 5*z. Let h be 2*(-3 + r/(-24)). Which is greater: h or 0.1?
0.1
Let m(y) = y + 2. Let q be m(1). Let u be (q - 0)*2/6. Is 4/23 smaller than u?
True
Let z(n) = -n**2 + 2. Let j be (0 - 1)/((-3)/(-9)). Let r be z(j). Is -3 equal to r?
False
Let p = -0.0956 - 5.2044. Which is smaller: p or 1?
p
Let k be 6/(-4) + 11/22*-229. Are k and -2 non-equal?
True
Let g be (-42)/63 - (-4)/6. Let l = 10 - 9. Is g equal to l?
False
Let w(l) = -2*l**2 + 3*l + 3. Let f = 77 - 74. Let k be w(f). Is -1 bigger than k?
True
Let f(p) = 3*p**2 + 5*p - 3. Let y be f(2). Is y > 19?
False
Let y(i) = 272*i - 423. Let t be y(4). Is 666 at least t?
True
Let g be 0 + (4/(-10) - (-59228)/126170). Let q = g - 2/407. Which is smaller: q or 0?
0
Let n(y) = 9*y**3 - 1. Let f be n(1). Suppose d = -3*l - f, -2*l - 6 = 5*d + 8. Let s be 6/(-10) + (-16)/15. Is d at most s?
True
Suppose -12*r - 1686 + 4002 = 0. Is r greater than or equal to 197?
False
Suppose 0 = 12*o + 599 - 2627. Which is greater: o or 170?
170
Suppose -7*i = 5*u - 4*i, 0 = 3*u + 5*i. Which is smaller: -2/431 or u?
-2/431
Let r(x) = -x**2 - 116*x + 446. Let m be r(4). Is -430/13 smaller than m?
False
Let u(g) = g**2 - 15. Let h be u(5). Suppose 0 = 5*a - v - 13, a - 4*v - h - 4 = 0. Do 9/10 and a have different values?
True
Let k(s) = s**3 - 8 - s**2 + 7*s**2 - 2*s + 0 - 15*s. Let r be k(-8). Suppose r = -3*b + h - 4, h + 3 = 4*h. Do 2/11 and b have the same value?
False
Let w = -87.082 + 87. Let d = w + 0.041. Are d and 1/3 equal?
False
Suppose 0 = -2*f + 417 - 159. Let z be (-8)/56 + f/(-126). Which is greater: z or -1?
-1
Suppose k = -3*j - 5, -3*j + 7 = -3*k - 8. Suppose -10*w + 2*w + 104 = j. Is 14 equal to w?
False
Let i = 152 + -148. Let p be (3 + -1)*3/2. Is p > i?
False
Let x be ((-6)/4)/((-3)/(-36)). Let t = x + 18. Let c be (5 + t)/(3/3). Which is bigger: 6 or c?
6
Let a = -9 - -9. Which is smaller: 1/135 or a?
a
Let p be (-2)/(-645)*(-120417)/(-44). Let d = p - -3/215. Which is smaller: 10 or d?
d
Let s = -0.02 - -3.02. Let k = 2307 + -2306.94. Is k at most s?
True
Suppose 3*o = 3*y + 51, 0 = 3*o - 0*y + 2*y - 71. Let p = -23 + o. Is p greater than or equal to -10/11?
False
Let b = -4.6 + 3.22. Let a = -0.62 + b. Let w be ((-2)/(-28))/(1/4). Are a and w unequal?
True
Let o = -21 + 101. Let i = 45.2 + -44.2. Are o and i nonequal?
True
Let a(x) = -x**3 - 11*x**2 - 8*x + 19. Let v be a(-10). Let f = -8520033 - -9738396494/1143. Let u = f - 5/127. Is v < u?
False
Let q(k) = -51*k + 25. Let t be q(6). Is t at most as big as -281?
True
Let t be ((-2)/(12 + -10))/(0 - -1). Which is bigger: t or -2.5?
t
Suppose -664 = -6*h - 298. Which is greater: h or 63?
63
Let r be 3/((-7)/(112/12)). Let q be (-146)/(-72) - r/18. Which is smaller: 3 or q?
q
Let n = -62 - -46. Which is bigger: n or 1?
1
Let d = -18 - -35. Suppose -2*v - 2896 = 2*h - 2912, -3*v + h + 52 = 0. Is v at most as big as d?
True
Let u be (8 - 8)/3 + 79*1. Is u less than or equal to 155/2?
False
Let o = 32 + -31.4. Is 21 <= o?
False
Let y = 1/11 + 0. Let u = 23 + -10. Suppose -14*i + u*i = 0. Is i at most y?
True
Let h = -4 - -6. Let v be -3*(15/9 - h). Let z be 57/14 + -3 - v. Which is greater: z or 1?
1
Let g = -43 - -27. Let d = 27 + g. Let b = d + -10.8. Is -0.2 greater than b?
False
Let k be (-5)/1 + (149 - 4) + -1. Which is bigger: 140 or k?
140
Let n be ((-40)/(-15))/(10/(-615)). Which is greater: -163 or n?
-163
Suppose 0 = -2*p - p + 21. Suppose 3 = 76*u - 73*u. Suppose u = -6*o + p. Are 8 and o equal?
False
Let v = -0.393 - -0.053. Let b = v + -0.66. Which is bigger: 8 or b?
8
Suppose 0*i + i - 8 = 4*j, 2*i - 5*j = 10. Let l = i + -3. Let o = l - -50/17. Which is greater: o or 0?
0
Let l = 848 + -832. Is l equal to 19?
False
Let u(i) = -i**3 + 5*i**2 - 5*i - 1. Let g be u(4). Let m = -84 + 80. Is m less than or equal to g?
False
Let w be (1/420)/(12/(-3144)). Let c = 1399/42 - 101/3. Let f = w - c. Which is greater: f or -1?
f
Let c = -11 - -7. Suppose 3*d - 3*i = -9, 3*d - 3*i - 3 = 4*d. Which is smaller: d or c?
c
Let t(l) = -6 + 2*l**2 + l + l + 0*l. Let a be t(4). Suppose g + 2*c = -4, 4*g = 5*c - 11 + a. Which is greater: -1 or g?
g
Let s be 8/(-5*4/(-10)). Suppose -m - s = 1. Which is greater: m or -27/7?
-27/7
Let j = -564 - -571. Let a(u) = -u**3 + 3*u**2 + 2*u - 1. Let k be a(3). Suppose 3*c = 4*c - 1, -l = -k*c - 4. Which is bigger: l or j?
l
Let a = -1386.1 + 1386. Is a < 0.098?
True
Suppose g = -5*g - 78. Suppose -5*r + 40 = -3*w + 110, 2*r + 2*w = -28. Which is smaller: g or r?
r
Let o = 4397/17 + -259. Are o and 2/5 equal?
False
Suppose -5*o + 8 = -3*o. Let r = -3 + o. Let q be (-1 - -4) + (-186)/66. Which is greater: q or r?
r
Let q(j) = 2*j**2 - 2*j - 3. Let g be q(2). Do g and 18/11 have the same value?
False
Let m be 2/2*50/(-25). Is m > -24/7?
True
Let t = 2/111 - -403/222. Let s = t + -7/6. Are s and -3 nonequal?
True
Let o = -97/238 - -43/34. Which is bigger: o or -0.003?
o
Let u = -27.2 + 25. Let r = u - -2.1. Let t be 1 - (50/8)/5. Which is smaller: r or t?
t
Suppose 8*w - 3*w = -5. Let j be w*(12/8)/(-3). Let m = 0.125 - 0.025. Which is smaller: m or j?
m
Let g = -1 - -1. Let z be ((-63)/4)/(-7)*318/(-9). Let d = 80 + z. Which is bigger: d or g?
d
Let d = -3837/13 + 295. Let u(c) = 4*c**2 + 7*c + 10. Let j be u(7). Let h be 1 + 5 + j/(-40). Which is bigger: d or h?
d
Let s = -288 + 287.8. Which is smaller: -0.086 or s?
s
Let b = 4 - -1. Let f = b - 24. Let z = 14 + -33. Is z > f?
False
Let b = -99/28 + 6689/1876. Suppose 8*g - 4*v - 46 = 3*g, -3*v = -4*g + 37. Suppose -5*i = -2*n - 9, -i + 5*i - g = 3*n. Which is smaller: i or b?
b
Let n = -538/577 - -225715/382551. Let q = n - -2/