 m. Which is smaller: 5 or i?
5
Let r(z) = -2*z**2 - 6 + 2*z + 3 + 7. Let q be r(3). Let d = q - -17. Which is smaller: 8 or d?
8
Let t = 176 + -101. Let z = t - 114. Is z not equal to 0?
True
Let u(s) = -6*s - 346. Let h be u(-41). Is -95 smaller than h?
False
Let w(b) be the second derivative of -b**3/6 + 43*b**2/2 + 7*b. Let q be w(14). Is 29 <= q?
True
Let a = 340 + -340.038. Is a less than or equal to 2/9?
True
Suppose 2*r - 168 = -4*r. Let z = 30 - r. Which is bigger: z or 7?
7
Let f be (-1)/(-7)*1 - 4142/266. Is f < -16?
False
Let x be 4 + (7 - (-845)/(-40)). Which is bigger: -10 or x?
-10
Let s = -532 - -533. Which is bigger: s or -1/11?
s
Let r = 59/320 - -1/64. Suppose o + 2*w - 1 = 0, 4*o + 0 = w + 4. Are r and o equal?
False
Let h(m) = -m - 7. Let y be h(-8). Let k = -817 + 817.1. Is k at least y?
False
Suppose 0 = 93*p - 97*p - 24, -3*o = -3*p - 21. Let z be 744/1785 + 4/(-10). Is o equal to z?
False
Let u(r) = 4*r - 1. Let c be u(-3). Let k = c - -8. Let d be (1 - 8) + (-16)/(-8). Does d = k?
True
Suppose 0 = -3*q - 5*i + 742, q + 5*i - 488 = -q. Is q not equal to 255?
True
Let k(j) = j**3 + 7*j**2 + 9*j - 4. Let x be k(-4). Is x at least as big as 0.2?
True
Let l = -0.1556 + 0.2256. Which is bigger: 4/3 or l?
4/3
Let g be (-308)/40 + 3 + 3. Is -2 > g?
False
Let r = -10 + 7. Let v be 2*((-4)/(-1) - -4). Suppose 19 = -3*f + v. Which is smaller: r or f?
r
Let g(y) = 8*y + 159. Let m be g(-20). Is m != 1/113?
True
Let y = -244 + 244.1. Which is bigger: 252 or y?
252
Suppose 6*v + 10 = 4*v. Let j be -2*(1 + (-9)/3) - v. Are j and 6 equal?
False
Let x = -4.23 + -0.07. Let j = -4.1 - x. Is 4 <= j?
False
Let m be 23778/(-630) - (-5)/(50/(-4)). Is m less than or equal to -37?
True
Let i = 47 + 257. Is i at least 304?
True
Let n be 3/(-6)*0/2. Let v(z) = z**3 - z. Let b be v(n). Let j = b + -1. Which is greater: -3/10 or j?
-3/10
Let j = -1470 - -1506. Which is smaller: -6 or j?
-6
Let d(j) = 54*j + 195. Let n be d(-4). Which is greater: n or -2?
-2
Let f = -47 + 25. Let m = 394 + -418. Which is greater: m or f?
f
Let g(n) = -n**3 + 2*n**2 + 4*n + 26. Let y be g(5). Which is smaller: y or -28?
y
Let p = -303 - -303. Is -7/46 at most p?
True
Let c = 52.3 + 16.7. Let y = c + -108. Which is smaller: y or 1?
y
Let i be -8 + ((-6)/(-3) - -2). Let j be 0/(-6 + (-16)/i). Suppose -2*f + j + 4 = 0. Are f and 3 equal?
False
Let c = 0.03 - -1.97. Let a = c - 1. Let w = -21 + 18. Is w at least a?
False
Let k be 2 - 4/(-8)*-4. Do k and 1/1216 have the same value?
False
Let c = 17 + -14. Suppose 30 = -c*v - 2*l + 5*l, -4*l = 3*v + 16. Do v and -6 have different values?
True
Suppose -533 + 2 = -9*p. Let h = -59 + p. Is h greater than or equal to 1/9?
False
Let x(u) = 9*u**2 + 18*u - 12. Let o be x(-5). Is o bigger than 123?
False
Let d be (3 + -2)/(4/(-12)). Let m be (-400)/75 - 1/d. Are -5 and m nonequal?
False
Let j be (-5)/(1*(-2)/10). Let p(z) = -z**3 + 12*z**2 - 9*z - 4. Let r be p(10). Suppose 4*l - 4*i = 100, 3*i - 6 + r = 4*l. Is j > l?
False
Suppose 3*l - 4*z = -z + 6, -12 = -4*l + 3*z. Let q be l/9*(5 + -8). Is q greater than -2?
False
Let t = -8 - -14. Let f be 122/8 + t/8. Do 16 and f have the same value?
True
Let z = 146 - -53. Is 198 <= z?
True
Suppose -6*h = h - 14. Suppose -6*c + h*c + 16 = -q, 0 = -3*q. Suppose 0 = c*a - 8*a. Which is smaller: a or -0.04?
-0.04
Let v = -22 - -43. Let t = v - 24. Which is smaller: -1 or t?
t
Let g be (0 + -1)/1*-3. Let u(h) = h**3 + 30*h**2 - 33*h - 55. Let j be u(-31). Let f be (-6)/j - g/21. Which is bigger: f or 2/5?
2/5
Let f = -0.1 - -0.2. Let n be 516/215 - (-6)/10. Is n greater than f?
True
Let v(a) = -73*a - 896. Let j be v(-12). Do j and -62/3 have the same value?
False
Let n = 15 + -11. Suppose n*y = 16, -2*y + 58 = -3*q - y. Let m be (q/(-8))/(3/6). Is m at least as big as 4?
True
Suppose 6*f - 4 = w + 5*f, -f = -4. Which is smaller: -7/178 or w?
-7/178
Let c = -100 - -100. Is c smaller than -8/7?
False
Let a be 3/(99/(-6))*(-41)/410. Is a greater than or equal to 0?
True
Suppose -b = -3*b - 36. Let y = b + 18. Which is greater: 18/13 or y?
18/13
Let u(l) = -l**3 - 8*l**2 - l - 7. Let p be u(-10). Suppose p - 71 = -3*z. Let a = 218/5 + z. Do 0.6 and a have the same value?
False
Let r(w) be the second derivative of w**3/6 - 5*w**2/2 + 16*w. Let a be r(2). Are -14/5 and a nonequal?
True
Suppose 3*j = -l + 5*j - 24, 0 = -5*l + 2*j - 80. Suppose 2*n - 5 = 3. Suppose n*m = 16 - 72. Is l < m?
False
Let u = -200 - -6201/31. Let k(s) = s**3 + 7*s**2 + 7*s + 9. Let f be k(-6). Suppose -4*a - 4 = 2*y, f = y - 0*a - 3*a. Is u less than y?
False
Let v = -740 - -2221/3. Which is smaller: v or -5/37?
-5/37
Let t(v) = -v**3 + 13*v**2 - 32*v + 13. Let p be t(10). Let z = -23 + 33. Let l = z - 9. Is l not equal to p?
True
Let g be ((-45)/12)/((-2)/60). Which is bigger: g or 114?
114
Suppose 11*o + 100 = 155. Which is smaller: o or -82?
-82
Suppose 41*p - 161 = 167. Which is bigger: p or 4?
p
Let y = 98 - 244. Let f = y - -145.8. Which is greater: f or -23?
f
Let k(m) = -3*m - 50. Let g be k(-21). Which is smaller: g or 15?
g
Let n = 6.05 + -6. Let o be (2/(-6))/(5/(-45)). Suppose -3*t = 4*j - o, 2*t = -t - 5*j + 3. Is n less than t?
True
Let p(t) = -t**3 + 4*t**2 + 6*t + 6. Let v be p(5). Let b be ((-392)/(-10))/(v/5). Let a = b - 18. Which is smaller: 0 or a?
a
Suppose 10 = -15*t + 13*t. Let i = 44/9 + t. Which is smaller: 1 or i?
i
Let p be (-2 - 0)/(4/2). Which is smaller: -30/19 or p?
-30/19
Let t(h) = h**2 - 18*h - 176. Let f be t(25). Is -1/423 greater than or equal to f?
True
Suppose 8 = 5*v - 22. Let s be v/9 - (-2)/6. Which is greater: 2/21 or s?
s
Let p = 1/602 - -3601/6622. Which is smaller: p or 0?
0
Let n = 182 - 181.8. Is n smaller than 36/7?
True
Suppose -c = -0*u - 4*u, 3*c = 4*u + 8. Is u not equal to 14?
True
Suppose -21 = 14*c - 10*c - 5*q, c + 14 = 3*q. Which is greater: c or 1/1371?
c
Let m(i) = i**2 + 4. Let p be m(-4). Let r be (-1)/2*182/p. Let w = r - -19/5. Which is smaller: w or -0.1?
w
Suppose -h - 2 - 25 = 0. Let j be (-6)/h - 102/(-27). Let p = -5 + 9. Is j smaller than p?
False
Suppose 5*m - 120 = 5*d + 2765, -3*m - 1159 = 2*d. Is d at least as big as -578?
True
Let g = -66 + 62. Let r be (-3 - g) + -1 + 2/5. Which is smaller: r or 5/2?
r
Suppose 3*j = -0*s - 2*s + 23, 2*s - 18 = -2*j. Let k be (-10)/18*(-6)/j. Which is greater: -2/15 or k?
k
Let h(w) = 8*w - 1. Let v(z) = -8*z + 1. Let i(t) = 3*h(t) + 2*v(t). Let o = -59 + 60. Let m be i(o). Is 9 >= m?
True
Suppose -r - 9 = 20. Let i(c) = -c**3 - 10*c**2 + 16*c + 25. Let o be i(-11). Which is bigger: o or r?
r
Let y = -2/41657 + 434429/124971. Which is greater: 4 or y?
4
Let w = -1.338 - -1.488. Let z be (-2)/6 + 48/63. Which is bigger: z or w?
z
Suppose -f + 0 = 7. Let x = 513 + -520. Is f not equal to x?
False
Let i = -12 - -15. Let k = -8 + i. Let m = 4.8 + k. Is m equal to -1/2?
False
Let j(s) = -s - 3. Let r be j(-3). Let b(l) = -l**2 + 7*l - 4. Let k be b(7). Let n be (-2)/k*(4 + -2). Is r bigger than n?
False
Let a be 15/(30/14) - 443/63. Is a equal to 1?
False
Let a = -73 - -108. Suppose -8*i + p + 170 = -3*i, 4*i = 3*p + 136. Is a at most i?
False
Let k = 109 - 169. Let w be (28/k)/((-3)/(-9)). Suppose -2*p = -l, -3*l - 9 = p + 2*p. Is l not equal to w?
True
Let u = -5/92 + -793/644. Let p be 1/(-2)*(6 + -2). Which is bigger: u or p?
u
Let w = -61679/15 - -4115. Let h = w - 12/5. Are h and 4/11 non-equal?
True
Suppose 0 = 3*n + 5*r - 75, 4*n + 2*r - 77 = 3*r. Suppose 0 = -4*k - 24 + n. Let i be (-3)/(-2)*(-4)/45. Which is smaller: i or k?
k
Let k = -586 + 591. Let f = 2 - 2.2. Which is smaller: k or f?
f
Suppose -4*z + 36 = -4*b, -8*b + 4*b = -z + 21. Suppose -4 = z*o - 109. Let r = -19 + o. Which is greater: 1/2 or r?
r
Let i = -8 + 3. Let b = -0.076 + -0.124. Is i less than or equal to b?
True
Let k be (-7 - 180/(-25))*15 - 840. Does k = -836?
False
Let d = 7 - 5. Suppose 4*j = -h - 0*h - 204, 0 = 2*j - 3*h + 88. Let n be j/(-70) - (-2 - -4 - 1). Which is greater: d or n?
d
Let z be 100/(-70) - 1*-1. Let l be -22 + 22 + 1 + -1. Is z greater than l?
False
Let n be 0/(5*22/55). Let x be -1 + (-6)/(-8) + 0. Which is smaller: n or x?
x
Let w(x) = -x**2 - x - 6. Let y be w(-2). Let v = 8 + -8. Let u = v - 0. Is u less