nd 5 equal?
False
Let i(r) = -r**2 - 2*r - 1. Suppose 2*t = 4*t + o + 7, t - 5*o = 24. Let z be i(t). Suppose -4 = 4*l - 2*v, -3*l - 3*v + 7*v = 3. Which is greater: l or z?
z
Let n be (4/(-136))/(3/(-36)). Is 1 smaller than n?
False
Let v = -1.5 - -0.5. Is v at least 1.4?
False
Suppose 5*p = 9 - 4. Is -4/47 greater than p?
False
Let c = -5 + 10. Which is bigger: c or 6?
6
Suppose -3*a + 5*l - l + 25 = 0, 9 = -a - 3*l. Suppose 3*n + 9 = w + w, 4*n - 5 = -a*w. Suppose 4*r = -4*g, 0 = -w*r + 6*r + 4*g. Which is smaller: r or 1/4?
r
Let m = 4 - 4. Suppose k + 16 = -m*k. Let v be 15/(-28) - 4/k. Is v < 1/4?
True
Let x(m) = m - 6. Let t be x(-4). Is t greater than -10?
False
Let k = -0.256 - -0.046. Is 2 smaller than k?
False
Suppose -7*x = -3*x. Suppose 23 = -4*z - 4*n + n, x = 3*z - 3*n - 9. Which is smaller: z or -3?
-3
Suppose -3*p = 5*o - 41, 2*p - 30 = -5*o + o. Let i be p/(28/(-8))*1. Which is smaller: 0.04 or i?
i
Suppose -c - 5 = u + 3, 4*c = -u - 32. Is c at least -7?
False
Suppose 5*q + 9 + 1 = 0. Let c be q*(-9)/(-6) - -6. Suppose c*j - 2 = 1. Does j = 0.03?
False
Let b be (3/2)/((-1)/(-6)). Let t = -9 + b. Which is greater: -2/11 or t?
t
Suppose 2*r + 74 = u + 3*r, -2*u + 142 = 4*r. Let c be (-7)/u*(-2)/(-2). Which is smaller: c or 0?
c
Suppose h + 5 = -4*h. Let v = -34/3 - -244/21. Which is bigger: h or v?
v
Suppose 0 = -4*l + 12, -c + 3*c + 3*l - 1 = 0. Let w be (-16)/4 + c + 9. Is w bigger than 1?
False
Suppose 111 - 141 = -2*r. Is r equal to 5?
False
Suppose 21 = -4*y + 4*t + 1, -t = 4*y. Which is smaller: y or -4/19?
y
Let q = 796 - 803.82. Let m = q + 8. Let n = m + 0.02. Is -3 >= n?
False
Suppose -2*x - 6*p = -2*p + 102, -2*x - 3*p = 103. Is -53 at least as big as x?
True
Let j = -0.1 - 0.1. Let q = j + 1.2. Let u be 2/(-8) - 3/20. Which is smaller: q or u?
u
Suppose -197 = 3*u - 4*a + 2*a, 5*u - 3*a + 327 = 0. Are u and -61 equal?
False
Let d(v) = v + 2. Let l be d(-1). Which is greater: 2/99 or l?
l
Let p be (-60)/35 - (-2)/(-7). Let s be (0 + 3)*p/(-6). Is s < 1?
False
Let l(a) = -a**3 - 2*a**2 + 2*a + 3. Let s be l(-3). Let c = 7 - s. Is 2/33 greater than c?
False
Suppose 4*c - 6 = -3*s, 7*s - 4*c = 3*s + 36. Let w be 8/6 - 2/s. Which is smaller: 2/3 or w?
2/3
Suppose 4*m = 16 - 52. Let v = 6 + m. Suppose 2*f - 2*s - 4 = -0, 23 = -f - 4*s. Is v <= f?
True
Let k be (12/(-28) - 0)/(-3). Let g(t) = 2*t**2 - t - 2. Let c be g(2). Suppose -c*o + 16 = 4*x, -5*x - 10 = -2*o - 3*o. Is x at most as big as k?
False
Suppose -7*p - 10 = 4. Is p at least as big as -7/4?
False
Suppose -5*b = b + 18. Let c be (-210)/(-7)*(-1)/b. Which is bigger: 1/2 or c?
c
Let a = -48 + 92. Let g = -218/5 + a. Which is bigger: 0 or g?
g
Let d = 30 + -27. Is 4 < d?
False
Let y = 33/5 + -233/30. Which is greater: y or -2?
y
Suppose -7*q = -5*q. Let a be ((-424)/34)/4 + 3. Are a and q equal?
False
Let m be (15/6)/(1/2). Suppose 1 = -3*z - m*v - 20, z + 3*v = -3. Let c be 14/z + (-2)/(-2). Is 0 >= c?
True
Let d = -0.67 - -0.37. Which is greater: 3 or d?
3
Let y be 1/2 - (-247)/(-26). Is -7 less than y?
False
Let f be 3/(4 + (-111)/12). Let o(h) = h + 1. Let n be o(-3). Is n at least as big as f?
False
Let n = 220 + -118. Suppose -4*d = -2*d + n. Let h = d + 509/10. Are h and -2/5 unequal?
True
Let o = -16 + 25. Let x = o + -8. Is 2/7 at least x?
False
Let b = -35.95 + 35. Let v = 0.15 - b. Let f = v - 0.1. Is f less than or equal to -1?
False
Let t = 4.181 + -0.081. Let x = t + -4. Is x greater than -3?
True
Let j = -0.2 - -0.3. Let k = 44 + -44. Which is greater: k or j?
j
Let z = 0.18 - 0.38. Let v = 1.5 + 0.5. Which is smaller: v or z?
z
Let t be 91/52*(-60)/(-14). Which is smaller: -1 or t?
-1
Let t(d) = -d**3 - 8*d**2 - 7*d. Let h be t(-7). Which is greater: h or 7?
7
Let l(i) be the second derivative of -4*i**3/3 - 2*i**2 - 2*i. Let z be l(-2). Which is bigger: 11 or z?
z
Let s = -3.68 - -0.8. Let m = -0.32 + s. Let t = m - -3. Is 0.1 at most as big as t?
False
Suppose 1 = -5*y - 4. Let v = 12 + -8. Let i be (-2)/v - 15/(-54). Do y and i have the same value?
False
Let k = 1 + -3. Which is smaller: -1 or k?
k
Let j be (-2)/8 + 0 + 0. Suppose 9*k - 5*k = 24. Which is bigger: j or k?
k
Let h = 1.042 + 0.058. Is 0 at least h?
False
Let d(h) = h**3 - 4*h**2 + h - 2. Let u be d(4). Suppose -u*s + 5*s - 12 = 0. Suppose -1 = 3*n - s. Which is smaller: 0.1 or n?
0.1
Suppose -5*g = 3*c - 7, 5*g - 2*c + 13 + 0 = 0. Let a be ((-2 - -3) + 0)/(-1). Is g less than or equal to a?
True
Let y = -0.9 - -1. Let w = y - 0.3. Let k = 39.1 - 39. Which is greater: k or w?
k
Suppose 3 - 12 = a. Let o be (-6)/45 - (-266)/(-30). Is o bigger than a?
False
Let h = -1.96 + 2. Let x = -0.14 + h. Which is smaller: x or -2?
-2
Let p = 1.2 - 1.21. Let f = 0.9 + -1. Are f and p non-equal?
True
Suppose -4*c - 3*f = 4 + 18, -4*f - 8 = 0. Let r = 0 - c. Is 5 equal to r?
False
Let l be (-1)/((-22)/(-40)) + (-12)/(-6). Is -5 less than or equal to l?
True
Let j = -5.8 + 5. Let l = 0.2 - j. Let y = -0.523 + 0.223. Is l > y?
True
Let n(f) = f + 2. Let v(u) = u + 1. Let i(x) = 3*n(x) - 6*v(x). Let l be i(-1). Which is smaller: -1 or l?
-1
Let w = -0.22 + 0.02. Let j = -1.2 + 1. Let a = j - w. Which is smaller: -0.1 or a?
-0.1
Let w(g) = -2*g + 13. Let o(x) = -x**3 + 6*x**2 + x + 3. Let c be o(6). Let m be w(c). Let a = 2 + -7. Is m smaller than a?
False
Let x = 36/113 + -238477/1921. Let m = 124 + x. Is m greater than 1?
False
Let n = -21 - -9. Let h = 10 + n. Which is smaller: h or -1?
h
Let q(g) = -g - 6. Let r(d) = -5*d - 30. Let p(n) = -11*q(n) + 2*r(n). Let t(o) = -2*o + 2. Let h be t(5). Let x be p(h). Is -2/5 greater than x?
True
Suppose 12*a - 16 + 4 = 0. Is -2 at least a?
False
Let z(d) = -d - 1. Let q(w) = w**2 + 5*w + 3. Let x be q(-2). Let c be z(x). Does c = 1?
False
Let i(x) = x - 1. Let p be i(5). Let v(l) = l**2 - 3*l - 1. Let k be v(p). Let d be (-4)/(-1)*4/8. Which is greater: k or d?
k
Suppose w - 3 = -2. Let t be 3 - (5 - 2) - 0. Suppose -5 = -t*a - 5*a. Are w and a non-equal?
False
Let r = 7 + -7. Is 4/7 at most as big as r?
False
Let b be ((-3)/2)/(1/(-4)). Let q be (-12)/(-18) - (-8)/b. Let s be (-8)/28 + q/7. Which is greater: s or -1?
s
Suppose -560 = -4*c - 0*c. Let g be (-8)/(-28) - (-16)/c. Are g and 0.1 nonequal?
True
Let x(g) = -g - 1. Suppose 5*l = -3*a - 4, l + 8*a + 14 = 3*a. Let u be x(l). Let w be 6/4*2/3. Which is greater: w or u?
w
Suppose 0 = 3*o - 8*o + 2*a - 381, -4*o = -3*a + 302. Let s = -157/2 - o. Is -3 != s?
True
Suppose 5*q - 14 = 1. Suppose 0 = -4*v, 0 = 5*h + 4*v + 7 + q. Let a be -2*(-2)/4 + -3. Is h bigger than a?
False
Suppose 0 = 9*g + 2 + 7. Is g greater than or equal to -2?
True
Let o(u) = -2*u - 6. Let t be o(-4). Let n = -46 + 25. Let m = -19 - n. Is t > m?
False
Let y = 318/119 - -34422/1547. Suppose -3*m - 4 = -5*v + 115, 0 = -4*v + 3*m + 94. Let a = v - y. Which is bigger: a or -1?
a
Let z = 0.11 + -0.21. Is z greater than 0.1?
False
Let c = 18 - 13. Which is bigger: c or 21/5?
c
Suppose 4*k + 205 = -5*z, 4*k + 205 = -k + 4*z. Let f = -70 - k. Let c = f - -99/4. Which is bigger: 0 or c?
0
Let i be -1 - (-1098)/770 - (-4)/(-10). Which is bigger: 1 or i?
1
Let k = 9 + 0. Let d(l) = l**2 - 8*l - 7. Let z be d(k). Let u = -2 - -3. Which is bigger: z or u?
z
Let t be 6/8 + 9/(-12). Is 4/15 bigger than t?
True
Let t = 93/170 + -5/34. Suppose -5*z - 5 = k - 6*k, 4*k - 5 = 5*z. Is z bigger than t?
False
Suppose -3*q + 12 = -12. Let d be (-176)/(-35) + q/(-28). Let g = d + -36/7. Which is smaller: 0 or g?
g
Suppose -11 - 14 = -3*p + 4*a, -4*p - 5*a = 8. Suppose 0*r + 5*n + 7 = p*r, n = 5*r + 3. Let c be ((-2)/7)/((-8)/(-4)). Which is bigger: c or r?
c
Let z = -11 + 8.8. Is z at most -0.1?
True
Suppose m = 3 + 2. Suppose 2*f = f + m, -5*s + 2*f = 30. Suppose 4*o + 3*v = -18, -o - o - 16 = 5*v. Are o and s equal?
False
Let z = 55/82 + -4485/574. Is -7 greater than z?
True
Let d be 1*(-3 + 2)*1. Which is smaller: 4/13 or d?
d
Let w = -15/38 - 2/19. Let j = -5 - -4.9. Which is smaller: w or j?
w
Let s(a) = -a**2 - 3*a - 1 + 2*a**2 + 1. Let t be s(3). Which is smaller: t or -2?
-2
Let k = -34 - -82. Let i be k/56 - (-1)/(-1). Which is bigger: i or -1?
i
Let q be (1/3)/(1/(-3))*-1. Which is smaller: 5 or q?
q
Suppose 2*v - 60 = 4*v. Let y be 1/3*v/