d be v(4). Let m be -1*d/((-2)/3). Let p = -3 + -1. Which is bigger: m or p?
m
Let h = -0.13 + 0.03. Let i = 38 - 57. Which is greater: i or h?
h
Let d(h) = 9*h**2 + h - 11. Let s(z) = -5*z**2 + 6. Let f(u) = -4*d(u) - 7*s(u). Let x be f(-4). Suppose -x = -2*i + 3*i. Which is bigger: i or -1?
-1
Let o = 673210/39 - 17265. Let p = o - -20/13. Which is bigger: -2 or p?
p
Let k = 5 - 3. Suppose 15 = 3*s + 3. Let i be (-8 - -7)/((-2)/s). Is k bigger than i?
False
Let n = -38 + 40. Let i be 32/(-6) + (-2)/(-6). Let s(w) = w**3 + 4*w**2 - 5*w + 2. Let u be s(i). Are u and n unequal?
False
Let l(z) = -z**3 - 3*z**2 + 5*z + 2. Let d be l(-4). Suppose -5*h = 3*c - 31, h = 4*c + 3*h - 18. Suppose 0 = c*q - 1 + 3. Are d and q unequal?
True
Let b(k) = 2*k - 15. Let h be b(7). Is -3/8 greater than h?
True
Let l be (16/20)/(2/25). Suppose -w + 3*o = l, -6 = -3*w + 5*o - 16. Which is bigger: 4 or w?
w
Suppose -f + 2 = -n + 4, 5*f - 14 = -n. Let d = -2 - -6. Let p = n - d. Which is smaller: 1 or p?
p
Let u = 284/2925 + -2/117. Suppose 0 = 2*r - 0*r. Which is smaller: u or r?
r
Let c be 25/(-35) - 4/14. Which is greater: -4/13 or c?
-4/13
Let u(f) = f**3 + 9*f**2 + 10*f + 19. Let c be u(-8). Which is bigger: 2 or c?
c
Let n be (6/24)/(14/(-16)). Which is smaller: n or 6/5?
n
Let m(y) = -y + 2. Let s be m(4). Suppose -2*u = -3*c - 6*u - 12, 2*c - 5*u = 15. Which is smaller: s or c?
s
Suppose -3*b = -5*m + 20, -4*m + m + 12 = 0. Let p be ((2 - b)/(-2))/1. Is 1/8 < p?
False
Suppose 4*h = 12, 3*p - h - 15 = h. Let q = 52 - 36. Let v = p - q. Which is smaller: v or -8?
v
Let d = -3 - -8. Suppose 4*u - d*z + 18 = 0, 0 = -5*u + 5*z - 22 + 2. Do -2 and u have the same value?
True
Let u = -12.8 + -0.2. Let f = -13 - u. Which is greater: 6 or f?
6
Let q = -42.76 + 43. Which is smaller: q or 0.2?
0.2
Let k = -3629/235161 + 7/901. Is k <= -1?
False
Let z = 7 - 7.8. Let u = 0.2 - z. Let y = -0.24 + 0.44. Is u less than or equal to y?
False
Let m(g) = -6*g**3 - g**2 - g - 1. Let o be m(-1). Suppose -4*j + 20 = j - o*z, -3*z = 12. Do j and 2 have different values?
True
Let a = -2 + 3. Which is smaller: a or 2/3?
2/3
Let j = -58 - -49. Which is greater: j or -8?
-8
Let c = -101 - -73. Is c < -29?
False
Let c = -5 - 0. Let k be (-6 - 0) + -6 + 8. Let f be (-9)/2*k/(-3). Are f and c equal?
False
Let q(m) = -m**3 + m**2 - m - 2. Let w be q(0). Let r = w + 5. Is 5 > r?
True
Let x(f) = -f - 21. Let d be x(5). Is -26 >= d?
True
Let x be (-26)/8 - 2/(-8). Which is bigger: x or -4?
x
Suppose -v + 8 = -0*v. Let h = 7 - v. Is -2 != h?
True
Let g = -16 - -10. Is 3 equal to g?
False
Suppose 26*i - 22*i = -4. Which is greater: -15/11 or i?
i
Suppose 0*h = -2*h - x - 29, -3*x - 59 = 4*h. Let r = h - -10. Let f = 1 - 4. Which is greater: r or f?
f
Suppose 4*l + 2 = 6. Let s(v) = v**3 + v**2 + 2*v + 2. Let g(t) = -t**2 + t + 1. Let d(z) = 2*g(z) - s(z). Let i be d(-3). Are l and i equal?
False
Let z = -7628 + 30339/4. Let u = z + 44. Which is greater: u or 2?
2
Let c be -2 + 6/(2 + -5). Let b be 2/c - (-2)/4. Let v be ((b - 0)/3)/(-1). Is -2/5 < v?
True
Suppose -y + 2*y = 4. Suppose a = -3*r - 6 + 15, 12 = 3*a + y*r. Suppose -3 = 3*f - a*f. Is 2/9 at least as big as f?
True
Let a = -1911730094/765 + 2498994. Let z = a - 2/153. Which is smaller: z or -0.8?
-0.8
Let n = 3 - 2.9. Let h = -0.14 - -1.14. Which is bigger: n or h?
h
Let m(j) = j**3 - 13*j**2 + 12*j. Let r be m(12). Is r != 4/151?
True
Let n = 2/4161 + -87391/20805. Is n equal to -5?
False
Let d(p) = -p**3 - 23*p**2 - 22*p + 18. Let a be d(-22). Let r(i) = i**3 - 2*i**2 - 4*i + 2. Let j be r(4). Is j bigger than a?
False
Let z = -828 - -2539/3. Let g = 19 - z. Which is bigger: 2 or g?
2
Let o(t) = 2*t + 26. Let m be o(-17). Which is greater: m or -3?
-3
Let j be (-82)/(-10) - (-2)/(-1). Let o = j - 212/35. Let v be 1/(-2) - (-3)/2. Which is greater: v or o?
v
Let j be (-26)/143 - 20/11. Let o be -2 - (-7 - j) - 3. Is -4/3 <= o?
True
Suppose -5*s + 8 = -s. Which is smaller: 10/9 or s?
10/9
Let n be 93/(-6) + (-2)/(-4). Let q = -410 - -395. Is q at most as big as n?
True
Let b = 0 + 1. Let i be (b + -2)/((-4)/(-32)). Let p = i + 10. Is 2 <= p?
True
Let o be (2/(-76))/((-3)/(-12)). Let t = -221 + 220. Which is smaller: o or t?
t
Suppose 2*w = -2*w + 8. Let p = -13 - -22. Suppose 0 = -w*x - p + 3. Which is greater: x or -8/3?
-8/3
Let t = 1.49 - 1.5. Let m = -1.01 - t. Is 2/5 smaller than m?
False
Let f = 7 + -7. Let a be f + (-1*9)/3. Are -1 and a equal?
False
Suppose 12*s = 6 + 18. Does -6 = s?
False
Let a = 12 + -8. Suppose -a*k + k = 9. Is k at least -2?
False
Suppose 5*u - 1 + 6 = 0. Let m = 1.09 + -1.07. Which is smaller: u or m?
u
Let u = 22 - 12. Let l = 13 - u. Which is smaller: l or 0.2?
0.2
Let t(n) = n - 6. Let p be t(6). Let s be (-6)/(-24)*(-16)/6. Which is smaller: s or p?
s
Let c(d) = 2 + d + 3 - 3. Let y be c(4). Let f be ((-2)/y)/(116/(-24)). Are f and 1 nonequal?
True
Let x = -20 + 22. Let b be x/5*(-15)/(-81). Is 0.1 less than b?
False
Let g = 9 + -7. Let n be (g - -2) + -2 + -1. Which is greater: 1/6 or n?
n
Let r be -3 - (35/4 + 1). Let p = r + 13. Is p less than 0.1?
False
Let j be (-35)/4 - (-12)/16. Is -8 less than j?
False
Let p = -0.24 - 0.16. Is 2 at least p?
True
Suppose 0 = 4*l - 2*l. Let d = -5036/9 + 560. Are d and l equal?
False
Let t = -6 - -61/10. Let r = t + 7/30. Which is smaller: -0.1 or r?
-0.1
Let n = 33 - 32.9. Is -12 > n?
False
Let p = -13 - -13.02. Do p and -1 have different values?
True
Let f = -6/67 + 249/536. Does 2 = f?
False
Let i = -23 - -14. Let x = 11 + i. Which is smaller: x or 0?
0
Suppose -b = 11 + 10. Is -22 at most b?
True
Suppose 2*l - 36 = -2. Suppose -2*s + 3*n = 2 - l, 5*n + 25 = s. Are s and 1/2 equal?
False
Let r = 1/224 - 65/224. Let w = 12/7 + -79/42. Which is smaller: r or w?
r
Suppose -7*m - 11*m + 6*m = 0. Suppose -3*s + 6 = -3*u, 4*s + 0*u - 2*u - 4 = 0. Is m greater than s?
False
Let p = -39 + 38. Do -16/9 and p have the same value?
False
Let y = 79 + -78. Does 18/17 = y?
False
Let a be (0 - -2)*4/(-5). Let u = -45 - -43. Which is bigger: a or u?
a
Let p be (6/(-15))/((-3)/(-90)). Let m be p/16 - 7/(-4). Is m bigger than 1?
False
Suppose 18*p = 11*p. Let x be 5/2*4/35. Which is smaller: p or x?
p
Let i = 7 - -6. Let q = -12.9 + i. Which is bigger: -3 or q?
q
Let x be (-5 + -3)*2/(-4). Is 0 greater than x?
False
Let z = -39 - -40. Let c(v) = -v**3 + 3*v**2 + 4*v - 1. Let l be c(4). Is z greater than l?
True
Let v = -0.31 - -2.31. Does v = 1/3?
False
Let a = -4 - -5. Let t = -3 + 2.9. Which is smaller: a or t?
t
Let s = 0.6 - 2.6. Let g = 33658 - 4947769/147. Let u = -2/49 + g. Is s equal to u?
False
Let n = 14 - 15. Which is greater: n or -1/27?
-1/27
Suppose 25 = 3*f + 7. Is f less than or equal to 6?
True
Let b = 8753/20079 - 1/873. Let i = 37/138 - b. Which is smaller: i or -1?
-1
Suppose 4*r = -0*u + 3*u, -u = -4*r. Let a = 2 + -2. Let c = a - 1. Which is smaller: u or c?
c
Let x(g) = g**2 + 12*g + 10. Let l be x(-11). Let n be (-1)/(l/(2 - -1)). Is n greater than 5/2?
True
Let n be 6/(-7)*(5 + 16). Let v = n - -6. Let j be (-26)/6 - 4/v. Is -4 < j?
False
Let b be (4 + -1)*8/(-42). Let v = -11 + 10. Which is greater: b or v?
b
Let h(d) = -d**3 - 2*d**2 + 2*d + 2. Let l be h(-2). Which is smaller: l or 0?
l
Let v = 0.02 - -7.98. Let c = v + -8.1. Which is greater: c or 0.03?
0.03
Let n be (-180)/(-81)*3/(-2). Which is bigger: n or -2?
-2
Let n = -545 + 1610/3. Which is smaller: -7 or n?
n
Let u be ((-1)/1 - 5) + 5. Which is bigger: -7/13 or u?
-7/13
Let v(r) = -r**2 + 4*r + 2. Let c be v(4). Suppose -s + m + c = 0, -3*s + 10 = -2*m - 2*m. Which is bigger: s or -3?
s
Let z be (-41)/(-6) - 9/(-54). Is 20/3 >= z?
False
Suppose 0 = 2*f + g + 3, -2*f = -3*g - g - 22. Let q = 1.4 - -2.6. Which is bigger: f or q?
q
Let q(y) = y**2 - 9*y + 10. Let r be q(8). Suppose 0 = -v - 0*v, 3*v + 8 = -r*t. Suppose -5*g - 4*u = 11, -g + 3*u - 5 = u. Is g equal to t?
False
Let a be (516/(-40))/3 + 4. Let u(j) = 3*j**2 + 10*j + 4. Let c(o) = -2*o**2 - 7*o - 3. Let h(l) = -8*c(l) - 5*u(l). Let z be h(-5). Which is bigger: a or z?
a
Let y(h) = -h. Let c be y(-1). Is c at least as big as 1/3?
True
Let a(u) = u**3 - 6*u**2 + 5*u - 1. Let o be a(5). Let h(i) = -i**3 + 6*i**2 - 6*i + 3. Le