s
Let p = 150 - 149.07. Let h = 0.83 - p. Is 2/79 greater than h?
True
Let k = -8/3 + 23/9. Let o(y) = -y + 5. Let v be o(5). Suppose v = -5*w - u - 5, 2*w + 6*u - 3*u + 2 = 0. Which is smaller: k or w?
w
Suppose -5*q - 5*n - 12 = -2*q, -4*q + 2*n + 10 = 0. Let b = 4/31 + -99/527. Is b not equal to q?
True
Let s be 3 - (5 - 3) - -13. Is 15 > s?
True
Let i = -9950 + 776129/78. Is i > 1?
False
Suppose 3*q + 4 = 16. Let t be (-2)/3*(42/q)/(-1). Is t not equal to 5?
True
Let v(f) = -5*f + 35 - 79 + 38 + 2*f**2. Let q be v(-5). Is 68 at most q?
True
Let s = 0 + 8. Suppose -3*b + 2*b - 2*y = 7, -4*b = -4*y - s. Let u = 39 - 36. Is u at least b?
True
Let d be (-52)/2665*(-1 - 89/6). Let g = -1/41 - d. Which is greater: -1/5 or g?
-1/5
Let k = -0.02449 - 81.93551. Let n = -82 - k. Which is smaller: n or 6/11?
n
Let b(k) = k + 4. Let r be b(0). Let h(p) = -p + p**3 + 3 + p**2 - 1 + 7*p**2 - 5. Let c be h(-8). Which is bigger: c or r?
c
Let d be (-4679)/(-35) - (0 + (-4)/(-14)). Let u = 679/5 - d. Which is smaller: 3 or u?
u
Let b = -220/3 - -74. Suppose 0 = 2*h + 2*m + 9 + 9, -13 = h + 3*m. Let o be (h/28)/((-1)/4). Which is greater: b or o?
o
Let k be ((-94)/(-4))/((-31)/62). Let a = k + 801/17. Which is smaller: 1 or a?
a
Let y(f) = -8*f + 12. Let h(u) = -7*u + 11. Let l(r) = -7*h(r) + 6*y(r). Let b be l(9). Let w be 2 + (3 - 19/b). Is 1 greater than w?
True
Let g be (-4)/314*4/(13 + 7). Let n = -1586611689558/8635 + 183741944. Let f = g + n. Which is smaller: f or -1?
-1
Suppose 2*n + 291 = -5*a + 6*a, n + 159 = -4*a. Is n at most -148?
False
Let f be 2 - 1 - (6 - 30). Let b be (-6)/((-60)/f) - (-2)/(-4). Are b and 10/9 non-equal?
True
Let c = -746999/5 + 150409. Let n = c - 1006. Is 4 less than n?
False
Let r(m) = -173 - m + 82 - 3*m**2 + 89. Let h be 8/(-6) - (-4)/12. Let p be r(h). Is -6 less than p?
True
Let s(f) = -f**3 - 9*f**2 - 7*f + 3. Let i be s(-8). Let n be (-8)/4 - 11/i. Is -2 > n?
False
Let c = 15491 + -11076067/715. Is c at most as big as 1?
True
Let o(q) = q**3 - 2*q**2 - 19*q - 21. Let n be o(-2). Is 4/1215 >= n?
False
Let t = -24.42 - -24. Let h = t + 4.42. Which is smaller: h or -2/3?
-2/3
Let s(u) = u**2 + 14*u + 8. Let h be s(-9). Let f = 28 + h. Which is greater: f or -12?
f
Let a = 9 + -14. Let s = -583/2 + 292. Which is smaller: a or s?
a
Suppose -11*c = -18*c + 28. Let k = 14 - 22. Let d = 8.3 + k. Are d and c unequal?
True
Let c = -231 - -235. Suppose -3*w - 16 = -w. Let p be (-2)/w + (-4)/16. Is p >= c?
False
Let t(h) = -h**2 + 14*h - 17. Let s be t(12). Let r be s/(-21) - (-62)/6. Which is smaller: 11 or r?
r
Let i be (-6)/(-28)*(-72)/108. Is i <= 8/27?
True
Let l = 111 - 111. Let f(c) = c**3 - 12*c**2 + 11*c + 2. Let i be f(11). Suppose 2*j + w + w = -14, 5*j - i*w = l. Is -4/5 greater than or equal to j?
True
Suppose -76*p + 93*p = -3145. Is 1 <= p?
False
Let g = 1 - 6. Let o = 9 - g. Let m = o - 7. Is m greater than or equal to 7?
True
Let n be 39630/(-840) - 7/(-4). Which is smaller: n or -45?
n
Let w be 6*(2 + 62/(-6)). Suppose -4*u = u + 255. Which is smaller: w or u?
u
Let c = -115.2 - -115. Which is greater: c or 65/2?
65/2
Let t(k) = 9*k - 26. Let o be t(3). Let c = -502/5 + 101. Is o greater than c?
True
Suppose 2*r - 7 = 3. Suppose 0*b + 110 = r*b. Suppose 0 = -4*a - o - 14, 0 = 5*a - 4*o + 3*o + b. Is -4 at most as big as a?
True
Let g be ((-5)/270)/(3/(-1 + 7)). Is g > -1?
True
Let h = 26 + -25. Suppose -4*k = -2*r - h - 5, -16 = 3*r + k. Which is smaller: -6 or r?
-6
Let y = 104/25 - 1186/225. Is y < 4?
True
Let r = -29 - -51. Let g be (1 - 20)/(r - 21). Let i = g + 27. Is 5 bigger than i?
False
Let g = -8.21 + 0.21. Let n = 15.84 + 4.26. Let z = n + -21.1. Is g at most z?
True
Suppose -4 = -4*y - 17*o + 15*o, 0 = -y - 3*o + 11. Which is bigger: 5/137 or y?
5/137
Suppose -2*g + 2073 = -3*z, 2*g + 3*z - 1156 = 923. Let u = -47751/46 + g. Is u smaller than 1?
True
Let s be (65/(-40)*2)/((-5)/40). Suppose 7*l - 4*l = -2*v + 58, 0 = -4*l - 5*v + 89. Let x = 41 - l. Is x > s?
False
Let w be (4 - 5) + (-177)/(-117). Which is bigger: 0 or w?
w
Let l(m) be the second derivative of -m**4/12 + 3*m**3/2 + 4*m**2 + 11*m. Let x be l(11). Are -14 and x equal?
True
Let f = -78 - -88. Let p(d) = d**3 - 9*d**2 + 8*d. Let x be p(8). Let q = 9 + x. Is q >= f?
False
Let i(g) = -g - 4. Let a be i(-3). Let r be (14/(-21) + (-1)/3)/17. Is r bigger than a?
True
Suppose 9*k + 0*k = 594. Let u = k - 68. Which is smaller: -0.12 or u?
u
Suppose c - 3 = 3*p, -c = -2*p + 28 - 30. Is p < -1/173?
True
Let c be (-2256)/(-60) - ((-14)/10 - -1). Let i = 3 - 2. Which is bigger: i or c?
c
Let n = -37 + 34. Let v = 2.9 + n. Let l be 3/210 + 2/7. Which is bigger: v or l?
l
Suppose -q = -3, -5*s + 7 = 4*q - 10. Is -11/67 <= s?
True
Let b = 333 - 362. Is b >= -28?
False
Let n = -1.38 + -0.02. Let w = -0.4 - n. Let h be 4 - 9/((-18)/8). Do w and h have different values?
True
Let j be 75/(-20)*((-11)/3 + 1). Which is smaller: j or 0.01?
0.01
Let b = -2868 - -2869. Which is smaller: b or -6?
-6
Let l = -217874/153 - -1424. Is l smaller than 1?
True
Let r(a) = 67*a - 136. Let v be r(2). Is v at least 132?
False
Let h = -57/4 + 173/12. Is h less than or equal to 61?
True
Let w(t) = -t**3 + t**2 + t + 2. Let m(x) = -x**3 + x**2 + x + 1. Let f(a) = -3*m(a) + 2*w(a). Let n be f(0). Do -3/17 and n have different values?
True
Let h be 0 + 2 + (-25)/5. Let n be (h/10)/((-9)/48). Let u(p) = p. Let t be u(2). Which is smaller: t or n?
n
Suppose 3*c - 300 = 5*u, 4*u - 2*c + 300 = -u. Let q = u - -90. Let t be (18/24)/(q/16). Which is smaller: t or 2/9?
2/9
Let w(u) = u**2 + 9*u + 17. Let l be w(-3). Is -1 > l?
False
Let w = 45 - 6. Let q = w + -31. Is q bigger than 8?
False
Let z(t) = -7*t + t - 3*t**2 + 11 + 2*t**2. Let p be z(-7). Is p at least 14/3?
False
Let h be (-16)/(-32)*(-4)/(-10). Is 150 at least as big as h?
True
Let g = 0.046 - 0.456. Let t = g - 0.09. Let l = -0.2 + t. Is l bigger than -2?
True
Let g(m) = m**3 - 13*m**2 - 15*m + 16. Let s be g(14). Suppose 6 - s = -4*v. Let q = 10/21 + -61/84. Is v less than or equal to q?
True
Suppose 15 = 5*k - 4*y, 4*k - y + 5*y = -24. Let v be (-258)/(-87) + -1 - (3 + k). Is v >= 0?
False
Let m = 4.2 - 5.2. Let k = 3 + -3.2. Which is greater: m or k?
k
Let h = 281 - -239. Which is bigger: h or 519?
h
Let w be (-4 - -2)*-5 - 6. Is w > 68/27?
True
Suppose 254*j - 239*j - 11040 = 0. Is 735 bigger than j?
False
Suppose 2*w = -5*p + 9, -2*w - 5 = -3*w - 3*p. Which is bigger: 6/11 or w?
w
Let j(u) = -u**2 + 9*u - 5. Let b be j(10). Let o be -21 - -2*25/10. Which is greater: b or o?
b
Suppose -y - 19 = -3*z, 7*z - y = 2*z + 29. Suppose 0 = z*u - 3*u + 30. Let m be 6/u - (-36)/15. Which is greater: 3/5 or m?
m
Suppose 2*z - 30 = 94. Suppose z = 5*u + 4*s, -5*u + 36 = -2*s - 8. Suppose 0 = -6*a + u*a + 32. Is a bigger than -5?
False
Let q = 3463/7 - 496. Let g = -121 + 120. Are q and g nonequal?
True
Let x(v) = -v**3 - 13*v**2 - v - 5. Let n be x(-13). Let a(l) = l**3 - 6*l**2 + 6*l + 1. Let d be a(5). Suppose d*f = n*f + 4. Which is greater: f or 1/4?
1/4
Let c = -340/13 + 14646/559. Suppose 5*n - 8 = -3. Which is smaller: n or c?
c
Let x be 60/90*((-24)/(-28))/(-2). Let u = 0.1 + 0.9. Which is smaller: x or u?
x
Let w(f) be the first derivative of f**2/2 - 20*f + 7. Let x be w(11). Let a(j) = j**3 + 2*j**2. Let n be a(-3). Are x and n equal?
True
Let y(d) be the second derivative of -d**5/20 - 3*d**4/2 + 7*d**3/3 + 15*d**2 - 11*d - 1. Let w be y(-19). Which is greater: w or 126?
126
Let q be 9/6 - 284/(-8). Let f(h) = h**2 - 16*h + 19. Let z be f(18). Let i = q - z. Which is smaller: i or -19?
-19
Let d = -253/14365 - 1/169. Is 0 equal to d?
False
Let c(p) = -p**3 + 7*p**2 - 7*p - 4. Let u be c(5). Suppose -3*a = -u + 5. Which is smaller: 3 or a?
a
Let c(t) = -8*t**2 + 57*t - 7. Let m = -10 + 17. Let a be c(m). Do -5/38 and a have different values?
True
Suppose 4*k - 218 = 7*k + 5*i, -5*i = -3*k - 238. Is k <= -76?
True
Let o(r) = 24*r - 143. Let z be o(-3). Is -216 != z?
True
Suppose -155*g + 142*g - 143 = 0. Which is smaller: -80/7 or g?
-80/7
Let x(o) = -o - 7. Let q be x(-8). Let w = 1 + q. Suppose -6*h = -2*h - 4*n + 24, w*n - 19 = 3*h. Is h < -7?
False
Let j = 334/11 - 2140/77. Let o = 355 + -351. Is j < o?
