/(-24)). Let a = o - 25. Are f and a unequal?
True
Let l = -49 + 51. Which is greater: 6 or l?
6
Let u = -4052/3 + 18544/15. Let s = u - -113. Which is greater: -2 or s?
s
Suppose -s - 4 + 5 = 0. Which is smaller: -2/81 or s?
-2/81
Let y(w) = -w**2 + w. Let f be y(0). Suppose 2*k = -3*k - 15. Which is bigger: k or f?
f
Suppose -5*b = -2*b - 6. Do 3 and b have different values?
True
Suppose -7*i + 5 + 44 = 0. Suppose -3*r = -5*r + 16. Which is smaller: i or r?
i
Let b = -39 + 58. Let o = b - 19.05. Which is smaller: 0 or o?
o
Suppose -1 - 4 = -5*g. Let d = 1 - g. Let f be (-1 - 3) + (-24)/(-8). Is d greater than f?
True
Let j be (-765)/(-35) + (-1 - 1). Let k = -20 + j. Which is smaller: k or 0.1?
k
Let o = 3 + -4. Let r = o - -3. Is 2 < r?
False
Let z = -9 - -6. Which is bigger: z or -2/7?
-2/7
Let d = 13367/26 + -514. Is d less than -1?
False
Let n = -5 + 0. Let j = n - -4. Let r = j - -3. Is 0 < r?
True
Suppose 2 - 4 = -f. Let k be (-1)/f + 1/4. Is 0 < k?
False
Let h be ((-4)/(-1))/1 + 0. Suppose 4*l - h = 2*l. Which is bigger: l or -2/7?
l
Let j = 3 + -2. Suppose i - 3 = -h + j, 4 = i. Let n(d) = -d**2 - d. Let y be n(h). Which is smaller: -4/3 or y?
-4/3
Suppose i = g - 14, -3*i + 6 = 5*g - 4*g. Suppose 4 - g = n. Is -0.1 less than n?
False
Let x be (2/9)/((-6)/(-117)). Is 5 > x?
True
Let x = -1450105/851 + 1704. Let m = x + 1723/17871. Let l = -3 - -4. Do m and l have the same value?
False
Suppose -3*a = -94 + 31. Is 22 less than or equal to a?
False
Let a be 232/616 - 4/14. Which is greater: 1 or a?
1
Let u = -119 - -593/5. Which is bigger: -22 or u?
u
Let s(p) = p**3 + 7*p**2 - 7*p + 8. Let k be s(-8). Are -1/66 and k nonequal?
True
Let h be (-2)/5 - (-34)/(-15). Suppose -12 = -v + 4*v. Is h at most as big as v?
False
Let k(x) = -x**3 - 5*x**2 + 13*x + 7. Let s be k(-7). Are s and 13 equal?
False
Let d = 0 - 1. Let s(m) = -4*m**3 + 8*m**2 - 3*m - 8. Let j(b) = -b**3 + 3*b**2 - b - 3. Let w(x) = 7*j(x) - 2*s(x). Let z be w(-5). Which is smaller: d or z?
d
Suppose 0 = -5*k + 8*k + 2*k. Is k smaller than 0.02?
True
Let i be 2 - 2 - (-4)/(-10). Which is greater: 1 or i?
1
Suppose 0 = -7*p + 2*p. Suppose -5*j - l - 31 = p, l - 16 - 1 = 3*j. Let a be (-4)/(-6) + -5 + 4. Which is smaller: a or j?
j
Let f(k) = k**2 + 3*k - 1. Let d(c) = c**3 - 6*c**2 - 2*c + 9. Let h be d(6). Let t be f(h). Let x = 60 - 481/8. Which is bigger: t or x?
x
Suppose 9*z - 42 = -33. Which is greater: z or 4/11?
z
Suppose -2*k = -17 - 21. Suppose 5*u - k + 4 = 0. Suppose -3*p + 0 + u = 0. Is 0.2 at most p?
True
Suppose -3*t + t = -12. Suppose v = -c + 6, -3*v + 4*c = 3*c - t. Is v greater than or equal to 4?
False
Let x(n) = n**3 - 5*n**2 - 5*n - 3. Let v be x(6). Suppose v*d = -7 + 1. Are d and -2 non-equal?
False
Let z(d) = -d - 4. Let w be z(-3). Is w < -1/5?
True
Suppose -n = 4*n + 35. Let g be (n/28)/(1/11). Which is smaller: -3 or g?
-3
Let q = -0.3 - -0.1. Suppose 5*i = 4 + 1. Which is bigger: q or i?
i
Suppose -x + 55 = -6*x. Let s be 24*(-1 - -3)/(-4). Which is greater: x or s?
x
Suppose -4*j - 7 = -31. Let z be (-4)/35 - j/(-15). Suppose -u - u + 6 = 0. Which is smaller: u or z?
z
Let j(y) = -3*y - 12. Let o be j(-6). Suppose -3*d - 7 = -4*g, -d + 4*g = -1 + o. Is 0 less than or equal to d?
False
Let t = -143/18 + 41/6. Which is greater: t or 0?
0
Let o(m) = 8*m - 1. Let k be o(1). Let j(w) = w**3 - 7*w**2 - w + 7. Let t be j(k). Suppose -c = c - 8. Which is greater: c or t?
c
Let n be 50/15 - (-2)/3. Let g be -7*(16/(-14))/n. Which is bigger: g or -1?
g
Let p(y) = 2*y - 21. Let j be p(10). Let z = 11 - 3. Let o be (-5)/(-44) - (-2)/z. Which is bigger: j or o?
o
Let r be 12/8 - 2/(-4). Suppose h - 1 = r*h. Which is greater: h or 8?
8
Suppose -8 = 4*i, -3*o + 6*o + i = 28. Do o and 11 have the same value?
False
Let f be ((-3)/(-45))/(20/(-15)). Is 1 equal to f?
False
Let q be ((-2)/(-6))/(9/27). Is 0.5 at least as big as q?
False
Let l(s) = -113*s**2 - 3*s - 1. Let o be l(-3). Let q = o + 2990/3. Let n = -299/24 - q. Is n >= 1?
False
Let o = 0.474 + -0.074. Is o at most 0.5?
True
Let r = 1 - -3. Let w(c) = c. Let g be w(5). Is r >= g?
False
Let w be -4 + (-4)/14 + 1055/(-105). Is w less than or equal to -15?
False
Suppose -3*z + 11 = -4. Suppose 4*f + 3*d - 7 = 2*d, d + z = 0. Suppose 5 = 2*x + f. Which is bigger: -2/9 or x?
x
Suppose 3*v - 12 = 2*b - 0*v, -v + 4 = 0. Let z = 3 + b. Is 1 > z?
False
Suppose -5*p - 4*t + t + 3 = 0, -4*p + 4*t - 4 = 0. Which is greater: 12 or p?
12
Let s = 15.7 + -15. Let l = -0.9 + s. Are 2 and l equal?
False
Let f be 0*((-8)/(-12))/(16/(-12)). Is f greater than or equal to -1/7?
True
Let k = -3/8 + 17/24. Is -2/7 less than k?
True
Let m be (198/836)/(-1 - 6/(-4)). Which is smaller: 1 or m?
m
Let u be (-1)/(-2) + 39/(-182). Which is greater: u or -1?
u
Let k(x) = 2*x**2 + 4*x + 1. Let c be k(-2). Which is bigger: c or 2/3?
c
Let h = -36 + 63. Which is greater: h or 28?
28
Let p = -10 + 8. Let g be 4/p*8/(-16). Is g greater than or equal to -1/6?
True
Let c be (2 + 0 - -4) + 0. Let h = -16 + c. Let l be 11/h + 4/(-10). Is l greater than or equal to -2?
True
Suppose -4*j = x - 3*x + 4, 3*j = 3. Let r(l) = 2*l - 1. Let p be r(x). Which is greater: 8 or p?
8
Let f = 17 - 0. Which is greater: 0.1 or f?
f
Suppose 2*c + 26 = -6*f + 4*f, 2*c - 22 = f. Which is smaller: -33/2 or f?
-33/2
Suppose 2*n + 4 = 0, 7*n = 2*x + 2*n - 4. Suppose 2*l = -l + 15, 0 = -3*g + 2*l - 4. Suppose w + 2*z = 6, 5*w = g*z - 4 - 2. Which is smaller: x or w?
x
Suppose 3 = 5*j - r, r + 5 - 2 = 3*j. Suppose 4*l - 2*g = 18, l - 2*g = -j*l + 12. Let a be (l/3 - 1)/1. Is -1 at least as big as a?
False
Let j = 236685/28322 - -3/14161. Let x = -17/2 + j. Is x <= 1?
True
Suppose -3*g + 42 = 4*a, 0*a + 28 = 4*a - 4*g. Let j = a - 7. Is j greater than 1?
True
Suppose 4 = 4*n - 16. Suppose 40 = n*a - y - 4*y, -3*a = 3*y. Let d be a/(-6) - (-4)/(-12). Is d at least 2/7?
False
Let r = -7.5 - -7. Let d = r - 0.1. Let q = d + 4.6. Which is smaller: q or 0.1?
0.1
Let r(s) = s**2 - 4*s + 4. Let i be r(4). Which is smaller: i or 6?
i
Let o = 6 + -5.9. Is o >= 20?
False
Let y(o) = -o + 17. Let f be y(13). Which is smaller: f or 7/2?
7/2
Let j = -3/95 + 12/19. Which is bigger: j or -2/13?
j
Let j = 24 + -23.8. Do j and 0.1 have the same value?
False
Let n = 1 + -1. Let s be (n/(9/3))/(-2). Do 1.3 and s have the same value?
False
Suppose -4*z + 5*x = -5, 2*z - 12 = -x + 1. Which is smaller: -3 or z?
-3
Suppose 3*k = -2*o + 4 + 5, -9 = 4*o - 3*k. Let i be o - 1*3/(-9). Which is greater: i or 1?
1
Suppose 3*w + 26 = -4*p, p + 4 = -w - 3. Let v be (2 - (-14)/p)*-5. Suppose l = 2*l - 1. Are l and v nonequal?
True
Let l = 1 + 4. Suppose 13 + 7 = -l*i. Let j be i/(-10) - 12/5. Which is smaller: -3 or j?
-3
Suppose 0 = 3*y - 5*y + g + 18, -g + 42 = 4*y. Let p be -3*(0 - y/(-6)). Is -4 at most p?
False
Let y be (-2 + 1)*(1 + 1)*5. Let o(c) = -c - 58. Let r be o(0). Let d be r/130 + (-6)/y. Which is greater: -1 or d?
d
Let q(v) = 2*v**3 + v**2 + v. Let a be q(-1). Let f = 2 - a. Is f bigger than 2?
True
Let q = 151 - 149.42. Let x = 0.52 + q. Let v = x - 2. Does v = 1?
False
Let k = -2 - -2. Let q be (k - -1)*(0 - -1). Suppose 0*m - m = -n - 1, 0 = -4*m - n - q. Is m greater than -1?
True
Suppose -23 = 5*t - 18. Is 1/13 equal to t?
False
Let s(v) = -v**2 - 5*v - 1. Let k be s(-5). Let c(j) = j**2 - 6*j - 7. Suppose 5*b - 6*b = -7. Let h be c(b). Is k at least as big as h?
False
Suppose -3*z - 6 = -0*t + t, 9 = 2*t - z. Which is greater: t or -6?
t
Let p(a) = -a**3 - 4*a**2 + 2*a + 5. Let q be p(-4). Let o = q - -4. Is 1 smaller than o?
False
Let l = -0.07 - -0.32. Let q = l + -0.05. Which is smaller: 2 or q?
q
Suppose d + o = 19, 0*o - 34 = -2*d + 2*o. Let i be ((-3)/6)/((-3)/d). Which is bigger: i or 1?
i
Let j = 2/195 - -344/4485. Are j and -1 non-equal?
True
Let g = -0.09 + -0.11. Which is smaller: 1 or g?
g
Let d = -4 - -3. Let n = -1/7 + 5/21. Is d > n?
False
Let o = 2/77 - -57/770. Suppose -2 = -2*n - 4. Which is bigger: o or n?
o
Suppose 0 = v - 2*a + 5 + 8, 2*v + a = -1. Let q(g) be the first derivative of -g**2/2 + 2. Let m be q(v). Are m and 3 unequal?
False
Suppose 3*o - 2*y + 27 = -y, -59 = 5*o + 3*y. Which is greater: o or -11?
o
Let n = -1 + 0. Let f = n - 4. Is -6 not 