
False
Let i(a) = -a**2 - 8*a + 84. Let z be i(-14). Which is bigger: z or -7/18?
z
Let j = 12 + -10.7. Suppose -4*i - 3*l - 5 = 0, -3*i + 5*l - 1 - 10 = 0. Which is greater: j or i?
j
Let y be 30*((-27)/45 - 0). Is y equal to -21?
False
Suppose -7*s - 17 = -8*s. Suppose -h - 2*x + 6*x = s, -4*x + 11 = 5*h. Which is greater: 1/43 or h?
1/43
Suppose -155*w - 141*w = -72*w - 224. Let s be 322/(-158) + 1 - -1. Which is smaller: s or w?
s
Let k = -7.295 + 8.4. Let o = k + -0.005. Which is bigger: -0.3 or o?
o
Let g = 389 - 144. Which is bigger: g or 246?
246
Let v = 82 + -100. Let g be (2/4)/((-3)/v). Is g greater than -1/8?
True
Suppose -3*w - 16 + 10 = 3*z, 2*z - 4*w - 2 = 0. Which is smaller: 710 or z?
z
Let a be 7/((-28)/(-16)) - -3. Suppose 0 = a*i - 5*i. Is i < -3/14?
False
Let w(b) = -4*b + 20. Let u be w(8). Let a(p) = -7*p - 1. Let y be a(11). Let l be 3/u + y/(-120). Is 1/2 greater than or equal to l?
True
Let j = -151 - -77. Let n = -33 - j. Is 42 <= n?
False
Let u = 238 + -438. Let m = 1603/8 + u. Let j = 2 + -1. Which is smaller: j or m?
m
Let l(o) = -o**2 - 7*o - 14. Let r be (-4 + -1)*56/35. Let w be l(r). Is w less than -22?
False
Suppose 0 = 5*l - 0*l + 15. Let g(o) = o**3 + 4*o**2 + o + 2. Let n be g(l). Suppose 0 = 2*j + n. Is -3 not equal to j?
True
Let j(r) = -2*r**2 - 77*r - 244. Let h be j(-35). Let s be 50/42 + (-1)/3. Which is bigger: h or s?
h
Suppose 5*c = -2*y - 6, -6*c = -3*c + 5*y + 15. Let d be (-4)/(-2) + 85 + 0. Let w = -439/5 + d. Are c and w equal?
False
Let x(j) = -4*j + 34. Let l be x(10). Suppose 0 = 5*u - 0*u - 80. Let f be u/(-8)*(-9)/l. Is f not equal to -3?
False
Let b = 7 + -11. Suppose -7*q - 21 = -3*a - 10*q, 5*q - 11 = -a. Which is bigger: b or a?
a
Let d = 33 - 9505/288. Is 1 <= d?
False
Let b = 55 + -58. Let y = 0.07 - 3.07. Is b smaller than y?
False
Let n = -16 + 46/3. Let q be (-16)/6 + 2 - (-8)/3. Suppose -6 = -0*w + q*w. Is w < n?
True
Suppose -9*g - 43 + 70 = 0. Let f = 13 - 8. Suppose -l - q = -3*q - 10, -5*l + f*q + 30 = 0. Is g <= l?
False
Let v = 228728/97 + -2358. Let p = 165 + -661/4. Is p at most as big as v?
True
Let i = 0.1 - 0. Let u = -2125 - -2125. Which is bigger: u or i?
i
Let o = -32.065 - -0.065. Are o and -0.2 equal?
False
Suppose -19*h - 256 = -35*h. Is h equal to 26?
False
Let a = 197.894 - 19.154. Let k = 176 - a. Let p = 0.26 - k. Is 0.1 at most as big as p?
True
Let y(x) be the third derivative of -x**6/60 - x**5/12 + 5*x**3/6 + 27*x**2. Let t be y(-3). Are 59/4 and t equal?
False
Suppose 5*c + 2*r - 55 = 5*r, 2*c = -3*r + 1. Suppose 0 = -2*t + 2 + c. Suppose 0*q - 22 = -11*q. Is t < q?
False
Suppose 6*g - 7*g = 0. Which is smaller: 2/151 or g?
g
Let d = -0.74 + 0.44. Is 36 smaller than d?
False
Suppose 26*a = 29*a. Which is smaller: a or 1?
a
Let v(z) = z**2 + 3*z - 3. Let d be v(2). Suppose -24 = d*p - 3. Do -4 and p have the same value?
False
Let u = 667 + -667.08. Which is smaller: 9 or u?
u
Let g = 819 - 322. Let p = 2496/5 - g. Let s = p - 171/80. Is 0 bigger than s?
False
Let s = -64 + 56.7. Let p = s - -7.2. Let x = -3 + 9. Which is bigger: x or p?
x
Let y be 5 + -1 - (-11 + -349 + 6). Is 358 >= y?
True
Suppose -4*b = -0*x - x + 10, 3*b = -2*x - 2. Let g be b/(7/(-21) + (-5)/3). Is 1 greater than or equal to g?
True
Suppose -62 + 52 = 2*j + 3*o, 5*j + 5*o = -35. Which is smaller: -10 or j?
j
Let i = -102.868 + 1.968. Let z = -101 - i. Is z != 20?
True
Let o = -12.74 - -13. Let j = o + -0.16. Is j greater than 52?
False
Let m be (-20)/(-170) + (-342)/(-561). Which is bigger: 2/11 or m?
m
Let r = 5786/261 + 430/87. Which is greater: 27 or r?
r
Let y(a) = a - 14. Let k be y(7). Let t be 54260/(-140420) - 2/k. Let d = t + -1/59. Which is bigger: -0.1 or d?
-0.1
Let r(k) = -5*k - 43. Let o(z) = 3*z + 29. Let t(y) = 8*o(y) + 5*r(y). Let h be t(15). Suppose -h = -3*d - 5. Which is greater: d or -2/45?
-2/45
Let a = 3.14 - 2.98. Suppose 4*u = -1 + 5. Which is smaller: u or a?
a
Let f(h) = -h**2 + 5*h - 4. Let w be f(4). Let v be (-1 + w)/(-4)*-4. Let t = v - 4. Which is bigger: t or -4?
-4
Suppose 6*n + 101 = -31. Is n <= -104/5?
True
Let g = 198 + -126. Let k be 2/(-15)*-3 + (-2)/5. Suppose -5*p - f = -g, -5*p - f - 2*f + 76 = k. Is 15 less than or equal to p?
False
Suppose -3*p + 204 = -4*w - p, 2*w + 5*p + 102 = 0. Let a = -258/5 - w. Let n be (-3)/(1/((-2)/(-3))). Which is smaller: n or a?
n
Suppose -20280 = -146*v + 131*v. Which is greater: 1353 or v?
1353
Let d = -39 - 6. Let s be (-440)/d + 4/18. Which is smaller: s or 41/4?
s
Let s be ((-1)/(-2))/(2/12). Let w = -28 - -19. Let a = -7 - w. Which is smaller: a or s?
a
Suppose 0 = -65*t + 76*t - 55. Is -0.074 bigger than t?
False
Let i be -4 - (-2 - 0)*13. Let d be 1/(4/(-2 + i)). Suppose -d*u - 1 = -3*p - 4, -2*u - 3*p = 3. Which is smaller: u or 2/43?
u
Suppose 6597 = 30*t - 8313. Is t at least 497?
True
Let o = -387 + 321. Which is smaller: -65 or o?
o
Let q = 61 + 260. Is 0.1 equal to q?
False
Suppose 0 = 28*p - 3595 + 19163. Is p equal to -0.2?
False
Let k be -15 - (-3)/15*-5. Let w be 212/k + (-2)/(-8). Suppose -5*u + 29 = -3*n - 10, n + 5*u = -13. Is n smaller than w?
False
Let p(x) be the third derivative of x**5/60 + 11*x**3/6 + 7*x**2. Let h be p(0). Is 5 less than h?
True
Let i(a) = 8*a**2 + 2*a + 2. Let t be i(-1). Suppose -b + t = 10. Let f be (b/(-6))/(5/15). Is f < 5?
True
Suppose 14*h + 2396 = 660. Is -126 smaller than h?
True
Let k = 26 - 23. Suppose -3*i + k*g = 18, 0 + 4 = g. Let n be (1/i)/(0 + 1). Which is smaller: n or 6?
n
Let x = 2024 + -2023.8. Let m = 2430/13 - 187. Which is smaller: m or x?
m
Let i = 62 + -808/13. Is i > -28?
True
Suppose q - 11 = 5*m, -3*q + 7*m - 2*m + 13 = 0. Let y be -32 - 1/((-3)/(-6)). Let a = 241/7 + y. Which is smaller: q or a?
a
Let g(u) be the third derivative of u**5/60 + u**4/6 - 2*u**3/3 - 4*u**2. Let d be g(-5). Do d and -3.7 have the same value?
False
Suppose -13*r + 5 - 5 = 0. Which is smaller: -9/55 or r?
-9/55
Let m(f) = 108*f + 25. Let i be m(-4). Let z = i - -22386/55. Is 1 >= z?
True
Let f be -27*(9/(-1))/(-1). Which is bigger: f or -2/3?
-2/3
Suppose -2*u + 9 = 2*m - 3, -m - 3*u + 10 = 0. Let g = m - 2. Suppose v + v = 2. Which is smaller: g or v?
v
Let o(n) = n**3 + n + 1. Let q be o(-1). Let y(a) = -4*a**2 - 33*a - 53. Let f be y(-6). Let l be 60/190*q/f. Which is smaller: 0 or l?
l
Let g be 1/(-2) - (-7)/2. Suppose g - 2 = -w. Let l = -4561/11 + 415. Is w < l?
True
Let a = -124 + 50. Let c = -74 - a. Let x be (8/6 - 1)*15. Is c less than x?
True
Let g be (24/1)/(-6) - -5. Let v = -112 - -1455/13. Are v and g non-equal?
True
Let f = 24.943 - -0.057. Let b = 25.1 - f. Which is smaller: -2 or b?
-2
Let b(i) = 7*i - 5. Let k be b(4). Suppose 0 = -4*x + k - 3. Suppose -x = -w - 4*w. Are w and 1/4 equal?
False
Let h = 4331/5 + -861. Which is bigger: 2/3 or h?
h
Suppose -6*n + n = 4*b - 11, 3*n - 5*b = 14. Suppose -4*z = n*f + 32, 2*f - 35 = 3*z + 7*f. Which is greater: 1 or z?
1
Suppose -9*k - 14 = -7*k. Let c be k/(1876/(-792)) - 3. Let i = 326/201 - c. Is 1 at most i?
True
Suppose -18 = -4*i + y + 18, 4*i = -5*y + 12. Let c = -2 - i. Let l be (4/90)/(2/c). Which is bigger: -2/21 or l?
-2/21
Suppose -41*o + 520 = -15*o. Which is bigger: o or 0?
o
Suppose m = 5*j + 19, -2*m - j = -100 + 18. Is m at least 2?
True
Suppose 7*k - 4*k - 19 = -4*g, 3*g + k = 8. Let y be (-2)/(-9) + 4132/36. Let x = y - 1153/10. Which is bigger: x or g?
g
Let j = -3.536 - 62.424. Let p = -66 - j. Is 2/9 >= p?
True
Let v = -0.794 + 0.694. Is v < 426?
True
Let z(y) = -y**2 - 15*y + 115. Let c be z(-18). Are c and 62 nonequal?
True
Let b be (3 + 116/(-12))*(2 - -1). Let n(d) = -d + 5. Let l be n(4). Let w = l + b. Which is smaller: -18 or w?
w
Let n(w) = w**2 - 12*w + 2. Let l be n(-13). Let d be 30/(-40) - l/4. Let q = d + 85. Are q and 4 equal?
False
Let v(c) = -2*c - 5. Let p be v(-1). Which is smaller: -2/7 or p?
p
Suppose 0 = 6*h + 50 - 182. Suppose 84 = -6*u + 2*u. Let g = h + u. Do g and 4 have different values?
True
Let w = 36 - 31. Let t be 0 + -6*1/(-21). Is w at least as big as t?
True
Let p = -58762/83 - -708. Suppose -87*h = -82*h. Is h > p?
False
Let v = 187 + -205.6. Let r = v - -20. Which is smaller: r or -1/2?
-1/2
Let q be (9/3 - -1) + (12 - 9). Suppose -7 = -