7 = -19. Let y = r + 0. Which is greater: y or -4?
y
Let y = -61 + 35. Let a = y + 25. Let b(j) = -j + 2. Let h be b(1). Which is greater: h or a?
h
Suppose f - 2 - 14 = 0. Suppose 2*o - 4*r + 21 = -r, 0 = -3*o - 5*r + f. Let j = o + 11/3. Which is greater: 1 or j?
1
Suppose 1 = -v, 0*y - 3*y + 16 = -v. Let u(r) = -r + 10. Let d be u(4). Is d at least y?
True
Let j(p) = p - 3. Suppose -l = -5*l + 24. Let i be j(l). Which is bigger: 2 or i?
i
Let q = -6/5 - -59/45. Suppose 0 = -0*d + 4*d + 52. Let m = 13 + d. Which is smaller: q or m?
m
Let v = 10 - 16. Is v != -6?
False
Let t = 19 - 18.8. Suppose 4 + 5 = 3*k. Is t < k?
True
Let s(o) = -o**2 + 7*o - 5. Let q be s(6). Let u be (-1 - q)/(8/2). Let n = 0 - 1. Which is greater: u or n?
u
Let l = 8 - 12. Suppose 5*m = 10*m + 15. Which is greater: m or l?
m
Let s = -23/105 + 2/7. Is 0 smaller than s?
True
Let x = 9.102 + -0.102. Which is greater: x or -2/7?
x
Suppose 4*d = 19 - 3. Suppose -4*v = -d*y - 1 - 7, -5*v + 10 = -y. Suppose 2 = 2*f - 2*b, -3*f - 2*b + 0*b + 3 = y. Do -1/3 and f have different values?
True
Suppose -5*k - 4*b + 59 = -0*b, -5*k - 2*b + 67 = 0. Let u be ((-6)/(-4))/((-6)/(-64)). Is k < u?
True
Let n(q) = -q**3 - 9*q**2 - 10*q - 12. Let g be n(-8). Let p = g + -5. Let l be p/((-1)/(2 + 0)). Which is greater: l or 1?
l
Suppose 4 = 2*v + 2. Which is bigger: -1/24 or v?
v
Let a(y) = y**3 - 4*y**2 - 2*y - 11. Let k be a(5). Let u = k + -3. Are -2/25 and u equal?
False
Let r be 42/68 + (-3)/6. Do -0.04 and r have the same value?
False
Let k be ((-6)/(-146))/(6/(-4)). Let x = k - -245/949. Which is smaller: x or 0?
0
Let q(w) = 8*w**3 + 6*w**2 - 4*w - 1. Let g(n) = n**3 + n**2 - n. Let f(j) = -6*g(j) + q(j). Let h be f(1). Suppose 3*c + h = -6. Which is smaller: c or -2?
c
Let v = -57 + 56. Let r be 5/(-4) - (-1)/4. Let w be (14/6)/r + 2. Which is smaller: w or v?
v
Let j = -0.1 + -0.3. Let c be 24/14 + -5 + 3. Which is greater: c or j?
c
Let q(k) = 12*k**3 + 2. Let b be q(-2). Is -94 less than b?
False
Suppose 4*r - r = -4*i + 41, 5*r - 7 = i. Let z(q) = -q**3 + 4*q**2 - q + 3. Let k be z(3). Which is greater: i or k?
k
Let q(k) = k**2 + 8*k + 11. Let b be q(-7). Does b = 5?
False
Let a = 131 - 1443/11. Which is smaller: a or -1?
-1
Suppose -2*z + 5*p - 4 = 0, -4*p = -5*z - 5*p - 10. Let k be (5/(-2))/((-1)/2). Let r be (-8)/k + (-4)/10. Is z not equal to r?
False
Let u be (-6)/27 + (-47)/(-9). Let x = -12 + 16. Let j = u - x. Which is bigger: j or -2/17?
j
Let a(j) = 2*j**3 + 5*j**2 - 6*j - 7. Let o be a(-3). Is -2 smaller than o?
True
Let l(j) = j**2 + 6*j + 5. Let i be l(-5). Suppose h + 0 - 1 = 0. Is i >= h?
False
Suppose -3*k = -47 - 34. Let c = k + -29. Is 2 not equal to c?
True
Let i be 480/235 + -3 - -1. Let a be 1 - (6/2 - 2). Is i bigger than a?
True
Suppose 0*a + g = 2*a - 12, 0 = 5*a - 2*g - 28. Let f be ((-6)/(-9))/(2/9). Is a <= f?
False
Let t(m) = 9*m - 2. Let h be t(-1). Which is smaller: -9 or h?
h
Let k = 51 - 56. Which is bigger: k or -15/4?
-15/4
Let p = 126 + -70. Which is smaller: p or 55?
55
Suppose -13*v - 12 - 1 = 0. Suppose -4*m + 2*m = -h, -3*h = -3*m. Suppose 0 = -t + 1 - m. Which is greater: t or v?
t
Let a(v) = v**3 - 2*v**2 - 2*v - 3. Let y be a(3). Let u = 0 + y. Let c = 117 + -587/5. Which is smaller: u or c?
c
Let d = -77 + 76. Let p = -1.9 - 0.1. Let b = -2 - p. Is b not equal to d?
True
Let j = -8 - -11. Are -18 and j unequal?
True
Suppose -t + 2 = -0*t. Suppose -t*z = -5*z. Which is smaller: -2 or z?
-2
Let n(s) = -s**3 - 4*s**2 - 2*s + 2. Let o be n(-3). Let x be (-3)/(0 - o/(-3)). Suppose 5*a + 24 - x = 0. Is -3 bigger than a?
False
Let k(w) = w**3 - w**2 - 3*w - 1. Let v be k(0). Which is smaller: -102 or v?
-102
Suppose -2*i - 5*y + 8 = 0, 3*i = y + 6 + 6. Which is greater: i or 5?
5
Let z = -4441/20 - -222. Is z greater than or equal to 0?
False
Let v = 17 + -10. Let c = -10 + v. Which is smaller: c or -8/3?
c
Let v be (-13)/14*-1 - 3/7. Are v and -30/13 equal?
False
Let i be -3 - 0 - ((-21)/12 - 1). Which is smaller: -5 or i?
-5
Suppose -10*k = -2*k - 16. Do 0.2 and k have different values?
True
Let t = 10 - 11.1. Let b = t + 1.1. Let x = 2 + -5. Do b and x have different values?
True
Let a = 1.4 + -1. Let r = -39 - -40.4. Let b = r - a. Are -1 and b equal?
False
Let x = -21 + 35. Which is greater: -0.2 or x?
x
Let l be (-1 + 1/2)*-2. Let k(i) = i**3 + 3*i**2 + 2*i - 1. Let u be k(-4). Let j be u/5 - -1*l. Is -1 <= j?
False
Let h = 14 + -20. Let p be ((-3)/2)/(h/20). Suppose 8*k = 3*k - p. Which is bigger: 0.5 or k?
0.5
Let s = -20.1 - -19. Let p = 0.027 - -0.073. Does s = p?
False
Let i(t) = t**2 - 2*t - 12. Let z be i(5). Is 4 <= z?
False
Suppose 4*a = -q - 169, -3*a - 2 = -a. Let s be ((-8)/(-10))/(q/75). Which is greater: s or 0?
0
Let s = 35 + -16. Suppose -4*y - 11 - 4 = 3*k, s = -4*k - 5*y. Which is bigger: -1/19 or k?
-1/19
Suppose 0 = -0*i - i. Suppose -19 = -4*a - 7. Let l = 2 - a. Is l greater than or equal to i?
False
Let h be 0 + 1 - 4/(-5). Which is bigger: h or 2/3?
h
Suppose 0 = p - 4. Suppose 2*f = -2*u - 2*f - 10, 0 = -3*u - 2*f - 11. Let o = p + u. Is o less than -1?
False
Suppose 133 = 5*y - 92. Suppose -y = -5*o - 5*k, 0 = -2*o - o + 5*k - 5. Suppose 3*z - o*z = -3*c - 13, -z - 2*c = 11. Which is greater: z or -1/7?
-1/7
Let q = 1347/1397 + -7/127. Which is smaller: 2 or q?
q
Let h = 794/3 - 262. Which is greater: h or 2?
h
Let l(g) = 2*g + 4. Let q be l(-2). Is q bigger than -3?
True
Let g be (3 - 0)/((-6)/(-8)). Let b = -31 + 16. Let s = 20 + b. Which is smaller: s or g?
g
Let x be -4*(-2 + -12 - 1). Let m = x + -298/5. Let r = m + -13/20. Which is smaller: 1 or r?
r
Let o be (4 + (-9)/2)*-6. Suppose 5 = -l - o. Is -9 >= l?
False
Let o(c) = c + 1. Suppose 3 = 3*m + 4*b, 4*m - 5*b + 1 = -26. Let n be o(m). Which is smaller: -4 or n?
-4
Let a = -0.121 + 0.021. Which is bigger: -154 or a?
a
Let u be ((-1)/2*0)/1. Suppose x + x + 4 = u. Which is bigger: x or -3?
x
Suppose -6*y = -4*y - 20. Suppose 3*p = 5*v + 2*p + y, 5*p - 2 = v. Which is smaller: v or 2?
v
Let q be 270/105 + 8/(-14). Which is smaller: 16/5 or q?
q
Let i = 21 - 12. Suppose 0 = -3*l - 5*f + 2, -3*f + i + 1 = 4*l. Which is bigger: 3 or l?
l
Let a = -5 + 14. Suppose 2*s + 4*b - a = 9, b = -2*s + 6. Let q = s + -4. Do q and -3 have the same value?
True
Let t be (-13 - -1)*12/(-9). Suppose 4*p + t = 5*f, -p + 0*f - 7 = -2*f. Which is smaller: p or -2/7?
-2/7
Let w = -9/13 + 103/130. Suppose -18 = -x + 5*p + 2, 2*x - 4*p = 16. Suppose d + x*d = 0. Which is smaller: d or w?
d
Suppose 10*m + 22 = 8*m. Is m not equal to -11?
False
Suppose 15 = -6*b - 15. Is -5 equal to b?
True
Suppose -3*y = -5*y - 4*q + 18, -35 = -5*y - 5*q. Suppose -v = -5*w, y*v - w = 2*w. Let l be ((-12)/(-15))/(-1 + 3). Which is smaller: l or v?
v
Let b(f) = 3*f**2 - f. Let v be b(1). Suppose -v*m + 4 = 2*m. Let w be ((-6)/27)/((-4)/(-6)). Which is smaller: m or w?
w
Suppose 56*z = 51*z. Which is greater: z or 2?
2
Let g be ((-3)/1 + 3)/(-2). Suppose 2*d - 4 = -g*d. Do 5/4 and d have the same value?
False
Suppose 2*t + 70 = 4*t. Suppose 5*l + 5*q - 3*q = 15, 3*l - t = 4*q. Suppose z + l*w - 2 = -z, 2*w + 4 = 0. Which is smaller: 7 or z?
z
Let x = 1.2 - 0.2. Let q = -5 - -2. Let z = -3 - q. Which is greater: x or z?
x
Let d be -2*1*36/8. Let s(t) = t**3 + 9*t**2 + 3*t + 7. Let l be s(d). Let n be (2/l)/(3/6). Is n greater than -2/3?
True
Let h = 14 + -18. Let x = 14 + h. Are 8 and x equal?
False
Let k = 2252/7 + -326. Which is bigger: -3 or k?
-3
Suppose -4*k + 642 = -2*o, -2*k = 3*o - 4 - 297. Let d = 309/2 - k. Which is smaller: -5 or d?
-5
Let d = -175/3 - -59. Is d > 5?
False
Let y be (-2)/(-6)*(-9)/6. Let m(a) = a - 8. Let k be m(9). Which is smaller: k or y?
y
Let h be (-1)/3 + (-49)/(-21). Let v = 0 + h. Let a be -1*(0 - (v - 2)). Does 0 = a?
True
Let b = -11 - -12. Let j be (-32)/(-264)*(-3)/(-2). Is b at most j?
False
Let o = 6 + -8. Let w = -2.5 + 2. Let t = -0.6 - w. Which is bigger: t or o?
t
Let v = 0.21 + -0.32. Let d = -1.11 - v. Are d and -5/7 unequal?
True
Let q be (-2 - -3) + 3 + 1. Suppose -5*j - 8 = 4*k + 17, -3*k + q = -j. Suppose k = 5*r + v + 5, 0 = 2*r + r + 2*v + 3. Which is greater: -2/19 or r?
-2/19
Let j = -221/70 - -20/7. Let f = 1/5 - j. Let k = -1 + -1. Is f 