**2 + 4*v - 3. Let y be c(-5). Let i be (y/(-8))/(13/(-16)). Let s(q) = -q**3 + 3*q**2 + 4*q + 1. Let l be s(4). Which is bigger: l or i?
l
Let b(k) = 5*k + 42. Let o be b(-14). Do o and -26 have the same value?
False
Let i = 31 + -21. Which is smaller: i or 12?
i
Let h be 1 - -1 - 2*-1. Let x be 4/((-32)/(-6))*(-20)/(-6). Is h > x?
True
Let l(q) = 3*q + 25. Let h be l(-9). Which is smaller: -22/7 or h?
-22/7
Let d = -33 - -26. Which is smaller: -8 or d?
-8
Let o = -82 + 142. Are 60 and o unequal?
False
Let x = 701/30 + -70/3. Is -1 less than or equal to x?
True
Let u(v) = 3*v**3 - 2*v + 1. Let s(n) = n + 7. Let i be s(-6). Let g be u(i). Is g greater than or equal to 2?
True
Let y = -2 + 4. Let r = -2 + y. Suppose r*b + 5 = -5*b. Is -2/3 less than b?
False
Suppose b - 18 = -5*a + 3*a, -5*b + 55 = 3*a. Suppose -2*i = -10, 3*i - 16 = -3*d + 17. Suppose b*p - d*p - 4 = 0. Which is bigger: p or 5/7?
p
Let o = -6 + 4. Which is bigger: o or -3?
o
Suppose -5*w = -2*c + 63 + 104, 3*c = -4*w - 129. Let j be (-2)/(-13) + w/(-39). Which is greater: j or -2/11?
j
Let z be (-2)/6*(-8 - -2). Suppose -z*w + 3 = -1. Suppose 0 - 2 = -w*s. Which is smaller: 0.3 or s?
0.3
Let f = -2/12747 + 675671/509880. Let c = f - 6/5. Is 1 at least as big as c?
True
Let v = -21122/21 - -1006. Suppose -2 = -n - 1. Which is smaller: n or v?
v
Suppose 3*u = -5*q - 9 + 34, -2*u = -4*q + 20. Suppose -5*j + 5*v = 0, -4*v + 6*v = u. Which is smaller: 1/2 or j?
j
Suppose 0 = -7*k + 5*k - 2. Let a = 0 + -1. Is a <= k?
True
Let u = 3 + -4. Let r = 2700 - 23803/8. Let w = -275 - r. Is u at most as big as w?
True
Let v be (-3)/(-12)*12808/6. Let m = 513 - v. Let n = m + 20. Which is smaller: -2 or n?
-2
Suppose 5*f + y = -0*f - 31, -27 = 5*f - 3*y. Let m(p) = -p - 2. Let s be m(3). Are f and s equal?
False
Suppose 3*p - 1 + 4 = 0. Let l = 2347/9 - 261. Does l = p?
False
Suppose -z + 8 = -5*y, 4*y + 21 - 8 = 3*z. Which is smaller: 17/6 or z?
17/6
Let f = -1 - 2. Is -4 > f?
False
Let o be 12/(-10)*(-1)/2. Let i = 10 + -4. Let h = i + -5. Which is smaller: h or o?
o
Let l be (0 - -1)/(2/8*4). Is 1/6 at least as big as l?
False
Let n = -2 + -1. Let s be (12/(-10))/(1/5). Let o be 0 - 2*n/s. Is 1/4 bigger than o?
True
Let k(h) = 3*h - 3. Let w(a) = 2*a - 3. Let z(l) = 4*k(l) - 5*w(l). Let s be z(-3). Which is greater: -3/2 or s?
-3/2
Let z = -1/1518 + 1645/759. Which is smaller: z or 3?
z
Let b be (15/135)/((-1)/3). Is -6 equal to b?
False
Let m be 32 + 4/2 + (3 - 5). Which is smaller: m or 34?
m
Let g(r) = 4*r - 2. Let w be g(5). Suppose -4*m - w = 2*v - 0, 3*v = -m - 7. Is -7 < v?
True
Suppose -18 = -2*z + p, 4*p = 2*z - 0*p - 12. Let b = z + -10. Is -3/5 bigger than b?
False
Let u = 15924 + -334493/21. Let p = u + 32/7. Let x(m) = m**3 - m**2 + 1. Let d be x(0). Which is smaller: p or d?
p
Let x(y) = 2*y. Let m be x(7). Let h be -5*(1 - m/10). Let b be 7/(-4)*h + 2. Which is smaller: b or -2?
-2
Suppose 4*p + 0*p = -4*k - 24, 2*k - 13 = 3*p. Let l = -368/9 - -41. Which is bigger: k or l?
l
Let i = -13 - -21. Which is greater: i or 7?
i
Let y be ((-5)/(-15))/((-1)/(-4)). Suppose -3*n = -0*n - 6. Are n and y nonequal?
True
Let r(d) = -d**3 + 9*d**2 - 6*d - 11. Let o be r(8). Suppose 15 = 5*b + o. Let g(u) = -u + 2. Let a be g(4). Is b at least a?
True
Let w(o) = o**3 - 7*o**2 + 5*o - 38. Let u be w(7). Which is smaller: -13/4 or u?
-13/4
Let q be 2/6*1*6. Let v = 506 + -13658/27. Let m = v - -14/27. Which is smaller: m or q?
m
Let a = -27 + 14. Is -13 bigger than a?
False
Let d(s) = -s**3 + 18*s**2 + 19*s + 3. Let f be d(19). Is f greater than or equal to 23/8?
True
Let v = -1049/2552 - -21/88. Is v greater than or equal to 1/4?
False
Let n be 2/13 - (-187)/221. Which is smaller: -8/7 or n?
-8/7
Let l be (-7)/(-4) - 1/(-4). Suppose -l*m - 3 = 2*a - 17, -m = -5. Is a at least 3?
False
Let v = -137 + 683/5. Is 0.12 greater than or equal to v?
True
Let u(k) = -k + 3. Suppose 5*m - m = 16. Let r be u(m). Let h = -7/20 - -3/5. Which is bigger: h or r?
h
Let p be ((-1)/3)/((-2)/6). Let q = 133999/266 - 971/266. Let n = -500 + q. Is p at most as big as n?
False
Let j be 38 - -8*(-2)/4. Which is smaller: j or 0.1?
0.1
Let m be 28/(-65) + 1/5. Let j = -7 + 6. Which is smaller: j or m?
j
Let f = 1870/9 + -208. Which is smaller: f or -2/7?
-2/7
Let m = 4 + -4. Let a = -4 + m. Let v = 3.9 + a. Is v at least as big as -3?
True
Let a(l) = 4*l**2 - 4*l + 3. Let t(m) = -m**2 + m - 1. Let p(w) = a(w) + 3*t(w). Let y be p(1). Suppose g - 1 = -y. Which is greater: g or 0?
g
Let j = 0.04 + 1.96. Let u = -68043/5 - -13493. Let c = u - -116. Which is bigger: c or j?
j
Let b be (2*(-5)/15)/(3/9). Let h = -87 - -257/3. Is b greater than h?
False
Let h be (-2 - 3)*(-1 + 0). Suppose 15 = h*m + 5. Is m equal to 0?
False
Let y be 48/32*(-2)/3. Is -2/5 at most y?
False
Suppose -8*y + 15 = -3*y. Suppose 4*w + 19 = -0*i - 3*i, 4*i + y*w + 16 = 0. Are -2 and i non-equal?
True
Let c = 51942620 + -176241308146/3393. Let t = 2/1131 - c. Are t and -1 non-equal?
True
Let w be (-6)/(-4)*(-1464)/27. Let n = w - -82. Is n greater than 1?
False
Let c be 0/(3/(-6)*2). Let l be 0/(c/3 + -1). Suppose 0 = 3*f - l*f - 3. Which is smaller: -3 or f?
-3
Suppose 12 = 4*n + 4*x, -2*n + 2*x = n + 1. Which is smaller: -5/37 or n?
-5/37
Let l(o) = -o**3 - o - 1. Let r(t) = -3*t**3 - 3*t - 3. Let a(k) = -5*l(k) + 2*r(k). Let u be a(-1). Let z be u/(-3) - (-3)/6. Is z < 1?
True
Let i = 98/3 - 32. Is -0.4 at least as big as i?
False
Let t(n) = -n**2 - 20*n - 34. Let y be t(-17). Are y and 16 equal?
False
Let n be (3/(-6))/((-26)/12). Which is smaller: n or 0?
0
Suppose -112 = -3*f - 5*d, 93 = 4*f - 3*d - 8. Let s = -22 + f. Are s and -1/3 unequal?
True
Let y = -40.1 - -40. Which is bigger: y or 1.9?
1.9
Let q = 22 - 26. Let d be (-10)/(-14) + 6/21. Is d less than q?
False
Suppose 2 = 2*l - 4, t = l - 7. Let u be (-4)/24 - 87/18. Which is bigger: t or u?
t
Let m = -1.2 - -1.2. Let q = m - 0.05. Which is smaller: q or 0?
q
Let b = 25 - 15. Let z = b + -9. Is -1/4 <= z?
True
Let o = 255 + -2808/11. Which is bigger: 0 or o?
0
Suppose 152 = -7*g + 523. Is 54 < g?
False
Suppose 4*f + f = -j - 6, f + 3*j - 10 = 0. Let u be 6/(2 - (-1)/(-2)). Suppose 0 = 4*w - 4*y + 16, -u*w + 4 = -w + 5*y. Does w = f?
True
Let w = 3 - 2.5. Let m = 0.29 + 0.01. Let k = m - w. Which is smaller: 0.2 or k?
k
Let z(v) = -14*v - 10 - 13*v + 28*v - 1. Let l(i) = -2*i - 3. Let t be l(-6). Let g be z(t). Is -1 at most g?
False
Suppose -5*c + 18 = -42. Let n = -309 - -321. Is n less than c?
False
Let g(d) = d**2 + 13*d - 15. Let k be g(-13). Let u = -14 - k. Is u at least 2?
False
Let k = -5 - 3. Let s = -6 - k. Which is greater: 5 or s?
5
Let a be 9 + -13 - (-2)/2. Let k(b) = -b**3 - 5*b**2 - 6*b - 2. Let s be k(-4). Let v(h) = -h**2 + 5*h + 2. Let u be v(s). Is a greater than u?
True
Suppose 0 = 2*g + 3*g - 2*u - 2, -g + 3*u - 10 = 0. Suppose 0 = 24*r - 25*r + 3. Is g equal to r?
False
Let r(j) = -7*j + 1. Let y be r(0). Is y < -1/7?
False
Suppose p = 3*t + 4, -4*p + 3*t - 4 + 20 = 0. Is 12 less than or equal to p?
False
Let l = 38 - 25. Which is smaller: 14 or l?
l
Let v = 44.7 - 45. Is 1/3 bigger than v?
True
Let x be 13/((-156)/(-88)) - 5. Which is greater: -5/3 or x?
x
Let b = -6 - -3. Let z be ((-12)/8)/(1/(-2)). Let y(j) = -j**2 + 2*j + 3. Let v be y(z). Which is smaller: v or b?
b
Suppose 0 = 3*y - 7*y. Let g be (1 - y) + (-44)/36. Is g at least as big as -3/5?
True
Let p = -6 - 2. Let i be -1 + (p - -3 - -3). Is i less than -3?
False
Suppose -5*r = 3*h - 31, 5*r + 14 = 5*h + 69. Suppose -r*u - 10 = -3*u. Which is smaller: u or -4?
-4
Suppose 5*c - 17 - 8 = 0. Suppose 0 = -0*k - k - 9. Let f be (-24)/k*9/6. Which is smaller: f or c?
f
Let c = -203 - -166. Is c <= -1?
True
Let t = -74 - -73.91. Do -4 and t have the same value?
False
Let s be 6/15 - (-12)/(-5). Let f be 4/6 + (-4)/6. Let m be (-2)/(-1) + f + s. Which is bigger: -1/2 or m?
m
Let r be ((-12)/18)/(4/6). Is -2/5 at most as big as r?
False
Let r(z) = z**3 - z**2 - z. Let u be r(0). Are 0.13 and u equal?
False
Suppose -2*i - 4 = -t, i = 5*t - 0 - 2. Suppose 0 = -t*g + g. Is g bigger than 1/20?
False
Let w = -1859/22925 - -1/917. Which is greater: w or 1?
1
Let t(f) = -f. Let u be t(6). Let k be (4/12)/((-5