igger: c or x?
c
Let d(k) = k**3 + 4*k**2 - 7*k - 6. Let c be d(-5). Suppose c*h - 21 = 5*a, -7*a - 23 = -2*h - 2*a. Let o = -2 - h. Which is bigger: o or 1?
1
Suppose -3*r - x = -0*r + 4, 4*x = r - 3. Which is greater: r or 0?
0
Let t(j) = -j**2 + 3*j - 3. Suppose 0 = 2*n - 1 - 7. Let q be t(n). Which is bigger: q or -6?
-6
Suppose -8*a = -12*a - 104. Are a and -26 equal?
True
Let s(q) = -q**2 + 18*q - 16. Let x be s(17). Which is smaller: x or -1/5?
-1/5
Let y be (52/8)/((-2)/(-4)). Let h = -11 + y. Which is greater: 3/5 or h?
h
Let j = -0.1 - 0.9. Let k = -0.7 + -0.2. Let u = j - k. Is u > -2/3?
True
Let j(g) = g**3 - g - 3. Let r be j(0). Suppose 10*h - 29*h - 38 = 0. Which is smaller: h or r?
r
Let n = 1 - -2. Let v = n - 2. Which is smaller: 2/11 or v?
2/11
Let v(n) = -98*n - 1. Let o be v(-1). Let b be 549/(-2)*66/(-187). Let w = o - b. Which is greater: -1 or w?
w
Let q(m) = -m**3 - 7*m**2 + 8*m + 4. Let d be q(-8). Suppose -3*r + 18 = d*l, -2*l - 2*r - 28 = -6*l. Suppose 4*n = g + 7 + l, -4*n + 28 = -4*g. Is 1 > n?
False
Let a = 1 + 2. Let n = -1 - a. Let i be -2 - n - 1*-1. Is 4 smaller than i?
False
Suppose 44 = 5*i + 2*s, 2*s - 24 = -3*i - 0*i. Suppose 0 = z - l - 3, -2*z - 2*l = -3*z + 2. Suppose -i = 3*d - z. Is 0 greater than or equal to d?
True
Let c be (7/((-7)/(-2)))/(-35 - -2). Which is greater: -2/3 or c?
c
Let c be 0 + 1 + -3 + 1. Let q = 0.3 + -0.8. Let i = -0.3 - q. Which is smaller: c or i?
c
Suppose -2*f + 5*q - 3 = 1, 5*f = 3*q - 48. Let i be (f/(-9))/(6/(-9)). Which is smaller: -4 or i?
-4
Let z be (-14)/28 + 3/2. Which is smaller: z or 2?
z
Suppose 0*v + 2 = -2*v. Let i = 3 - -1. Suppose h = -i*h. Which is smaller: v or h?
v
Let v = 34 - 44. Is -12 at least as big as v?
False
Let i = 17 + -16.8. Which is greater: i or -3?
i
Let p(b) = -b**2 - 19*b + 2. Let l be p(-19). Which is smaller: 5/3 or l?
5/3
Suppose 2*b + 4*c + 80 = 0, 0*c = -3*b - 3*c - 111. Let i be b/90 - 2/9. Which is smaller: i or 0?
i
Let h(l) = -2 - 8*l - 8 + l**2 - 1 + 1. Let v be h(9). Which is greater: -1/5 or v?
-1/5
Let v be 0*1/6*3. Suppose v = -2*f, -5*o - 4*f - 5 = -15. Let n be o*2*(-2)/8. Is n != 1?
True
Let m be 1/(-3)*0 - -2. Which is smaller: m or 0?
0
Let o = 0.09 - 2.09. Which is greater: -0.8 or o?
-0.8
Let u = -28.4 - -30.13. Let m = 0.27 + u. Let t be 1/6*4/3. Is t greater than or equal to m?
False
Suppose z = 2*b + 3*z + 32, -40 = 2*b + 4*z. Let v be (-3)/(-4) + 141/(-12). Is b smaller than v?
True
Let v = -4.8 + 5. Which is smaller: v or -1/9?
-1/9
Let c = 0 - -0.6. Let w = c + -0.3. Let i = w + -0.3. Which is smaller: -3/4 or i?
-3/4
Let n(i) = i - 7. Let v be n(5). Let w be (v/15)/((-9)/(-15)). Let t be (0 - 1)/(-1) + -2. Which is smaller: w or t?
t
Suppose 2*x + 11 = 5*j + 3, 0 = 3*j - 6. Do x and 0 have different values?
True
Let r = 5 + -5.1. Let o = 0.18 + -1.08. Let k = o + r. Is -3 equal to k?
False
Let p be (3/9)/((-7)/3). Let i = 20 + -20. Which is greater: i or p?
i
Suppose d = 2*d + 2. Let v = -48/125 - 2/125. Which is smaller: d or v?
d
Let o(m) = 4*m**2 - 19*m - 5. Let k be o(5). Is -1/27 >= k?
False
Let a = -3.8 + -14.2. Let p = a + 16. Let x = 0.06 - -1.94. Is p equal to x?
False
Let h(f) = -f**3 - 2*f**2 + 2*f + 3. Let n be h(-2). Let a = 3 - 3. Which is bigger: n or a?
a
Let x be (-3)/((-1 - 0)*3). Let w be -3*(2 + (-14)/6). Suppose -3*u + 7 = w. Which is greater: u or x?
u
Let i = -5 + 5. Let u = -3 - i. Let k = 4 + u. Is -2 smaller than k?
True
Suppose 2*j = 9*a - 11*a, -a = 2*j + 2. Let q(f) = f - 2. Let c be q(-3). Let w be ((-12)/110)/((-1)/c). Which is bigger: w or j?
w
Let o = 1.5 - 5.5. Let f = -3 - -3. Is f at most o?
False
Suppose c - 168 = 4*m, 3*m + 126 = -c - 0*c. Which is smaller: -41 or m?
m
Suppose 0 = -3*o - 3*s - 0*s - 3, 5*o - s + 5 = 0. Let y = 1/323 - 974/1615. Do o and y have the same value?
False
Suppose 0*l + 10 = 5*l. Suppose 0*t + l*t - 4 = 0. Which is smaller: t or 0?
0
Let d = -4 - -1. Let b(a) = -a - 6. Let f be b(-5). Let x(m) = 4*m. Let l be x(f). Is l at most as big as d?
True
Suppose 33 + 7 = -8*y. Which is greater: y or -6?
y
Let b be 4/(-14) - (-22)/28. Suppose -5*k = -3*k. Which is bigger: k or b?
b
Let m be (-1)/(16/6 - 3). Suppose -m = -2*a + 5. Let x be (a/(-6))/((-2)/9). Which is bigger: x or 2?
x
Let k be 2/(-2)*(-5 + 2). Let b = k - -1. Suppose 5*v - 8 = 7. Which is smaller: v or b?
v
Let d be (8/(-4))/(2/4). Is d less than or equal to 2?
True
Let o be (-507)/8 + (-2)/(-4). Let j = 63 + o. Which is smaller: j or -1?
-1
Let a = 10.3 - 10. Which is bigger: -0.08 or a?
a
Let o = 22/15 + -9/5. Let s = -1.98 + 0.18. Let f = 2 + s. Which is greater: o or f?
f
Suppose 5*k - 2*k = -5*b + 12, 0 = 4*k - 4*b - 16. Suppose -2*z + 2 = f - 0, 0 = k*z - 20. Let v(u) = -2*u - 12. Let t be v(f). Is t <= 4?
True
Suppose -2*z = z - 3, 0 = -5*g + z + 9. Let y = -21 - -31. Suppose -5*k + y = 3*t, t - g - 5 = 2*k. Which is bigger: 2 or k?
2
Suppose -p - z = 4*z - 24, 0 = -2*p + 3*z - 4. Which is smaller: p or -0.01?
-0.01
Let f be (1/(-2))/(3/(-6)). Let u be (-15085)/990 + (-2)/(-9). Let z = -89/6 - u. Which is smaller: z or f?
z
Suppose 0*v = 4*v + 28. Suppose 5*z = -0*z - 35. Is v bigger than z?
False
Let h = -45 + 45. Let p = 29/8 - 23/8. Which is smaller: h or p?
h
Let p(y) = -y**2 - 10*y + 14. Let a be p(-10). Suppose 10*i = a*i. Let q(n) = -n**2 - 6*n - 4. Let g be q(-4). Which is greater: g or i?
g
Let i be 11/5 - (-1)/(-5). Suppose 4*f = i + 2. Let x be (-4)/3 + (f - -1). Which is smaller: -2/15 or x?
-2/15
Let j = 20 - 47. Let y = -27.13 - j. Let n = 0.04 + y. Which is smaller: n or -1/3?
-1/3
Suppose -7*j + 80 = -2*j. Let u(k) = -k**2 + 15*k + 15. Let l be u(j). Is l != 0?
True
Let t = 8 + -7. Do 161 and t have the same value?
False
Let i(u) = -u + 3. Let k be i(-3). Suppose -k = -5*m + 4. Are 0 and m non-equal?
True
Let i be 1/3 - (-231340)/9. Let s = 25741 - i. Let u = s - 36. Does 1 = u?
False
Let a be 50/40 + (-6)/(-8). Let w = 231 - 1613/7. Which is smaller: a or w?
w
Suppose -132*q = -96*q + 648. Suppose -5*o + 38 - 129 = f, -3*f = 3*o + 45. Is o at least q?
False
Let f(y) = y**2 - 3*y - 6. Let u be f(5). Suppose p = u*p. Let v be ((-1)/(-2))/((-2)/(-4)). Is v at most p?
False
Let k = -1/14 - -15/602. Does 1 = k?
False
Let s = -3/208 + 843/15184. Let c = -58/365 - s. Suppose 5*i + 2*t - 9 = 0, 0 = -t + 4*t - 6. Which is bigger: c or i?
i
Let n = -0.02 + 0.12. Let y = 0.4 - 0.1. Which is greater: n or y?
y
Let v(j) = -j**2 + 12*j + 17. Let i be v(13). Suppose 0 = y - 3*n - 4 - i, 4*y - 3*n - 14 = 0. Is 0 < y?
True
Let r(h) = -7*h - 8. Let v be r(-8). Let q be (-2)/(-3) - v/126. Let m be 1*-1 + 3/4. Which is smaller: m or q?
m
Suppose -25 = -5*c - 5, -2*y = -5*c - 26. Let n be (-2)/(-6) + y/(-51). Is 1 < n?
False
Let j(i) = -i**2 + 3*i - 5. Let n be j(0). Which is smaller: -4 or n?
n
Suppose h + 9 = -5*z + 4*h, 2*z = -5*h + 15. Suppose 2*m = -2*k + 74, -3*k - 31 + 136 = -3*m. Let f be 16/k*(-3)/2. Is z at most as big as f?
False
Let r be (4/7)/(2/7). Suppose -z - 2*a + 22 = r*z, -2*z + 4*a + 20 = 0. Suppose z = 3*v - 5*v. Is v > -2?
False
Let u be (4 - -6)*(-2)/(-4). Let k = 3137/4 - 779. Is u at most k?
True
Let d = 7.8 + -2.8. Let l = -16 - -22. Let h = l - d. Which is greater: h or 2?
2
Let a = -509/42 + 93/7. Is a >= 1?
True
Let f = -108.11 + 108. Are f and -0.3 unequal?
True
Let p be 8/12 + (-3)/(-9). Let h = 0.03 + 0.97. Is p not equal to h?
False
Let v be (2/4)/((-2)/(-12)). Let h = -7 + v. Let q be (-39)/21 - (2 + h). Which is smaller: q or 1?
q
Let c = -411 + 408.99. Let l = 0.2 - 0.19. Let i = c + l. Is i < 3?
True
Suppose 0 = 2*o + o + 6. Which is greater: -3/2 or o?
-3/2
Let k = -5 + 1. Let s = 10 - 6. Let b be s/6 - (-25)/(-6). Is k < b?
True
Let t(k) = -k**2 + 9*k + 1. Let r be t(7). Suppose y = 7*i - 4*i - 5, -5*y = -5*i + r. Let n be 0*3/(-9) + i. Which is bigger: n or -1?
n
Let z = 6 + -6. Let g = 1 - 1. Let p = g + -1. Do z and p have the same value?
False
Let d = 2 - 3. Let i = -3 - d. Let x = -0.2 + 0.4. Which is bigger: x or i?
x
Let i be (-10)/(-55) + 185/11. Suppose -i = -o - 0*o + 5*v, 5*v + 7 = -4*o. Is o greater than 3?
False
Let i(r) = 2*r**2 - 13*r + 3. Let u be i(6). Which is greater: -48/11 or u?
u
Let t(w) = -w**3 - w - 6. Let n be t(0). Let a(