 f - r, 3*f + r = 41 - 12. Suppose 262 = 3*i - 386. Let a be 189/i*(-164)/(-14). Is a > f?
False
Let z(t) = 37*t + 222. Let f be z(-6). Suppose -26*b - 15 - 11 = f. Let g be (-4)/3*(-3)/254. Are g and b equal?
False
Suppose d - 348 = 3*w - 118, -2*w + d - 153 = 0. Let c = -71 - w. Is 6 greater than or equal to c?
True
Let g be 3*4/6 + 90. Let r = -103043/5 + 20703. Let l = g - r. Is l bigger than -3?
True
Let n be 1 - 562*932/(-80). Let q = -6586 + n. Let k = 459/10 + q. Which is smaller: k or 8?
8
Suppose -6 = -2*o - 3*x, 6*o + 2*x - 4 = 4*o. Let v be (-36 + o)*(30/(-9) + 4). Does v = -30?
False
Suppose 0 = -14*w + 676 + 192. Is 28 bigger than w?
False
Let s(f) = -4*f - 12. Let k be s(10). Let o = k + 57. Suppose 3*p + q + 9 = 5*p, p + o*q = -1. Is 2 < p?
True
Let f = 113 + 105. Let x = f + -145. Let n be ((-10)/(-55) - (-2)/(-11))/(-2). Which is smaller: n or x?
n
Suppose -2*c = -3*c + 2*c. Let k(s) = -3*s + 79. Let i be k(c). Let z = 47 - i. Which is smaller: z or -31?
z
Let f(r) = -r**3 - r**2. Let n(z) = 3*z**3 - 3*z**2 + 4*z + 9. Let j(p) = -4*f(p) - n(p). Let d be j(-7). Is d smaller than 0.4?
False
Let n(r) = 22*r + 63. Let i be n(-21). Let y = i + 5193/13. Is y at least 1?
False
Let i = 27 + -26.9. Let k = -2124 - -2123.763. Which is smaller: i or k?
k
Let b(d) be the first derivative of -2*d**3/3 - 9*d**2/2 - 4*d - 1. Let j be b(-8). Suppose 0 = 7*v - 3*c + 4*c + 417, 5*c = -20. Which is smaller: j or v?
j
Let c = 22.2 - 55. Let r = -31.94 - 1.06. Let d = c - r. Which is smaller: d or 2?
d
Let p = -0.16 - -0.25. Let g = 222.97 - 222. Let d = 1.37 - g. Which is greater: p or d?
d
Suppose -3*j + 309 = -231. Suppose -11*p + 9*p = -j. Let m = 86 - p. Which is smaller: m or -2?
m
Let y be ((-296)/8)/((-4)/8*2). Suppose 2*c = -g - 241, 0 = -y*g + 40*g - c + 716. Is g at most -241?
False
Let f be (-11)/(-3) + (-18)/27. Let l be (-6)/(-15) - f/(-5). Are -6/119 and l unequal?
True
Let u = -62 - -36. Let l = -37 + 67. Let c = u + l. Which is smaller: 1/2 or c?
1/2
Suppose -f + 177 = 3*j, 4*f = 3*j + 665 - 47. Which is bigger: 157 or f?
f
Let o = 354 - 133. Suppose 0 = -3*i - o + 242. Which is bigger: i or -2/9?
i
Let o(n) = -8*n - 1 + 1 + 0*n. Let r be o(-5). Suppose -35*u = -r*u. Is u > 1/39?
False
Let c be -11 + (-6 - -6) - (-85515)/7770. Is c bigger than 1?
False
Let s(l) = 410*l - 2050. Let t be s(5). Is -4/1211 greater than t?
False
Suppose -6 + 27 = -w - 5*g, 0 = 5*w + 12*g + 92. Let t be 130/4*(-12)/25. Which is greater: t or w?
t
Let j(r) = r - 4. Let s be j(6). Suppose 0 = s*t - 0*t - 94. Let w = 11971 - 11925. Are w and t nonequal?
True
Let c(v) = v**3 - 19*v**2 - 39*v - 56. Let w = -38 + 59. Let n be c(w). Is -0.1 less than n?
True
Let h = -111/94 - 15/47. Let p = -8.91 + 9. Let r = p + -1.09. Which is smaller: r or h?
h
Let w(v) = 862*v**3 + v**2 + 6*v + 6. Let j be w(-1). Let c be 15/(-21) - -1 - (-218)/j. Which is smaller: c or 0?
0
Let i(c) = c**2 - 8*c + 14. Let b be i(5). Suppose -3*f + f - 4 = 0. Let x be (-13)/15 + f/(-10). Which is smaller: x or b?
b
Suppose -6*k + 3*i = -k - 9, 0 = -2*k + 3*i. Suppose -5*v - k*x + 2 = 0, -2*v - x - 6 = 3*v. Does v = -5?
False
Let j = 160.74 - 3.74. Let k = -192 + j. Which is smaller: 0.3 or k?
k
Let z = -7.088 + 6.748. Does 0.024 = z?
False
Let g be ((-12)/(-20))/((-18)/(-60)). Suppose 0 = 60*o - 59*o + g. Is o at least as big as -36/37?
False
Let o = 82 + -154. Suppose 0 = -3*y - 2*f - 11372, 0 = -5*y - 4*f - 0*f - 18956. Let c be (-8)/52 + 1/(52/y). Which is smaller: c or o?
c
Let k = -23749 + 24555. Which is smaller: 5644/7 or k?
k
Suppose 3*d = -4*r + 20, 0 = -3*r - 2*r - 2*d + 25. Suppose 2*o + 0 = -3*v - r, -3 = v + o. Which is smaller: v or -4/17?
-4/17
Suppose 352934 = 18*r - 75232. Let c be ((-10464)/r)/2 + (-2)/(-9). Is c at most 0?
False
Let p = -26376 + 29233. Is 2858 < p?
False
Let u = -5692.341 + 5706. Let q = u - 14. Let f = 0.041 + q. Are f and -6 nonequal?
True
Let h be 10652/3 - (-75)/(7200/(-256)). Is h less than or equal to 3548?
True
Suppose 111 = 4*i - 113. Let j(t) be the second derivative of -4*t**3/3 - 9*t**2/2 - 21*t. Let z be j(-8). Which is smaller: i or z?
z
Let d = 1124.9 + -1125. Let o(b) = -b + 1. Let c be o(2). Let s be (2/2)/((-3)/c). Is d bigger than s?
False
Let p be (19 - -6) + (4 - (3 + -1)). Let h be (-1062)/p*6/(-4)*1. Suppose -165 = -3*q + 4*r, 0 = -q - 2*q + 2*r + 171. Is h > q?
False
Suppose 0 = 11*p - 187 - 143. Suppose 2*f - 28 + p = 0. Which is bigger: f or -10/11?
-10/11
Let s be (1/(-20))/(1 + 1). Let i = 38293 - 38292. Is i at least as big as s?
True
Suppose 5*h + 82 + 223 = 0. Let c = 69 + h. Suppose 29 = c*r + 5. Are r and 9/5 equal?
False
Let h be (98/(-147))/(1/(-6)). Suppose 5*a - 4*a + 1 = 5*q, -q - h*a + 17 = 0. Which is smaller: -2/827 or q?
-2/827
Suppose -172*v + 1 = -173*v. Is 10/387 smaller than v?
False
Let b = -21.61 + 21.31. Suppose -5*j - 4*n = 70, -j - 4*n + 8 = 38. Let f be 1/j + 1/5. Which is bigger: b or f?
f
Let y = 8778 + -8778.08. Which is greater: 0.095 or y?
0.095
Let g(r) = -671*r - 3674. Let n be g(-7). Which is greater: 1020 or n?
n
Let b be 69343386/34496 - (26/22 - 1). Let s = b - 2010. Which is greater: 0 or s?
s
Let g = -9.62 + 2.46. Let w = 0.71 + g. Let b = w + 0.45. Are 1/4 and b equal?
False
Let o(v) = -v**3 - 3*v**2 + 2. Let x be o(0). Let f be (-6)/(-6) + -77 - (-1 - x). Is f equal to -73?
True
Suppose -50*v + 6005 - 9255 = 0. Which is bigger: -2/11 or v?
-2/11
Let b = -19435 + 19715.94. Let u = b + -281. Which is smaller: u or -5?
-5
Suppose 317 = 2*t + 5*x, 2*t = 55*x - 57*x + 314. Suppose -5*h + 87 = -2*g, -35*g - 4*h + t = -39*g. Let c = -87 + 52. Which is smaller: g or c?
g
Let k = 3.2055 + 0.7945. Which is smaller: k or 17/7?
17/7
Suppose 4*o - v - 19 = 0, 5*o + v - 9 = 17. Suppose 3*i + 1 = 4*w, -5 = -4*i + o*w - 6. Let g = 0.2 + 0.1. Which is bigger: g or i?
i
Suppose 0 = 99*h - 0 - 0. Is 2/72113 less than h?
False
Suppose 4*v - 41*v - 554136 = 29*v. Is -8395 at most as big as v?
False
Let a = 654.6756 - 699.61. Let o = a + -0.0656. Which is greater: o or -0.4?
-0.4
Let g = -1.0216 + 32.2216. Which is bigger: g or 2/27?
g
Let b = 0.96 + -0.57. Let h = 135.61 + -130. Let g = b + h. Is g > -2?
True
Let n be 4/(-4 + (-343)/(-119)). Let m = -155/38 - n. Let q(v) = -v**3 + 4*v**2 - 2*v - 1. Let r be q(4). Is r bigger than m?
False
Let x = 84076 - 1094060/13. Is x less than -82?
True
Let u = -0.74 - -18.64. Let o = u - 17.896. Is o > 1?
False
Let r = -789983/257 - -1305744251/426620. Let b = -3/332 + r. Is -14 equal to b?
False
Suppose 8*d + 32 = 16*d. Let n be d/22 + 174/(-231). Suppose 3 = 4*t + 5*h - 13, 2*t - 4*h = -18. Which is bigger: t or n?
n
Suppose -4*m = -7*p + 9*p - 42, 0 = -p + m + 9. Let a(n) = -n**3 + 16*n**2 - 36*n + 15. Let i be a(p). Is i equal to 53?
False
Let w be 22/6*21/(-6). Let j = -12229 - -12217. Which is bigger: w or j?
j
Suppose 67 = -s + 9. Let b be 5 + s/12 + (-125)/(-6). Let q be (-4)/30*(5 + (-70)/b). Which is smaller: -1 or q?
-1
Let k(l) = 7 - 3*l - 2 + l**2 - 32. Let b be k(-4). Is -4.6 less than or equal to b?
True
Let h be (-12)/36 - 16/6 - -12. Let c be 2/(-1 + -1 + 12/h). Let v be ((-2)/5)/((-2)/(-10)). Which is bigger: c or v?
v
Let u(p) = 5*p**2 + 342*p + 283. Let k be u(-62). Which is greater: -1699 or k?
-1699
Suppose 8*s - 7*s = 3. Suppose -s*k - 48 = -4*v, -6*k + 2*k = 4*v - 76. Suppose 4 = -m - v. Which is bigger: -20 or m?
m
Suppose -7*f = -0*f - 17*f - 220. Is f greater than 359?
False
Let h = -0.053 + -8.147. Let k = h + 49.2. Which is smaller: 0.1 or k?
0.1
Let t = -0.00628 - -1.58928. Is t <= -1?
False
Let g = 629 - 621. Let k(b) = -b**3 + 11*b**2 - 9*b - 10. Let v = 27 - 17. Let z be k(v). Is g at least as big as z?
True
Let q be 10*(444/(-15) + -2). Let h(l) = -2*l**3 - 51*l**2 - 291*l + 43. Let v be h(-15). Is q equal to v?
False
Let c be 4 + -12 + 6 + (-90)/(-39). Are -0.05 and c equal?
False
Let h = -7734 - -363484/47. Which is bigger: h or 0?
0
Let a be (-742)/1264 + 70/112. Is a > -19?
True
Let m = 1193 - 960. Is m < 234?
True
Let w = 374.3 + -26.3. Let n = w + -349.5. Let m = -2 + 3. Is n less than m?
True
Suppose 608 - 914 = 102*f. Which is smaller: f or -3467?
-3467
Let v = -67169/92 - -730. Which is smaller: -0.05 or v?
v
Let l = -151 -