: 2 or j?
2
Let p be 10/6*-3 + 5. Which is greater: p or -2/159?
p
Suppose 0 = -3*n - 6 - 0. Let o be n/((-6)/(-9)) + 2. Let l be 0 + (o + -1)*1. Which is smaller: -3/4 or l?
l
Let w = 71 - 59. Which is greater: w or 16?
16
Let j = 57 + -55. Which is greater: 27 or j?
27
Suppose -12 = 10*m - 6*m. Suppose 3*i + 12 = -0*i. Does m = i?
False
Suppose -2*q + r - 1 = 0, -7*r + 3 = -4*r. Let k be (1 - (0 - -1)) + -2. Let t = k + q. Which is bigger: t or -3?
t
Suppose -5*d + w = -15, 4*d - 22 = -5*w + 19. Let y = -79 - -82. Which is smaller: y or d?
y
Let d be -46*(-3 - -6)/18. Let s = -7 - d. Is 0 at most s?
True
Let z = 1186/9 - 132. Is z <= 0.5?
True
Suppose 0 = h + 2*h. Is 4/5 <= h?
False
Let x = 5 + -1. Suppose 0 = l + x*l, -4*l = -5*h - 345. Let v = -689/10 - h. Is v smaller than 0?
False
Suppose 5*m = m + 3*r - 31, r + 11 = -4*m. Let h = m - -6. Is h at most 2?
True
Suppose -u - u + 5*t - 15 = 0, -90 = 5*u + 5*t. Let v be 24/u - (-4)/2. Is -1 at most as big as v?
True
Let b = -23 + 28. Is -1/2 less than b?
True
Let d = 10 + -9.9. Which is bigger: d or -1/14?
d
Let o be 1/6 + (-500)/(-24). Let g = o + -16. Which is smaller: 6 or g?
g
Let v = -20 + 22. Is 0 != v?
True
Let h be -3 - -2*5/2. Suppose 4 = 2*c + h*c. Let a be 2 + -3 - -3 - c. Is -2/21 at least a?
False
Let u = -31 - -25. Do u and 11 have the same value?
False
Let s = -1 - 0. Let z = 1.5 - 0.7. Let w = s + z. Is w at least -1/5?
True
Let j(n) be the first derivative of -1 + 8*n - 1/2*n**2. Let g be j(9). Which is smaller: -0.3 or g?
g
Suppose -w - 8 = -2*w - 4*x, 4*w + 3*x = -7. Let v(p) = 3*p**2 - 5 - p**3 + 6*p - 3*p**2 - 4*p**2 - p. Let l be v(-5). Is l not equal to w?
True
Let t = 55 + -169/3. Is 1/2 >= t?
True
Let r(x) = 4*x + 1. Let n be r(1). Let o be (12/9)/((-2)/(-6)). Suppose v + h + 1 = -o, -h = 5*v + n. Is 2/5 greater than v?
True
Let j = 0.09 + -0.39. Is -6 bigger than j?
False
Let x = 1 - -4. Let r = x - 0. Which is greater: r or 6?
6
Let i = -0.5 - -0.34. Let u = i - -6.16. Let x = u + -8. Is -1 greater than x?
True
Let o be -1*(-1 - 6/(-3))*-1. Which is greater: o or -1/17?
o
Let j = 62 - 56. Is j greater than 4?
True
Let l(x) = x**3 - 5*x**2 + 5*x + 3. Let m be l(4). Which is bigger: 8 or m?
8
Let d = -135 - -129. Suppose 2*h - 2 = h. Does d = h?
False
Let y be (2/4)/((-2)/(-4)). Let l = y - -2. Which is smaller: l or 1?
1
Let n = 41/5 - 364/45. Is n at least -1?
True
Let t be (-365)/(-35) + 3/(-7). Suppose 0 = t*i - 8*i. Is i < 0?
False
Let k = 240 - 1204/5. Which is bigger: -1 or k?
k
Let p = 0 + 0. Let k be (-4)/4*1/4*-1. Does p = k?
False
Let y = 322 + -332. Let z(o) = -o**2 - 3*o + 1. Let t be z(-5). Which is bigger: y or t?
t
Let t(l) = l - 1. Let q(a) = -a**2 - 8*a + 8. Let m(u) = -q(u) - 5*t(u). Let y be m(-4). Which is greater: 3 or y?
3
Let g = -0.29 + 3.19. Let c = -3 + g. Let o = -0.01 + 0.01. Is c bigger than o?
False
Let u be 3/12 + (0 - -2 - 1). Does 1 = u?
False
Let c = -1 + 4. Let o be -2 - 1 - (c + -7). Which is greater: o or 0.5?
o
Let l(w) = -w**3 + 2*w**2 + 4*w - 4. Let b be l(3). Suppose 4*j - 47 = -111. Let v be (6/j)/(6/(-4)). Which is bigger: v or b?
v
Let y be (5/10)/(4/(-8)). Which is smaller: y or 2/85?
y
Suppose -2*u - 15 = u. Let b be 1/(-3 - (-28)/10). Let x(m) = m**2 + 6*m. Let r be x(b). Is r at most u?
True
Suppose -5*k - 4*s + 8 = 0, -s - 1 = -5*k - 3. Let m(l) = -2*l + 1. Let j be m(-1). Suppose j*v - v = k. Is 0 at most v?
True
Let z(b) = b**2 - b - 2. Let l be z(0). Are l and -0.3 equal?
False
Let k = -1 - -16. Suppose 5*g - 3*r = k - 0, 0 = -2*r. Is g greater than or equal to 4?
False
Let h = 53 + -57. Is h greater than or equal to -35/8?
True
Let r = 87 - 89. Is r < -0.13?
True
Let p = 0 - -2. Which is smaller: p or 13/3?
p
Let o = -514/3 + 166. Which is smaller: 2 or o?
o
Let o = -772/11 - -70. Let t(l) = -l**2 + 8*l - 7. Let v be t(6). Suppose v*j + 5*q + 1 = 3*q, 8 = 4*q. Is j smaller than o?
True
Suppose 4*k - 4 = 12. Suppose -33 + 9 = k*z. Suppose -15 = 2*x + x. Which is smaller: z or x?
z
Let f = -2.8 + 3. Let g = 7.8 - 10. Let i = g + f. Which is greater: i or 1?
1
Let c be (-36)/28 - (-6)/21. Which is bigger: c or -2/11?
-2/11
Let p = -4 + 9. Let z = p - 3. Let v = -1 + z. Which is smaller: v or -0.04?
-0.04
Let j = -156 - -3901/25. Is j <= -1?
False
Let o = 15 - 17. Which is smaller: o or -26/9?
-26/9
Suppose 0 = 3*l + k, 3*k + 0*k = -3*l. Suppose w - 6*w - 30 = -5*s, -2*s - 2*w = 8. Which is smaller: s or l?
l
Let f be (-2)/16 + 21/(-216). Is 2/5 greater than or equal to f?
True
Suppose 3*w + 4*x = 12, -5*w - 6 = -4*x + 2*x. Let d(v) = v. Let c be d(w). Suppose 2 = -z - z. Which is bigger: z or c?
c
Let y(b) = -b**2 - 3*b - 5. Let n be y(-4). Let l be 46/(-6) + 2/(-6). Which is bigger: l or n?
l
Let r(g) = g**3 - 12*g**2 + 4. Let k be r(12). Suppose 2*p - 2 = -k. Suppose 5*i = 2 + 3. Which is bigger: i or p?
i
Let h be 4/(56/(-38)) - -3. Let i = 140 - 137.99. Let c = -0.01 + i. Which is smaller: c or h?
h
Let t = 7 + -7. Suppose t = -2*d + 3*d. Which is greater: d or 1?
1
Let m be (-10)/6 - 1/(-1). Let d = 1.25 + -0.25. Are m and d non-equal?
True
Suppose 3*h + 9*y - 4*y + 10 = 0, h + 4*y = -8. Suppose -2*m - 15 = -d - 0*m, 5*d = 4*m + 51. Let b be 2/d + (-72)/56. Is h equal to b?
False
Let h(c) = -c**2 - 4*c - 3. Let n be h(-2). Which is smaller: n or -1/14?
-1/14
Let j(m) = -m**3 - 4*m**2 + 3*m - 6. Let q be j(-5). Suppose q - 49 = -5*x. Which is bigger: 8 or x?
x
Let n(h) = 2*h**2 + 6*h + 2. Let i be n(-4). Let k(w) = -4*w - 1. Suppose 5*a + 5 = -10. Let o be k(a). Is i > o?
False
Let o = 5 - 6. Let u be 0 - 9/(-3) - o. Suppose u*t = -2*q - 4, 4*q + 3 + 5 = 2*t. Which is smaller: q or -1?
q
Let y(k) = k - 14. Let w be y(7). Is w not equal to 0?
True
Let j = -62 + 56.1. Let r = -6 - j. Which is bigger: 0 or r?
0
Suppose 3 = -b + 2. Let u = 0 - 0. Let f be u - ((-48)/(-27) - 2). Which is bigger: b or f?
f
Suppose v - 4*v = -5*u + 29, u + v - 1 = 0. Suppose 0 = -u*k + 4*x, 4*x - x = 2*k - 5. Is k != -4?
True
Let i = -4.154 + -0.046. Let g = -4 - i. Let v = g + -0.1. Are v and 3 equal?
False
Let r(q) = q + 4. Let v be r(-3). Suppose -3*k - 80 = -8*k. Let o = -13 + k. Which is bigger: o or v?
o
Let g be 4/(32/(-10))*4. Let h(t) = -3*t - 8. Let s be h(g). Are 7 and s non-equal?
False
Let a = 28 + -29. Is a at most as big as -1?
True
Let y(m) = m**2 - m - 1. Let d(o) = -7*o + 3. Let l(f) = d(f) - y(f). Let n be l(-6). Suppose -3*g - n + 15 = t, 0 = 3*t + 4*g - 18. Which is greater: t or 6/5?
t
Let a = -13 - -16. Suppose -3*g = u + 26, 2*u = 2*g - a*g - 2. Are -10 and g equal?
True
Let t be (-2 + (-8)/(-6))/((-24)/18). Which is greater: t or 4?
4
Let t be (-36)/(12/3) - 0. Is -9 equal to t?
True
Let z be 5 + (-3)/(-2 + -1). Let w(j) = -j**3 + 2*j**2 + 12*j - 10. Let c be w(4). Is c greater than z?
False
Let w be 2/7 + (-57)/(-21). Suppose 2*u + w*u + 10 = 0. Which is smaller: -3 or u?
-3
Let f = -12 + 18. Let j = 460/3 - 153. Is j at least as big as f?
False
Let b = -959/3 - -317. Is b greater than -3?
True
Let k be (66/187)/(6/(-4)). Is -0.1 at most as big as k?
False
Let z be 2/5 + (-117)/180. Let i = 5 - 2. Suppose 0 = s - i*s - 5*f - 12, -2 = -2*s + 2*f. Which is smaller: s or z?
s
Let g be (-8)/6*(-9)/6. Suppose -5*q + 2*q - 156 = 0. Let c be (-148)/q + g/13. Which is greater: 2 or c?
c
Let c be (-1)/1 - (-3 + -55). Suppose -2*k + k - 77 = 4*w, -c = 3*w + k. Let l be 18/w*(-8)/(-12). Which is smaller: l or -2?
-2
Let x be (2 + 2 + -3)*13. Let p = -8 + x. Let k(a) = -a**2 + 8*a - 5. Let w be k(6). Is p at least as big as w?
False
Let l = -0.11 + 0.03. Let w = 0.58 + l. Is 0.1 bigger than w?
False
Suppose -1 + 5 = j. Let u be (6/4)/(j/8). Suppose -m - 2*m = -u. Is 2/7 >= m?
False
Let a be (-3 + 1)*(2 - 0). Let m be 1/a - 34/(-8). Suppose 5*b - 21 = 2*r, m*r = 2*b - 5*b - 3. Is r less than or equal to -3?
True
Let c = -0.22 + 1.22. Is 1/2 bigger than c?
False
Let v(i) = -i + 4. Let s be v(9). Is s <= 2/3?
True
Let q(g) = -g. Let s be q(-7). Suppose -9*m + s*m + 6 = 0. Is -2 >= m?
False
Let t(j) = -2*j + 17. Let u be t(12). Let g = 0.02 + 0.08. Which is smaller: g or u?
u
Let f = 0.37 - 0.4. Which is greater: 0.1 or f?
0.1
Suppose 0 = z + 1 - 2. Let i = z + -3. Which is bigger: 0 or i?
0
Let y(j) = j**3 + 6*j**2 + 5*j 