+ 3*n = -3, y + 5*n + 37 = 4*y. Let o(r) = -r**2 - 6*r - 4. Let i be o(-5). Let v be (-3)/(-2 + i) - -2. Which is greater: y or v?
v
Let b(u) = u**3 - 8*u**2 - 6*u - 26. Let g be b(9). Is 32 < g?
False
Let q be (1 + 2)/((-28)/3). Let u = q + 1/14. Suppose -d = -0*d - 1. Which is greater: u or d?
d
Let x(z) = -3*z + 1. Let t be x(-1). Suppose 24 = -2*h + t*h. Suppose h = -k - k. Which is bigger: k or -7?
k
Let a be (1 + (-1 - 1))*-1. Let p(z) = -z**2 - 7*z + 1. Let o be p(-7). Is a bigger than o?
False
Suppose c - 18 = -0*d + 3*d, -5*c = -3*d - 30. Let b(o) = -o**2 + 12*o + 2. Let r be b(12). Are r and c unequal?
True
Let o(s) = -s + 2*s + 4 + s. Let f be o(-3). Let u = 47 - 139/3. Which is greater: u or f?
u
Let c be (-7694)/126 - (-4)/(-18). Suppose -5*l = 2*v - 137, -v - 4*l + 7 + 66 = 0. Let p = c + v. Is -1 > p?
False
Let x be 1*-2 + -2 - -2. Let o be (2/(-3))/(x/3). Let c be (-44)/(-117) + 4/(-18). Which is smaller: o or c?
c
Suppose d = b - 65, -2*b - 3*d + 325 = 3*b. Which is bigger: 64 or b?
b
Let a(z) = z - 1. Let m be a(3). Suppose -2*k + 10 = 4*v, 4 = 3*v + v. Suppose -4*u + k = -9. Is m < u?
True
Let n be ((-3811)/(-11) + 2)*1. Suppose 25 = 3*f + 2*f, f - 703 = -2*t. Let s = n - t. Is 0 != s?
True
Let g = -65307/9142 - -1/1306. Let s = -7 - g. Are 1 and s nonequal?
True
Let n = 188 - 207.4. Let c = 18 + n. Let x = 0.6 - c. Which is smaller: 0 or x?
0
Let l be 5/((-5)/(-2)) + -1. Which is smaller: l or 8/9?
8/9
Let r(l) = -l**3 - 17*l**2 - 14*l + 35. Let x be r(-16). Does x = -2?
False
Let r = 577 + -2921/5. Which is bigger: r or -6?
-6
Let w = -473/791 - -3/113. Is -1 at most as big as w?
True
Let g be 8/20*(-255)/(-18). Is g at most 6?
True
Let b be (0 + -4)/(2/7). Let q = b + 10. Let s = -4 - q. Which is smaller: 1/8 or s?
s
Suppose -5 = -3*a - 2*a. Let g = 69 - 228. Let r = 1429/9 + g. Do a and r have the same value?
False
Let z be -2 + 0 + -2 - -3. Is z less than or equal to 15?
True
Let j = 8 - 5. Suppose -j*r = -w + 3, 5*r + 1 = -3*w + 10. Which is smaller: r or -2?
-2
Let o be ((-6)/4)/(2/12). Let z = -9 - o. Is 1/3 at least z?
True
Suppose -4*m - 10 = 10. Let x = -3 - m. Suppose -x*s + 2 = 4. Is s >= -2?
True
Suppose 4*u + o + 1 = -0*o, 3*u = -5*o + 12. Let c be ((-1)/(u/14))/(-1). Let g be (-24)/c + 4/14. Is g at most 5/6?
False
Suppose 0 = 2*x - 3*x + 2. Suppose 13 = 4*j + a, 3*j + x*a - 6 = 5. Suppose -j*u = -u. Which is bigger: 4/5 or u?
4/5
Let q be (-3)/(-2)*24/36. Suppose 4*t - 16 = 0, c - t = 2*t - 12. Which is bigger: c or q?
q
Let y = -63 + 65. Which is smaller: 14/11 or y?
14/11
Let n be (3 - -1)/((-10)/(-15)). Suppose 4*z + n = 4*h + 2, -5*h - 5*z - 5 = 0. Suppose -6*d = -2*d + c + 27, -4*d - 3*c - 33 = h. Which is smaller: -5 or d?
d
Let l be (-16)/168*(-14)/6. Let y(g) = -g + 6. Let w be y(5). Suppose 3*z - 4 + w = 0. Which is smaller: l or z?
l
Let d be 64/44 - (6 + -4). Is 0 < d?
False
Let p = -5.9 - -26.9. Is p <= 3?
False
Suppose 0*f = f - 16. Suppose -34*r + 257 = -321. Is r at least as big as f?
True
Let w be 2/(-10) + (-21)/(-5). Suppose -4*i = 0, w*d = -2*i - 0 + 8. Suppose 7*f - 21 = d*f - 3*l, f - 11 = -4*l. Is 2 < f?
True
Let o = 15 + -10. Suppose 2*s + 7 = -2*a + s, 2*a = -o*s - 11. Let m be ((-2)/a)/(10/3). Which is greater: m or -1?
m
Let y = 9 + -7. Suppose 0 = -j + l, 0 = 5*j - 2*l + y + 1. Which is bigger: 5 or j?
5
Let j(i) = -i**2 - 12*i + 14. Let q be j(-13). Suppose 0 = -4*y + q - 193. Let m be (-4)/10 + y/30. Is 0 != m?
True
Let m = 12 + -10. Suppose s + m*s = -3. Is s >= -0.12?
False
Let x be (-14)/420*(-5)/2. Let g = 5 - 4. Which is smaller: g or x?
x
Suppose -6 = -5*v + 4*v. Which is smaller: 2 or v?
2
Suppose -4*f = 3*f - 3*f. Which is greater: -1/3 or f?
f
Let m = 1 - 3. Let a be 4/m - (-2)/1. Suppose a = -t - 0*t - 6. Which is smaller: -2 or t?
t
Let u = 0.53 + 0.12. Let f = 0.05 - u. Let y = f + 0.4. Are 0 and y non-equal?
True
Suppose -2*x + 12 = 4*r - 4, -5*r = x - 14. Suppose -x = -3*i + i. Is i not equal to -1?
True
Let h be -1 - (-183)/(-24) - 2. Let g = 1259/120 + h. Which is bigger: -1 or g?
g
Suppose 0 = -4*r + 7 + 25. Is r != 0?
True
Let h = -78/713 + -16162/139035. Let v be 0 + 2/(-156)*2. Let g = v - h. Are g and -1 equal?
False
Let r = 1.9 - 9.9. Let n = r + 7.9. Do n and -5 have the same value?
False
Suppose 5 = -3*r - 1. Let i be (-10)/4 - (-1)/r. Let w(z) = z**3 + 14*z**2 - 14*z + 13. Let g be w(-15). Is i equal to g?
False
Suppose 26 = 5*v - 2*r, r + 28 = 4*v + 3*r. Suppose -5*c - v = -2*c. Which is smaller: -3/2 or c?
c
Let f = 10 - 9. Suppose s - 2 = -3*j, -5*s = -5*j + f + 9. Is j smaller than 1?
False
Let g(u) = -u**2 + u + 1. Let w be g(0). Suppose a = -2*m, -a - a + m - 5 = 0. Let q = a + 1. Do w and q have the same value?
False
Let k be (-22)/24 + 4/6. Let o = -46.1 - -55. Let n = -9 + o. Is n at most k?
False
Let y = 14 - 8. Let r be y/(-27) + 22/18. Which is greater: -3 or r?
r
Let p = -9/73 + 1551/146. Let o(l) = 2*l**2 - 7*l + 6. Let n be o(4). Let f = p - n. Is f < 0?
False
Let a be 4/(-2) - (-1 + -4). Suppose 4*j - 9 = -k, 0*j - k + a = -2*j. Is -2/25 greater than or equal to j?
False
Let c be ((-136)/(-40))/(6/(-10)). Which is smaller: c or -5?
c
Let v be ((-4)/(-3) - 2)/5. Let m = -5/4 + 3/4. Which is greater: v or m?
v
Suppose 3*h = -4*r + 7, -3*r + 4*r - 6 = -5*h. Let m(f) = -r + 5*f + 3*f**3 - 6*f**3 - f - 3*f**2 + 2*f**3. Let d be m(-4). Is 2/7 less than d?
False
Let v(s) = -s**2 + 21*s - 30. Let m be v(21). Is -30 <= m?
True
Let d be (1/4)/((-3)/6). Let c = 1 + d. Is 0 at least as big as c?
False
Let p = 71467/136280 - -2/3407. Let i = 1/8 - p. Which is smaller: -1 or i?
-1
Let g be (-40)/(-50)*10/4. Let a = 7 - 6. Which is bigger: a or g?
g
Let y = -10 - -15. Let l(j) = j**2 + j - 2. Let c be l(-3). Is c smaller than y?
True
Let x = 4 + -4. Suppose x = 5*k + 4*z - 30, 7*k - 3*k = 2*z - 2. Let l be 3/12*k - 0. Which is smaller: 0.1 or l?
0.1
Let o = -2.592 + -17.318. Let w = o + 20. Is -0.1 < w?
True
Suppose -2*r + 5 = 3. Let k be r*((0 - -1) + 0). Let m(w) = w**3 - 6*w**2 + 1. Let d be m(6). Is d greater than k?
False
Suppose 5*q + 2*d + 3 = -31, -10 = 3*q - 4*d. Let x be (-4)/q + (-10)/6. Which is greater: x or 1?
1
Suppose 0 = -5*i - 2*w + 10, 8*w = 3*w + 25. Suppose 3*k + k - 8 = i. Which is bigger: k or -6?
k
Suppose -2*c = c + 9. Let l be (c - -3)*(-1)/(-2). Which is smaller: l or -2/5?
-2/5
Let n = 2 - 4. Let u be ((-3)/(-9))/((-3)/18). Is u <= n?
True
Suppose -p - 18 = -2*p. Let m = -12 + p. Let h be (2/(-21))/((-2)/m). Which is smaller: h or -1?
-1
Let j = 78 + -87. Suppose 0 = -4*l + 17 - 65. Let m = l - j. Which is smaller: 0 or m?
m
Let y = -10 - -7. Is y equal to -1?
False
Let l = -100 + 101. Is 40 less than or equal to l?
False
Let z(o) = -o**3 - 2*o**2 + 2*o + 2. Let b be z(-3). Suppose -3*h = -x, -b*x - 7 = -4*h + 4. Let v = -2/279 + 572/1953. Which is smaller: v or h?
h
Let z = 28 + -16. Let o = -3 - -8. Let v = o - z. Which is greater: -6 or v?
-6
Let l(g) = g**3 + 5*g**2 + g - 3. Let s be l(-4). Let h = -2.9 - -3. Is s bigger than h?
True
Let k be 3 - (-1 - (1 - 3)). Suppose 0 = -3*d + 8*d - 10. Is k != d?
False
Let d = -15 + 9. Let c = 7 + d. Which is smaller: c or 3?
c
Let y = -2 - 0. Is y <= -2?
True
Let u be (4 - (-356)/(-88))/((-2)/4). Suppose 0*o = -o - 1. Is o at most u?
True
Let w = -0.1 - -0.02. Let q = w + -3.92. Let s = 0 - q. Is 2/3 >= s?
False
Let t(c) be the second derivative of -c**4/12 + 11*c**3/6 - 5*c**2 + 2*c. Let d be t(10). Which is smaller: d or 2/11?
d
Suppose -3*q - 82 - 8 = 0. Let x be (-16)/q*(-6)/(-8). Let z = x + -11/15. Is z < -1/2?
False
Let c = -11 - -9. Let k be ((1 - c) + -2)*0. Is k less than or equal to -2?
False
Let t be 10*((-7)/5 + 1). Let f = -9 + 15. Let j = t + f. Which is bigger: j or 3?
3
Let d = 12.9 + -14. Let o = d - -0.6. Let g = 7.5 - o. Is -1 <= g?
True
Let z be (-3 + (-140)/(-45))/(-1). Which is greater: z or -1?
z
Let z = -59 + 49.1. Let g = 10 + z. Which is bigger: 6 or g?
6
Let f(n) = 0*n + 3*n + 1 + 4*n - 4*n. Let y be f(3). Is 9 less than or equal to y?
True
Suppose 4*b = 2*p - 10, b - 4 = p - 4*b. Is 23/2 less than p?
False
Let c = 0.08 + 0.16. Let m = c + -0.34. Is m equal to 0.06?
False
Let v = 24 - 17. Let g = v + -4. Is g bigger than 1/8?
True
Let j = -0.9 - 0.1. 