 w + 3*w + 2 = -3*j, 4*j = -w + 6. Let o = w - -3. Which is smaller: o or q?
q
Let w be 3 + (22/1 - 0). Suppose -n = -6*n + w. Suppose -4*j + n = j. Is j greater than or equal to -1/3?
True
Let z = -11 - -11.2. Let k = 2.2 - z. Is 3 at least as big as k?
True
Suppose -10 = -9*w - 1. Which is bigger: w or 2?
2
Let k = -552292 + 7183178/13. Let r = k + -260. Is 1 at most r?
False
Let j be (-6 + (-6)/(-1))/2. Is j greater than or equal to -2/9?
True
Suppose 6 - 4 = -z. Which is greater: -1 or z?
-1
Let b be ((-6)/(-4))/((-2)/(-4)). Which is bigger: b or -1?
b
Let m be (20/5 - 8) + 2. Is m bigger than -2?
False
Suppose 3*n - 2 - 1 = 5*a, a - 4*n = -4. Let z = 9 - 3. Suppose -2*m + 2 = -z, 3*h + 5*m - 20 = 0. Is a less than or equal to h?
True
Let a = -19 + 9. Let h(d) = d**2 + 11*d + 11. Let g be h(a). Suppose 7 + g = -4*j. Which is greater: j or -3?
j
Suppose -5*f + 21 = -3*x, 3*x = -0*f - 2*f. Suppose -h - h + 2*y = -4, 10 = h + f*y. Let c = -1 - -4. Is c > h?
False
Let n = 20 - 28. Is -8 at most as big as n?
True
Suppose b - 1 = -4*d, 0 = -2*d - 0*d + 2*b + 8. Let h = 1 - d. Suppose h = -c + 5 - 4. Which is greater: 2 or c?
2
Suppose 0*y - 14 = 2*y. Which is smaller: -2 or y?
y
Let a = 1460733241175/1008 + -1449140329. Let p = 111/112 - a. Let h = 210 - p. Which is greater: -1 or h?
h
Suppose 0 = 3*h + 4*l - 24, 2*h + 2*h - 2*l = 10. Suppose -h*x + x - 19 = -4*d, -20 = 4*x - 4*d. Let g be x/12*-3 + 0. Which is smaller: -1 or g?
-1
Let i be 2/((-2)/12*-3). Suppose 2*g = -2*u + 7*u + 24, -2*g - i*u + 24 = 0. Suppose 0 = -t - 3*t - g. Is -1 greater than t?
True
Suppose -3 = 3*r + 2*h, 0 = 2*r - h - 0 + 9. Let s be (-4)/3*(-3)/1. Suppose z + 5*v = 2*z - 3, 3*v + 11 = -s*z. Which is smaller: z or r?
r
Suppose c = -5, y + 31 = -3*y - 3*c. Which is smaller: y or -23/5?
-23/5
Let i(a) = a + 33. Let s be i(-8). Which is greater: s or 24?
s
Let d = -5 + 13. Suppose 2*b + 33 = a + d, 5*a - 95 = 4*b. Suppose 0 = -7*t + 2*t + a. Which is bigger: 2 or t?
t
Let f(p) = -p + 4. Let x(d) = -d**3 + 3*d + 3. Let r be x(-2). Let i be f(r). Let k be i/(3/(-2)) - 0. Which is bigger: k or -0.1?
k
Let g be (6/(-8))/((-14)/(-8)). Let y(f) = f - 1. Let i(d) = -d**2 + 2*d - 1. Let n be i(1). Let q be y(n). Which is greater: q or g?
g
Let r = -12.728 - -0.128. Let b = 13 + r. Is 0 < b?
True
Let b(k) = k**2 - 5*k - 4. Let w be b(6). Let d(x) = 4*x - 7 - x - 2*x. Let t be d(9). Do t and w have different values?
False
Let f be (-18)/(-6) + 10/(-4). Which is bigger: f or 3?
3
Suppose -4*q + 2*z + 30 = -9*q, 0 = 4*q + z + 27. Are q and -8 equal?
True
Suppose 2*b + 9 = 3*y - 8, -y + 8 = -3*b. Is b smaller than 1/72?
True
Let x = 12.9 - 13. Let i = x - -2.1. Which is bigger: -0.1 or i?
i
Suppose -24 = -2*h + 2*v, 3*v = -5*h + 67 + 9. Let c = h + -8. Which is greater: 5 or c?
c
Let h be (-463 + 0)/(3 + 2). Suppose 3*c - 294 = 3*z, -7*z + 2*z + c - 470 = 0. Let x = z - h. Is x at most as big as -1?
False
Let h = 4 - 2. Suppose 3 - 2 = x. Is x greater than h?
False
Let d = -167 + 115. Is -52 equal to d?
True
Suppose -4*f = -c - 4*c + 60, 65 = 5*c - 3*f. Let d be c/24*(-6)/16. Let m be (-1)/(1/(1/(-1))). Is m greater than d?
True
Let y = 3.2 + -2.2. Let j = 3.97 - 4. Which is smaller: y or j?
j
Let s = 0.8 + -0.3. Let t = -2 - -2. Let p = 0 - t. Which is smaller: p or s?
p
Let l be (-19)/19*(-2)/328*-2. Which is smaller: 0.1 or l?
l
Let i(z) = -z**2 + 16*z - 27. Let j be i(14). Which is smaller: -3/41 or j?
-3/41
Let a(j) = 3*j + j - 7*j**2 + 12*j**2 - 1 + j**3. Let y be a(-4). Let i = 1 + y. Which is smaller: -1/5 or i?
-1/5
Let s = -3 - -6. Suppose -4*k - 1 = s. Let i be (1 + 9/(-6))*0. Which is smaller: i or k?
k
Let u(r) = -r**2 + 2*r + 5. Let p be u(4). Let w be ((-2)/12)/((-2)/p). Is w at most 0.1?
True
Suppose 5*l = 5*m, -14*m + 12*m = 4. Let z(w) = -2*w - 3 - w**2 - 2*w + 2*w. Let n be z(-2). Which is smaller: l or n?
n
Let u = -5 + 13. Let f be (-19)/15 - u/20. Let o = 0 + -1. Is o at most f?
False
Let g = -438 + 14452/33. Let v = -18 - -18. Which is smaller: g or v?
g
Let u be (34/68)/(2/(28/1)). Is u at least as big as 9?
False
Suppose -5*v + 177 = -323. Let w = 181 - v. Let x = -245/3 + w. Which is smaller: x or -2?
-2
Let t = 2.1 - 2. Let q = t + -1.1. Is -2/3 less than q?
False
Suppose -r = s - 6, -4*s - 5*r = -2*s - 21. Suppose h - 5*m = -h + 23, s*h = -4*m - 23. Let w be ((-4)/(-5))/((-6)/3). Is w bigger than h?
True
Let l be -10*-2*(-4)/(-24). Which is smaller: l or 3?
3
Let d be (-3 - 18)/((-3)/4). Suppose 2*o - d = -4. Let q = 59/5 - o. Which is greater: 0 or q?
0
Suppose 5*m - 2*r = 18, 5*m - 5*r - 14 - 1 = 0. Let o = m - 3. Is o greater than 1?
False
Let l = 32.2 - 32. Is -14/9 != l?
True
Let r(v) = v**3 - 16*v**2 + 15*v + 5. Let h be r(15). Suppose -n = h*j - 4, 0*j = -n - 2*j + 1. Which is bigger: -1/4 or n?
-1/4
Suppose i - 10 = -3*v, 2*v - 7 = 3*i - 4*i. Let q be (-2)/(-7) + 104/28. Suppose -15 = -q*r - v. Is 2 less than or equal to r?
True
Let u(d) = d**3 - 3*d**2 - 4*d. Let t be (3*-4)/((-4)/(-10)). Let o be (12/10)/((-9)/t). Let y be u(o). Which is smaller: y or 1?
y
Let z = 23 - 24. Which is greater: -2/15 or z?
-2/15
Let h(x) = -2*x**2 + 14*x - 4. Let b be h(8). Are 2/17 and b non-equal?
True
Let z be (1 + -1)*(4 + -5). Suppose z = 5*n - n. Is n greater than or equal to 1/12?
False
Let x(m) = -9*m**3 + m**2 + 12*m - 17. Let h(b) = -5*b**3 + 6*b - 9. Let y(l) = 7*h(l) - 4*x(l). Let o be y(5). Is 0 greater than o?
False
Suppose z = -0*z - 4*z. Is 0 greater than or equal to z?
True
Suppose -3*r + 38 + 4 = 0. Let p be (-4)/(-16) - r/(-8). Suppose -p*x = -3*x. Is -2/9 less than or equal to x?
True
Let d(p) = p + 14. Let y be d(-12). Suppose -32 - 3 = 5*s - 3*b, 4*b - 10 = 3*s. Let f be 6/s + y/(-5). Which is smaller: -1/5 or f?
f
Let f = 4.4 + -5.4. Which is smaller: f or 15?
f
Suppose 0 = 7*x - 2*x - 5. Let r be (8/10)/(4/10). Which is smaller: x or r?
x
Let s = -10 - -14. Suppose -s*z = -3*z. Let d = 0 - -0.2. Which is smaller: d or z?
z
Suppose 4*o - 343 = -835. Let x = -87 - o. Let u = x + -217/6. Which is smaller: u or 1?
u
Let u be -1 + 1 - (-2 - -3). Let b be (18/(-32))/((-2)/72). Let f = 20 - b. Which is smaller: u or f?
u
Suppose -4*w + 35 = 391. Let h = 39 + w. Let a = h + 201/4. Which is smaller: 1/2 or a?
a
Let n = 2 - 1. Suppose 0*m = -m + n. Let o be -1*((-10)/14 + m). Does o = -1?
False
Let l(o) = o - 3. Let z(t) = 2*t - 4. Let r(n) = 4*l(n) - 3*z(n). Let m be r(-2). Let g = 4 - m. Is -2/3 at most as big as g?
True
Let q = -16 - -2. Let w be ((-1)/q)/(1/(-4)). Which is greater: -0.18 or w?
-0.18
Let o(q) = -q**3 + 6*q**2 + 8*q - 8. Let j(u) = u**2 - 2*u + 4. Let v be j(3). Let l be o(v). Is 0 at most as big as l?
False
Let c = 47 + -50. Suppose 5*z + 2 = -3. Which is smaller: c or z?
c
Let v be 12*-1 - (4 + -5). Let o = v - -20. Which is smaller: o or 10?
o
Let m(l) = -l**2 - 5*l + 3. Let b be m(-5). Suppose -2*q + 1 = -3*t, -2*q + 19 = -2*t + 5*t. Which is bigger: b or q?
q
Let r = 23 + -18. Which is smaller: -1 or r?
-1
Suppose 3*h = 4*h + 15. Let d = h + 13. Is -1 smaller than d?
False
Let g = -285 - -285. Let m be 2/8 - 41/4. Is m less than g?
True
Suppose -2*m - 4 = 5*n, m - 3*n + n = -20. Let s = m + 15. Is -1 smaller than s?
True
Let w(z) = -z**2 - 9*z - 13. Let m be w(-6). Let q = 3 - m. Let d = -2 + 3. Is d at most q?
False
Suppose -2*k + 8 = -0*i + 2*i, 3*k - 5*i - 12 = 0. Let x be k/(-16) + (-2)/(-4). Are x and -1 non-equal?
True
Let l = -39.046 + 39. Which is smaller: 1 or l?
l
Let u = 9 - 9.06. Let t(j) = -j**2 + 5*j + 7. Let a be t(6). Which is greater: a or u?
a
Let j be ((-34)/(-8))/(17/68). Which is smaller: j or 14?
14
Let q = -0.27 + 3.57. Let f = q + 0.7. Suppose -7*n = -2*n. Which is smaller: f or n?
n
Let u be 19/285 - 4/6. Let w = -2 - -2. Is w less than or equal to u?
False
Let p = 1/323 - 655/2907. Which is greater: p or 1/7?
1/7
Let x be (-4894)/(-2340) + (-6)/10. Let s = -1/117 - x. Let o(v) = 3*v. Let q be o(-1). Is s <= q?
False
Let t = 6.1 - 6. Which is smaller: 3.1 or t?
t
Let r(d) = d**3 - 8*d**2 - d + 11. Let q be 50/15*24/10. Let b be r(q). Let i be (-8)/6 + b/9. Are i and -3/7 nonequal?
True
Let v(y) = -y**3 - 2*y**2 + 3*y + 4. Let s be v(-3). Suppose 2*m + 0 = -s. Let u be (m - -3)/(6/(-3)). Which is sma