. Is s at least r?
False
Let x = 0.1 - -0.1. Let n = x + -0.1. Let z = -4 - -3. Which is smaller: z or n?
z
Let q be 5/((-10)/(-12)) - -2. Let h = 42/5 - q. Which is smaller: h or -1?
-1
Let i be (-4)/(-16) - 3/(-4). Which is greater: i or -2/9?
i
Let c = 0.9 - 1. Is 2 less than c?
False
Suppose 4*z = 2*j - 12, j + j = -5*z - 6. Let m be 22/4 + (-3)/6. Suppose 3*t + m = j*t. Which is smaller: -6 or t?
-6
Let y be ((-19)/(-2) - -1)*4/(-6). Which is smaller: -23/3 or y?
-23/3
Suppose 12*s - 7*s + 90 = 0. Which is smaller: s or -12?
s
Suppose -5*y - 7 = -2. Is y greater than -3/8?
False
Let k(a) = -5*a + 3. Let y be k(2). Let h be 2 + -1 + (-18 - -13). Let v = y - h. Which is smaller: -1 or v?
v
Let t = -13 - -14. Which is greater: 2/413 or t?
t
Suppose 0 = 2*n - r - 3, 5*r + 14 = 2*n - 1. Suppose 0 = 2*m + m + 24. Let a be (6/9)/(m/6). Are a and n non-equal?
True
Let y = -0.3 - -1.6. Let t = -1.2 + y. Let w(q) = q**3 + 4*q**2 + 2*q - 2. Let u be w(-2). Which is greater: u or t?
u
Suppose 5*o = 4*o, -4*a + 2*o = -4. Let r be a - ((-3 - 0) + 4). Suppose r = g + g - 4. Is g less than or equal to 1?
False
Let n = 2.9 - 3. Let f = -63 + 63.1. Is f >= n?
True
Let x be (14/60)/(18/(-45)). Is x < 0?
True
Let b = -87/4 - -183/8. Which is smaller: 0 or b?
0
Let i(g) = -g + 4 - 9 + 11. Let f be i(7). Which is greater: -3/4 or f?
-3/4
Let s(c) = 2*c**3 + 5*c**2 - 4*c. Let r be s(-3). Suppose -x + 6 = 5*y, x - 1 = 3*x - r*y. Which is smaller: x or -6/17?
-6/17
Suppose -4*y = 13 + 7. Let n = y - -7. Let r = 0.3 + -1.3. Which is smaller: r or n?
r
Let g be (8 - 63/9)*3/(-6). Suppose 5*r = -10, 4 - 12 = -j + 5*r. Is g less than j?
False
Suppose -5*o - 4 = 1. Suppose -3*k + 3*v - 30 - 399 = 0, -3 = -3*v. Let j = k - -2132/15. Are o and j nonequal?
True
Let l be -8*((-1)/2 + 0). Suppose 2*s - 4*h - 1 = 1, h = -4*s + l. Let p = 7 + -4. Is s <= p?
True
Suppose p - 4*p - 36 = -5*n, 5*p = n - 38. Let a(u) = -u**2 + 5*u - 6. Let b be a(5). Which is smaller: p or b?
p
Let z be (-4)/(-7) - (-4 + (-90)/(-35)). Let m = -2.4 + 0.4. Let n = -2 - m. Which is smaller: z or n?
n
Let i(f) = 5*f**2 + 3*f - 3. Let v be i(2). Let o = 35 - 33. Suppose -2*q - b = 10, -o*q + 7*q + v = -2*b. Which is bigger: q or -2?
-2
Suppose -4*t - 11 = -2*b + 1, 5*t + 4*b = -2. Does t = -12/19?
False
Let a(h) = -2*h**2 + 5*h + 3. Let s(d) = 5*d**2 - 15*d - 9. Let z(y) = 8*a(y) + 3*s(y). Let f be z(-4). Let b = -1061/2492 + -1/356. Which is bigger: f or b?
f
Suppose -3*a = -0*w + 3*w - 9, -2*w + 6 = -4*a. Suppose 2*k - 13 = w. Let q(z) = -z + 5. Let i be q(k). Is i at most -3?
True
Suppose -g = -5*g + 4. Let w be (-23)/7 + 4/14. Let y be (-1)/w + (-2)/(-3). Are y and g equal?
True
Suppose 3*j + 0*j + 3*f = 12, -f = -5*j - 10. Is 10 less than or equal to j?
False
Let f(y) = y - 2. Let q = 4 - 1. Let s be f(q). Is s >= 0?
True
Suppose -4*s = -3*h - 0*s + 3, 3*s - 14 = -h. Suppose -3*t = -3*k + h*k + 1, 4*k + 4 = -4*t. Which is bigger: t or -3/7?
t
Let d = 11 - 11. Suppose n = 2*n + 2*t - 4, -4*n + 2*t + 16 = d. Let j = 8 + -2. Which is smaller: n or j?
n
Let g = 2611/5 + -535. Is -12 at least g?
True
Let c = 0.19 - 0.09. Are 1/18 and c non-equal?
True
Let o = -0.2 + -0.04. Let t = o - 1.76. Are t and -9 nonequal?
True
Let g = -1 - 0. Let u = -29/10 - -33/10. Are g and u equal?
False
Let b = 479/5691 - -3/271. Let p = -1/539 - -619/1617. Let d = p - b. Do d and 1 have the same value?
False
Let i = -0.4 - 0.1. Let c be ((-20)/(-50))/((-2)/5). Which is bigger: i or c?
i
Let r be (-1503)/(-4347) - 0 - 2/6. Is -1 equal to r?
False
Let g(z) = z**3 + z**2 + 1. Let b be g(-1). Let w = -4 - -6. Do b and w have the same value?
False
Let h(d) = d**2. Let w(o) = o**2 + 2*o - 3. Let j be w(-3). Let i be h(j). Let q = -1 - i. Is q at most 1?
True
Suppose -5*v + 2*v + 21 = -5*x, -v = 4*x + 10. Let q = 89 + -87. Are q and v nonequal?
False
Let l = 4/293 + 486/7325. Let a = 0 + l. Let p(v) = v - 5. Let d be p(5). Which is smaller: d or a?
d
Let n = 8.6 - 1.6. Suppose 4*y + 0*v - 2*v + 22 = 0, 0 = 2*y - 3*v + 9. Let m be (-2)/y*(-5 + 4). Which is bigger: n or m?
n
Let q = -12/23 - -189/230. Suppose -4*h = 2*t + 2, 2 + 5 = -t - 5*h. Suppose t = -o + 2. Which is bigger: q or o?
q
Let i(d) be the third derivative of 0*d - 1/3*d**3 + 5/24*d**4 - 1/120*d**6 + 2*d**2 - 1/20*d**5 + 0. Let k be i(-4). Which is greater: k or -5?
-5
Let z be (-1 - 1 - 0) + 6. Suppose -3*b + 15 + 32 = 2*p, 59 = 4*b - p. Let x be 6/9*b/2. Which is smaller: z or x?
z
Let k(g) = -g**3 + 8*g**2 - 2*g. Let v be k(3). Which is smaller: 1 or v?
1
Let j = -16 - -16. Let d = 197/763 + 3/109. Which is greater: d or j?
d
Suppose -7 = -g - 22. Let z be (6/10)/((-6)/g). Suppose 0 = -2*p + o, 0 = 2*p + o - 2 - 2. Which is greater: p or z?
z
Let o = 53 + -74. Let v = o - -18. Which is bigger: v or 1?
1
Let a be 9/(-66) - (-1)/2. Let f be (-8)/28 + (-23)/(-7). Suppose b - 3 = 4*q, 5*b - f = 12. Which is smaller: a or q?
q
Let n = -1.14 - -0.14. Is 10/7 < n?
False
Let a be (-20)/(-8)*3 + (-4)/8. Which is smaller: a or 6?
6
Let d be (-42)/21 - 3/(-1). Let i = -1 + 2. Suppose -i = n - 2. Are n and d nonequal?
False
Let q = 9.7 + -9.5. Let z = 0.07 + 6.93. Which is smaller: q or z?
q
Let u = 56 + -57. Is 7/18 >= u?
True
Let b(u) = -u**3 - 16*u**2 - 16*u - 16. Let w be 4/14 + (-1819)/119. Let d be b(w). Which is greater: d or -2?
d
Let m be (-1)/(-5)*30/21. Let a = -2 - -2. Suppose 0 = 2*i - a*i. Is i not equal to m?
True
Let x = 1 - -3. Let t be 5/20*x/5. Let m = 0 + 0. Which is smaller: m or t?
m
Let d be (-1 - -2) + -4 + 44/12. Is d smaller than -0.12?
False
Let i = 0 + 2. Suppose -i*y = -7*y + 15. Suppose y = 2*z + 7. Does -1 = z?
False
Let q = -7 + 4. Is q equal to -8/5?
False
Suppose -2*t + 9 = -5*m, 0 = -4*t + t + 6. Which is smaller: -8/7 or m?
-8/7
Let l = -1.79 + 1.7. Let r = 0.01 - l. Let p = 0.1 + -0.2. Is r >= p?
True
Let s(x) = -x**2 - 2*x - 1. Let t(j) = j - 12. Let b be t(10). Let p be s(b). Which is bigger: -5/3 or p?
p
Suppose 5*n = 5*s, -n = 2*n + s - 4. Let b(x) = 2*x**3 - 2*x + 1. Let o be b(n). Which is greater: 2 or o?
2
Suppose 0 = b + 4*i - 1, -3*b = i - 2*i - 55. Let c = -28 + b. Let t = -7 - c. Which is bigger: t or 5?
5
Let v be 27/12 - (2 + 0). Do v and -1 have different values?
True
Let b = -26 + 25. Is b < 2/395?
True
Let r = 548/21 - 77/3. Which is smaller: r or -3/4?
-3/4
Let d = 37661/6 - 273521/42. Let x = -236 - d. Does -1 = x?
False
Let p = -3 - -1. Let h = 1 + p. Let a be (0 - (0 + 0)) + h. Is -1 not equal to a?
False
Suppose -3*w + 6 = -0. Suppose -k - w + 1 = 0. Let n(z) = -z**2 - z - 1. Let o be n(k). Which is smaller: -2 or o?
-2
Let l = -9574/11 - -871. Is 0 < l?
True
Let v = 0.062 - -0.938. Is -2 less than v?
True
Let m = -0.04 + 12.04. Which is bigger: 0 or m?
m
Let x = -5 + 4. Let b be 0/x + 2 - -1. Which is smaller: b or 4?
b
Let x be 1*(1 + -2 + 0). Let b(q) = -359*q**2 - 1. Let v be b(1). Let d be 5/(-2)*32/v. Which is greater: d or x?
d
Let y(c) = c**3 + 2*c**2 - 3*c + 4. Let n be y(-3). Let s be -6*1*38/(-57). Is n bigger than s?
False
Let r(t) = -t**3 + 10*t**2 - t + 3. Suppose 0 = 2*f - 10 - 10. Let j be r(f). Which is smaller: j or -6?
j
Let w be (4 - -1)*2/(-5). Let y(h) = h - 1. Let z be y(1). Which is greater: w or z?
z
Let r = -9 + 10. Let u(s) = -2*s**2 + 2*s - 1. Let y be u(r). Which is smaller: -2 or y?
-2
Let h be 2/9 - (-128)/(-9). Are -14 and h unequal?
False
Let c(l) = l**3 + 2*l**2 - 3*l - 2. Suppose 0 = -5*s + 5*b - 35, 4*s + 5*b = 8*s + 32. Let q be c(s). Let k be (-12)/9 - q/6. Is k less than or equal to -1?
True
Suppose 8 = 4*j, -4*j + 8 = -k + 1. Let b = 5 - 3. Let f be 2/((-12)/(-3) - b). Is f at most k?
True
Let f be ((-4)/10)/((-2)/(-20)). Let l be (1 + -1)/(2 + f). Let d = l - -1. Which is smaller: d or -3/11?
-3/11
Let i = -11 + 11. Is i equal to 7/2?
False
Let v(d) = 7*d**2 - d + 1. Let m be v(1). Let p = -7 + m. Which is smaller: -1 or p?
-1
Let x = 0 + 2. Let s be ((-8)/10)/(16/(-120)). Suppose s = -2*z - z. Is x smaller than z?
False
Let c be (0 - 2)*20/(-320). Is 0 not equal to c?
True
Let k(q) = -2*q + 1. Let p be k(1). Let o(z) = z + 1. Suppose -2*l = -7*l + 4*d, -2*d = 3*l. Let t be o(l). Which is greater: t or p?
t
Let a = -16/105 - 2/15. Is a < -4/11?
False
Let u(q) = q**2 - q