igger: n or 5/2?
n
Let f = 161 + -155. Which is greater: 7 or f?
7
Suppose -o = 3*o - 4*r + 20, -2*o + r = 5. Is 2 less than or equal to o?
False
Suppose j = m + 1, 5*j = -5*m - 3 - 12. Let q be 2 + (-1 - m - 3). Is q bigger than 1?
False
Let p be (6/(-520))/(1/4). Is 0 != p?
True
Let t(v) = -v**2 + 19*v + 149. Let a be t(25). Let c = -0.23 - 0.07. Is c at least as big as a?
True
Let k = -1 + 2. Let h = 491/6 + -178/3. Let f = h + -23. Is f bigger than k?
False
Let j be (-18)/45 + 104/10. Let a = -4 + j. Which is smaller: 4 or a?
4
Suppose 5*a = 2*a + 3. Is 12/11 bigger than a?
True
Let b be (-2*31/(-2))/1. Let w = 1019/2 - 477. Let v = b - w. Does 1 = v?
False
Suppose 2*f + 3 = -3. Let p = f - -10/3. Is 1 < p?
False
Suppose 0 = -f + 1 - 5, -5*m + 22 = -3*f. Suppose -m*o + 4 = 12, 5*l = -5*o - 50. Let j be l/(-9) + (-15)/(-18). Is 2 bigger than j?
True
Suppose 0 = o + 9 - 5. Let m = o + 6. Is m < 11/7?
False
Let r = -0.2 - -1. Which is bigger: 0 or r?
r
Let m be (-2)/4 + (-50)/(-4). Let s(u) = -u**3 + 13*u**2 - 13*u + 18. Let l be s(m). Which is greater: l or 5?
l
Suppose 5*d - 3*i = -13, -7*i = -d - 2*i + 15. Suppose -2*v - 179 = 5*t - 3*v, 155 = -5*t - 5*v. Let l be ((-28)/t)/((-4)/30). Is d at most l?
False
Let q be (10/16)/((-1)/2). Let b = 2 - 0. Let p be (-3)/b*(-32)/(-24). Is q greater than or equal to p?
True
Let d(s) = -s + 3. Let y be d(0). Let u = y - 4. Let c be (0/3)/(u/1). Which is smaller: c or 2/11?
c
Let k be (-3059)/228 - 1/3. Is -15 at most as big as k?
True
Let w = 48.1 + -48. Which is smaller: w or 24?
w
Let p be (-3)/((-4)/16*-3). Are p and -2 nonequal?
True
Let m(b) = b**3 - 3*b**2 + b. Let f be m(3). Suppose -p + 5*p - 18 = -k, 3*k - 27 = -3*p. Let q = -4 + k. Is q > f?
False
Let t(u) = -u + 5. Let j be t(13). Is j greater than or equal to -1?
False
Let a(h) = h**2 + 3. Let y be a(-3). Let x = -16 + 8. Let s be (x/y)/((-2)/(-6)). Is -2 at most s?
True
Let a be 16/10*(-15)/6. Which is bigger: -1 or a?
-1
Let h(j) = j + 2 - 4 - 2 + 2. Let n = -3 + 0. Let o be h(n). Is -4 less than o?
False
Let g = -60 - -241/4. Let u = 0 + 1. Is g < u?
True
Let t(m) = -m**2 - 5*m. Let i be t(-5). Suppose g + 1 = -i*g. Is -1/2 not equal to g?
True
Suppose -12 = -5*z - z. Let b(k) = -2*k + 2. Let p be b(3). Let d be -6*(-2 + (-6)/p). Which is bigger: d or z?
d
Suppose 5*z = -5*o + 3*z - 15, 3*o = -2*z - 5. Let f be (-18)/o + 2/5. Do 4 and f have different values?
False
Suppose 0 = 2*s + 1 + 9. Let a = s - -7. Let n be 7/28*1/a. Is n less than or equal to 1?
True
Suppose -3 - 3 = 3*f. Suppose 3*i + 0*i = 6. Suppose i*z = -6 - 0. Is f bigger than z?
True
Let p = 43 + -64. Let m = p + 29.8. Let t = 9 - m. Is t not equal to -3?
True
Suppose 0 = q - 4, 2*q - 20 = -5*g + 18. Suppose 4*z - 39 = -4*y - 7, 0 = 5*z - y - 28. Is z less than g?
False
Suppose -36 - 1 = -3*r - 5*b, -b - 3 = -2*r. Is 4 equal to r?
True
Let a = -0.6 + -0.4. Which is bigger: a or 5?
5
Let c be 3/(-9)*-11 + -3. Let y = 109/309 + -2/103. Are c and y equal?
False
Suppose -17*d + 16*d = -5. Is 2 smaller than d?
True
Let s = -1/2 + 3/14. Does s = -1?
False
Let i = -124 + 2727/22. Is i bigger than 0?
False
Let c be ((-101)/(-870))/((-3)/(-1)). Let l = c - -1/174. Which is smaller: l or -1?
-1
Let p = -2.8 + 3. Let g = p + 0.8. Let w be (2/(-12))/(26/(-39)). Which is greater: w or g?
g
Let z be ((-3)/(-21))/((-5)/(-35)). Let m be z/(-3) + 15/18. Let q = 5 + -5.4. Is m not equal to q?
True
Suppose 0 = -3*q - 4*b + 12, 3 - 6 = 4*q - b. Suppose 2*x + 8 = 4*x. Let y be (x/24)/((-2)/(-4)). Is y equal to q?
False
Let n(m) = m**3 - 21*m**2 + 20*m - 1. Let u be n(20). Do 43 and u have different values?
True
Suppose 23 = -4*n - 5*u, 5*n - u - 1 + 37 = 0. Let j(l) be the first derivative of l**4/4 + 7*l**3/3 - l**2 - 9*l - 8. Let c be j(n). Are 4 and c non-equal?
True
Let m be (-4)/(-14) + 80/14. Let v = -8 - -9. Let o be 1*(15/v)/3. Does m = o?
False
Suppose 4*d + 18 = -2*l, -20 = 4*l + 4*d - 0*d. Let c be (6/5)/(l/5). Which is smaller: c or -7?
-7
Suppose 5*u + 5 = 5. Let a be (-1 + 0)*1/(-6). Which is smaller: a or u?
u
Let d(q) = 3*q + 1. Let g be d(-1). Is 0 > g?
True
Let q(z) = -20*z + 1. Let p be q(-1). Suppose v = 5*c + 3*v - p, -c + 1 = 2*v. Suppose c*g = -2*r - 21, 0 = -0*g - 5*g + 5*r. Which is greater: -2 or g?
-2
Let v be (1 - (-9)/(-15))*-5. Let x(m) = -m - 1. Let i(w) = 2*w + 4. Let k(r) = i(r) + x(r). Let n be k(-4). Is n > v?
True
Suppose 0 = 3*j + j - 3*y - 11, 0 = y + 1. Suppose -4*h = 5*t + 2, -2*h - 3*t - t = -j. Is 0.5 at most h?
False
Let h = 2.4 - 2.5. Do 3/16 and h have the same value?
False
Let a be -3 + (-6)/(-2) - 6. Suppose -4*c - 2 = -2*m + 20, -m + 18 = -3*c. Which is greater: a or c?
a
Suppose 4*n = -2*v - 58, 5*n = -6*v + 4*v - 72. Is n bigger than -13?
False
Let b be -2 - (-9)/6 - (-4)/8. Which is smaller: 2/5 or b?
b
Let c(s) be the second derivative of s**3/3 + s**2/2 + 3*s. Let w be c(-1). Is -1/2 less than w?
False
Suppose -4*h = -i - 6, -2*h + 0*i = 4*i + 6. Which is smaller: -1/56 or h?
-1/56
Let s = -30/11 - -249/55. Which is smaller: 2 or s?
s
Let q(r) = 2*r + 24. Let c be q(-11). Which is greater: c or 10/9?
c
Let n = 0.51 + 0.39. Which is smaller: n or -2/5?
-2/5
Let z = 4 - 1. Let q = -4.1 - -4. Which is smaller: q or z?
q
Let u be ((-1)/(-2))/(1/2). Suppose 0 = 2*v + 5*p + 5 - 0, 2*p = v - 2. Which is bigger: v or u?
u
Let c be (-8)/(3/(0 - -3)). Let l(h) = h**3 + 5*h**2 - 4*h + 5. Let w be l(-6). Is w at least c?
True
Suppose -z + 4 + 0 = 0. Let s(o) = 2*o**3 + 2*o**2 - o - 2. Let l be s(-2). Let g = l - -11. Do z and g have the same value?
False
Suppose t - 4*m = 5, -4*t + m = 2*m - 37. Do t and 9 have different values?
False
Let j = 10 - 11. Is j equal to 2/29?
False
Let d = -619/4 + 154. Let i(o) = -2*o**2 + o - 1. Let b be i(1). Is d smaller than b?
False
Suppose -5*a + y - 16 = 0, 2*y - 11 = 2*a + a. Let d(m) = 8*m - 36. Let f be d(4). Is f less than or equal to a?
True
Suppose -16 = -5*u - 4*h, -5*u + h + 3*h - 16 = 0. Let x = -1.24 - -0.14. Let z = 0.1 + x. Is z greater than or equal to u?
False
Suppose 5*l - 59 = 4*t - 8*t, 5*t - 4*l - 84 = 0. Suppose -8 = 2*n, 2*y - y + t = -5*n. Is y not equal to 4?
False
Let r = 29/50 + -2/25. Which is greater: 2/37 or r?
r
Let a(y) = -y**3 - 6*y**2 + 7*y + 2. Let s be a(-7). Suppose -s*j - 4*n - 6 = 0, -j + 5*n = -3*j - 9. Is j less than or equal to 3?
True
Let p be (-2)/9 + (-56)/72. Is 1/12 greater than p?
True
Let d be (-40)/(-78) + 20/(-30). Which is greater: -1 or d?
d
Let v = -149/2 - -77. Suppose 4 + 4 = 4*y. Is y > v?
False
Suppose -5*x - 115 = 2*q, 0 = -5*q + 3*x - x - 302. Which is bigger: -59 or q?
-59
Let l(s) = -s + 15 - 15. Let g be l(-1). Let o = 1 - g. Does -3/5 = o?
False
Suppose -3*d = 5*o - 0 + 3, -3 = 3*d. Let q be o + (0 - 1) + 1. Which is smaller: -6/13 or q?
-6/13
Suppose 0 = 4*n + 6*n + 5*n. Are n and 2 unequal?
True
Let p(t) = 4*t. Let i be p(1). Let l be -3*i/6 - -2. Suppose -3*w - 16 = -2*g, 4*w - 7*w - 12 = 0. Which is greater: g or l?
g
Let d = -19 - -34. Suppose -10 = 5*g - d. Is 1 >= g?
True
Let n = -3.89 + -0.11. Let k = -2 + n. Let q = -4 - k. Is q smaller than 1?
False
Let b = -2 - -1. Let a = 1 + b. Let n be ((-12)/5)/(-2) + -2. Are n and a nonequal?
True
Let d(c) = -c**3 + 7*c**2 - 7*c + 3. Let r be d(6). Let i be 1*(r - (-20)/6). Which is bigger: i or -1?
i
Let x = 26 + -32. Let p = -9 - -5. Let r = p - x. Is r at most as big as 0.2?
False
Let m = 0 + 1. Let q be (1 + -1)/((-2)/m). Suppose -5*w + 2 = -2*v + 9, q = 5*w + 5. Is v smaller than 2?
True
Suppose 7*o = 3*o - y + 6, -5*y = 5*o - 15. Let q be (-57)/(-9) + o/(-3). Let s be ((-4)/12)/((-1)/21). Is s greater than or equal to q?
True
Let c = -100 - -100. Suppose -2*h + 8 = -h. Which is greater: c or h?
h
Let d = -19 - -21. Let v = 3.2 + -3. Are d and v equal?
False
Let t = 0.1 - 0. Let g(v) = v - 2. Let y be g(5). Let q be y/21 - (-3)/(-21). Is t smaller than q?
False
Suppose -5*w + 38 + 27 = 0. Suppose w + 5 = 3*q. Is 6 at most q?
True
Suppose 0 = 11*z + z. Which is greater: -3/31 or z?
z
Let h(p) = -2*p - 2. Let b be h(-3). Suppose 3*i + 4*u + 10 = 0, 0*u - 20 = -4*i + 3*u. Suppose -i*v + 4 = -v. Is v at least as big as b?
True
Let d = -0.057 + -0.153. Is d less than -0.1?
True
Let a be (5 - 2)/(6/8). 