5*n - 39 - 1. Let b = -13 + n. Which is greater: j or b?
j
Let f be 1 + 0 + 7/(-2). Which is smaller: f or -2?
f
Let g(r) = -r**3 + 5*r**2 + 7*r - 5. Let w be g(6). Let l = w - 1. Let t be 8/(-14)*(-3)/(-4). Which is smaller: t or l?
t
Suppose 2*k + 3 = 2*u + 5, -5*k = 2*u + 30. Let t = -7 - -12. Suppose -4*o - 3 = -2*x - 15, -2*x - 13 = -t*o. Is x greater than u?
True
Let h = -38 + 17. Let k = -5 - h. Suppose -k = -4*y, -t + 4*y = 14 + 2. Which is bigger: -2/9 or t?
t
Let y = 14 - 20. Let t(f) = 2*f**3 - 3*f**2 + 2*f + 1. Let v be t(2). Let w be v/y + 1 + 0. Is 1 greater than or equal to w?
True
Let u = -199 + 198. Suppose -d = 2*d + 3. Is d greater than or equal to u?
True
Let z = 23/33 - 4/11. Which is bigger: z or 99?
99
Suppose 0 = -2*y - 4, 11 = -j + 2*y - 7*y. Let m be ((-2)/80)/(4/8). Which is bigger: m or j?
m
Suppose -l - 2*l = -6. Does 9/5 = l?
False
Let d(b) = b**3 - 5*b**2 - 8*b + 9. Suppose -3*n + 43 = -5*q, 3 = -2*n - 6*q + 3*q. Let g be d(n). Is -3 equal to g?
True
Suppose 0*b + 5*b = 0. Let j be (-6)/(-14)*1/(-3). Which is smaller: j or b?
j
Let d be -3*(2 + (-12)/9). Let a = d - -3. Let l be (0/(3*-1))/a. Is l < 1?
True
Let z = -17 - -8. Let l = 13 + z. Let b = l - 3.9. Which is smaller: b or -1/3?
-1/3
Suppose 10*b + 24 = 12*b. Let v be (-2)/3 - b/(-18). Which is greater: v or 4/7?
4/7
Let m be ((-6)/(-8))/((-4)/96). Let t be (-4)/18 - 16/m. Suppose -3*h + 9 = 3. Which is smaller: t or h?
t
Let w(y) = -2*y**2 + 8*y + 1. Let h be w(4). Is 1 greater than or equal to h?
True
Suppose y = -2*y - 5*g + 20, 3*g = 5*y + 12. Suppose y = z + z + 4. Let s be 3 + z - (-2 + 2). Is -2/5 at least as big as s?
False
Let j = 66 - 74. Which is bigger: -39/5 or j?
-39/5
Suppose -3*y = -8*y. Which is bigger: -1 or y?
y
Suppose -3*s = -1 - 14. Suppose s*b + 53 = -v, -2*v = -4*b + v - 31. Let f be (-7)/(-14) - b/(-12). Is f less than 0.1?
True
Let k = 34 + -169/5. Which is greater: k or 1?
1
Let o = -74 - 13. Let l = -90.9 - o. Let t = l + 4. Which is smaller: 1 or t?
t
Let h(o) = 2*o**2 + 5*o + 5. Let v be h(-5). Suppose 0 = 3*t - v. Let m be -2 + ((-42)/t)/(-3). Which is bigger: -2 or m?
m
Let a be (-2)/(-6) + 3/(-9). Let l = -19/5 - -22/5. Is a at least l?
False
Let f = -7 - -19. Which is bigger: 11 or f?
f
Let p = 103 + -104. Let d = -0.1 - -0.2. Which is smaller: d or p?
p
Let y be 3/(2 - (-3)/(-6)). Let m(a) = -a**2. Let x be m(y). Suppose v = 2*v + 5. Is x less than v?
False
Let s = 12 + -14. Let g = -10 - -8. Is s smaller than g?
False
Let d(l) = 13*l + l**2 + 3 - 7*l - 2*l**2. Let t be d(6). Suppose -t*x = -x + 10. Which is smaller: -6 or x?
-6
Suppose -7*w - 1 - 13 = 0. Is w bigger than -1?
False
Let l(v) = -1 - v + 2 - 4. Let n be l(-4). Do 0 and n have different values?
True
Let r = -1.2 + 1.34. Let g = 0.06 + r. Is g equal to 2?
False
Let w(x) = x**3 + 12*x**2 + 20*x + 14. Let p be w(-10). Which is greater: p or 15?
15
Let h = 3.8 + -1.2. Let p = h - 0.6. Let y be 1/(-15) + (-6)/(-15). Which is smaller: p or y?
y
Let t(l) = -l**3 + 4*l**2 + 4*l + 7. Let j be t(5). Suppose j*b + 3 - 5 = 0, i + 4*b = 14. Let a be ((-24)/30)/(2/i). Are -4 and a unequal?
False
Let b be (-1 - -2) + (-18)/14. Let m = 31 + -31.3. Do m and b have different values?
True
Let q be 22/(-3) + 2/(-3). Let b = -5 - q. Let m be 4/(-9) + 2/b. Is -1 at most m?
True
Let t be -33 - 2 - 2/6. Let y = -36 - t. Which is bigger: 9 or y?
9
Let k = 19 - 3. Let t = -11 + k. Suppose 0 = 3*c + x + 11, 4*x = -t*c - x - 35. Which is smaller: c or -3?
-3
Let o be (-1)/(-2) - 10/20. Is 13 <= o?
False
Let v(m) = m**3 - 4*m**2 - 6*m + 7. Let y be v(5). Let u be 15/(-6) - y - -2. Is u at least as big as -3?
True
Let k(d) = d - 3*d + 3*d + 6. Suppose 3*h + 2 = -19. Let y be k(h). Which is greater: 1/4 or y?
1/4
Let p be (3/2)/(7812/3504). Let o = p - 12/31. Let c be (-1)/(3/2 + -1). Is c at least as big as o?
False
Let z = 5 - 5. Let p be (9 + z)*2/(-3). Let r be (4/(-6))/(p/(-9)). Is -1 at most as big as r?
True
Let z = -47 - -58. Are 12 and z nonequal?
True
Let y(o) = 26*o - 10. Let s(l) = 5*l - 2. Let h(g) = -16*s(g) + 3*y(g). Let f be h(3). Let j be (-6)/(-3) - 4/1. Are f and j equal?
False
Suppose -5*y + 15 = -3*n, -5*y - 3*n = 9 + 6. Let i(l) = l + 1. Let f be i(0). Let z = -3 + f. Is y > z?
True
Suppose -r - 50 = 4*m - 2*m, 3*r - 120 = 4*m. Which is smaller: -26 or m?
m
Let m = -2.31 + -0.59. Let x = 2 + 1. Let p = x + m. Which is smaller: 0.4 or p?
p
Let n = -149 + 209. Is n at least as big as 60?
True
Let p = 18.7 + -12.8. Let r = p - 0.9. Let a = r - 3. Do a and 0.1 have the same value?
False
Let b = 17 - 15. Suppose 5*z = -3*r + 22, 7*r - 4*r - 16 = -2*z. Is b at most as big as z?
True
Suppose 4*d - 5*d = -2*f + 3, -3*d = 5*f - 13. Suppose -4*q - 3*m + 12 = -2*q, 4*q + 8 = f*m. Let k be (-12)/(-16)*(-7)/42. Is q at least as big as k?
True
Let l = 0 - 0.8. Let h = -1 - l. Does -1/3 = h?
False
Let g = 12.94 + -11. Let i = -0.06 - g. Let b = 2.04 + i. Is -1 equal to b?
False
Let d(t) = -5*t - 1. Let q be d(-1). Let n be 1/q + (-6)/88. Suppose 3*a + 3 - 6 = 0. Which is smaller: n or a?
n
Suppose r + 3*r - 1644 = 0. Let i = 1256/3 - r. Let d = i + -17/2. Is -2 greater than or equal to d?
False
Suppose 5*j - 4*a - 34 = 2*j, 4 = 2*j + 2*a. Which is smaller: j or 9/2?
9/2
Let x = -3 - -4. Let a = x + 3. Suppose -10 = -2*r + q, 0 = 4*r - 2*r - 3*q - 10. Is r less than a?
False
Let d = -0.15 + -6.85. Let r = 6.9 + d. Which is smaller: -2/9 or r?
-2/9
Let m = -1364213/11 + 124130. Let r = 111 - m. Which is smaller: 0 or r?
0
Let w be (-3)/(-1) - 15246/35. Let c = 434 + w. Which is greater: c or 2?
2
Let b = -11 + 20. Let t(x) = 6*x - 2. Let i be t(1). Suppose -i*y = -y - b. Is 3 greater than y?
False
Suppose 0 = 5*w - 3*z - 19, 5*w - 2*z - 11 = 2*w. Suppose -6 = 3*t, 2*t + 7 - 3 = -w*b. Is b at least 1/2?
False
Let i(u) = -u**2 - 3*u + 10. Let z be i(-5). Which is smaller: 3/11 or z?
z
Let x(t) = t**3 + 3*t**2 - 4*t + 1. Let i be x(-4). Let f = 5657/3304 + 1/472. Let g = f + -29/21. Which is smaller: i or g?
g
Let u(i) = 2*i**3 + 8*i**2 - 7*i - 19. Let z(f) = -f**3 - 4*f**2 + 3*f + 9. Let x(v) = -6*u(v) - 13*z(v). Let a be x(-3). Which is greater: -4 or a?
a
Let i(s) = s**2 - 3*s - 5. Let c be i(5). Let d be (0 + 2 - c) + -92. Let v = 478/5 + d. Which is smaller: v or 2?
v
Suppose -d - 5*k - 14 = 2*d, 0 = -3*d - 3*k - 12. Which is smaller: d or -7/2?
-7/2
Let b(p) = -p**2 - 2*p + 42. Let f be b(7). Which is smaller: -24 or f?
-24
Let v(x) = -x**3 + 10*x**2 + 10*x + 14. Let z be v(11). Suppose 5 = -2*g - z*g. Is 1/39 at most as big as g?
False
Let r be (-3)/((-4)/(-5) + -1). Let p = -1 - -1. Suppose -3*y + r = -2*z, -21 = -3*y + 4*z - p. Is y <= 2?
False
Let n = -0.8 - 13.2. Which is greater: -1 or n?
-1
Let g = 7 + -8. Suppose 0 = -0*j + 5*j. Suppose -a - a = j. Is a >= g?
True
Let c = 3 + 53. Which is greater: c or 1?
c
Let z = -31 - -10. Which is bigger: -4 or z?
-4
Let b = 4 + 8. Let x = 12.1 - b. Which is smaller: -0.4 or x?
-0.4
Suppose -z + 84 = 3*z. Let r = -103/5 + z. Which is smaller: r or 1?
r
Let o(p) = p**2 + 7*p + 6. Let z be o(-6). Which is smaller: 1/25 or z?
z
Let p = 3 + -2. Let q = 105.2 - 106. Are q and p nonequal?
True
Let f = 49 + -69. Let n = -18 - f. Is n smaller than 1?
False
Suppose 0 = -0*m + 4*m. Let g = 19 - 11. Let t = g + -8. Is t > m?
False
Let n be 8*(4/24)/((-3)/(-27)). Which is greater: n or 11?
n
Suppose -h = -2 + 1. Which is bigger: h or 2/79?
h
Let j(s) = -s**3 - 3*s**2 + 3*s + 2. Let p be j(-4). Suppose 6*r - 2*r - 20 = 0. Suppose -r*x - 8 = 4*i + 10, -p = 2*x + i. Is -3 bigger than x?
False
Let g = -53 + 53.23. Which is smaller: -1/4 or g?
-1/4
Let u be 8/(-6)*(-3)/2. Let n = u + 2. Let r be (-5)/(-15) - n/30. Which is smaller: 0 or r?
0
Let k = 14 - 8. Let d = -4.1 - -10.4. Let y = k - d. Which is smaller: y or -2/3?
-2/3
Let s = 0.22 + 1.18. Are s and 0 nonequal?
True
Let v = 25 + -25. Are 2 and v unequal?
True
Let k = -4 + -1. Which is smaller: -7 or k?
-7
Suppose 3*q + 2 = -2*b + 2*q, -4*b - 2 = 3*q. Let i = -0.9 - -5.9. Let v = i - 4.9. Which is bigger: b or v?
v
Let m = 1.06 - 0.06. Which is smaller: m or 1/4?
1/4
Let y be 200/96 + 0 + -2. Which is bigger: y or -1?
y
Suppose 0 = d - 3*d + 6. Suppose -d*n = -7*n + 4. Are 3 and n equal?
Fal