*j - 49. Let d be ((-33)/r)/(0 - 2/(-6)). Which is smaller: d or -12?
-12
Let m = -12 + -30. Let y = 1104 + -1146.1. Let v = m - y. Which is greater: v or -3/16?
v
Suppose -4*o = 3*a + 3168, -6*a = -a - 40. Is o <= -809?
False
Let m = -155 + 157. Which is smaller: 14/71 or m?
14/71
Let m be (1222/1651)/(8/(-107)) + 10. Which is smaller: m or 1?
m
Let x be (5*5)/(199 - 186). Let h(t) = t**3 + 3*t**2 - 1. Let z be h(-2). Is z > x?
True
Let s = 1681 - 13445/8. Which is smaller: s or 3.97?
s
Suppose 0 = 2*u - 4*o - 1222, -4*o - 2456 = -47*u + 43*u. Is u >= 607?
True
Suppose 0 = -4*k + 3*z - 54, 56*k = 52*k - 4*z - 68. Let o be 1/2 - 5/(-2). Let d be o + k/3 + 1. Which is smaller: d or 6/7?
d
Let q be -1*166 - (-7 + 3). Let r = 103 + q. Which is smaller: r or -57?
r
Let l = 44110 - 485733/11. Which is smaller: l or -47?
l
Let j be 11 - -15*(-28)/42. Is j smaller than -2/17661?
False
Let b = 294 + -278. Let y(u) = -3*u + 15. Let d be y(b). Let c(s) = -3*s**2 + 5*s - 5. Let h be c(4). Is h at least d?
True
Let y(s) = 19*s + 113. Let u be y(-6). Let q be (-1326)/65 + (u - 21/(-15)). Which is smaller: -59/3 or q?
q
Suppose 48*q + 149 + 955 = 0. Which is bigger: q or -48?
q
Let o = -12.8 - 66.2. Let r = -0.08736 + 79.22736. Let f = r + o. Are f and -2 equal?
False
Suppose 42*k + 220 = -452. Is 102 bigger than k?
True
Suppose 4*p - 184 = -p + 4*n, 5*p - 5*n - 180 = 0. Suppose -f - 2*k - 20 = 0, 0 = 2*f - 4*f + k - p. Let a be 1*-2*f/(-40). Which is bigger: -10/7 or a?
a
Suppose -10 = 5*t - l + 86, -t + 2*l = 12. Let a = t - -22. Is a at most as big as 2?
True
Suppose n = -2*h + 19, -3*n + 109*h + 53 = 113*h. Suppose -3*v = 2*s - 59 + 7, -4*s + 24 = v. Suppose -4*d = v, 4*d - 2*d = 4*p - 72. Which is bigger: n or p?
p
Let u be 13*(-10)/(-325) - (1 - 106/810). Which is greater: -1 or u?
u
Suppose 34*v - v = 132. Let w be (-7 + -8 + 8)*v/14. Is -8 at most w?
True
Let s be 108/(-189) + 2320/42 + (-6)/9. Are s and 54 non-equal?
False
Let x = -17.46 - -21.46. Which is smaller: -1/11 or x?
-1/11
Let s(m) = 17*m**3 + 17*m**2 + 4*m + 4. Let x be s(-1). Which is smaller: -1/25396 or x?
-1/25396
Let q = -3.283 - 0.457. Let w = 0.96 - q. Let p = 4.9 - w. Which is smaller: -2 or p?
-2
Let j = 72 - 433/6. Let n = -566 - -584. Suppose 0 = -11*c - 51 + n. Is c > j?
False
Let j = 10911 - 10910.9. Let i = -30 - -20. Let y be (i/(-24))/((-3)/(-24)). Is j at least as big as y?
False
Suppose y - 51*y - 75350 = 0. Is y bigger than -1507?
False
Let b(n) = -19*n**2 + n + 2. Let v be b(-2). Let j = -72 - v. Suppose 0 = 3*t + j*f - 16, 0 = -2*t - 0*t + 3*f - 12. Is t bigger than -1/6?
True
Let c be (8878/193)/(33/(-39) + 1). Which is smaller: c or 296?
296
Let v(k) = 438*k + 10922. Let g be v(10). Which is greater: 15303 or g?
15303
Suppose -3*i + 139 = -3*s + s, 2*s - 131 = -3*i. Let k = i - 37. Let h be (-1)/k - (-49)/(-168). Which is smaller: -1 or h?
-1
Let j = 2091 + -2092. Which is smaller: 1/8074 or j?
j
Let p = 48.94 + 2.06. Let d = p + -50.941. Which is smaller: d or -0.1?
-0.1
Suppose -133*h + 21*h + 6 - 6 = 0. Which is greater: h or 1/2723?
1/2723
Let n be (-13010)/(-18) + -4*1/(-18). Let f = 723 - n. Which is smaller: 3/277 or f?
f
Suppose 0 = -q + u - 2171, -27*q + 26*q - 5*u = 2201. Is q at most -2173?
True
Let v = 8 + -3. Let s = -2.51 + -98.49. Let g = -99.6 - s. Is g != v?
True
Suppose j = -3*l + 2, -2*l + 6*l = -j + 3. Let i be 1 + -2 - (0 + 43)/l. Let n be 11/i + (-29)/(-20). Which is bigger: 1 or n?
n
Let v = -114/2063 - -11797/26819. Let g(u) = u**3 - u**2 + 1. Let m be g(1). Is v <= m?
True
Let o(h) = 29*h - 99. Let y(q) = -2*q + 1. Let s(v) = -o(v) - 5*y(v). Let t be s(31). Let m be (1 + 40/(-25))*(-6)/t. Is m equal to -1?
False
Let w be 48/528 - 131350/(-374). Let p = -848 - -496. Let r = w + p. Is -1 not equal to r?
True
Let w be ((-1430)/60)/((-1)/6). Let d = w - 163. Which is greater: d or -75/4?
-75/4
Let v = -28805/3 + 9657. Suppose -4*o + 0*o = -216. Do v and o have the same value?
False
Suppose 28*i - 205 + 184 = 7*i. Which is smaller: 1/227 or i?
1/227
Let x(d) = d**3 - 10*d**2 + 7*d + 12. Let f be x(9). Let n be f - -2 - (3 - 7). Which is bigger: 2/1541 or n?
2/1541
Let k = -551132773 - -183524582374/333. Let f = -7901 - k. Is 1 greater than or equal to f?
True
Let b be 152 - (-532)/(-190)*(-40)/(-14). Are 221 and b non-equal?
True
Suppose -5010 = 38*t - 32*t. Let k = 836 + t. Which is bigger: k or -13/56?
k
Let u = -0.9 + 0.8. Let x be (-1616)/6 + 52/(-78). Let c be x/(-50) - (4 + 1). Is u at least c?
False
Suppose 0*z + 5 = 5*z. Let p be ((-186)/(-1) - (-2 + 6))*(-3)/(-3). Let s be 4*p/366 - (1 + z). Is 1 greater than s?
True
Suppose -28*a - 385 - 770 = 469. Which is smaller: -57 or a?
a
Suppose 3*u + 2*u = 10, n = u + 1. Suppose n*g + 4 = 4*g. Which is smaller: 24 or g?
g
Let k(a) = -11*a**2 + 12*a. Let w be k(-10). Let n be 3*(3 + (w/(-15))/(-4)). Is n smaller than 0?
True
Let h be ((-5)/7)/((-16)/56). Let w = -796 + 814. Which is smaller: h or w?
h
Let t(x) = x**2 + 3*x + 2. Let o be t(-1). Suppose -5*m + 5*p - 20 = o, 4*m - 5*p + 8 = -12. Which is smaller: m or -2/617?
-2/617
Let i(x) = x**3 - 4*x**2 + 2*x - 20. Let q be i(5). Let n be 11/(-74)*15/(q/2). Is n > -1?
True
Let y be 42860/32142 - (-1)/(-2)*(-56)/(-21). Which is smaller: y or -1?
-1
Let i = -631/742 + 75/106. Is -30/49 at least as big as i?
False
Let l = 3073 - 3072.92. Is l greater than or equal to -21/2?
True
Let w be (-11912)/4476 + (-3 - 3). Let d = -2/373 + w. Let v = 2/27 - 11/27. Which is smaller: d or v?
d
Let y(g) = g**2 - 54. Let u be y(-8). Let i(q) = -6*q - 46. Let r be i(u). Is -105 < r?
False
Suppose -2*l = t + 6, 0*l = -2*t + 2*l - 6. Let i be (t - -88)/((-3)/(-2)). Let g = i - 56. Is g < 2/35?
True
Let t be 5 - 4/(8/(-6)). Suppose 12 - 212 = t*z. Let g be ((-35)/z - -3) + 2/(-5). Is g at least as big as 4?
True
Let p(h) = -h**3 - 22*h**2 + 32*h + 1242. Let j be p(-19). Is j greater than -443?
False
Let n(u) = 5*u**3 - 5*u**2 - 3*u + 1. Let h be n(2). Let o be (16/(-10))/(24/2820). Let l be (-3)/(-9) - o/12. Is h less than or equal to l?
True
Let g(s) = s**2 + 5*s - 5. Let d be g(-6). Let c(h) = -h**3 - 3*h**2 + 38*h - 20. Let t be c(-8). Let b be t/170*-15*2/1. Which is smaller: b or d?
b
Let r be ((-44)/2816)/((-10)/(-4)). Let t = 179/48160 - r. Is t >= 1?
False
Suppose 76*h - 640965 = -97*h. Is 3706 at least as big as h?
True
Let u be ((-185)/(-11) - (-77)/(3696/(-768))) + (-2)/(-11). Suppose 0 = -3*b + 6, -5*v = -9*b + 4*b + 930. Let l be 0 - (1 - v/(-186)). Which is bigger: u or l?
u
Let g = -0.9 + -30.1. Let j = g - 11. Let c = j - -42.03. Which is smaller: 10 or c?
c
Let y be 100/99 + 462/(-297) - (-4)/(-33). Which is smaller: -0.87 or y?
-0.87
Suppose 1654 - 564 = 4*m + 2*r, 813 = 3*m - 3*r. Suppose -m = 9*j - 20. Which is bigger: -36 or j?
j
Let p(z) = 260*z + 4678. Let g be p(-18). Which is smaller: g or -79/33?
-79/33
Suppose 2*i - 9 = -3*z + 13, -10 = -5*i. Let v = -2746 + 2749. Let g be 2/v*z/(-4). Which is smaller: g or -5/3?
-5/3
Let h = -3463707/5 + 690060. Is h greater than -1?
False
Let a = -6225 + 5413. Which is bigger: -1/2 or a?
-1/2
Let d = -189 - -161. Let m be (-14)/d + (-61)/(-92)*2. Is m > 3?
False
Let c(y) = 3 + 4*y + 2 - 3 - 5. Let o be c(2). Let j be o/15 - 20/6. Which is greater: j or -6?
j
Let v = -3 - -14. Let x = 2359 + -2357. Do v and x have the same value?
False
Let s = 26024 - 24692. Are 1330 and s nonequal?
True
Let f = -5 - -5.3. Let y = -0.2 - f. Let i = -5.8091 - -1.8091. Which is smaller: i or y?
i
Suppose 4*x - 92 = 4*d, 2*x - 60 = 5*d + 1. Suppose 0 = 4*n - 5*a - 41, 5*a = 3 + 12. Do x and n have the same value?
False
Suppose 76*u - 320 = 74*u. Let m be u/(-96) + (-251)/(-150). Is 1 != m?
True
Let s be 10/32*8/(-38)*(-2 - -3). Which is smaller: s or 1?
s
Let o be -5 + 3 - -5 - 514/390. Let n = -21/13 + o. Which is bigger: n or -1?
n
Let o = 142 - 128. Suppose 4*k = 8*k - 136. Suppose -o = 6*z + k. Which is bigger: z or -6?
-6
Suppose -r - 16 = -3*r. Let o = 80 - 76. Suppose 2*v - 8 = o*g, r = 2*v - 0*v. Which is smaller: -1/3 or g?
-1/3
Let m(u) = -u - 5. Let q be m(-3). Let v be 1/(-2) - 67/q. Let f = v - 32. Is f greater than 2/7?
True
Let s(y) = -y**3 + 5*y**2 - 1. Let g be s(5). Let a be g*2*-1 - (3 + -1). Let b(q