reater: w or -1/4?
w
Let p(c) = c**3 + 10*c**2 + c + 11. Let d be p(-10). Let q(z) = z**2 + z. Suppose 2*a + 3*a = -5. Let t be q(a). Is t smaller than d?
True
Let l(t) = t**2 - 10*t + 4. Suppose -2*w = 2*w - 44. Let q be l(w). Which is greater: q or 16?
16
Let p = 0.19 + 0.51. Let x = -0.6 + 0. Let s = x + p. Is 3 less than or equal to s?
False
Let o(s) = s + 33. Let i = 34 + -49. Let d be o(i). Let j = 46 - 28. Is d greater than j?
False
Let l(s) = -s**2 + 3. Let b = 1 - -8. Let h = -9 + b. Let f be l(h). Which is bigger: 5 or f?
5
Let f = 6.225 + -1.932. Let x = -0.577 - f. Let c = x + -0.13. Are c and -2/7 unequal?
True
Let y = -0.27 - 0.73. Let x = 0.04 - -8.96. Let o = 11 - x. Which is smaller: y or o?
y
Let m(i) = -45*i - 589. Let r be m(-20). Which is greater: 309 or r?
r
Suppose -2 = 4*q - 3*q, 5*p = -q - 22. Suppose 0 = 2*d - 5*v - 19, -20*d = -15*d - 3*v. Is d equal to p?
False
Let r be (-3)/(-2)*(11386/(-1626) + 7). Which is smaller: r or 1?
r
Let j(i) = -24*i - 168. Let v be j(-6). Which is smaller: v or -259/11?
v
Let s(c) = -99*c**2 + 9*c - 7. Let q(o) = -148*o**2 + 14*o - 11. Let r(i) = 5*q(i) - 8*s(i). Let g be r(1). Is 51 <= g?
True
Let t = -99 + 120. Which is greater: 148/7 or t?
148/7
Let i = -19 - -19. Suppose -8*c + i = 8. Is 2/5 > c?
True
Let d be 5*36/(-30) - -8. Let o = 7 - 4. Suppose -o*l + 1 = d*y - 3, -4 = l + 2*y. Is 4 greater than l?
False
Let h = 2.98 - 3. Let j = 0.12 + h. Let m = 2/227 - 251/2724. Is m at least j?
False
Let a(p) = -p**2 + 9*p - 11. Let t(m) = -m + 2. Let v = -14 + 9. Let h be t(v). Let y be a(h). Is 7 != y?
True
Let u be ((-2)/(-15))/((-3)/(-9)). Let z = 2573 + -2573.06. Is z equal to u?
False
Let v = -13 + 12.98. Suppose 0 = -s + 4*s - 3. Suppose 2*q + s = 3. Which is bigger: v or q?
q
Let o = 438312 - 5706549/13. Let v = 653 + o. Let f(j) = -j**2 - 3*j - 3. Let x be f(-2). Is x at least v?
False
Let a be (-117)/(-12) + 1 + (-15)/20. Let w be (-7 + 8)/(-1*2/a). Which is greater: w or -7?
w
Suppose -2*u - 18 = -5*u. Let p = -1.53 + 1.5. Let b = p - 0.07. Is b at most u?
True
Let t be (-980)/248 + (-4)/(-1). Which is greater: t or -1?
t
Let g = 697 - 646. Do g and 46 have different values?
True
Suppose 1881 = 34*o - 397. Is o equal to 67?
True
Let b = -1/9940 + -2483/19880. Let h be (-4)/(-14) - (-60)/(-14). Let w = h - -3. Which is smaller: b or w?
w
Let t = 415 - 432. Is -16 less than t?
False
Let w be (-5)/(-7) + 9398/259. Which is bigger: w or 113/3?
113/3
Let g be 15 + 0 + 331 + -345. Let u be ((-2)/(-2))/(2/(-6)). Which is smaller: u or g?
u
Let y = 1.8 - 1.6. Let i = -0.2 + y. Let t = 0.1 + i. Which is smaller: -0.08 or t?
-0.08
Let y(k) = -k**2 + 9*k - 26. Let o be y(4). Is o less than or equal to 4/11?
True
Suppose 72 = -5*b + 3*t, -b - t - 3 = 13. Is 2/3 less than b?
False
Let i = -12.94 + 5.94. Is i less than 73?
True
Let a(k) = -74*k - 630. Let g be a(-7). Which is smaller: -124 or g?
-124
Suppose 24 = 24*i - 21*i. Let d(z) = -2*z**2 + 15*z + 11. Let m be d(i). Is m at most as big as 5?
True
Let s(d) = d**3 + 5*d**2 - 2*d + 5. Let m be s(-5). Let x be (18/m)/(6/15). Let a be (-3)/x + (-8)/(-11). Is a smaller than -1?
False
Let s(i) = i**2 + 7 + 9 - 30*i + 45*i. Let g be s(-14). Let d be (-2)/g - (-1)/(-4). Which is smaller: -1 or d?
d
Let p be (-2)/(-2) - 0/(-1). Let b be ((-6)/36)/(13/117). Which is greater: b or p?
p
Let v(a) = -a**2 - 3. Let q be v(0). Let j = q - -2. Suppose 7*c - 17*c = 0. Is j <= c?
True
Let p = 282 + -577/2. Let f(b) = -b**3 + 6*b**2 + 17*b - 14. Let g be f(8). Which is greater: p or g?
g
Suppose 12*m + 405 - 9 = 0. Which is bigger: m or -67/2?
m
Suppose 3*r + 4 = -140. Let z = 49 + r. Which is greater: z or -2/101?
z
Let l = 0.7 + -72.7. Let j = 79 + l. Is j < 1?
False
Let q = 94 + -84. Suppose 19*w = 29 - q. Is w at least 8/7?
False
Let c(a) = -a - 11. Suppose -3*p = -p + 24. Let h be c(p). Is 1/9 > h?
False
Suppose -2*b = -3*b + 42. Let d be ((-3)/(-108))/(b/944). Let z = d - -14/27. Which is smaller: 0 or z?
0
Let h(c) = -25*c + 214. Let q be h(12). Which is bigger: -87 or q?
q
Let j = 236 + -8261/35. Which is smaller: j or -1?
-1
Let o(w) = -w**2 + 16*w - 11. Let x = 55 + -40. Let d be o(x). Is -0.03 at least as big as d?
False
Let z be (-3)/2547 - 0/1. Let v = -589/19527 - z. Is v bigger than 1?
False
Suppose 12*h = -3*s + 7*h + 32, -2*h = -8. Are s and 13/4 non-equal?
True
Let q = 97 + -89. Suppose 5*g = -18 + 53. Suppose t + 0*t - g = 0. Is t less than q?
True
Let s = -121 + 96. Let r = -28 - s. Is r at most as big as 6?
True
Let u be 13*(-3)/3*1. Is u >= -13?
True
Let w be (-20)/(-190) + (-4862)/(-19) - 6. Which is smaller: 249 or w?
249
Suppose 27 = -3*c - 5*w, 18*w + 5 = -2*c + 19*w. Let z = -4 - 0. Is z not equal to c?
False
Let f = -36 + -12. Let v = f - -39. Is 0.5 smaller than v?
False
Suppose -3*o + 3 = t, -o + 1 = -2*t - 0. Which is smaller: -1/1697 or t?
-1/1697
Let u = 12 - 11. Let i = 22 + -24. Let v be (-2 - (-90)/23) + i. Which is smaller: v or u?
v
Let a = -2194 + 6581/3. Let q be (-2)/(-6) + 1/3. Which is bigger: q or a?
q
Suppose -103 - 5 = 54*g. Is -8/5 < g?
False
Suppose 2*k + k = 0. Let b = -364 - -660. Let m = 5626/19 - b. Which is greater: m or k?
m
Let x(c) = c**3 - 12*c**2 + 1. Let u be x(12). Suppose 0 = 3*v + 11 - 5. Let k be ((-1)/(-6))/((-1)/v). Is u >= k?
True
Let z = 75.956 - 76.1. Which is smaller: 1 or z?
z
Let c = -182 + 173. Is -3 equal to c?
False
Let h be (-22)/(-18) - (-1 + 2). Let c(v) = -3*v - 10. Let x be c(-5). Let q be (-38)/133 + x/(-7). Is h greater than q?
True
Let f(m) = -m**3 - m**2 + 6*m + 5. Let z be f(-3). Suppose -z*w - 4*k = -7, 0*k = w + 2*k - 5. Is w less than -8/5?
False
Let p be ((-3)/6)/(1/(-2)). Let c = 4 - p. Let d = 101 + -99. Is c at most d?
False
Let p = 977 - 976. Which is smaller: p or 5?
p
Let r(k) = 2*k**2 + 21*k - 12. Let x be r(-9). Which is smaller: x or -36?
x
Suppose -3*i + 107 - 688 = 4*y, -2*y - 3*i = 295. Let k be 4/42*-3 - y/182. Which is smaller: 0.03 or k?
0.03
Let n = 17 + -17. Let r be 6/(-42) - 3/28. Is n <= r?
False
Let f be 2 - (3 - 4)*-2. Suppose f = 5*a - 2*a + q - 13, q + 17 = 2*a. Is 4/5 < a?
True
Let l = 118.8 + -119. Suppose -6*d + 4*f - 9 = -d, -5*f = -d + 15. Which is greater: l or d?
l
Suppose 0 = 6*p - 415 - 95. Let y = 53 - p. Is -33 at least y?
False
Let h be 228/5*(30 - 27). Is 138 at least h?
True
Let r be 20/70 - ((-1266)/(-1995))/2. Which is greater: r or 0.1?
0.1
Let r be 6/(-95) - (-33)/(-165). Do 0 and r have the same value?
False
Let h = -14 + 15. Are 1/301 and h equal?
False
Suppose 2 = -j, -3*s + j + 6 = -7*s. Let f = -7/10 + 73/110. Which is bigger: s or f?
f
Let d = 2.633 - 0.233. Are -5 and d equal?
False
Let f = 91/340 - 3/170. Let n = -3.25 - 1.7. Let a = n + 5. Which is greater: a or f?
f
Suppose 14 = 3*n - 1. Suppose -6 = 2*o - n*o. Suppose 18 = -3*a + o*t - 3, -t + 33 = -4*a. Which is smaller: -11 or a?
-11
Let k = -79/9 - -9. Let r(j) = 5*j**2 + 5*j + 7. Let d(s) = -s**2 - s - 1. Let i(l) = 6*d(l) + r(l). Let c be i(0). Which is greater: c or k?
c
Let j = -5 + 7. Suppose -8 + j = -a. Let p be (5/(-10))/(-3*7/(-42)). Which is bigger: p or a?
a
Let g be (-5)/2*(-3 - -1). Let f be (567/(-45) + 11)/((-4)/10). Is g >= f?
True
Suppose -25 = 7*l - 25. Which is bigger: 2/1191 or l?
2/1191
Let m(l) = -l**2 - 8*l - 6. Suppose 44 = -4*y - 3*i, 5*y = i - 39 + 3. Let t be m(y). Let x = -467/2 - -229. Does t = x?
False
Let s be ((-8)/6)/(16/(-12))*2. Is -9.9 at most s?
True
Let v be -2 + 5/4 - (-1669)/(-4). Let h = -2932/7 - v. Suppose q = -0*q. Is h equal to q?
False
Let x(i) = 19*i - 138. Let y be x(6). Let r = 30 + -55. Which is smaller: y or r?
r
Let x = -13 - -24. Let s = x + -9. Let a = s + -2. Which is smaller: 1/3 or a?
a
Let n = -54/19 - -524/171. Is -12.8 less than n?
True
Let y(n) = -n**3 - 6*n**2 + n + 14. Let r be y(-6). Suppose 6 = -7*z + r*z. Which is smaller: 3 or z?
3
Suppose 1027 = 16*o + 1187. Is o smaller than -83/9?
True
Let p be -1 + 6 + (1 - -39) + 0. Is p greater than 2?
True
Let g be 6/(-4) + (-3)/(-6). Is g less than -9/28?
True
Let r = 3556 + -1145033/322. Which is greater: 0 or r?
0
Suppose -11*z - 359 + 1085 = 0. Suppose -z = i - 66. Which is smaller: -6/19 or i?
-6/19
Let g(q) = -q + 4. Let r be g(2). Let l = -47 + 89. L