2 - 16*v - 192. Let u be p(24). Which is smaller: u or -24/17?
-24/17
Suppose -3*x = -g - 101 + 258, 4*g + 152 = -3*x. Which is greater: x or -47?
-47
Let v be (-5 - 1) + 56/(-70). Are 0.2 and v equal?
False
Let q = -34/3 - -12. Let o(z) = z. Let a be o(3). Suppose a*u = 5 - 2. Which is greater: q or u?
u
Let v(g) = -g**3 + 7*g**2 + g - 3. Let m be v(7). Let u be (-8)/4*(-45)/6. Suppose 1 + 6 = 3*b + 5*t, 5*b + 5*t = u. Is b at most as big as m?
True
Let p = -1.04 + 1. Let d = 1.1 - 1.24. Let h = p - d. Is h less than or equal to 2/7?
True
Let t be ((-3849)/351 - 0) + 3. Let u = 92/13 + t. Which is bigger: u or -1?
u
Let p = 22.31 - 0.31. Let z = p - 7. Let a = 14.8 - z. Is a < -7?
False
Let l(p) = -p**3 + 11*p**2 - 10*p - 2. Let t(d) = d**2 - d - 1. Let x(m) = -l(m) + 3*t(m). Suppose -v + 28 = 3*v. Let g be x(v). Are g and -1 unequal?
False
Let t(z) = -z**3 - 3*z**2 + 2. Let i be t(-5). Let h = -142 + i. Which is smaller: h or -89?
h
Let g(f) = f + 8. Let r(i) = -3*i - 14. Let n be r(-10). Suppose -2*z - n = -0*z. Let j be g(z). Is j <= 2/7?
True
Let p = 196 - 159. Which is smaller: 36 or p?
36
Let g = 37/1888 - 2356409/9440. Does -251 = g?
False
Let q be 5/(-2) + 304/96. Does q = -3/7?
False
Let z = -25 - -22. Let w = 27 - 13. Let m be z + (w/6)/1. Are m and 1 non-equal?
True
Let y = 102 + -100. Let t(g) = g**3 + 2*g**2 - g. Let q be t(-3). Which is smaller: y or q?
q
Let x be (0 - 0)*(-4)/12. Suppose -n + x = 4. Suppose -26 = 2*a + w + 3*w, 5*a + 37 = -3*w. Which is smaller: a or n?
a
Let f = 496 - 476. Does f = -0.06?
False
Let d be -13*((-12)/4)/(-3). Let p = d - -33. Suppose 0*g - 4*g = -p. Which is bigger: 4 or g?
g
Let u(d) = -d**3 - 3*d**2 + 2*d + 4. Let y be u(-4). Let m(x) = 10*x - 28. Let z be m(4). Are y and z unequal?
False
Let x be 71/(-3) - (-126 + 116). Suppose 89 = -4*c + 5*h + 38, c - h = -13. Do c and x have different values?
True
Suppose -2*o - w = -3*o - 288, -w - 1434 = 5*o. Is o at most as big as -286?
True
Suppose 1 = -z - 14. Suppose 5*c + a - 399 = 0, 0 = -2*c - 3*a + 143 + 14. Suppose -16*d - c = -11*d. Which is greater: d or z?
z
Let t = 460 + -459. Which is smaller: t or 2/431?
2/431
Let y(u) = -u**2 + 5*u - 4. Let f be y(4). Suppose f = 4*m + 84 - 0. Which is bigger: m or 0.1?
0.1
Let l = 36 - 31. Let t be 13/3 + (l - 8). Which is greater: t or 0?
t
Let a(m) be the third derivative of -m**5/60 - 7*m**4/24 + m**3/3 + m**2. Suppose 6 = 2*j + 22. Let r be a(j). Which is bigger: -5 or r?
-5
Let f be (((-54)/12)/(-9))/(-2)*4. Is f less than -10/23?
True
Let i(o) = 4 - 4*o + 3*o + 0 + 2 + o**2. Let k be i(3). Which is smaller: k or 0?
0
Suppose -23*y + 720 + 1143 = 0. Which is bigger: 80 or y?
y
Let k = -4/11 - -130/297. Which is greater: -0.4 or k?
k
Let h = -1960 + 1960.18. Which is bigger: -3/2 or h?
h
Suppose -2*h - 4*k - k = 15, -3 = k. Suppose 2*x - 78 = 82. Suppose 3*c - l + x = 0, 2*c + 2*l + 64 = -h*l. Which is smaller: -29 or c?
-29
Let n be (22 - (12 + 9))*-1. Let p = 785/9 + -87. Are n and p nonequal?
True
Suppose -5*c = -2*c - 2*s + 349, -3*s = -3*c - 351. Which is smaller: c or -118?
-118
Let s = -0.643 - 4.357. Is s greater than or equal to -2/3?
False
Suppose 2*k + 1 - 3 = 0. Let r be k/4*(-120)/25. Suppose 0 = -3*n - 1 - 2. Which is smaller: n or r?
r
Let j be (-9)/18 - 205/(-4). Let l = -51 + j. Which is smaller: l or -0.23?
l
Let l = -49874 + 1146724/23. Which is greater: l or -16?
-16
Let d = -3.6 - -8.6. Which is bigger: -0.12 or d?
d
Let x = 583 + -581. Which is bigger: 15.2 or x?
15.2
Let l = 4.773 + 0.227. Is l > -1/8?
True
Let u be (812/54)/(1056/72 - 14). Which is bigger: 22 or u?
u
Let i = -2334/1027 + -21/79. Which is smaller: i or -2?
i
Suppose -7*w - 3*w = w. Is -1/43 at least w?
False
Let n = -5 + 4. Let l be (-5 + (-885)/(-175))/(-3). Which is bigger: n or l?
l
Let x be (0/(-1))/(6/6). Let h be 25*(1 + (-2)/5). Suppose 5*c + h = -5*l, 0 = 3*c + 2*l + 3 + 4. Which is smaller: x or c?
c
Let n(b) = -4*b - 10. Let z be n(-7). Let v be z/12*(45/(-33) - -1). Is 1 at most v?
False
Let p be -1 + (1 + 1 - -1). Let l = p - 6. Suppose -37*k - 470 = 57*k. Are l and k equal?
False
Let w = 8913/2 + -4320. Let h = w + -18289/134. Which is smaller: -1/3 or h?
-1/3
Let i be -1 - -1 - 4*5/(-180). Which is smaller: i or 9?
i
Let y be (22/4 + -4)/((-3)/(-2)). Suppose -v + 16 = -5*v. Which is bigger: y or v?
y
Suppose -9*u + 3509 = -397. Are 435 and u unequal?
True
Suppose 4*k - 3*t = 6 + 31, -4*t = -k + 19. Let b = k + -5. Let v be 1/(-2)*(b + 0). Which is smaller: 1/12 or v?
v
Let n be (916/(-8840))/1*(0 - -4). Let a = 4/65 + n. Let o(z) = -z**3 - z**2 - 1. Let b be o(0). Is a > b?
True
Let a(c) = -c**3 - 5*c**2 + 4. Suppose -28*f + 6 = -30*f. Let y be a(f). Let g = y - -14. Which is smaller: g or 2/13?
g
Let l = -1971367/9333 - -10/3111. Let u(v) = 2*v**3 - 2*v**2 + 3*v - 4. Let g be u(5). Let n = l + g. Is n smaller than 0?
True
Let b = -350 - -338. Which is smaller: b or -10?
b
Let c = -26.94 - -27. Let d = c - -0.02. Is 0 >= d?
False
Suppose -5*p = 238 - 683. Let u = p + -1597/18. Which is bigger: -1 or u?
u
Let a(j) = j**2 + 4*j - 15. Let w be a(-7). Suppose -2*l - v - 13 = -w*v, 3*l + 5*v - 18 = 0. Is l at most 2/123?
False
Let o be (-63)/14 + 2/(-4). Let g = 9 + o. Suppose 4 = g*t - 6*t. Is -2/3 equal to t?
False
Let f(g) = -g. Let n be f(-7). Let z = 37 - n. Let r be (1/(-5))/((-18)/z). Is r > 0?
True
Let g = 49.9 - 50. Let y = 51 + -30. Which is greater: g or y?
y
Let b be 4/2 - 5 - -12. Let q = -15 - -24. Let r = q - b. Do r and 3/4 have different values?
True
Let y = -243 - -100. Let p(n) = -4*n**2 + 90*n + 1. Let h be p(24). Do y and h have different values?
False
Let z be (-4)/18 + 592/2700. Which is smaller: -1 or z?
-1
Suppose 0 = j + 18 + 11. Let g = 29 + j. Is 4/19 not equal to g?
True
Suppose 3*u = 3*b + 21, -4*b - 16 = -0*u - u. Let y(v) = v + 8. Let l be y(b). Do l and 21/5 have the same value?
False
Suppose -16 - 123 = g. Let m = g - -263. Let x be 54/m - 8/16. Which is smaller: 0 or x?
x
Suppose 0 = -3*n + 265 + 113. Let m be 3 + (-766)/5*35/42. Let j = m + n. Is j bigger than 1?
True
Suppose -17*k + 15*k = -6. Let h = -2 - -7. Suppose -3*f = h*s - 24, -f + 6 = 3*s - 2*s. Is k at most as big as s?
True
Let p = -0.0359 - 14.9641. Which is smaller: -1.3 or p?
p
Let j = 4/85 + 482/595. Suppose -u - 2*z = -3, 3*u + 3*z + 2 = 8. Which is smaller: u or j?
j
Let u be (-10)/35 - (-817)/(-7). Which is bigger: -119 or u?
u
Suppose -2*p = -5*x - 1 - 14, 4*p + 4*x + 12 = 0. Suppose 4*f + l + 99 = p, -2*f - 3*l - 46 = 1. Is f at least -26?
True
Suppose -3*d + 5*f = -25 - 1, f = -1. Let z be (-8 + d)/(-2 - -3). Is -1/3 >= z?
True
Let m(k) be the third derivative of k**5/60 - k**4/24 + 2*k**3/3 - 3*k**2. Let z be 0/10*(-2)/4. Let w be m(z). Are w and 4 unequal?
False
Let s = 6 + -4. Let i(n) = -8*n + n**2 + 6*n - 4 + 5. Let f be i(2). Is f at least as big as s?
False
Let g = 0.17 + -101.17. Which is smaller: -1 or g?
g
Let l be (-69)/46 - 2/(-4). Does -1/197 = l?
False
Let j be (-8)/6 - (-118)/(-6). Let m be (-6)/(-9) - (-8)/j. Let r = -0.8 - 0.2. Are m and r equal?
False
Let k = 90 - 87. Do k and 5 have different values?
True
Let l = -0.289 + 33.289. Which is smaller: l or 1/4?
1/4
Let c be (-6 + 6)/(16/4 - 9). Let m = 85/3 - 142/5. Is m smaller than c?
True
Let l = 1236 + -1236. Let m be 20/14*(-1)/1. Is m >= l?
False
Let n = 0.05 + 0.048. Let j = 0.202 + n. Is 0.3 at least j?
True
Suppose 83*p - 86*p + 36 = 0. Is p <= 15?
True
Let m = -4.1 - -4. Let c = -140 - -121. Is m less than c?
False
Let s(z) = -z**3 - z**2 - 3*z + 4. Let x be s(1). Is -8/23 less than or equal to x?
False
Let u be 4 + (-159)/6*-2. Suppose -u = -2*p + 3. Let o be 4/p - (-682)/(-165). Is o at most as big as -0.2?
True
Let x = 0.383 - 0.347. Are 1 and x unequal?
True
Suppose 0 = -n - w + 7 - 452, 0 = 3*n + 2*w + 1337. Is n bigger than -447?
False
Let h = 86 - 85.934. Let q = -0.096 - 0.104. Is q equal to h?
False
Suppose 2*x = -9*x - 902. Let b = x + 81. Is b <= 2?
True
Let s = -70.5 + 72. Let j = 1.57 + -0.07. Let z = s - j. Which is bigger: z or -8?
z
Let r be (-3184)/(-128) + -3 + 2 + -8. Which is smaller: 17 or r?
r
Suppose -241*c = 4*f - 240*c - 1, 4*f - 16 = -4*c. Let x be (-9)/6*2/(-15). Is f bigger than x?
False
L