g = 7 - 12. Let r be 315/300 + (-1)/g. Which is smaller: 0 or r?
0
Let o(h) = -h**2 - 5*h - 18. Let f be o(-4). Let g be 0 - (51/(-119) + (-6)/f). Is 1/35 >= g?
True
Let a = 17.31 + -9.5. Let s = a - -0.19. Let g = s + -7. Does g = 2/7?
False
Let d = 3 - 2. Let o = d + -2. Let g = -3598.4 - -3599. Which is smaller: g or o?
o
Let m = -65.5 + 68. Let f = m + 7.5. Let u = 0 + -2. Is f bigger than u?
True
Let i = -1/11 - -3/11. Suppose -5*f - 319 = 76. Let k = 235/3 + f. Which is smaller: i or k?
k
Suppose 3*o = 7*c - 2*c + 76, -o = c + 12. Let p = 5 - c. Is 18 less than or equal to p?
True
Let j be 2 + 7/((-21)/6). Suppose u - 4*u + 102 = j. Suppose -2*w - 3*y - u = 0, -w - 2*w = -3*y + 36. Which is bigger: w or -12?
-12
Let g(s) = s**3 + 7*s**2 + 6*s - 6. Let w be g(-6). Let m be -4 + (-200)/14 + w/(-21). Is -3/5 equal to m?
False
Let b = -6 - -6. Let j = b - -2. Suppose -2*a - a - 4*u - 9 = 0, -2*a = 4*u + j. Which is smaller: -8 or a?
-8
Let s(j) be the first derivative of j**4/4 - 3*j**3 + 9*j**2/2 - 5*j - 5. Let i be s(8). Suppose -11 = -2*d - 2*x - 1, i*d + 1 = 5*x. Is -1 >= d?
False
Suppose 0 = z + 5*q + 33, q - 121 = 4*z - 10. Which is smaller: z or -83/3?
z
Let n = 398829/143 + -2789. Let i be 2*2/(-8) + 13/(-26). Is i greater than or equal to n?
False
Let a(f) = -f**2 - 13*f + 69. Let y be a(-17). Is y at least as big as 2/55?
True
Let a = -20 - -18. Let d = a - 10. Suppose 4 = -i - 8. Is i bigger than d?
False
Let c be ((-3)/12)/((-2)/8). Suppose -5*s - 25 = 35. Let v(z) = -z**2 - 13*z - 12. Let o be v(s). Is c < o?
False
Let t(q) = -5*q + 72. Let u be t(-16). Let z = -2/32473 - 24776889/162365. Let h = u + z. Is h not equal to 0?
True
Let v be (-2504)/(-9) + 12/(-54). Let s = v + -5836/21. Let f = -27 + 28. Which is greater: s or f?
f
Suppose -5*n + 6 + 2 = -2*h, -2*n + 5*h + 20 = 0. Let g = -114592 + 4124837/36. Let j = g + 51/4. Which is smaller: n or j?
j
Let u(t) = t**2 + 3*t - 3. Let v be u(-8). Let l = -39 + v. Which is smaller: -4 or l?
-4
Let x be ((-2)/(-6))/(176/528). Which is smaller: x or -3/1129?
-3/1129
Let n = -30 - -35. Let l = 5 - n. Are -14/11 and l equal?
False
Let i be ((-5 + 3)*-7)/(-1 - 1). Let h be ((-6)/(-21) + 2/i)/(-1). Let q = 30 + -125/4. Is h at most as big as q?
False
Let v(f) = f - 13. Let o be v(13). Which is bigger: -2 or o?
o
Let n = -260.3 + 260. Which is smaller: n or -2.1?
-2.1
Let p be ((-42)/(-49))/((-11)/(-7)). Suppose -5*k + 3*k = 2. Let a = 2 + k. Which is smaller: p or a?
p
Let x = 18 - 7. Let r = x - 10.89. Let u = 6.11 - r. Is 0.1 less than or equal to u?
True
Let z = 50.7 + -48.7. Which is greater: 2/223 or z?
z
Let j = -36.94 + 37. Which is bigger: -0.26 or j?
j
Let r = 5 - -2. Suppose -4*w + r*w = -3. Let b(x) = -x**3 + 13*x**2 - x + 10. Let n be b(13). Which is smaller: w or n?
n
Suppose -b = 3*i + i - 44, -3*b - 28 = -4*i. Let y = 20 - i. Let o be (y - 10) + 1*-2. Does o = -4?
False
Let s be 0 + 1 + -9 + 16. Let w(q) = -4*q - 2. Let z be w(-1). Let o = 4 + z. Which is smaller: o or s?
o
Suppose 23*v + 506 = v. Is -34 at most as big as v?
True
Let h be (-36)/16*-4 - -3. Suppose -v + 2 = a - 3*v, -4*a - 2*v - h = 0. Which is bigger: a or 10?
10
Suppose -39 = -3*l - 3*c, -11 = -2*l - c + 15. Let a(r) = -3*r + 7. Let j be a(-2). Suppose -2*o - j = -37. Which is bigger: o or l?
l
Let q(b) = -4*b + 21. Let s(z) = 4*z - 22. Let w(l) = -3*q(l) - 2*s(l). Let a be w(10). Let f be (14/a)/(4/(-18)). Are f and -6 non-equal?
True
Suppose 498 - 534 = -6*v. Let r(q) = -q**3 - 5*q**2 - q + 1. Let x be r(-5). Is x less than or equal to v?
True
Suppose 1519 = 3*q + 1516. Is 6/23 less than q?
True
Let s(n) = -n**2 - 10*n + 10. Let r = 48 + -24. Let i = 13 - r. Let x be s(i). Is x less than -1?
False
Suppose -24*i - 11*i = -385. Which is smaller: i or 10?
10
Let h be (-4 - 452)*(-4)/(-6). Let t be h/252 - (-4)/(-18). Which is smaller: -2 or t?
-2
Let i = 201 + -374. Let c = i + 163. Suppose 0 = -8*k + 3*k - 40. Is c bigger than k?
False
Let x = -52 + 56. Suppose 3 = -3*o, -5*o = x*s - 0*o + 9. Do 2/107 and s have the same value?
False
Let n = -86482840/29 - -2981557. Let h = n + 610. Which is greater: h or 0?
h
Suppose -v - o = -28, -5*v + 0*v + 2*o = -168. Suppose -4*u = y - v, 5*y - 23 = -3*u + 4*y. Let q be 1 + -3 - (-9 + -1). Is u at most as big as q?
False
Let i = -62.1 - -68. Let q = 5.9 - i. Which is smaller: q or -18?
-18
Let u be -1 + (1 - 0) + 9. Let o be u/4*12/9. Which is greater: 12/7 or o?
o
Suppose -2*n = 5*l + 82, -110 = 2*n + 2*l - 4*l. Which is smaller: n or 6?
n
Let d(p) = -p**3 - 3*p**2 + 2*p + 5. Let b(w) = -4*w**3 - 9*w**2 + 7*w + 16. Let q(r) = -2*b(r) + 7*d(r). Let v be q(3). Which is smaller: v or 4?
v
Let v(a) = a**3 - 15*a**2 - 17*a + 15. Let s be v(16). Let c be 15/5 + s*5. Let q be (2 - 20/8)*c. Which is smaller: -4/15 or q?
-4/15
Let x = -13 + 67/5. Let p be ((-21)/(-28))/(1/20). Suppose p + 0 = -5*g. Which is smaller: g or x?
g
Let n be 4 - 6 - 45/(-24). Let x(v) = v**3 + 6*v**2 + 6*v + 7. Let f be x(-5). Suppose 2*t - f + 4 = 0. Which is greater: n or t?
n
Let d = 137.6416 + -0.7216. Let j = d + -137. Let f be (-4)/(-10)*(-10)/(-6). Is f at least j?
True
Suppose -21*d + 2602 = -23*d - 5*f, -4*d - 5*f = 5224. Which is greater: d or -1312?
d
Let m be 21/49 + 2 + (-37914)/21. Is -1802 < m?
False
Let c = 1303 - 1303.07. Is -1/5 at most as big as c?
True
Let n(s) = -s**3 - 4*s**2 + 5*s - 1. Suppose -c + 2*z - 7 = 0, 8*z - 10*z - 18 = 4*c. Let d be n(c). Which is greater: -4/7 or d?
-4/7
Let a be ((-3)/(-4))/(7/(-160)). Let v = a - -356/21. Let g be (4/6)/((-2)/3). Are v and g non-equal?
True
Let s = -703 - -574. Which is bigger: s or 0.2?
0.2
Let t = -678 - -677.8. Which is bigger: t or 1.18?
1.18
Let s = -5 - -6.4. Let i = s + -1. Let o = -623 + 623.3. Which is bigger: i or o?
i
Let t(b) = -b**2 + 8*b - 17. Suppose 2*w = 2*i + 14, 7*w - 2*w - 35 = 4*i. Let s be t(w). Does s = -10?
True
Let c = -406 - -408. Let m be 2/(-6) - (-2)/(-9). Which is greater: m or c?
c
Let k(v) be the second derivative of -3*v**5/20 + v**2/2 + v. Let w be k(1). Let h be w/72*24/9. Is -1 at least h?
False
Let v be -2 + (-110)/(-12) - 6/36. Let d(g) = -4*g + 25. Let k be d(v). Is k > -4?
True
Let b = -3.31 + 3.41. Is b equal to 67?
False
Let f be 96/(-3328)*(-14)/(-3). Which is smaller: f or 1?
f
Let j(b) = -b + 9. Let z be j(4). Let i be -5 - (z + -4) - -5. Which is smaller: 0 or i?
i
Let o(i) = -i**2 - 12*i - 19. Let v be o(-8). Let w(c) = 4*c**2 - c + 1. Let r be w(2). Which is smaller: v or r?
v
Let z = -1 - -3. Suppose -7 = z*w - 0*w - 5*i, -w = 2*i - 1. Let u be w/(-2 - -2 - 1). Is u != 1?
False
Suppose 4*c + 8 - 4 = 4*k, -c - 5 = 3*k. Which is smaller: -6/59 or k?
k
Let w = 481/1757 - -3/251. Which is bigger: -13.2 or w?
w
Let z be (-246)/84 - 2 - (-3)/2. Is z at least as big as 0.3?
False
Let l = 1914 - 1914. Which is bigger: 3/628 or l?
3/628
Let v = -184 + 183.9. Let x = -7/75 - 1/25. Which is greater: x or v?
v
Let v = -4 - -3. Suppose -5*c - 4*r - 3 = 0, 6*c - 5*c + 7 = -4*r. Which is smaller: v or c?
v
Let i = 35.3 + -36. Let m be (340/12)/(276/(-9)). Let p = 4/23 + m. Which is greater: i or p?
i
Let q be (-13)/65 - 5/(50/(-12)). Let z be (-16)/(-132)*1/q. Is z at most as big as -1?
False
Let f(q) = -2*q**3 - q**2 - 3*q + 6. Let r be f(4). Let j = -1501/10 - r. Is j less than 0?
True
Let j = -8 - -3. Let a = -28/5 - j. Let c = -320 + 962/3. Which is greater: a or c?
c
Let g = -86779/129 - -2020/3. Is 2 greater than g?
True
Let v = -13/5 + 281/110. Let m = 309 - 309. Are v and m nonequal?
True
Let n = -1202/212887 + 5/593. Is n > 0?
True
Suppose -4*w = -16, 0 = 4*p + 2*w - 480 + 24. Is 112 greater than p?
False
Let v(o) = -143*o + 627. Let c be v(5). Is -88 at most as big as c?
True
Let s = 32 + -154/5. Let f be (12/4)/1 - 3. Do f and s have different values?
True
Let h = -1949 + 1949.1. Which is smaller: 62 or h?
h
Let r be (-253)/(-77)*2/6. Let o = 10/7 - r. Which is smaller: o or -0.9?
-0.9
Let w = -0.05 + 0.05. Let i(u) be the third derivative of u**4/24 + 9*u**2. Let d be i(-4). Which is greater: d or w?
w
Let p be 37 + -10 + -7 - 8. Is p greater than 12?
False
Let p = -71/405 + -2/81. Which is bigger: -0.26 or p?
p
Let z = 1566 - 12583/8. Is -7 equal to z?
False
Let f = -31 - -30.7