5. Let m be o(27). Which is smaller: -9/76 or m?
m
Let u = -123 + 201. Suppose -4*a - 3*f - 74 = -0*f, 4*a = -f - u. Which is greater: -19 or a?
-19
Let f = 0.0137 - -0.8863. Which is smaller: f or 0.24?
0.24
Let a = 167 - 159. Is 15 at least as big as a?
True
Let o = 10 + -13. Let z be (-2)/6 - (91/(-21) + -3). Is z less than or equal to o?
False
Suppose -5*c = -4*j - 707, -j + 3*c - 85 = 90. Which is smaller: j or -177?
j
Let c = 1.1 - 1. Let r = 7 + -22. Let k = 7 + r. Is c < k?
False
Let s(k) = k**3 - 20*k**2 - 47*k + 65. Let f be s(22). Which is greater: f or -3/127?
-3/127
Suppose -3*h - 47 + 59 = 0. Let r(v) = -5*v - 4*v**2 + v**2 - 1 + 4*v**2 - 1. Let q be r(6). Is q equal to h?
True
Suppose 9*t + 24 = -12. Let s(h) = -11*h + 19. Let c(y) = -12*y + 20. Let v(x) = t*c(x) + 5*s(x). Let i be v(7). Is -34 at least as big as i?
True
Let x = 144 + -170. Is x less than 0.3?
True
Let f be ((-228)/16)/(2*(-3)/16). Let w = -14 + f. Are 23 and w non-equal?
True
Let y(o) = -o - 2. Let g be y(-3). Suppose -w + 5*r - 9 = w, -3*w - 8 = -2*r. Let j be 2 + 142/(-35) - w. Are g and j nonequal?
True
Let w = -285 + 284.93. Which is smaller: w or 0.12?
w
Let a(g) = -g**3 + 12*g**2 - 15*g + 8. Let r be a(7). Is r at least as big as 147?
True
Let l be (-16)/(-6)*(-18)/12. Let q be (l/(-6))/((-140)/42). Let c(n) = -n - 1. Let r be c(0). Is q != r?
True
Let w(d) = -4*d - 19. Let m be w(-6). Let t be (24 - m)/(-6 + 3 + 2). Which is greater: -20 or t?
t
Suppose -8 = b + 2. Let d be 6/(-30) - 62/b. Suppose n = -n - d. Which is smaller: n or -0.2?
n
Let p = 3 + -2. Let u = -0.89 - -20.89. Let i = u + -23. Is i >= p?
False
Let c(x) = 27*x**2 + 6*x - 11. Let y(g) = 18*g**2 + 4*g - 7. Let d(m) = 5*c(m) - 8*y(m). Let z be d(1). Suppose t - 2 + 11 = 0. Which is smaller: t or z?
z
Let f(j) = j**2 - 22*j + 115. Let p be f(14). Which is bigger: -184 or p?
p
Suppose 0 = -26*o + 46 + 32. Let b(i) = i**2 + 4. Let z be b(0). Let c = -3 + z. Is c at most o?
True
Let b = 40243/8 + -5037. Which is greater: -6 or b?
-6
Let t = 1.8 + -2.02. Let w = t + 0.12. Which is smaller: w or 0.08?
w
Let k = -2048/21 + 292/3. Let y = 6 + -7. Is y at most as big as k?
True
Let z be -1 + -1 + (-228)/(-111). Let h = -8.7 + 8.7. Is z less than h?
False
Let c = 27.1 - 4.3. Let b = 0.8 - c. Which is greater: -2 or b?
-2
Let y be 7/(-21) + 32/(-3). Let w = y - -9. Suppose 0*r + 3 = -r. Which is smaller: r or w?
r
Let a = 14.7 - 0.7. Let x = -14.22 + a. Let f = 0.02 + x. Is -0.2 less than or equal to f?
True
Let g = 10 - 24. Let x = g + 14. Suppose x*f + f = 0. Which is bigger: f or 2/51?
2/51
Suppose 0 = 5*v, -3*f = -v + 18 + 9. Let z = -7 - f. Let x = -116 - -352/3. Which is bigger: x or z?
z
Let r = -97 + 161. Suppose 14*p = 10*p + r. Is p at most 16?
True
Let n(q) = q**3 - 8*q**2 + 5*q - 102. Let v be n(7). Is v greater than -119?
True
Let q = -64 + 65. Let f be -2*q*175/42. Is f less than -7?
True
Let q(t) be the third derivative of -t**4/24 + t**3/3 - t**2. Let p(g) = 2*g**2 + 3. Let f be p(0). Let v be q(f). Which is smaller: -10/13 or v?
v
Let x be (26/6)/(35/30). Let u = x - 69/28. Which is bigger: u or 0?
u
Let j be (-6525)/650 + (-2 - -12). Is j at least as big as -0.1?
True
Let c(p) = -4*p - 7. Let y be c(-11). Let w = 6 - y. Is w > -32?
True
Let p = -0.2 + 0.49. Let r = -0.71 - p. Let s = -0.6 + 1. Which is greater: s or r?
s
Let b = 5.25 + -5.4. Is b at most as big as 1?
True
Let f(s) = -21*s + 2. Let b be f(0). Which is bigger: 26/9 or b?
26/9
Let r(a) = -a**3 + 14*a**2 + 2*a - 31. Let g be r(14). Let m(i) = -i**2 + 7*i + 6. Let z be m(8). Are g and z nonequal?
True
Let f(q) = -3*q - 10. Let r be f(-6). Let v(b) = b**2 - 10*b + 7. Let w be v(r). Let c = 79/9 + w. Which is bigger: c or -0.4?
c
Let g be (10/(-48))/((-3)/12*-1). Do g and -22 have the same value?
False
Let s(g) = 2*g**3 - 2*g**2 - 5*g - 5. Suppose -3*r = 5 + 1. Let p be s(r). Is p less than -19?
False
Let h = -250/3 + 84. Let s = 7 + -2. Do s and h have different values?
True
Suppose 17 = -4*f - 7. Let n = f + 15. Suppose -t - 2*v + 4 = -4*v, -v - n = -4*t. Is t less than or equal to 2?
True
Let w(q) = q**2 + 5*q - 6. Let o be w(-6). Suppose o = -2*f - 2*s - s + 19, 2*s = f + 1. Suppose 0 = -f*x + 16 + 14. Is 6 <= x?
True
Let k = -0.77 + -6.93. Let s = -7 - k. Let d = 0.7 - s. Is d equal to 0?
True
Let a = -1151/7 - -164. Let o(i) = -i**2 - 8*i - 5. Let q be o(-7). Suppose -9 = 3*u, -3*n - 3 = -0*n + q*u. Which is bigger: a or n?
n
Let n = 69/25 - 4987/1825. Let c(w) = 2*w. Let v be c(0). Is n > v?
True
Let h = -91 - -77. Let q be (-4)/h + (0 - (7 + -7)). Let s = 0 - 7. Is s at least as big as q?
False
Let s = 0.226 - -117.774. Let l = -118.1 + s. Let f = 0.1 - -0.4. Which is greater: f or l?
f
Let x = 289 + -269. Which is bigger: x or 22?
22
Let a = -324 - -570. Let y = 466 - a. Let w = y - 17821/81. Does w = -1?
False
Let h be (-4)/(-2 - -3*(-3)/(-6)). Suppose 5*q + 92 = 9*q. Let j = h - q. Is -14 at most j?
False
Suppose 2*g = 5*a + 11, 0 = 3*g + 3*a - 0*a + 15. Let j be (-1 + 2)*(0 - g). Are j and 3 non-equal?
True
Let b(j) = -j + 1. Let l be b(5). Let d = l - 1. Which is smaller: -2 or d?
d
Let c(h) = h**3 - 5*h**2 + h - 5. Let n be c(5). Suppose 5*y = 3*a - 34, n = a - y - y - 13. Let k be 5*-1*(a + -2). Is -9/2 greater than or equal to k?
True
Let y = 26531/5490 + 2/2745. Is 4 smaller than y?
True
Suppose 242 - 2 = 8*p. Which is smaller: p or 28?
28
Let u be 0*(-4)/(-24)*-2. Suppose 6*t - 10 = 2. Is t bigger than u?
True
Let k = 649 - 648.9. Let w = -25/8 - -233/72. Is w greater than or equal to k?
True
Let g(p) be the first derivative of 13*p**2/2 + p + 4. Let b be g(-1). Is -12 at most as big as b?
True
Suppose k = -3*k + 2*k. Suppose -3*x = -z, 4*x - 3*z = -k*z. Is x < -2/19?
False
Let s be 57/(-38) + 13/8. Let m = -18.3 + 18. Which is greater: m or s?
s
Let y be -2 - (9 - (-72)/(-6)). Does y = 2/27?
False
Let n = 212.4 - 212. Is 0.3 <= n?
True
Let s = -341 + 281. Let n = -86 + 25. Which is greater: n or s?
s
Let d = 322276 + -320843.89. Let l = d - 1451. Let f = -19 - l. Which is greater: f or 2?
2
Let y(l) = -l**2 - 128*l + 1382. Let m be y(10). Let z(i) = -2*i**3 - i**2 - 2*i - 1. Let d be z(-1). Is m not equal to d?
False
Let z = 1517 + -50065/33. Is z greater than 0?
False
Suppose -3*j - 2*j = -35. Let s = -8 + 6. Let p = s - -1. Is j > p?
True
Let o = 277 - 1947/7. Let r(c) = -c**3 - 16*c**2 - 19*c - 20. Let n be r(-15). Suppose -n = 26*x + 12. Which is bigger: o or x?
o
Let s(x) = -2*x**2 - 13 - 11*x - 2*x + 3*x**2. Let j be s(14). Which is smaller: -2/17 or j?
-2/17
Let z be (59 - 53)*2/49. Is 0 less than or equal to z?
True
Let n = -2385 + 2399. Do -2 and n have the same value?
False
Let p = 15.46 + -11.46. Which is smaller: 204 or p?
p
Let f = -321 + 322. Which is greater: f or 1/41?
f
Let p(u) = u**3 - u**2 - u + 1. Let q = -19 + 18. Let t be 0/(-3 - -3 - q). Let g be p(t). Are 4/3 and g equal?
False
Let n = 124 - -13. Is n <= 138?
True
Let u = -857/2 - -591. Which is smaller: 163 or u?
u
Suppose -27 = 24*t - 27*t. Suppose -5*b - 4*b = -27. Which is greater: t or b?
t
Suppose -2*x + 0 = y + 3, y - 7 = 3*x. Which is bigger: 2/11 or y?
y
Let f be (2 + (-6)/4)*(0 - 4). Let v be 6*f/9*3. Which is bigger: -7 or v?
v
Let z = -507 + 8630/17. Which is bigger: z or 1?
1
Suppose 3*c + 4*s + 23 = -0*c, -s = 5. Let q be -4*(c - (4 - 6)) - -2. Suppose -4*b + 4*m = b + 15, 4*m = -3*b - 9. Which is smaller: q or b?
b
Let p be 3999/(-301)*(0 - -1). Is -13 >= p?
True
Let w(g) = -g**3 + 3*g**2 + 5*g - 6. Let q be w(4). Let c be 2*-2 - (-660)/231. Which is smaller: q or c?
q
Suppose 2*s - 105 = -3*s. Let o be (-6)/s - (-18)/14. Which is smaller: o or 5?
o
Let s = -3065 - -1492653/487. Is s not equal to -1?
True
Suppose 94 = -6*r - 74. Let o = r - -32. Suppose -3 = 2*q + 3*q - 3*m, o*q + 3*m - 3 = 0. Which is bigger: q or -4/11?
q
Let y = -1.6 - -1.2. Let a = y + -0.2. Let x = a - -0.9. Which is smaller: x or 1/5?
1/5
Suppose 2178 = -48*g + 15*g. Which is smaller: -67 or g?
-67
Let u be (-2 + 3 + -3)*11/(-4). Let d = 3 + 2. Which is bigger: u or d?
u
Suppose -l - 7 = r, 3 = l - 2*r + 4. Let a = -4 - l. Is 2 at most as big as a?
False
Suppose 40*c + 360 = -880. Which is smaller: c or -162/5?
-162/5
Let g = 21.7 + -21.