et d be n(-4). Let f be (1 - -2) + d/143. Which is bigger: -1 or f?
f
Let o = 15 + -31. Let d = o + 15. Let l = -0.2 - -0.1. Which is smaller: l or d?
d
Let t(b) = -2*b**2 + 2*b + 1. Let w(j) = -3*j**2 + 3*j + 2. Let l(i) = 4*t(i) - 3*w(i). Let z be l(3). Is 4 at least as big as z?
True
Suppose -16 = -5*x + 19. Let h(u) be the first derivative of u**2/2 - 5*u - 5. Let k be h(x). Are 1 and k nonequal?
True
Let y be (4/(-6))/(2/30). Let c be y/(-6) + 1*-1. Let w = -2.4 - 0.6. Which is smaller: w or c?
w
Let j(i) = i - 5 + 7*i**3 - 5*i**2 + 4*i - 4*i**3 - 2*i**3. Let b be j(4). Which is bigger: b or 2/9?
2/9
Let p = 0 - 2. Let c = -4.6 - -4. Let a = 0.4 - c. Which is smaller: p or a?
p
Suppose 3*z + 22 = -0*a + 2*a, -z - 10 = -2*a. Is z greater than or equal to -9?
True
Suppose -3*v + 49 = -41. Suppose 7*o - o = v. Is 6 < o?
False
Let u = 0.19 - 0.2. Let o = u - 1.99. Let x = -1 + o. Which is bigger: -0.1 or x?
-0.1
Suppose -5*z = -20 + 5. Suppose 0 = 4*r + 2*p - 6, p + 4 = -4*r - z*p. Suppose 0 = 3*f + 5*h + 6, 0 = f + 2*f + r*h + 6. Which is greater: -1 or f?
-1
Suppose 4*d = -5*x - 0 + 10, -3*d + 21 = -3*x. Suppose 2*b - 6*b - m = -24, -9 = -b - m. Is b bigger than d?
False
Suppose 5*h - 2*b = 10, -18*b + 10 = -20*b. Let j = -19 + 9. Which is smaller: j or h?
j
Let v(g) = -g**2 - 5*g - 4. Suppose 4 = 2*b - 3*b. Let w be v(b). Suppose a + w + 2 = 2*j, -4*a - 16 = 0. Which is smaller: j or 2/17?
j
Let o be 2 - (-11158)/40 - -2. Let q = o - 283. Suppose -7 = -6*n - 13. Which is greater: q or n?
q
Suppose -5*i - 4*u = 11 - 2, 0 = -2*i - 5*u - 7. Let g = 148 - 1034/7. Which is greater: g or i?
g
Let f be ((-3)/15)/(6/1475). Let g be 104/2 - (-1 + 4). Let d = g + f. Is 0 at most as big as d?
False
Let g be -1 - (8 + -7)*(-2)/1. Which is greater: g or 2/25?
g
Let k = -21 - -20. Let x = k - 0. Let d = -1 + 2. Which is smaller: d or x?
x
Suppose -5 + 6 = -n. Is n greater than -1/18?
False
Let l(x) = x**3 + 12*x**2 + x + 22. Let u be l(-12). Which is greater: u or 12?
12
Let a be 0 + ((-3)/2 - -2). Suppose -4 = -2*j + f, -3*j - 3*f + 6 = -2*f. Is a <= j?
True
Let m = -3 + 8. Suppose -14 = -m*k + 6. Is 5 at most as big as k?
False
Suppose 3*x - 7 = 5. Is x bigger than 4?
False
Let y = 0.341 + -2.271. Let f = -0.7 + 0.63. Let u = f + y. Is -1/4 > u?
True
Let o be ((12/7)/6)/(36/(-28)). Suppose 0 = 3*i - 8*i - 3*d + 10, 0 = 3*i - 5*d + 28. Do o and i have the same value?
False
Let i = -1 + 4. Suppose 5*h - 5*c = -55, h = 4*h - c + 33. Let k be 14/77 - 31/h. Are i and k nonequal?
False
Suppose -7 = 3*c + 2. Let u be (-6 - c - -2) + -1. Which is smaller: u or 1?
u
Let f be (-2)/1 - 24/(-9). Let b = 74 + -71. Which is smaller: b or f?
f
Let v = -2 - -2. Let z be ((-1)/(-10) - v)*2. Let t be 0/(1/(-2)*-4). Which is smaller: t or z?
t
Let m(k) = 9*k**3 - 2*k**2 + k. Let j be m(1). Suppose 2*d = -0*g - 2*g + j, -g = -2*d + 11. Is -2/7 less than or equal to g?
False
Let l be (((-3)/2)/1)/((-1)/(-2)). Are l and -3 unequal?
False
Let y = -0.31 - -0.1809. Let l = 5.7609 - y. Let w = l - -0.11. Is -1/2 at least as big as w?
False
Let l = -616/5 - -124. Which is bigger: 2 or l?
2
Let l(o) = 13 + 3*o**2 - 13*o - 2*o**2 + 0*o**2. Let d be l(11). Let g be 2/4 - d/(-6). Which is smaller: g or 0.2?
g
Let y be 1/(-1 + (-26)/(-24)). Let t be (-4)/(-6)*y/(-8). Let r = t + 0. Is -1/4 equal to r?
False
Let w = 1.98 - 2. Let z = -0.03 + w. Let y = -0.05 + z. Which is smaller: 1/3 or y?
y
Suppose -r + 6 = -5*u, -3*u - 2 + 4 = 5*r. Let h be 0 + (-4 - (r - 0)). Let x be -2 - (-1 + -11)/(-4). Is h at least as big as x?
True
Let f be (2 - -1)/((-3)/(-37)). Suppose -5*r + n - 2*n = f, -3*r - 3*n - 15 = 0. Which is bigger: r or -9?
r
Let p = 5 + -8. Is 1 greater than p?
True
Let a = -1 - 1. Let d = a - -2.1. Is d at most as big as 2/7?
True
Suppose 0 = -o + 1, 0 = -4*q + 5*o - 1 - 0. Suppose -5*z - 4*x = 1495 - 150, -5*x = 3*z + 820. Let a = -2123/8 - z. Is q less than a?
False
Let v be ((-4)/8)/((-5)/(-158)). Let m = v + 16. Which is bigger: 1 or m?
1
Let l(r) = 3*r - 10. Let c be l(3). Is 3 greater than c?
True
Suppose -5*q + 3*g + 19 = 0, 2*q - q = -5*g - 13. Suppose 2*m + q = -0. Let n be -1*(-2)/2*m. Which is greater: -2/3 or n?
-2/3
Let h(d) = -6*d - 1. Let f be h(-1). Is f less than or equal to 5?
True
Let g be (-24)/(-56) + (-50)/(-14). Is 18/5 at most g?
True
Let i = -9 + 8.8. Let u = -1.2 - i. Let j(c) = -c - 1. Let n be j(5). Is u not equal to n?
True
Suppose -4*g + 6 = -4*b - 14, -4 = 4*g + 4*b. Suppose -g + 14 = 3*v. Let i be 2 - 0 - 9/v. Which is smaller: i or 0?
i
Let t(z) = -z**2 + 8*z - 5. Let q be t(7). Let u = 53/2 - 25. Which is greater: u or q?
q
Let c be (-7)/(-5) + 4/(-10). Let z be (-2)/4 - c/4. Let w = -1 + 0. Which is smaller: w or z?
w
Let m = 6 + -4. Let w be m - (2 + (0 - 0)). Let h = w + 1. Which is smaller: h or 2/9?
2/9
Suppose -m - 3 = 11. Let f = 19 + m. Is 5 greater than or equal to f?
True
Suppose -7 = 5*v + 3. Let g = -1 + v. Is g greater than -2?
False
Suppose i = 2 - 3. Let f = 682/5 + -138. Is i > f?
True
Let b(v) = -6*v - 60. Let r be b(-13). Are r and 17 equal?
False
Let o = 1.2 + -1.2. Which is greater: -7 or o?
o
Suppose 10 = 2*j + 4*x, 4*j + 6 = -0*j + 5*x. Is 1/13 not equal to j?
True
Let u(d) = d**3 - 7*d**2 - 4*d - 2. Let m be u(6). Let h be (2 + 128/m)/17. Let v = 1024/7905 - h. Are v and 1 equal?
False
Let o(a) = -a**3 - 3*a**2 + 3*a + 6. Let p be o(-3). Is p < -9/5?
True
Let n(v) = -2*v**3 - 11*v**2 - 4*v + 23. Let a be n(-4). Let m(o) = -o**2 + 4*o + 3. Let p be m(-2). Is p at least a?
True
Let k = 2 + 0. Suppose 23 = 5*g + 2*i, 0 = k*g + g + 2*i - 13. Let x = 7 - g. Which is bigger: 1 or x?
x
Let r = -2342/7 - -334. Let a = 0.8 + -3.9. Let z = a + 3. Which is greater: z or r?
z
Suppose -3*m + 5*m - 3*r + 7 = 0, 5*m + 4*r - 17 = 0. Let s be ((-4)/(-3))/(6/9). Is s greater than or equal to m?
True
Let g = -21 + 35. Let f be (-38)/g + (-2)/7. Which is bigger: f or -5?
f
Let a(h) = h - 1. Let r be (-4)/18 - 705/(-135). Let z be a(r). Is 3 at most z?
True
Let k = 557 - 2183/4. Let l = -8 + k. Are l and 2 unequal?
True
Let f(y) = y**3 + y. Let t be f(1). Are t and 1 non-equal?
True
Let p be 1/2 - 14/84. Which is greater: -3/2 or p?
p
Let q = 81/259 + -1/37. Suppose 2*t + 3*g = -5, -2*t + 5*t - g = -2. Which is smaller: q or t?
t
Let a = 44 + -22. Let x = -9 + a. Which is smaller: 14 or x?
x
Let j(c) = c**3 - 6*c**2 - c + 5. Let n be j(6). Let s = -813/5 - -161. Which is smaller: s or n?
s
Let i = -2891/11 + 263. Are 1 and i unequal?
True
Let d = -28 - -27. Is d at most -0.37?
True
Suppose l + 3 = -2*l, -s + 5*l = 91. Let z = -865/9 - s. Suppose -2*a = -0*a. Is z > a?
False
Let c = 47 + -46. Which is smaller: c or -5?
-5
Suppose 0 = -4*i - 4*c + 76 - 8, 5*i = -2*c + 79. Let t = -10 + i. Which is smaller: 3 or t?
3
Let o be 4*((-14)/(-8) + 0). Suppose o = h + 2*z - 13, -h + 17 = -z. Let k be h/15 - 1/5. Which is bigger: k or 4/5?
k
Let v = -8.02 + 8. Let l = -11.02 - v. Are l and 2/5 equal?
False
Let o = 2 + -5. Which is smaller: o or -2?
o
Let j be -7 - (0 - (3 + -5)). Let v = -2 - 6. Which is greater: v or j?
v
Let u = -7 + 2. Let r = u + 6. Which is smaller: r or -1?
-1
Let b = 1.4 - 1.8. Let y = 0.3 + b. Which is smaller: y or 2/9?
y
Let n = 3/298 + -927/3278. Which is smaller: 0.2 or n?
n
Let f = -18 - -11. Let j = f + 7. Is j bigger than 5?
False
Let k = -7 + 10. Which is smaller: k or 5?
k
Let w be 2 + 0 - (-51)/(-30). Is 0 at least w?
False
Let o = -99/8 + 629/56. Which is smaller: o or -1?
o
Let r = -29 - -18. Is -35/3 at most r?
True
Let u = -26 - -33. Let k be (-228)/(-945) - 2/u. Is k smaller than -1?
False
Let j(t) = -t + 5. Let v be j(-2). Is v >= 2?
True
Let z = -0.07 - -0.07. Let f = z + -7. Let d = -5 - f. Is 0 bigger than d?
False
Suppose 516 = 5*j - 3*p, -2*p + 512 = 5*j - 3*p. Let c be 12/42 + j/(-14). Is -6 at least c?
True
Suppose 0 = s - 0*s - 3. Suppose -s*g + 12 = -0*g. Suppose 45 = -5*f - m - 4*m, -g*f = -m + 11. Which is smaller: -3 or f?
f
Let n = 33 - 34. Which is bigger: n or -53?
n
Let a = -26.012 - -0.012. Which is smaller: a or 1/3?
a
Let l(f) = -f**3 + 3*f**2 - 2*f + 5. Let p be l(3). Which is bigger: p or -3/28?
-3/28
Let i = 0.4 - 0.3. Suppose 8 = 3*k + 11. Which is bigger: k or i?
i
Let x be 3/4 - (-