 54 + 26, 0 = 5*z - 20. Is q <= -26?
False
Let v(l) = l - 8. Let y be v(6). Let z(r) = r**2 - 5*r + 3. Let j be (2 + -2 + 2)*(-90)/(-60). Let f be z(j). Are f and y non-equal?
True
Let r = 10.1 + -10. Suppose 2*q = 4*d - 2, 4*d + 0*q + 7 = -q. Let i be 4/8 + d/(-6). Which is smaller: i or r?
r
Let i be 11/4 + (-1)/2. Let m be 1/(20/(-84))*-5. Let c = m - 18. Which is greater: i or c?
c
Let f = -4300 - -382694/89. Are f and 1 nonequal?
True
Let n = 16756/9 - 1864. Suppose h + 4 = 2. Is n != h?
True
Let t be -2 + (1 - -3) + 1. Suppose 4*w + 2*f = 0, -4*w + 2*f = t*f + 4. Let k be (-1)/1 - 3/1. Which is smaller: k or w?
k
Let d be (3 - 5 - -1)*1. Let v be (d - (-10)/6)*3. Let q(n) = n**2 + 6*n + 4. Let z be q(-5). Is z at most v?
True
Suppose 3*m - 3*k = -6, -3*m + 5*m + 3*k = 16. Is m > 11?
False
Let a be (-3)/(-12) - 10/(-24). Let q be (-936)/(-2112) - (-6)/33. Is q <= a?
True
Let d = 0.4 + 1.1. Let t be 5 - 1/1 - 5. Which is bigger: d or t?
d
Let l = -10 - -15. Suppose 4*y + c - 9 = 0, -l*c = -2*y - 3*c + 2. Suppose -5 = -g, 4*i + i + y*g = 25. Is 2 at least as big as i?
False
Let c = 4.2 + -9.2. Let o = 0.05 + 1.95. Let f = o - 1.9. Is f smaller than c?
False
Let q = 1814 - 2566. Are q and 1 equal?
False
Suppose -4*u = -4*p - 44, 0 = -2*u - 4*p + 5*p + 19. Let f(l) = 2*l**3 - 15*l**2 + 2*l + 49. Let w be f(7). Which is greater: u or w?
w
Let s = 18086/6671 + 3/953. Let r = -9 - -9.1. Is s != r?
True
Let w = 9 - 6. Suppose -9*n + w = 3. Is 32 not equal to n?
True
Suppose -101 + 35 = -2*g. Let z = 27 - g. Do z and -6 have the same value?
True
Let o = 5 - -30. Let i = o - 35. Let v = 3 - 2.1. Is i > v?
False
Suppose -z - z + 5*s = 0, 2*z + 2*s = 0. Which is greater: 2 or z?
2
Let s = -1.998 + -0.002. Suppose -q = -2*q - 35. Let j be (-4)/q*(-20)/8. Are s and j nonequal?
True
Let x = -27 - -99. Suppose -80 = -4*w - 4*r - 0*r, 2*r + x = 5*w. Which is bigger: 15 or w?
w
Let u(z) = z**2 + 2*z + 1. Let w be u(-1). Suppose 0 = -4*b + 2*x + 10, 8 = 3*b + 2*b + 2*x. Suppose w = -2*g + g - b. Which is bigger: -5 or g?
g
Let h be (4 - 3)*(55 - 0). Is 55 at least as big as h?
True
Suppose i = -4*a + 15, 5*i - 14 - 4 = -a. Let j be 2/(-2) + a + -2. Which is bigger: 2/45 or j?
2/45
Let s = -9/2 + 19/4. Which is smaller: s or 1.7?
s
Let a be (-1 - (-795)/4) + (-12)/48. Let y = a + -5121/26. Which is greater: 2 or y?
2
Let q(p) be the first derivative of p**3/3 - p**2/2 - 2*p - 12. Let k be q(6). Is 29 smaller than k?
False
Suppose -l + 6*l - 31 = -4*n, -3*l - 2*n + 17 = 0. Suppose -7 = -p + 4*y, -3*p - 2 + l = -2*y. Are p and 3/23 nonequal?
True
Let o = -6.23 + 0.33. Let y = o + 4.6. Let l = 0.1 + 0.9. Which is bigger: y or l?
l
Let b = -244 - -170.8. Let x = -73 - b. Which is smaller: x or 0.11?
0.11
Suppose u = -2*q - 2065, -4*q = -3*q - 5*u + 1005. Which is smaller: -1031 or q?
-1031
Let m = -190/29 - 21200/261. Let y = 88 + m. Are -0.4 and y equal?
False
Let s be ((-1)/3)/(-1)*21. Let d(v) = v + 17. Let g be d(-10). Suppose 0*p - g = -p. Is p less than or equal to s?
True
Let l be (18 + -17)*(1 + -14). Let r = -19 - l. Which is smaller: r or -1?
r
Suppose -4*x + 0 + 20 = 0. Suppose x*i = 5*w - 3 - 2, 2*i = 4*w - 4. Let q be i - (-8)/(-6)*-3. Which is greater: q or -0.2?
q
Suppose -3*g - u - 54 = 0, 0 = -4*g + 4*u - 68 - 4. Let h = 8 - -7. Let z = g + h. Which is smaller: z or -1?
z
Let u(s) = 6*s + 1. Let z be u(2). Let r = 13 - z. Suppose r = -0*n - 2*n. Which is smaller: 1 or n?
n
Let l be 10/25 - 219*8/(-870). Which is smaller: l or 2?
2
Let z(m) = m**2 - 245*m + 1441. Let p be z(6). Let q be (-18)/(-8)*(4 - 0). Which is bigger: p or q?
q
Let u be (-385)/(-75) - 8/60. Let r be 1 - u - 9/(-2). Does r = 1/4?
False
Let j = 223889548877/2 - 758160313815847497/6772628. Let r = 3/9916 - j. Which is bigger: r or -1?
r
Let g = -19.52 - -20. Let s = -19.48 + g. Let n = 19 + s. Which is bigger: n or -1/5?
n
Let w(v) = -10*v + 35. Let u be w(0). Which is smaller: u or 31?
31
Suppose 52 = -z - 3*l + 536, 2320 = 5*z - 5*l. Suppose -4*y + 2*k + z = y, -285 = -3*y + 3*k. Which is smaller: y or 92?
92
Let q = -18 + 11. Let k(t) = -9*t**2 - 10*t - 9. Let x be k(-1). Is q >= x?
True
Suppose -2*c - 97 = -113. Let q(x) = 2*x**2 + 1. Let p be q(1). Suppose 0 = 2*n + p*n - 35. Is n at least as big as c?
False
Let j = 11/16 - 1/48. Let g = 4.2 - 4.03. Which is bigger: g or j?
j
Suppose 267 = -3*w - 2*q, 12*q - 15*q = 2*w + 183. Which is bigger: w or -86?
-86
Let y be (-1)/(-2) + 38/(-95). Let w = 3/2 - y. Is w bigger than 2?
False
Let t = 2 + -1. Let a(u) = -u**2 - 26*u - 117. Let l be a(-18). Which is smaller: l or t?
t
Let w = 0.1315 - 0.0851. Is w >= -0.1?
True
Let d be (-2)/(-10)*-1 - (-336)/105. Suppose 3*k + 4*c + 87 = 0, d*k + c - 2*c = -72. Which is smaller: k or -26?
-26
Let t = -23.9592 + 0.0592. Let g = 6 + t. Let n = -18 - g. Are 1/2 and n equal?
False
Let c be (135/(-18))/(5/(-10)). Let t be -5*(-1 + (-1 - -1)). Suppose u - 4*j - 12 = -j, -t*u = 5*j - 80. Are c and u nonequal?
False
Let f(g) = -g - 8. Let r be f(-5). Let l be (1 + 1 + 1)*(-220)/180. Which is smaller: r or l?
l
Let q = 0.03 + -0.05. Let c = -121.02 + 122. Let i = c - q. Are i and -2/17 nonequal?
True
Let l(c) = -3*c**2 + 14*c. Let p(r) = 7*r**2 - 28*r. Let a(u) = 9*l(u) + 4*p(u). Let m be a(-14). Is 0.05 != m?
True
Let x be (2/(-12))/(2805/(-297)). Which is greater: x or 1?
1
Let p(i) = 5*i**2 - i + 1. Let o be p(-1). Suppose o*x - x = -18. Is x at least as big as -4?
True
Suppose 4*n - 10 = -4*b + 14, -4*n + 2*b + 18 = 0. Suppose 4 = 3*l + x, 5*l - 2*l - n*x = -2. Let g be ((-2)/(-8))/(-2 - -1). Is g less than l?
True
Suppose 2*q = -y + 9, 3*y + 3*q + 2*q = 22. Let j(x) = -x**3 - 20*x**2 + 24*x + 61. Let d be j(-21). Which is smaller: d or y?
d
Let k = 365 - 1824/5. Which is smaller: 252 or k?
k
Let i be -6*4/(-84) + 149/(-518). Is -1 greater than i?
False
Let s = 1030 + -1019. Which is smaller: s or 29?
s
Let m = -96482/67 + 1440. Let i be ((-1)/(-2))/(7/14). Is m at least as big as i?
False
Let n be (16/(-40))/(2/(-20)). Let w(f) = -f**2 + 7*f + 6. Let c be w(7). Which is smaller: n or c?
n
Suppose 5*u + 29 = -16. Let j = 2 + u. Let q = j - -4. Which is greater: -5/2 or q?
-5/2
Suppose 14 = 3*b - 4*m, 13*b - 14*b - 2*m - 12 = 0. Are 102 and b nonequal?
True
Let j = 1701/2785 - 6/557. Let q = 8 + -2. Which is bigger: q or j?
q
Let i = -11 - -33. Let w = -1.023 + 2.023. Is w greater than i?
False
Let u = 23 + -18. Suppose b = u*b - 8. Let t be -8*(-15)/50 - b. Which is greater: t or -4?
t
Let o = -1231.9 + 1232. Which is smaller: o or -201/7?
-201/7
Suppose x - 69 + 71 = 0. Which is smaller: 1 or x?
x
Suppose 2*s + 4 = -2. Let n be (5 + -2 + s)/2. Suppose 2*d + n*d = 3*j - 2, 4 = -2*j. Is d < -8/3?
True
Suppose 0*o - 2*l = -o + 8, 0 = -5*l - 15. Suppose 0 = -o*u - 3*u + 175. Suppose -5*v - 3*y - u = -y, y + 31 = -4*v. Are -9 and v non-equal?
False
Let g be (-1155)/(-1875) + 9/(-15). Let w = 1 + -1. Which is greater: w or g?
g
Suppose -5*j + 42 + 38 = 0. Let n be 100/j*(-8)/60. Which is smaller: n or -2?
-2
Let b be (-5)/((-15)/6) - 3. Let s be (-6)/(-4) - (-2)/(-4). Let r be ((-14)/5 - -1)/s. Which is bigger: b or r?
b
Let c = -295/8 + 37. Let s = -7 + 9. Which is bigger: s or c?
s
Let s = 19.44 - -0.56. Let n = s - 20.29. Are n and -1 equal?
False
Let f = -354.1 - -354. Is f <= 91.9?
True
Suppose 21*z = 74*z + 1219. Which is greater: z or -68/3?
-68/3
Let p = -12.75 - -13. Let s = 3 - 3.05. Let l = p + s. Which is greater: 2/7 or l?
2/7
Let s = 101/10 - 1157/70. Is s not equal to -6?
True
Let c be 1 + (1 - 2)*0. Let f be (-2)/(-7) - 304/(-112). Is c at most as big as f?
True
Suppose 5*p + f = 0, -5*f - 27 = 7*p - 9*p. Let k = 26406/41 - 644. Are k and p nonequal?
True
Suppose 2*a + 84 = 2*f + 10, a + 3*f + 57 = 0. Let c = -91 + 50. Do a and c have the same value?
False
Let m be ((-81)/(-12))/(-9)*-4. Suppose 0 = 3*v - 3*s - 66, 6*v - 2*v - m*s = 85. Let h = -17 + v. Is 6/5 > h?
False
Let l = -4269/5 + 849. Suppose -241 - 955 = 364*w - 65*w. Is l smaller than w?
True
Let s be 1628/(-6) + (-16)/24. Let h = s + 56. Let y be (-4)/1 - h/52. Is y less than or equal to 1?
True
Let z = 143 + -144. Which is greater: z or -8/21?
-8/21
Suppose -7*t + 13*t = 534. Is t bigger than 87?
True
Let v = 145/