s = u + 256. Which is smaller: s or v?
v
Let t(q) = -q**3 - 4*q**2 + 14*q + 5. Let i(z) = -z**3 + 4*z**2 + 3*z + 10. Let m be i(5). Let c = -6 + m. Let r be t(c). Is r > 0?
False
Suppose 5*y - 4*a - 4 = 0, 4*a + 5 = -4*y - a. Suppose y = u + u. Suppose u = 3*j - 19 - 2. Which is bigger: 6 or j?
j
Suppose 572 = -64*j + 12*j. Let i(c) = -c**2 + 7*c - 2. Let o be 2*((-1)/(-1) + 3). Let g be i(o). Is g >= j?
True
Let a be (-3 - -11) + -3 + 2 + 2. Suppose 0 = 2*s + 6, 0 = 3*m - 2*m + 5*s + 8. Which is smaller: m or a?
m
Suppose 0*b - 4*b + 22 = -d, -d - 7 = -b. Let z = 27 + -4. Let h = 28 - z. Are h and b non-equal?
False
Suppose 5*v = 19 + 96. Is v bigger than 23?
False
Let p = -148.19 + 148. Let z = -0.3 - -1.3. Is p < z?
True
Suppose -27*s = -45*s - 5508. Is s at most -307?
False
Let z be 14/8*8/2. Let f be -13*5/(-10)*-2. Let k = f + z. Are k and -7 equal?
False
Let f = -4.2 + -0.8. Let l = -8.915 + 8.785. Which is greater: f or l?
l
Suppose s - 147 = -577. Let b be (-3)/(-5) + 278/s. Let y be 4/(-6)*3/(-2). Are b and y nonequal?
True
Let c = -0.16 + 0.2247. Which is smaller: c or 0.1?
c
Let a = -1.07 - -1.12. Which is greater: a or -2/27?
a
Let b(n) = n + 16. Let x be b(-13). Suppose x*w + 5*d = -28, 7 + 4 = 4*w - 3*d. Let u be 6/(-6)*(-8 - w). Which is bigger: u or 0?
u
Let l be ((-248)/3)/(5/15). Let v = -14879/60 - l. Which is smaller: 0 or v?
0
Suppose -4*g - 9 = w, -4*g = -3*w + 16 + 5. Let u = 5.94 - -0.06. Let m = -8 + u. Is w at most as big as m?
False
Let q be 2/8 + 5621/28. Is q at most 204?
True
Let d(z) = -5*z + 22. Let q = -20 + 30. Let j be d(q). Is j at most 1?
True
Let g = -1042/5 - -208. Which is greater: -1 or g?
g
Let j(k) be the second derivative of k**4/24 - 2*k**3/3 + 3*k**2 - 3*k. Let m(i) be the first derivative of j(i). Let y be m(3). Are -0.1 and y equal?
False
Let d(y) = y**2 - 3*y + 3 + y**2 - 7. Let p be d(-2). Let h = 11 - p. Which is bigger: -2/5 or h?
h
Let v = -711/172 - -17/4. Is v != 0?
True
Suppose 0 = j + 34 + 51. Let c be ((-3)/(-6))/((-25)/j). Let a = -6/5 + c. Which is smaller: a or 4?
a
Let a be (-38)/90 + 2/10 + 0. Do 7 and a have different values?
True
Let u = -35 + 35. Let h(i) be the first derivative of -i**2/2 + 3*i + 4. Let t be h(4). Which is smaller: u or t?
t
Let m = 25 + -24. Let q be 924/(-230) + 10 + -6. Is m at least q?
True
Let b be 0 - (-1 + (-1368)/(-1400)). Is b != 1?
True
Let u = -2770 - -1293592/467. Which is greater: u or 1?
1
Suppose -16*q - 22 = -18*q. Let t(h) = h - 25. Let w be t(q). Which is bigger: -16 or w?
w
Suppose -12*t = -11*t + 7. Let d be ((-7)/(-2))/t + (-6)/4. Which is smaller: 5 or d?
d
Let i = 1343 - 931. Let w = -10304/25 + i. Let b = 74/775 + w. Are 0 and b unequal?
True
Suppose d = 123 - 71. Is 52 > d?
False
Suppose i + 22 = 2*f, 2*f = 4*f - 5*i - 30. Suppose -2*a - 26 = -4*q - 0, 3*a = 5*q - 30. Let h be (q/(-6))/(12/(-88)). Is f smaller than h?
True
Suppose 0 = 3*b - j + 17, 15 + 10 = -5*b + 5*j. Let x = -988 - -983. Is b less than x?
True
Let b = -4353/4 - -1088. Are b and 11/8 nonequal?
True
Let u = 35 + -38.1. Let i = 3 + u. Let q = -758 + 751. Which is bigger: q or i?
i
Let r(n) = -2*n**2 - 10*n + 14. Let x = -74 - -68. Let z be r(x). Let a = 9 + -5. Which is bigger: z or a?
a
Let x be -4 - (6 + -7 + -3). Let i = -1 - 8. Let j be (x - 3)*(-3)/i. Which is greater: 1/4 or j?
1/4
Suppose -635 = 2*w - 5*r + 66, 2*w = r - 705. Is w less than or equal to -352?
True
Let j be (343/(-14) - -12)*142. Which is smaller: -1774 or j?
j
Let x be -1 + 5/25 + 76/70. Which is smaller: -1274 or x?
-1274
Let d = -37 - -24. Let m be (0 + 10*-1)*(-60)/(-50). Is d bigger than m?
False
Let x(q) = -2*q + 7. Let u(k) = -k + 6. Let b(m) = -3*u(m) + 2*x(m). Let o be b(6). Which is greater: o or -11?
o
Let g = 2 + -2.1. Let q = 6662/7 - 952. Which is bigger: q or g?
g
Let s = -119 + 120. Let c = -149/429 - -2/143. Which is smaller: c or s?
c
Let b = 23 + -31. Let t be (2/b)/((-15)/24). Let c = 12.9 + -12. Which is bigger: t or c?
c
Suppose 3240 = 2*k - 12*k. Which is greater: k or -325?
k
Let o = -681 - -679.095. Let b = o - 0.045. Let a = 0.05 - b. Do a and -1 have different values?
True
Suppose -3*v - 4 = -4*v. Suppose -3*j - 60 = j - o, j - v*o + 15 = 0. Let s be ((-10)/j)/((-5)/3). Are s and 1 non-equal?
True
Let h = -218 + 216.963. Let p = -0.037 - h. Is 0 at most as big as p?
True
Let n = 27.18 - 29.6. Let a = -1.14 + n. Let v = a + 3.5. Which is smaller: 2/3 or v?
v
Let k be (2/(-6))/(20/30). Let t = 288 - 329. Is k smaller than t?
False
Suppose 9*v + 8 = 17. Let w be (-8)/874*(-214)/4. Let n = 4/23 - w. Is n bigger than v?
False
Let m = 2/83981 - -55511427/587867. Let b = m + -94. Let q be 3 - 1/3*72/8. Which is smaller: q or b?
q
Suppose w - 33*u + 29*u = 5, -3*u = -5*w + 8. Is w != 131?
True
Suppose 10*l - r = 5*l + 40, -l = -5*r - 8. Suppose j = 4 - 3. Let o be 77/14 - j/2. Which is smaller: l or o?
o
Let h = -90 + 41. Let q be h/95 + (-5)/(-25). Is q < 0?
True
Let g be (-55)/(-4) + 2/8. Let b(w) = -31. Let x(q) = q - 32. Let n(c) = -2*b(c) + 3*x(c). Let o be n(16). Is g >= o?
True
Suppose 5 = 5*u - 15. Let m be (-3 + -2 + u)*-1. Let g = m - 2. Is g <= -4/7?
True
Suppose 0 = 16*r - 12*r - 12. Suppose -r*k - 5 = -2*k. Which is greater: -6 or k?
k
Suppose -t - 7*t = 16. Let f be 6/8*((-8)/(-3) - t). Is 5 > f?
True
Suppose 8 = h + 9. Which is greater: 0 or h?
0
Suppose -16 - 28 = 4*m. Let x = -10 - -6. Let i = x - m. Which is smaller: i or 5?
5
Let t = 34 - 29.5. Let o = 0.5 + t. Is 0.1 > o?
False
Let m = 1.05 + -0.05. Let o = 8 + m. Let x = o + -10. Does x = 2/5?
False
Let u be (-2580)/638 + 4/1. Let i = -4/29 + u. Which is smaller: i or 0?
i
Let b(z) = 3*z**2 - 4*z - 87. Let l be b(0). Is l smaller than -87?
False
Let h = -776 - -589. Is h <= -191?
False
Let g(s) = s**3 + 29*s**2 + 31*s + 38. Let p be g(-28). Is -44 less than or equal to p?
False
Let i(x) = x**3 + 7*x**2 + x + 23. Let v be i(-7). Let q be v/24 + (-122)/(-6). Do 20 and q have the same value?
False
Let h(m) = -2*m**2 + 66*m + 12. Let y be h(33). Are y and 12 unequal?
False
Let c = 2/395 - -156/395. Let y be 30/8 - (-4)/(-16). Are c and y equal?
False
Let s be 4/(-6) + 145536/215712. Which is smaller: s or 0?
0
Let f = -40 + 46. Let w = 1.9 - 3.4. Let b = -1.3 - w. Which is smaller: f or b?
b
Let i = -57.6 + 49. Let y = i + 16.6. Are y and -1/12 unequal?
True
Let t(f) = f**2 - 7*f + 7. Suppose 3*q + q - 5 = -a, 2*a = 2*q + 10. Suppose o + 2*o - 18 = q. Let s be t(o). Which is greater: -2/17 or s?
s
Suppose 2*w + 17 = -5*n, n - 4*n - 11 = 2*w. Let u be 0/((3 + w)/1). Which is bigger: u or -12/19?
u
Let m be (-12)/42 - (-704)/14. Suppose -4*d = d + m. Let y(t) = -t**3 - 5*t**2 - 2*t - 1. Let o be y(-4). Is o > d?
True
Let t be (-72)/(-32)*(-8)/(-6). Suppose h = -k + 48, t*k + 3*h - 139 = -h. Do 54 and k have the same value?
False
Let y be 1/((-2)/174)*16/(-48). Suppose h + 4*f - 141 = 6*h, -2*f = 2. Let o = y + h. Which is smaller: 2 or o?
o
Let t be (-10 + 11 + 0)*(95 - -2). Which is smaller: t or 96?
96
Let n = -19 + 23. Let u be ((-35)/10 + n)*-23*2. Is u not equal to -23?
False
Let x = -12165/4 - -3041. Which is bigger: x or -29/3?
x
Let y be (-3)/(-4)*(-16)/22. Let b = -3331 + 13323/4. Which is smaller: b or y?
y
Suppose -6*w = -202 - 344. Let p = -62 + w. Suppose p*l = 24*l. Is 10/11 greater than or equal to l?
True
Suppose -6 = -2*y + 4*l, 31 = 6*y - y - 2*l. Suppose 2*p - y = -g, -2*p + 4*g - 22 = -4*p. Are 1/80 and p nonequal?
True
Let u = -1808/5 + 363. Suppose 5*o = -4*k + 3, -7 = -2*k + 5*o - 2*o. Is k >= u?
True
Let x be (-1)/(-4) + (-2)/8. Suppose -c - 2*i + 4 = 0, x*c + 4 = c - 4*i. Let h be ((-4)/(-10))/(3/45). Is h at least as big as c?
True
Let r be -1 + 2/(2936472/3170253). Let k = r - 3/22246. Let i = -9/22 + k. Which is smaller: 1 or i?
i
Suppose 3*o - 2*o = -12. Let k be (o/10)/((-330)/100). Which is greater: 0 or k?
k
Let f(t) = -3*t**3 - 2*t**2 + 5*t + 2. Let p be f(2). Is p smaller than -22?
False
Let u be (67/(-5))/((-32)/(-20)). Which is greater: -9 or u?
u
Suppose f + 2430 = 6*f. Let s = -5837/12 + f. Which is bigger: 0 or s?
0
Let v(i) = 18*i - 4. Let g be v(-2). Let t = -28 - g. Which is bigger: 16 or t?
16
Suppose -340 + 1332 = -8*m. Do m and -123 have the same value?
False
Let y