se
Suppose 2*f + 2*f = -5*z + 78, 0 = -4*z - 3*f + 62. Let t be 16/z*(-18)/612. Let g = t + -3/119. Which is bigger: -1 or g?
g
Let i be (20/(-406))/(6/14). Which is smaller: i or -1?
-1
Let q be 1/5*1800/60. Let w(v) = -v**3 + v**2 - 3. Let g be w(0). Let r = g + 9. Is q <= r?
True
Let l = -22.37 - 7.63. Is 4/7 at least l?
True
Suppose 45*g - 19*g - 598 = 0. Are 112/5 and g non-equal?
True
Let k be ((-7237)/2)/((-1)/(-14)). Let p = 353838/7 + k. Let s = p - -111. Is -5/3 smaller than s?
True
Let t(g) = -16 + 32*g + 25*g - 49*g. Let a be t(4). Suppose -3*l - 3*b + 39 + 0 = 0, -5*l + 2*b + 72 = 0. Which is smaller: a or l?
l
Let m = 23 + -18.5. Let c = m + -0.5. Let t = 4 - c. Does -7 = t?
False
Let b = 22 + -18. Are 24 and b equal?
False
Let t = -0.009 + 23.009. Let k = -30.7 + t. Let n = 8 + k. Which is smaller: 1 or n?
n
Let t = 14042/139469 - 36/341. Is -1 greater than t?
False
Let b(q) be the first derivative of q**3/3 - 7*q**2/2 - 7*q - 1. Let i = 382 - 374. Let u be b(i). Which is smaller: 2/7 or u?
2/7
Let i = -2.2 + 2.1. Let u = -48 - -18. Let c = 91/3 + u. Is c smaller than i?
False
Suppose 10*j - 7*j - r = 13, 3*r + 12 = 0. Is -0.99 != j?
True
Let c be 25/(-63) - 4/(-14). Suppose -585*v + 569*v = 0. Which is bigger: v or c?
v
Let t = 9 + -6. Suppose 3*d - 4*d = 3, 3*b + t*d + 12 = 0. Let z = -10/23 - 16/69. Which is smaller: z or b?
b
Let a = 397/190 + -34/19. Let j = a - -1/30. Let k = -0.5 + 3.5. Does j = k?
False
Let u = -25/2 - -12. Suppose -5*m + 33 = -3*f, -5*m = -4*f - 0*m - 49. Let c = f - -16. Which is smaller: c or u?
u
Let k be (-2)/6 + (-4)/(-3). Suppose -3*w - 2*w + 5*f - 115 = 0, 0 = -3*f + 15. Let i be (-3)/w*4 - (-12)/9. Which is smaller: i or k?
k
Suppose 3*v + 67 = -v - x, 2*x - 53 = 3*v. Let n = v - -21. Let w = 0 + 0. Which is bigger: w or n?
n
Suppose 60 = -5*z - 10. Let j(k) = -k**2 - k - 9. Let p be j(0). Let i = z - p. Which is smaller: 1 or i?
i
Let k = 0.58 + -0.7. Let y = -0.2 - k. Let p be (2/(-10))/((-62)/(-124)). Are y and p nonequal?
True
Let d(c) = 10*c + 20. Let f be d(-10). Let j be (4/12 + f/(-3))*-1. Which is greater: j or -25?
-25
Let l(t) be the second derivative of -t**3/6 + 9*t**2/2 - t. Let k be l(7). Let y be k/2*(7 - 4). Which is smaller: y or 2?
2
Let c be 842/(-211) + -3 + 7. Let d = -653/2110 + c. Is -1 > d?
False
Let k(u) = u**3 + 8*u**2 + 7*u. Let l be k(-7). Suppose l = -x - 4, -4*x = -2*c - 3*c + 76. Which is greater: c or 0?
c
Suppose -14 = 5*s + 11. Let i be 2/s - (-28)/20. Let f be (-1)/2 - (-1)/i. Is f smaller than -0.5?
False
Let p(k) = -3*k**2 + 5*k + 5. Let s be p(3). Let v(q) = -q**2 - 9*q - 15. Let y be v(s). Is y bigger than -2/29?
False
Suppose -j - p = p + 9, -3*j - 2 = p. Let b = j + 0. Let t = -162 - -1137/7. Which is greater: b or t?
b
Let a be -3*(-4)/102 + (-3150)/(-680). Let s be 11 + -2 + 0/2. Suppose s*p - 40 = -5*l + 4*p, 0 = -5*l - 3*p + 36. Which is bigger: l or a?
l
Suppose -2*z = 4*w + 10, 6 = 5*w + 2*z + 17. Let h = -1356/7 - -194. Is h != w?
True
Suppose -3*x = -2*z - 122, 124 = 4*z + 2*x + 336. Which is smaller: z or -68?
-68
Let f be 1/(12/(-24)) + 1*3. Is 1 > f?
False
Suppose q + 1417 - 1449 = 0. Which is smaller: 20 or q?
20
Let n(h) = 5*h**2 - 1. Let t be n(1). Suppose 0 = -b + 5*g + 22, -4*b - g + t = -0*g. Do 2 and b have the same value?
True
Let r(l) = -l + 2. Let j be r(2). Let m = 3956/21 + -565/3. Which is greater: m or j?
m
Let o be (-277)/27 - (72 + -83). Which is bigger: -3 or o?
o
Suppose -1 = -r + 2. Let i be r/(-12) + 10/(-152). Let m = -20/57 + i. Which is bigger: 0 or m?
0
Suppose 11*w = -2*j + 7*w + 68, 2*w = -10. Is 314/7 at least j?
True
Let h = 31 - 28.72. Is 0 >= h?
False
Let t be (-2)/(0 + -2)*-1. Let i be (-96)/249*-26 + -10. Which is smaller: t or i?
t
Let o be (-26)/117 + (-124)/(-234). Which is greater: o or 0.3?
o
Let r be 11/(-3) + (-8)/(-12). Let b(p) = p**3 + 3*p**2 - p - 2. Let k be b(-3). Which is bigger: r or k?
k
Let m(c) = -2*c + c + 4*c - 16*c**2 + 12*c**2 + c**3. Let o be m(3). Which is smaller: -1/3 or o?
-1/3
Suppose r - 1 = -i - r, -2*i - 2*r + 4 = 0. Suppose 0 = 4*l + 12, i*n + 0*l + 6 = -5*l. Suppose -4*c = -3*d + 19, 4*d + c - 12 = 3*c. Which is smaller: d or n?
d
Suppose -9*d + 48*d = 0. Is 14 at most as big as d?
False
Let z = -1.32 - -1.6. Let d = z + -18.28. Let j = 18.1 + d. Is j at least as big as -1?
True
Let b = 28/5 - 94/15. Which is smaller: b or -2?
-2
Let w(p) = p**3 + 16*p**2 + 23*p - 6. Let g(c) = -12*c + 58. Let y be g(6). Let a be w(y). Which is smaller: a or 1/2?
1/2
Suppose -4*z = -9*z - 5. Let f be (1 - (-765)/210) + -5. Are z and f equal?
False
Let p = -1 + 3. Let q = p + -3. Let l = 281.5 - 281. Which is smaller: q or l?
q
Let p = -13 - -12.7. Suppose -889 = 57*v - 262. Is p equal to v?
False
Let f(i) = -i**3 - 64*i**2 - 60*i + 123. Let h be f(-63). Does 1 = h?
False
Let y = -2232 + 2263. Is y greater than or equal to 39?
False
Suppose 4*i + 4*f = -68, -7*f + 2*f - 1 = -2*i. Suppose -9*l = -4*l + 25. Let m(z) = -z**3 - 4*z**2 + 8*z + 4. Let g be m(l). Which is greater: g or i?
g
Let m = -30.1 + 27. Let a = m + 6.1. Suppose -c = 4*c - 5. Is a greater than c?
True
Let g = 7 + 4. Suppose 0 = 11*r + r + 1596. Let p = r + 265/2. Which is greater: g or p?
g
Let t be (12/48)/((-3)/48). Is -98/25 greater than or equal to t?
True
Let f(k) = k - 5. Let w be f(5). Suppose w = 3*g + g - 12. Let b(u) = -u**2 + 4*u - 1. Let a be b(g). Which is greater: 10/7 or a?
a
Suppose 33*a - 1302 = 2*a. Is a smaller than 39?
False
Let n = -281 + 281. Is n at most as big as 4/7?
True
Let f(o) be the third derivative of -o**5/60 - o**4/8 + 17*o**3/6 + 6*o**2. Let s be f(-6). Are s and -2 nonequal?
True
Let h = -416/7 + 60. Let i be (-7)/3 + 559/129. Which is smaller: i or h?
h
Suppose 274 = 6*l - 2. Is 49 at most as big as l?
False
Suppose 37 = -t - 5*z, -3*t - t + z = 64. Which is smaller: -16 or t?
t
Let h be (-3 + -75 + -2)/((-10)/65). Are 519 and h unequal?
True
Let r = 14067/4 - 3560. Which is smaller: r or -42?
r
Let a be (-9 - -5)*(-2)/8 + 0. Let m = 23327/21 + -1111. Are a and m nonequal?
True
Let u(k) = -k**3 - 7*k**2 + 5*k + 9. Let c be u(-7). Let h = 26 + c. Suppose 5*b + 30 = l + 4*l, h = -l - 2. Does b = 0.2?
False
Suppose 2*q + n = 103, 0 = -20*q + 19*q + 2*n + 64. Does q = 54?
True
Let q = -29 + 117/4. Suppose 14*z - 5*x + 404 = 10*z, x = -4. Let l = z - -124. Are l and q non-equal?
True
Let m = 6 + -8. Suppose -2*r + 14 = 2. Suppose 5*k = 0, x + 2*k + r = -2*k. Which is smaller: m or x?
x
Suppose -10 = 5*r, 5*w - r = 3*r - 157. Is -34 greater than w?
False
Suppose -2*z - z - 27 = 4*r, 15 = -3*z. Let o be 21/(-12) - r/(-12). Let g be (-10)/18 + o/(-2). Is g >= -1?
True
Let h be (-3 - -4)/((-758)/8). Is 1 greater than or equal to h?
True
Let q(s) = 143*s + 433. Let f be q(-3). Which is bigger: f or 8?
8
Let d = -3 + 8. Let h = 3617 - 517229/143. Let b = h - -135/572. Which is bigger: b or d?
d
Let v = -159 + 250. Let j = 88.88 - v. Let i = j + 0.12. Does 0.2 = i?
False
Let h(l) = -3*l**2 - 28*l - 37. Let x be h(-10). Is -60 smaller than x?
True
Suppose -11*s - 13 = -2. Let u(r) = 4*r + 1. Let g be u(-1). Let p be -10 + (4 + g - -1). Which is smaller: s or p?
p
Suppose 3*m + 0 = j + 5, -j = m - 15. Let l be 59/60 - (j + -9). Which is bigger: 1 or l?
1
Let w(u) = 15*u + 74. Let j be w(-5). Let f = -3.1 - 10.9. Let l = f - -21. Which is smaller: j or l?
j
Let m be 22/(-3) + (-4)/6. Suppose 7*n = -51 - 26. Let d(r) = r**3 + 12*r**2 + 13*r + 14. Let a be d(n). Is m not equal to a?
False
Let m be ((-2000)/237)/(-4) + 2 + -2. Let x = -1/711 - m. Is -3 equal to x?
False
Let d(y) = 68*y + 341. Let g be d(-5). Which is bigger: -349 or g?
g
Suppose f + 4*b = 24, -3*b + 27 = 2*f - 2*b. Suppose s = -3*j - f, -s + 3*s - 3 = 3*j. Which is smaller: j or -2?
j
Let n = -0.4919 + 0.0619. Are n and 1 equal?
False
Suppose -12 = -13*h + 11*h. Suppose -7 = -h*m + 245. Is m >= 42?
True
Let d(t) = -11*t**2 + 178*t - 33. Let x be d(16). Is x greater than 2/1389?
False
Let v = -20.037 - -0.037. Let f = -7.8 - v. Let r = f + -2.2. Which is bigger: r or 0?
r
Let i be 79 + (9/36 - 34/8). Suppose 0 = -5*v - 3*b - 71, 5*b + i = -5*v. Which is smaller: v or -40/3?
-40/3
Let a(f) = 2 + 3*f - 3 - 6 - 4*f. Let g be a(4). Let o(s) = -2*s