
u
Let o(i) = -i**2 - 5*i + 5. Let n be 29/(-5) - (-7)/(-35). Let b be o(n). Suppose 7*f + 3 = 17. Which is greater: b or f?
f
Let u = 0 - 2. Let c(p) = -p**2 + 3*p - 11. Let j be c(0). Let o(v) = -v**3 - 11*v**2 + v + 10. Let f be o(j). Which is smaller: f or u?
u
Suppose -3*u = -b + u + 18, -4 = u. Let p(c) = c + 1. Let f be p(b). Let g = 27 - 23. Is g at most f?
False
Let z = -166 + 866/5. Is z at most as big as -2?
False
Let j be 91/70 + 36/(-45). Which is bigger: -6/17 or j?
j
Let y = -0.066 - 4.934. Let t be 490/(-119) + -1 + 5. Are y and t unequal?
True
Suppose -5*b = -20, 5*s - s + b - 312 = 0. Is 74 < s?
True
Suppose 5*m - 3*m + 78 = 0. Let r = -38 - m. Is r at least -3/11?
True
Let u = -11 + 21. Let r = u - 2. Let d = 11.9 - 12. Which is smaller: r or d?
d
Suppose -3*y + 5*y = 0. Let k be ((-16)/(-22))/4 + 266/(-11). Let v be ((-2)/(-8) - 0)/(210/k). Which is smaller: v or y?
v
Suppose 0 = 2*h + 7*h - 54. Let p be (-34)/(-15) - 4/h. Which is smaller: 3 or p?
p
Let b = 813 - 866. Which is smaller: b or -50?
b
Let o(f) = f**2 - 8*f - 9. Let y be o(9). Which is smaller: y or -3/100?
-3/100
Let n be 0 + 0 + (-54328)/576*3. Let k = 283 + n. Which is bigger: k or -1?
k
Let z = 2569 - 7816/3. Let d(c) = 2*c**2 - 42*c + 41. Let r be d(19). Which is greater: r or z?
r
Let a = 22 - 22.02. Which is smaller: a or 9/2?
a
Suppose -4*k + 3128 = -5*y, 11*k + 4*y - 2346 = 8*k. Is 782 less than or equal to k?
True
Let q = -0.7 - 0.3. Let d = 20 + -18. Do d and q have the same value?
False
Let v(h) = -h**3 - 4*h**2 + 13*h + 4. Let p be v(-6). Let a be (-2)/p - (-3456)/19. Let g = a + -183. Is g > -1?
True
Let z(i) = i**3 + 6*i**2 - 16*i. Let u be z(-8). Which is smaller: u or 8/11?
u
Suppose 3*r + 3 = -6. Let d = -1783/3 + 590. Does r = d?
False
Let f = 0.1 - 1.1. Suppose 2 = 2*j + 6. Let n be j/10 + 231/880. Which is greater: n or f?
n
Let r = 162.054 - 162. Let w = -0.046 - r. Which is smaller: -0.14 or w?
-0.14
Let c = -15 - -14. Let t be c + (-6)/3 + -4. Let g = -8 + 0. Which is smaller: t or g?
g
Suppose 4*n = 6 - 18. Let i be (4/n)/(14/(-21)). Which is greater: i or -1/22?
i
Let i(r) = r**2 - 9*r - 3. Let k be i(8). Let m be (-6)/15 + 26/65. Are m and k unequal?
True
Let s be -2 - (-85)/(4/(-4)). Let t = -121 - s. Which is smaller: t or -35?
-35
Let v = 21989/50 - 2198/5. Is v greater than or equal to 1?
False
Let o = -5 - -7. Let t be (-3*o/1)/(-1). Suppose -7*g + 6*g = 4*x - 24, -x - 3*g = -6. Is t greater than or equal to x?
True
Let g = 6/65 - 261/715. Let s(r) = r + 2. Let b be s(-3). Is g greater than b?
True
Let c be ((1 - 1)*13/(-26))/2. Is 24/23 greater than c?
True
Let k = -2 - -32. Let t = -29 + k. Let m = 9.7 - 0.7. Are m and t unequal?
True
Let w be 122/170 + 18/(-30). Let s(z) = 1 - 2*z - z + 4*z. Let l be s(-2). Is w greater than or equal to l?
True
Let k = 77 - 72.95. Let r = k - 0.05. Is r > -2?
True
Let p(m) be the first derivative of m**4/4 + 5*m**3/3 - 5*m**2/2 + 5*m + 1. Let g(f) = 2*f**3 - f**2 - 6. Let h be g(0). Let d be p(h). Is d >= -1?
True
Let f(x) = x**2 - 3*x + 2. Let c be f(3). Let l be (1/3)/(c/(-4)). Which is bigger: 0.09 or l?
0.09
Suppose 5*r - 134 = -464. Let z = -50 - r. Which is smaller: 14 or z?
14
Let g(u) = u**3 + 8*u**2 + 37*u + 159. Let d be g(-6). Let z be 3/3*7*1. Which is bigger: z or d?
d
Let m = 5.95 - 6. Let u = m - -2.05. Let b = -408 - -408.3. Which is smaller: b or u?
b
Let l = -48 - -38. Let v = 135 + -135.2. Is l >= v?
False
Let k be ((-7)/(-14) - 0) + (-3530)/7012. Let p = k + -52524/19283. Are -4 and p nonequal?
True
Let r = -0.91 - -57.91. Let m = r - 57. Which is greater: -9 or m?
m
Let s be (-30)/(-6) + -10 + 7. Let d = -5 + 10. Suppose 0*y - 5 = -d*y. Are y and s unequal?
True
Let v be 2*(-3)/(-6) - 38. Let s = v + 39. Are s and 0 unequal?
True
Let a = -592586479/53 - -11181733. Suppose 7*j - j - 5136 = 0. Let n = a - j. Do n and 1 have different values?
True
Let t be (-1)/((45/295)/(-9)). Is -1 >= t?
False
Let d(x) = -x**3 - 3*x**2 + 3*x + 1. Let v be d(-4). Suppose 3*b + 2 = v. Suppose 0 = 2*a - b - 1. Are 5/7 and a equal?
False
Let b = -1758 + 1183. Which is bigger: b or -576?
b
Suppose 0 = a + 1. Let t be (1*a)/(2 - 1). Which is smaller: t or -8?
-8
Let t = -692.4 + 388.3. Let g = t + 291. Let r = -13 - g. Is r >= 2/5?
False
Let z = -30 + 42. Suppose 0 = -z*c + 2*c - 150. Is -18 not equal to c?
True
Let f(j) = j + 24. Let z be f(0). Let w be (-10 + -2)*(-78)/z. Which is smaller: w or 40?
w
Let v = -458 + 374. Which is smaller: v or -2?
v
Let l be 33/12 + (-91)/26. Let g be 3/6 - (-39)/(-54). Is g > l?
True
Let p = 23.1 + -23. Let a = -167.9 + 67.9. Are a and p unequal?
True
Let c = 21.27 - -11.73. Do 6/13 and c have different values?
True
Suppose -5*w + 137 = -2*c, -3*c - c + w = 265. Let g = c + 460/7. Suppose -5*l - 4 = 1. Which is smaller: g or l?
l
Let l = -106 - -58. Let r = l - -34. Is -15 smaller than r?
True
Let r = -22 + 24. Let d = -7 + r. Let y be 2/d*(-2 - 8). Which is smaller: 8/3 or y?
8/3
Suppose 25 = 14*x - 9271. Which is greater: 666 or x?
666
Let n = -0.241 + -0.059. Is 21 at most as big as n?
False
Let w = -46/39 + -2/13. Suppose 7 = -11*f - 4. Is f <= w?
False
Let l(p) = p**3 - p**2 - 8*p + 96. Let s be l(0). Which is smaller: 97 or s?
s
Suppose 8 = -4*j + 120. Suppose -a + 2*s + 27 = 0, a = -589*s + 590*s + 27. Which is greater: j or a?
j
Suppose -3*v - 8 - 7 = 0. Let c be 3/2*552/(-4). Let y = c + 605/3. Is y >= v?
False
Let z(v) = -v + 0*v**2 + 2 + 3*v**2 - 3*v**3 - v**3. Let r be z(2). Let k be (8/r)/(4/5). Which is smaller: k or -2/7?
k
Let y = 23742017/1133 + -20955. Which is smaller: y or -1?
-1
Let n = -13 + 16. Let k(s) = -22 - 22 - s + 43 - s**n. Let d be k(-1). Is 6/5 greater than d?
True
Let x(v) = -v**3 + 24*v**2 - 119*v + 1. Let t be x(17). Let i = -8/181 + 915/24797. Are i and t unequal?
True
Let b = 929.9 - 945. Are b and -0.1 nonequal?
True
Suppose -4*w + 20 = 68. Let c be (-1)/(-4) - (-39)/w. Let o be 13/(-3) - 16/(-4). Which is smaller: o or c?
c
Let m = 0.3 + 0.1. Let s = -10 - -26. Suppose -4*f = 4*f - s. Which is smaller: m or f?
m
Suppose -7 = -x + 6*d - 3*d, 0 = x - 2*d - 5. Suppose 0 = -9*w + 4*w - 8*w. Suppose -2*q + 99 - 69 = w. Which is bigger: q or x?
q
Suppose 2*c - 2*s + 6 = 0, 0*c - 15 = 2*c + s. Let o(z) = -3*z - 10. Let m be o(c). Let p be (-44)/(-6) + (-2)/(-3). Are m and p non-equal?
False
Let r be 0*((3 - 0) + -4)/1. Is -2/219 less than or equal to r?
True
Let z(n) = 12*n**2 - 69*n - 14. Let l be z(7). Is 0 < l?
True
Suppose 4*o = 4*w + 8, 20 = -5*o - 2*w - 5. Let l(u) = 5*u - 73. Let q be l(26). Suppose q*h = 53*h + 8. Is o less than h?
True
Suppose -12*h + 4*h = 32. Let x(a) = -5*a - 4. Let i be x(0). Is h < i?
False
Let i = -914 - -915. Which is smaller: 5/262 or i?
5/262
Let n(v) = -3*v + 21. Let p be n(6). Suppose -x = 2*x - 6. Suppose p*q = x*q. Which is greater: -1 or q?
q
Let f = -16705021096 - -200877878829476/12025. Let k = f + -462/37. Which is bigger: 1 or k?
1
Let v(p) = p**3 + 3*p**2 - 1. Let s be v(-3). Let t = 32 + -30. Let o(y) = -y**2 + 3*y - 1. Let g be o(t). Which is bigger: g or s?
g
Let d = 275/252 - -13/28. Let c = -10.06 + 9.06. Is d greater than c?
True
Suppose -2*r - 6 = -0*r, -3*w - 165 = 3*r. Let p = -47 - w. Is p not equal to 5?
False
Suppose -2*r - 2 = -2*d, 4*d - 27 = -3*r + 5. Suppose -1 - d = -6*c. Which is smaller: 2/81 or c?
2/81
Let p be (0 + -6)/(32/32). Which is greater: -54/11 or p?
-54/11
Let z be (-4)/(-2) + 3 + -9. Suppose 6*l - 16 = -40. Let n = z - l. Which is greater: n or -1/6?
n
Let c be (174/36)/29*(-498)/8. Which is bigger: -9 or c?
-9
Suppose 3*m + 4 - 10 = 0. Let k(o) = -m - 5*o**3 + 2*o**3 - 4*o**2 + o + 4*o**3. Let c be k(4). Which is bigger: 1 or c?
c
Let f(s) = -s**2 - 8*s + 29. Let a be f(-12). Do -18 and a have different values?
True
Suppose 4*a - l + 5 = 0, -4*l + 7 = 3. Let j be 1/(2/1)*-2. Is j > a?
False
Let m = 447 + -448.11. Which is bigger: m or -1?
-1
Let r(l) = l**3 - 12*l**2 + 6*l + 32. Let i be r(7). Which is greater: i or -169?
-169
Let n = -3/166 + 427/664. Let q be (1 - 0)*(-3)/(-3). Which is bigger: n or q?
q
Let v = -3 + -1. Let o = v - -8. Let w = 984 + -984. Is w <= o?
True
Let f = 58 - 58.2. Which is greater: -45 or f?
f
Let i = -1194 - -1193. Does