 5. Let m = 3 - 9. Let d be h(m). Suppose 0 = s + k - 3*k - d, 3*k = -5*s - 10. Which is bigger: s or 1/3?
s
Suppose -7 = -2*j - 3. Let r be 23/((-345)/12) - (-18)/10. Which is smaller: r or j?
r
Let u be (22/(-3))/((-4)/12). Suppose -4 = 2*d - u. Let r = 9/7 - 25/14. Is d less than or equal to r?
False
Let l = 176 + -175.8. Is l at most as big as 259?
True
Suppose i + 4*i = 0. Suppose q - 18 = 4*q + 3*x, -20 = 4*x. Let g be 6*(3/(-2) - q). Which is bigger: g or i?
i
Let w(g) = 9*g - 162. Let q be w(18). Is -3/121 not equal to q?
True
Suppose 3 = 8*y - 7*y, 4*x + 5*y - 79 = 0. Which is bigger: x or 17?
17
Let k(i) = -2*i**2 + 16*i + 8. Let q be k(9). Let m be -2 - 1 - (6 + q). Is m at least 0?
True
Let h be (-6)/(-12)*-1*2. Let l be (2/(-6))/(h/1) - -1. Which is smaller: -0.4 or l?
-0.4
Let c = 2410895/228 + -10574. Let x be (2/4)/((-114)/(-4)). Let f = x - c. Which is greater: f or 1?
1
Let x be (-2 - -4)/(6/(-49)). Which is smaller: -16 or x?
x
Let a be 13 + (-6 - 2) - (-4)/2. Let i = -29 - -28. Is a greater than or equal to i?
True
Suppose -2*v - 2 = -5*b, -b + 3*b = 0. Let n be -12 + 14 - (-4)/2. Suppose -n*w + 5*i + 50 = 3, -4 = -4*i. Are w and v equal?
False
Let y(s) = -5*s - 11. Let o be y(11). Let d be ((-1)/6)/(o/44). Is d less than -3/2?
False
Let k(n) = -99*n**3 - 6*n + 5. Let g be k(1). Is -98 bigger than g?
True
Let d = -20 + 21.3. Are d and -1/2 equal?
False
Let b = -457.89 - -460. Let m = b - -0.89. Which is bigger: -0.04 or m?
m
Let p(g) = g**2 + 5*g + 1. Let a be p(-6). Suppose -15*f + 3*f + 108 = 0. Is f bigger than a?
True
Let w(u) = -u**3 - 8*u**2 - 5*u - 10. Let m be w(-7). Let b = -243 - -220. Which is greater: b or m?
b
Let r = 298.7 - 297. Is -29 >= r?
False
Let c be 1*(-10)/(-15)*-27. Is -18 equal to c?
True
Let x be 0 + 0 - 57/3. Let p = -14 - -18. Suppose 4*f - 3*f - 71 = p*i, -39 = i + 4*f. Are i and x nonequal?
False
Suppose 0 = -3*o - 13 - 2. Let s(z) = -z**3 - 3*z**2 + 9*z - 3. Let u be s(o). Suppose 0*c + 4*k = u*c + 18, 0 = -2*c - k - 33. Is c >= -16?
True
Let l(h) = -h**3 + 12*h**2 - 13*h + 24. Let f be l(11). Suppose 2*z - w - 2 = w, f*w - 2 = -2*z. Let v be 3/(-9) + (-10)/(-48). Is z not equal to v?
True
Suppose -2*f + 4*g = 19 + 25, -5*g = -2*f - 45. Suppose -2*j + 120 = -8*j. Is j smaller than f?
False
Suppose -38*q + 7 + 31 = 0. Suppose -4*r + 1 = -3. Is q bigger than r?
False
Let j(d) = 14*d - 153. Let f be j(11). Is -1/66 > f?
False
Let p = -18/35 - -446/595. Suppose -4 = 4*m - 8*m. Which is smaller: p or m?
p
Let u = 4233/5 + -843. Let k = 727 - 727.1. Which is greater: k or u?
u
Suppose -6 = -3*p - 81. Let c = p + 24. Is c at least 2?
False
Let q = -234 - -227. Do q and -2.2 have the same value?
False
Suppose -4*t + 22 = -2*t. Let x = -12 + t. Is x smaller than 1/9?
True
Suppose -3*l - 11 = -2*t - 23, -3*t + 4*l - 16 = 0. Which is smaller: -3/728 or t?
-3/728
Suppose 4*c - 15 = c. Suppose c*s = -4*f - 7, -10*f = -4*s - 13*f - 5. Let o be (-6)/(-21) + (-30)/56. Are s and o equal?
False
Let s(h) = 28*h**2 + 6*h + 13. Let t be s(6). Suppose -4*o = -t - 163. Let z = o + -3358/11. Is z != -1?
True
Let a be (-2)/3 - (-56588)/(-141). Which is smaller: -401 or a?
a
Let m be (4/8)/(2/(-80)). Let v = 24 + m. Let y be (-1 - 1)/((-4)/10). Are y and v unequal?
True
Let r = 67/2 - 34. Is r bigger than -2/37?
False
Suppose -5*g = -3*g - 192. Let o be (-18)/(-24)*g/27. Are o and 3 equal?
False
Let t(i) = i**3 + 6*i**2 - 7*i + 3. Let r be t(-7). Let o be r*(0 - 1/(-21)). Suppose -4*l = -3*l. Which is bigger: l or o?
o
Let b be 1 + (-20 - (-2)/1). Suppose 2095 = -3*w + 2050. Are b and w nonequal?
True
Suppose n - 28 = 5*n - 2*k, 4 = -n - k. Suppose w + 1 = -7. Let i be 2 + w + (-2 - -1). Is i >= n?
False
Let n(r) = r**3 + 10*r**2 + 5*r - 20. Let f be n(-9). Let u be f/40 - (88/5)/4. Is u less than -5?
False
Suppose 3*h = -3*l + 42, 0 = -5*h - 3*l - 0*l + 78. Let k be h/63 + (-160)/462. Which is smaller: -2 or k?
-2
Let b = -610219/71 - -8595. Let o = -1034/497 + b. Which is smaller: o or -2?
-2
Let q be (-4)/30 - 1056/(-2520). Are -2.7 and q equal?
False
Let k = -17 - -21. Let u be (185/14 - k/(-14))/3. Is u equal to 1?
False
Let q be (9752/(-21))/4 + (-36)/(-378). Is q at least as big as -116?
True
Suppose 3 + 2 = 5*k. Suppose -24 = -5*m - 3*m. Let s be -2*(10/4 - m). Is k greater than s?
False
Let n be ((-26)/(-3))/(11/(-45 - -12)). Is -24 equal to n?
False
Let h = 111/2 - 337/6. Are 2.3 and h equal?
False
Let l be 12/(-8) + 18/4. Let z be (2/6*9)/l. Is -2 at most as big as z?
True
Let f = -448 - -613. Which is greater: f or 164?
f
Let c = -15 - -18. Let t be (-12)/(-16) - (-4)/(-2). Are t and c equal?
False
Suppose 5*o - 106 - 54 = 5*u, -190 = 5*u + o. Let j = 112/3 + u. Which is bigger: j or -6?
j
Let d be (5/3)/((-240)/8928). Which is bigger: -2 or d?
-2
Suppose 4*o - 2114 = -2*n, -12*n + 5265 = -7*n + 5*o. Which is greater: n or 1050?
1050
Let d be 4/18*30/(-16). Let i(s) = -20*s. Let r be i(-1). Suppose z + 2*m = m + 4, -2*z - r = -5*m. Which is greater: z or d?
z
Suppose -2*i + 40 = -m, 0 = i + m + 3*m - 11. Let s be 2 - 3*i/30. Suppose -2*l - 1 = 1. Is l greater than or equal to s?
False
Let b(y) = -y**2 - 3*y + 3. Let d be b(-3). Suppose 4*j - 6 = d*j - t, -20 = -3*j - 4*t. Suppose 9*k = j*k. Which is smaller: k or 10/7?
k
Let h(t) = 3*t**3 - 3*t**2 + 2*t. Let z be h(2). Are 18 and z unequal?
True
Suppose 4*c + 3*q - 1 - 2 = 0, 0 = -3*c + q - 1. Suppose -4*f = -l - 1, -5*l = 4*f - c*l + 29. Let a be f/(-3)*(-4 - -4). Is a less than 2/7?
True
Let x = -0.07 + -4.93. Let c = x + 4.98. Let u = -12.1 - -12. Is c greater than or equal to u?
True
Let v be ((-286)/39 + 6)*2/1344. Which is bigger: v or 2?
2
Suppose -16*m = -11*m - 5. Let i = -10 + -10. Which is greater: m or i?
m
Let l(x) = -x + 25. Let u be l(7). Suppose -3*f - 24 = -u. Which is greater: f or 0.06?
0.06
Let l(t) = t**3 - 10*t**2 + t + 2. Let u be l(10). Suppose 5*q + 8 + 7 = j, -j + u = -4*q. Suppose j*o - o = -1. Is 2/3 equal to o?
False
Let a be (6/12 - -1)*62/3. Are a and 30 non-equal?
True
Let a be (-6)/(-3720)*-3092 + (-5)/(-1). Which is smaller: a or 0.3?
a
Let x be 26306/45 + (-2)/(-9). Let p = -593 + x. Is p less than -8?
True
Let o(j) = 15*j**3 - j**2 + j. Let v be o(1). Suppose n + 4*n = v. Let m = -142/7 - -22. Are m and n nonequal?
True
Let a be 5/(-2)*(1 + -3). Suppose 0 = -a*n - 3*y + 9, -n - 4*y + 0 = 5. Let i(t) = -t**3 - 7*t**2 - 10*t + 5. Let c be i(-5). Which is bigger: c or n?
c
Suppose 3*o - 5*n = 53, -2*o - n - 15 = -3*o. Suppose -2*i = 2 - 6. Suppose i*s - 40 = -2*s. Which is bigger: o or s?
o
Let b = -174 + 92. Let u = b + 82. Which is greater: u or -8/7?
u
Let f(d) = d**2 + d + 2. Let z be f(-3). Let s(y) be the first derivative of y**4/4 - 8*y**3/3 - 8*y + 2. Let l be s(z). Which is greater: l or -9?
l
Let j(f) = -f**3 - 3*f**2 - 4*f - 3. Let d be j(-2). Let v = 9/160 - 1193/15520. Which is greater: d or v?
d
Let b = 339/2 + -165. Let x be 20/(-24)*(-7 - (-155)/25). Is b at least as big as x?
True
Let n = 3.54 + 2.46. Let j = -4 + 4. Let f = j - n. Are 0.4 and f equal?
False
Let n(m) = m**2 + 17*m - 19. Let t be n(-15). Suppose f + 139 = -3*j, 0 = 5*j - 2*j - f + 149. Which is bigger: j or t?
j
Let y(h) = h**2 + 19*h + 16. Let k(m) = 3*m**2 + 57*m + 48. Let u(z) = 6*k(z) - 17*y(z). Let p be u(-18). Is 1 at least as big as p?
True
Suppose 2*z + 373 = 5*z + 5*f, 3*f + 115 = z. Let g = 125 - z. Let j be 63/(-15)*6/(-7). Which is smaller: g or j?
j
Let h be 806/10 + -2*2/(-10). Suppose -26*d + 164 = -24*d. Which is greater: d or h?
d
Let j = 19.952 - -0.048. Let a = j - 5. Let r = a + -14. Which is bigger: 2 or r?
2
Let x be 10/(-20)*(-1)/3. Let m = 62.2 - 61.9. Which is bigger: x or m?
m
Let p(t) = 14*t. Let v be p(1). Let m be v + -1 - 1/1. Suppose 5*s - 2*f - m = -f, 3*s = -2*f + 2. Which is smaller: 3 or s?
s
Let o be 4/(-76)*1*-2. Suppose -4*s = 89 - 93. Are o and s nonequal?
True
Suppose 171 = -21*r + 675. Does 22 = r?
False
Let o(j) = -3*j**2 - 5*j - 3. Let l be o(-1). Let b be ((-3)/(-6))/(1/(l*4)). Which is smaller: -0.26 or b?
b
Let b = -56089/3 - -18517. Let m = 172 + b. Which is greater: m or -7?
-7
Let q be 5/2*(-32)/280. Let c = 272 + -5165/19. Do c and q have the same value?
False
Let w(a) = a**3 - 16*a**2 + 