maller: l or u?
l
Let d(s) = s + 1. Let x be d(2). Let r = -44 - 21. Let g be r/(-20) - 1/4. Is x <= g?
True
Let k(h) = h**3 + 13*h**2 - 2*h - 18. Let z be k(-13). Suppose 5*a = -27 - z. Let l be ((-3)/a)/((-2)/(-7)). Which is smaller: -1 or l?
-1
Suppose 0 = 5*a - 2*j - 3, 0 = 3*j - 3. Suppose -a = g + 1. Let f be (0/(g/(-1)))/3. Is f greater than or equal to 2/21?
False
Let w(d) = 0 + 21 - 13*d - 2. Let s be w(2). Suppose -4*c = -6*c - 12. Is c greater than s?
True
Let r be (84/10)/(27555/(-3450) - -8). Is r bigger than 645?
False
Suppose 0*x + h = x + 35, 3*x + h + 125 = 0. Which is smaller: -36 or x?
x
Let z = -64 + -29. Let p = z - -91. Do 8 and p have the same value?
False
Let g(v) = v**2 + 7*v - 13. Let d be g(-8). Suppose -3*f - 2*h = f - 2, -3*f - h + 3 = 0. Let z(y) = -y**3 + 2*y - 1. Let a be z(f). Are a and d equal?
True
Let z be 10/(-85) + 1089/153. Suppose 2*g - 5 = -3*g. Let b be (g - 4) + 3 + 6. Which is greater: z or b?
z
Let b be 9/(-6) + (-115)/10. Let s(a) = -a**3 + 2*a**2 - 5. Let f be s(3). Which is smaller: f or b?
f
Let i(c) = -40*c**2 + 12*c - 9. Let q be i(4). Is q at most as big as -602?
False
Suppose -14 = 3*u - 32. Let f(h) = h**2 - h - 1. Suppose -d + 3 = -0*d. Let y be f(d). Is u equal to y?
False
Suppose 20 = 3*f + f. Suppose g = 3 + f. Let z be (-45)/10*g/(-6). Is z less than or equal to 3?
False
Let m = 11 + 122. Let d = -133.2 + m. Are d and 17 non-equal?
True
Let d = -1694 - -1694. Which is smaller: 477 or d?
d
Let l = 11.11 + -11. Let c = -2.11 + l. Let q = 9.6 - 11. Is c greater than q?
False
Let r = 19 - 26. Let o = 0.149 - 7.049. Let v = r - o. Is v less than or equal to 5?
True
Suppose -5*a = -2*k - 2, 13*k + 16 = 17*k - 5*a. Let b be 356/(-12)*1 - 3/k. Is b >= -31?
True
Let j be (-3 + 565/188)/((-28)/(-224)). Which is smaller: -1/13 or j?
-1/13
Let f be 11 - (-9 + 13 - -7). Is f less than -1/210?
False
Let v(t) = -t**2 - 8*t. Let z = 15 - 23. Let q be v(z). Which is bigger: q or -2/33?
q
Suppose -5*c - 3*u = 35, -7*c + 2*u + 18 = -9*c. Is -4 less than c?
False
Let g(z) = -5*z + 11. Let c be g(-3). Suppose -3*f = -2*x + 16, 3*x - x + c = -4*f. Which is smaller: f or -2/5?
f
Suppose 5*a - 16 = 2*a + 2*l, 1 = 3*a + l. Let p = 2 - a. Suppose 5*b - 2 + 7 = 0. Is b greater than or equal to p?
False
Suppose -984 + 990 = 6*h. Is h at most as big as 6/73?
False
Let v = 716 + -7864/11. Let f(p) = -p**3 + 8*p**2 - 5*p - 5. Let l be f(5). Suppose l*x = 46*x. Which is smaller: x or v?
x
Let o = -3 - -1. Let k(m) = m**3 - 2*m. Let t be k(2). Let r be (2 + (0 - t))/2. Which is smaller: o or r?
o
Let s = 1.06 - 0.06. Let n = -10 - -4. Which is bigger: s or n?
s
Let f = -613 + 278. Which is bigger: f or -336?
f
Let a = 25 + -25. Let f = 0.1 - a. Is -2/15 >= f?
False
Suppose -p + 108 = -5*p. Which is bigger: -26 or p?
-26
Let a = 2.16 - 2.56. Is a at least as big as 1/6?
False
Let c = -1379/950 + 33/25. Let m = 1127 + -1127. Is m >= c?
True
Let d = 0.48 + -0.59. Let t be ((-2)/(-8))/((-10)/(-20)). Which is greater: t or d?
t
Let k(f) = -f**2 + 8*f - 8. Let d be k(6). Suppose -3*h + 3675 = 3*p, -d*p - 1039 + 4709 = 3*h. Let s = h - 62732/51. Which is greater: 0 or s?
0
Suppose d + 4*m - 2 = 0, 0*d - 13 = -2*d + m. Let i be (4/d)/((-8)/6 - -2). Suppose 4*k + 13 = 5*a - 4*a, -2*a - 4*k - 10 = 0. Is i at most as big as a?
True
Let u = 211/2323 - -4/101. Suppose 0 = 6*m - 2*m - 4. Which is smaller: m or u?
u
Suppose -4*p - 3*n + 69 = 0, -4*n - 125 = -5*p - 0*n. Let u be (p/11 + -2)*6. Which is smaller: u or 0?
u
Suppose 20 = -5*b - 0*b. Suppose -c + 0*r = -r - 3, 2*r + 8 = c. Which is bigger: b or c?
c
Let y be ((-13)/(390/(-285)))/((-1)/6). Which is bigger: -402/7 or y?
y
Let r = -0.05 + 27.05. Let z = r + -28.5. Let g = -1153/7 - -165. Is g > z?
True
Let b = -29/244 + -631/3416. Is 1 less than or equal to b?
False
Let v be (-3)/18 + 3747/18. Let q be v/(-91) - (-2)/7. Do 28 and q have the same value?
False
Let k = 759 - 689. Is k less than 70?
False
Let c be (1 - 3)/(11*-1). Let w = -26 - 9. Let y be (-5)/w - 3/21. Is y <= c?
True
Suppose q - 303 = 2*j + 458, -4*j = q - 737. Is q >= 753?
True
Suppose 214 = -5*k - 1. Let l = -7877/160 - -193/32. Let z = k - l. Which is greater: z or -2?
z
Let f = -119 - -131. Suppose -f*m + 328 = -4*m. Which is greater: 43 or m?
43
Suppose 3*i + 2*i - 611 = -4*z, 3*z = -2*i + 453. Let m = -150 + z. Which is bigger: m or 1/35?
1/35
Let m(y) = -y**3 + 2*y**2 + 44*y - 7. Let q be m(8). Suppose 2*k - 6*n + 2*n = -76, 0 = 3*k + 5*n + 114. Which is greater: q or k?
k
Let x = -10247/88 - -837/8. Which is greater: -11 or x?
-11
Let o be 0 - -1*2/(-2). Let y be -1 - 0 - (2 - 11). Let d be y/148 - 0/6. Is o >= d?
False
Let p(b) = -8*b - 96. Let h be p(-15). Which is bigger: h or 0?
h
Let m = -2060 - -1244241/604. Which is bigger: m or 0?
m
Let r be (1 - 939/555) + (-72)/(-90). Let f(b) = b - 1. Let j be f(2). Is j not equal to r?
True
Let u be (-7)/(765/125 + -2*3). Is u bigger than -58?
False
Let c be 2 + -1 - (-4)/(-4). Suppose 2*z - 3*v = -33 + 8, c = -5*z - 4*v - 28. Let f be (9/6)/((-9)/z). Is 0 greater than or equal to f?
False
Let y be 448/(-1008)*2/804. Is -1 greater than or equal to y?
False
Let i be (18/8)/(2 - 570/288). Which is smaller: i or 109?
i
Suppose 4*o = p - 10, 0 = 4*p - 3*p - o - 1. Is -9/4 smaller than p?
True
Let i = 39 + -2. Let b = -0.88 + 36.88. Let u = i - b. Is -2/21 <= u?
True
Let s = 41.8 + -43.8. Is s less than 6?
True
Let j(h) = h**3 + 5*h**2 - 12*h + 17. Let m be j(-7). Suppose 0 = 3*v - m*d - 24, -3*v + 2*v + 2*d = -10. Which is smaller: 50/7 or v?
v
Suppose 834 - 7466 = -8*p. Is p greater than 829?
False
Let x be 1 + ((-2)/10 - (-184)/20). Suppose 6*u - 4 = -x. Is -4/15 < u?
False
Let k be (-1)/3 + (-62)/(-150). Let c(q) = -q**3 - 3*q**2 - 9*q - 7. Let w be c(-1). Are k and w nonequal?
True
Suppose 3*d = 7*d - 2*j - 644, -d + j = -162. Let g = d + -484/3. Let f be 2/(-3) - (-5)/(90/12). Is g equal to f?
False
Let i = -0.1 - -0.2. Let t = 5858 + -5855.4. Are i and t non-equal?
True
Let h be -12 - -10 - 1*-9. Suppose 3 - 9 = 2*q. Let f be (1 + 0 - q) + 2. Which is bigger: f or h?
h
Let u be 248/118 - (16/(-4))/(-2). Which is greater: u or 0?
u
Suppose -3*y - 26 = 4*h + 2*y, -3*y = h + 10. Let m = h + 8. Let q be (-7 - -3)/(m/26). Is q at least as big as -27?
True
Suppose -402*r = -407*r - 935. Are r and -1676/9 equal?
False
Let s = 203199903/201802 - 55/201802. Let d = 1007 - s. Which is bigger: d or 1?
1
Let z(h) = -h**2 - 14*h - 49. Let i be z(-6). Do i and -44 have different values?
True
Suppose 7*l = 10*l + 81. Which is smaller: l or -29?
-29
Let z(q) = 6*q + 9. Let y be z(2). Let r be y/2 + 15/(-10)*1. Which is greater: 12 or r?
12
Let i = 13 + -7. Let k(f) be the third derivative of -f**5/60 + f**4/12 + f**3 + 4*f**2 - 5. Let l be k(i). Is l >= -17?
False
Let d be 2/11 + 429914/(-2400222). Let w = 97626173/531649173 + d. Let k = w - 2/443. Is -1 smaller than k?
True
Let s(t) = t + 11. Let z be s(-6). Let x(u) = -u**3 + 5*u**2 - 2*u - 1. Let j be x(z). Is j >= -1?
False
Let l = 10 + -6. Let z = -1.4 + l. Let h = z - -0.4. Which is greater: -0.1 or h?
h
Suppose -4*r + 0*r + 4 = 0. Let i be r/(-6) + (-115132)/(-24). Let v be (-2)/13 - (-972)/i. Which is bigger: v or -1?
v
Let x(v) = v**3 - v**2 - 1. Let s be x(0). Let m(c) = 31*c**3 + 2*c**2 + c. Let f be m(s). Let h be ((-3)/f)/(3/12). Which is greater: -2 or h?
h
Let s be 29 + (0 + 2 - -7). Is s equal to 35?
False
Let j = 0.9623 + 0.0377. Which is greater: 453 or j?
453
Suppose 0 = -19*r - 1182 - 1307. Which is bigger: -130 or r?
-130
Let l = -173531/5073 + 650/19. Which is greater: l or 0?
l
Let f(a) = -3*a**2 + a + 13. Let o be f(3). Is 5 != o?
True
Let s = 11 - 12. Let h(l) = -l**3 + 8*l**2 - 9*l + 13. Let t be ((-7)/4)/(6/(-24)). Let c be h(t). Are s and c unequal?
False
Let x be (-2)/8*0 + 109. Suppose -5*p + 0*p = m + 100, 0 = -4*p + 5*m - x. Suppose 100 = -4*d - 3*l + 7*l, -4*l = -2*d - 58. Is p greater than d?
False
Let m = 22/7 + -20/7. Let x(b) be the third derivative of b**6/120 - b**5/30 + b**4/24 + 3*b**3/2 + 3*b**2. Let r be x(3). Is m at least r?
False
Let m = 19/1509 - 1042909/15090. Let b = 69 + m. Is 1 <= b?
False
Let c = -1255/9 - -139. Let k = 8 - 9. Are c and k unequal?
True
Let x = -95