pose 2 = -i*r - 7. Is -3 > r?
False
Suppose -4*j + 12 = -0. Suppose -4*n - 24 = 5*y, 5*y - j*n + 14 = -3. Let s be 2/((-1)/((-10)/(-4))). Is y greater than or equal to s?
True
Let c = -0.1 - 2.9. Let o = 3.3 + c. Let j = 1 + -1.1. Which is smaller: o or j?
j
Let q = -26.3 - -29. Let d = -0.03 - -0.33. Let k = d + q. Is k greater than 0?
True
Let s = 22 + -42. Let q be (-31)/(-4) + (-5)/s. Suppose -4*i = q - 0. Which is bigger: i or 1?
1
Suppose -10 = -2*d - a, -4*d + 2 = -2*d - 3*a. Let b be (1/2 + 0)*d. Suppose -3*u = b*u. Are u and 1/2 non-equal?
True
Suppose 5*v - 4 = 4*t, t - 3*v - v = -1. Let b be 14/63*(-2 - t). Which is greater: b or 1?
1
Let s be (5 + -3)*2/4. Is s smaller than 2?
True
Let v be -2*(155/(-10))/(-1). Is -31 < v?
False
Let j = 0 + 0. Suppose 5*l = 2*l. Suppose l = -n + 3*n. Do j and n have the same value?
True
Let o = 58 + -291/5. Which is smaller: 0 or o?
o
Suppose 0 = -3*k + 1 + 11. Let c be (k/(-6))/((-4)/6). Which is greater: 6/13 or c?
c
Let f be 5*((-20)/285)/((-10)/(-3)). Which is greater: f or -1?
f
Let r = 2 - 1.7. Suppose 0*p - p - 1 = 0. Which is smaller: r or p?
p
Suppose 3*j = -1 + 4. Is j < 2/123?
False
Let l = -262/3 - -88. Let u = 2.7 + 0.3. Let p = 3 - u. Which is bigger: l or p?
l
Let z be (-4)/14*21/(-6). Which is bigger: -4 or z?
z
Let d = 0.1 + 0. Suppose -5*m = 5*p - 16 - 14, p = 3*m - 26. Let n be (-3)/10*m/6. Is n smaller than d?
True
Let z be 2*(-3)/(9/(-30)). Let j be ((-12)/z)/(18/4). Which is bigger: -1 or j?
j
Let z = -22 - -22. Suppose -4*m = -17 - 3, a - 2*m - 6 = 0. Suppose z = h - 5*h - a. Is -5 <= h?
True
Let h(b) = 530*b**3 - 2*b**2 - b. Let j be h(-1). Let r be (27/j)/(6/(-4)). Which is greater: -1 or r?
r
Let v = -2 - -11/6. Does v = -2?
False
Suppose -13 = 5*h - 6*m + 4*m, -2*m + 8 = 0. Is -3 < h?
True
Let i = -9 + 18. Is 6 bigger than i?
False
Let b = 23 - 20. Suppose 0 = b*c + 2*c. Which is bigger: 2/63 or c?
2/63
Suppose 14*k + 6 - 6 = 0. Which is smaller: k or -2/109?
-2/109
Let j(z) = -z - 2. Let x be j(10). Let s be x/16 + (-2)/(-4). Which is greater: 0 or s?
0
Let b = 2410 + -267512/111. Which is smaller: 0 or b?
b
Suppose 3*k = -9, 2*t - 3 - 6 = k. Let p(w) = w**2 - 4*w - 2. Let v be p(t). Is -4 <= v?
False
Let y be -2 - 1 - (3 - 0 - 6). Let b be (-18)/14 - (-4)/14. Which is greater: b or y?
y
Let o = 20 + -28. Let l = o + 7. Which is smaller: 1/5 or l?
l
Let o = 1/2 + -3/5. Which is smaller: 1 or o?
o
Let r = 9 - 14. Let q = r + 4. Let k = 4.06 - 0.06. Which is smaller: q or k?
q
Suppose 0 = l - 0 - 2. Let i = -13/7 - -73/28. Is i <= l?
True
Let i be 11/(-13) - (-8)/(-52). Which is smaller: i or 2/151?
i
Let v = 58 + -27. Let x = -19 + v. Suppose -x = y + 2*y. Is y at least as big as -3?
False
Let s(a) = -a**2 + 14*a + 18. Let j be s(15). Let w(y) = y + 3. Let z be w(j). Is -1 less than z?
True
Let p = 1341/4 + -338. Is -2 greater than or equal to p?
True
Let y(u) = 9*u**3 + u - 1. Let t be y(1). Suppose -3*q + 4*z = -19, 0*z - 2*z - t = -q. Is 1/10 at most as big as q?
True
Let h = 0.123 + -0.023. Is h at least as big as -38?
True
Let r be ((-12)/9)/(1/6). Let g be (r/(-6))/((-1)/3). Which is smaller: -1 or g?
g
Suppose -3*n = -6*n. Let u = -1 - n. Let v be 2 + (-3)/13*8. Which is bigger: u or v?
v
Let r(c) = -c**3 + 3*c**2 + 5*c - 4. Let t be r(4). Let n be (t + 2 - 7)*1. Are n and -3 equal?
False
Let j(u) = -3*u**2 + 3*u + 18. Let n be j(6). Does -71 = n?
False
Let n be (1 + 3/(-1))/(-32). Suppose -9*i + 3 = -6*i. Is n < i?
True
Let o(a) = -a - 3. Let f be o(-5). Suppose -h - i = -3, 2*h - 12 = -3*h - f*i. Suppose 0 = 5*b + 2*p + 23, h*b + 2*b = 2*p - 4. Is b at least as big as -3?
True
Let k = 19/90 + 7/18. Let p be 3 - 3/(1 - -2). Which is greater: p or k?
p
Let t(o) be the third derivative of o**6/120 - o**4/24 - o**2. Let k(p) = 3*p**3 - 3*p**2 - 5*p - 4. Let x(z) = -k(z) + 2*t(z). Let m be x(4). Is m != -1/5?
True
Let s = -0.3 + 0.1. Let m be (-4 - (-18)/5)*6/(-18). Is m at most s?
False
Let q = 10 - 8.8. Let h = -0.2 + q. Is h at least 5?
False
Let p be 12/(-30)*(-6 + 1). Suppose -3*z + 1 + 2 = 0, -4*z = -p*d - 14. Let f be d/(-25)*(-1)/1. Which is greater: f or 1?
1
Suppose -2*m + 71 - 111 = 0. Which is smaller: m or -21?
-21
Let w(y) = y + 1. Let i be w(-7). Let o be ((-6)/6)/(2/i). Which is smaller: 5 or o?
o
Let y(g) = 16*g + 11. Let l be y(-9). Let h = -259/2 - l. Is 5 greater than or equal to h?
True
Let v(d) = -d - 12. Let t be v(-13). Let i be -1 + 3 - 553/20. Let f = i - -105/4. Is f less than t?
True
Let v = 1 + -1.8. Let d = v - -0.4. Let h = -0.6 - d. Is 3/2 greater than h?
True
Let m = 2.9 + -3. Let q = 26 - 26.04. Is q smaller than m?
False
Suppose -5*b = -25, -n + 18 = -5*n - 2*b. Suppose -x - 2*z = 11, -4*x - 15 = -3*z + 7. Do x and n have different values?
False
Let b = -1 - -2. Suppose -2*q + 2*d = -10, -d - 10 = -2*q - 6*d. Let h = q - 5. Is h at most b?
True
Let d = -1/10 + 4/15. Which is smaller: -2/39 or d?
-2/39
Suppose -3*l + 5*t - 26 = 0, 5*t = 3*l + t + 22. Suppose 6*j - 4*j = 40. Let m be 6/(-24) + (-11)/j. Are m and l nonequal?
True
Let d be 2/(-4) - 15/(-6). Let r be 4/20 - 22/10. Let o be (-26)/(-36) + r/9. Which is bigger: d or o?
d
Let l = 1534 + -26066/17. Is l > 0?
True
Let u = 0.19 + -17.19. Let t = 19 + u. Which is greater: -1/2 or t?
t
Let x(l) = 3*l + 22. Let n be x(-7). Do -0.6 and n have the same value?
False
Let l = -12 - -14. Which is smaller: 4/3 or l?
4/3
Let m = 9 - 6. Suppose m*b - 2*b = 4. Suppose -a - 3*a = -b. Is a at most as big as -2/9?
False
Suppose -6*v = v - 14. Suppose 5*y + 3*t = -6, 3 = t + 5. Is v at least y?
True
Let o = 3 + 1. Suppose -c + o*w = 2*c + 1, 5*w - 25 = -c. Is c less than 3?
False
Let w(u) be the third derivative of u**5/60 - 5*u**4/12 + u**3/3 - u**2. Let o be w(8). Let m be 4/o*7/(-15). Which is smaller: m or 0?
0
Let m = 9 - 4. Suppose 2 = -4*o - 5*u + 10, 5*o = -m*u + 10. Suppose -10 = -n + 2*k, 5*k = 2*n - 7*n - 25. Which is greater: o or n?
o
Let j(r) = -r**2 - 11*r - 10. Let b be j(-10). Let p be 6/(-2 + -1) - -1. Do b and p have different values?
True
Let m = 10 - 15. Does -9 = m?
False
Let d be 1/(-3) + 1/(-15). Which is smaller: 0 or d?
d
Let t = -0.09 - -5.09. Let s be 10/(-8)*6/(-15). Which is smaller: t or s?
s
Suppose -v + 10 = -3*v. Let a(z) = -2*z - 7. Let u be a(v). Is u at most as big as 4?
True
Let h = 0.92 - -0.08. Is -10 smaller than h?
True
Let d(w) = -2 + 2*w**2 - 1 + 2*w + 2 - 4*w**2. Let t be d(1). Is -0.2 greater than t?
True
Let p be (-7)/9 - (-4)/(-18). Let h = -27 - -26. Does p = h?
True
Let v = -16 + 9. Let s = v - 4. Is s greater than -9?
False
Suppose v + 20 = -4*v. Let w be (-1)/(-4) - (-1)/v. Suppose -1 = z - w*z. Do -2 and z have different values?
True
Let m = 5 + -7. Suppose -4*h - 8 = -4. Is m less than h?
True
Let r be 4 - 1 - (-266)/(-98). Suppose 3*u + 20 = 8*u. Which is smaller: u or r?
r
Let f = 127/2 + -62. Is f equal to 2?
False
Let q = 12 + -10. Let b = q + -2.1. Is -2/15 >= b?
False
Let u(y) = y + 6. Let z be u(-5). Let o be -2 + 1 - (1 - z). Let v(i) = i - 4. Let f be v(3). Is f less than o?
False
Let n(i) = 4*i + 41. Let y be n(-10). Is y < 1/138?
False
Let p be 2/(-10) - 452/15. Let u = p - -30. Let b be 4/(-2)*1/2. Is u at least b?
True
Suppose 0 = -2*b - 21 - 3. Is -14 at most as big as b?
True
Suppose h = 4*g - 0*g + 25, -3*g = -5*h + 40. Suppose 0 = h*s - 0*s. Let p be 133/308 - 4/22. Which is smaller: p or s?
s
Let y = -18 + 21. Which is bigger: y or 5/3?
y
Let o be (-1)/3 + (-25)/15. Which is greater: o or 0.4?
0.4
Let g = 37.1 - 37. Which is smaller: g or -3/4?
-3/4
Let o = -1.9 + 2. Let z be (-48)/15 + 2/10. Let n be (-6)/(-5)*z/6. Is o at least as big as n?
True
Let b(l) = -l + 3. Let f be b(5). Let g be f/(-1*(-3 - 16)). Which is smaller: g or 1?
g
Suppose 15 = 2*w + 2*w - 3*s, -w + 25 = -5*s. Let r be (-4)/18 - 710/(-198). Let i = r - 829/253. Which is greater: i or w?
i
Suppose -3*i = 3*i - 300. Let y be (3/i)/(3/6). Which is greater: y or 1?
1
Let b = 238/23 - 17236/1679. Is -1 less than b?
True
Let h be 1930/(-35) + (0 - -1). Let i = 54 + h. Is i bigger than 0?
False
Let z be (-80)/(-6)*4/(96/54). Do z and 1 have different values?
True
Let w be -2*1/(-16)*2. Let k = 2/131 + 383/655. Which is smaller: w or k?
w
Suppose 2*f + 3*f -