
z
Let c(t) = -t**3 + 8*t**2 + 22*t - 37. Let v be c(11). Which is greater: -157 or v?
-157
Let t(u) = 10 - 6 - 5*u + 3*u. Suppose 0 = n - 0*n - 3. Let z be t(n). Which is smaller: -3/5 or z?
z
Suppose -5*c + 16 = -9. Let o = -6 + c. Let u be (3/(-17))/(69/46). Which is greater: u or o?
u
Let g = -912 - -1110. Do 202 and g have the same value?
False
Let u = -1 + 3. Let h be ((-1)/u)/((-3)/174). Is h smaller than 29?
False
Suppose 4*r + 3*t = 25 + 22, 0 = r - 5*t - 29. Let s = -16 + r. Let d be (-4)/(-6) - (-38)/(-21). Which is greater: d or s?
d
Let d(y) = y**3 - 7*y**2 - y + 6. Let t be d(7). Let x(p) = -p**2 + p + 1. Let i be x(t). Which is smaller: -1/15 or i?
i
Let t(f) = -f + 1. Let r be t(-4). Let q be (r - 8)*(-16)/(-6). Let s be q/(-66)*(-12)/(-8). Is s <= 1?
True
Let j(v) = -5*v**2 - 2*v + 2. Suppose 0 = -6*m + m + 5. Let z be j(m). Suppose -d + 5*b = -19, -d + 0*d - 26 = 4*b. Is z at least d?
True
Let d = 2.3 - 3.2. Let z = d - -1. Let v be (6/16 + 0)/(25 - 1590/60). Do z and v have different values?
True
Let w be 38/12 - (-27 + 31). Are w and -0.04 nonequal?
True
Let d be (1 - -1)*1/(-8). Let p = 0.10196 + -125.16196. Let x = -125 - p. Is x greater than d?
True
Let y(o) = o**3 - 7*o**2 - 79*o + 13. Let z be y(13). Let a = -26/25 - -336/275. Which is smaller: z or a?
z
Let z = -145.3 - -126. Let g = -20 - z. Are -0.2 and g equal?
False
Suppose -5*s - 437 = -0*s - 4*x, -2*s - x = 167. Let w be 4/(-10) - 34/s. Let d be (-3 + 1 + w)*-1. Is d >= 4?
False
Let q be ((-48)/(-18))/((-4)/(-6)). Suppose 115 = -q*l + 119. Is l less than or equal to 1?
True
Let o = 0.15 - 0.25. Which is bigger: o or 53?
53
Let m(l) be the second derivative of -2*l - 3*l**2 + 0 - 2/3*l**3 + 1/12*l**4. Let z be m(5). Is -2 greater than z?
False
Let a(y) = 7*y**2 - 3*y - 10. Let m be a(2). Which is bigger: m or 2?
m
Let g = 21098702/4715 - 22374/5. Which is bigger: g or -1?
g
Let r = 25 - 19. Let n be ((-113)/r)/(10/(-35)). Let l = -66 + n. Which is greater: -2 or l?
l
Let m(d) = -d**2 + 4*d + 3. Let u be m(-3). Let f(o) = o**2 + 21*o + 90. Let t be f(-12). Are u and t unequal?
False
Let l = -60 - -59.8. Which is smaller: 7 or l?
l
Suppose -q = -4*j + 29, 5*j - 2*q = j + 30. Let s be 33/110*(j - 2). Is 2 bigger than s?
True
Let w(t) = -9*t + 17. Let m be w(2). Is m not equal to -3/1414?
True
Suppose p + 1 = -3*b - 0, 0 = 3*p + 2*b + 10. Let o(i) = 2*i + 3. Let z be (-11)/4 - (-1)/(-4). Let k be o(z). Which is smaller: p or k?
p
Let u = -385.07 + 1208.54. Let d = u - 829. Let k = -5.3 - d. Which is bigger: k or 1?
1
Let j = 18 + -41. Let c = j - -18. Let d = -5/3 + 2. Which is smaller: d or c?
c
Let f be (3/(-138))/((-24)/(-416)). Which is bigger: -1 or f?
f
Let g be (4 - 3 - (0 - -20))*-1. Suppose g*o = 10*o - 153. Suppose 3 = 2*c + 37. Is c at least o?
True
Let n = -227 + 238. Suppose -2*x + 4 + 8 = 0. Let q(a) = -a**2 + 8*a - 1. Let v be q(x). Is v bigger than n?
False
Let b be ((-2)/3 + 0)/(2/(-18)). Which is smaller: 0 or b?
0
Let n be (49/42)/(-7) + 11/(-6). Which is bigger: n or -2/3?
-2/3
Suppose 83*w - 906 = 89*w. Which is greater: w or 0.4?
0.4
Let m be 4 - (-6 + 4 - (0 - 12)). Let s be -5*m/(-90)*(-1 - 23). Which is smaller: s or -4?
-4
Let t(o) = -11*o + 37. Let b be t(3). Is 17 != b?
True
Suppose 5*k + 3390 = -25*k. Which is greater: -112 or k?
-112
Let d be 9/6 + 6/(-4). Suppose 3*x = -0*x + 4*g + 29, 5*x - 2*g - 25 = d. Is -1 <= x?
True
Let f = -0.03 + 0.33. Let i = -0.1 + f. Let o = -4054 - -4059. Is o < i?
False
Let d be (10/(-2) - 140)*1. Is -145 at least as big as d?
True
Let n be (-9)/(9/4) + 2/1. Is n at most as big as -17/20?
True
Let z be 1/((-2)/(-10)) - 6. Let y be 1/(((-3915)/6)/(-5) - z). Which is bigger: y or 1?
1
Let r(i) = -4*i - 1. Let h be r(-1). Let q = 0 + h. Let b = -91/2 + 47. Is q at most as big as b?
False
Let k = 92.4 - 91. Which is smaller: 6/7 or k?
6/7
Let a = -0.625 + 0.095. Let w = 0.59 + a. Which is greater: w or -1?
w
Suppose 33*q - 29*q = 4. Let u be 1/(2 + (q - 1)). Let v be (2 + (-16)/6)/1. Which is smaller: v or u?
v
Let n = -15 - -20. Let b(f) = n + 0 - 2 + f - 11. Let s be b(9). Which is greater: s or 12/5?
12/5
Let n = -0.57 + 0.27. Is -12 at least as big as n?
False
Let b = -13 - -15. Suppose 4 = b*j - 2. Which is bigger: 4 or j?
4
Suppose -5*l - 12*p - 290 = -16*p, 0 = p - 5. Does -57 = l?
False
Let z = -112 + 111. Is 2/5 at most z?
False
Let y be 1 - -2 - (-2 - (-25)/5). Let b be (-4)/(-14)*(1 + 66/(-69)). Is b >= y?
True
Let t = 334 - 691/2. Let d be 1 - -106*(-3)/(-36). Let y = d + t. Is y equal to -3?
False
Let x = 1202 - 1202. Is x > -10/347?
True
Let u(z) = -z**2 + 16*z + 3. Let x be u(12). Suppose -4*g + x = -3*l, 2*g - g - 7 = -5*l. Does 12 = g?
True
Suppose -p = -4 + 2. Suppose 4*m - p = 2. Let z be 2*-2*-1 + 602/(-154). Is z != m?
True
Let i be 1/(-2) + (-350)/(-812). Is -2.5 less than or equal to i?
True
Let v be (2079/(-36))/((-11)/(528/18)). Which is smaller: 305/2 or v?
305/2
Let b be 36/(-24)*12/10. Let r = -627 - -629. Which is bigger: r or b?
r
Let p be -3 - -2 - (16 + 7). Let g = -114 - -89. Which is smaller: g or p?
g
Let n = 4585 + -4584. Let k = -2 - -6. Suppose 0 = 2*g + 2*g - k. Is g greater than n?
False
Suppose -5*x + 237 = -4*o - 103, 0 = -3*x + 3*o + 201. Let u = x - 2662/37. Which is smaller: -2/5 or u?
-2/5
Let h be 10 + -2*(-5775)/(-1160). Which is greater: h or 0?
h
Let q(y) = 4*y**2 - 2*y + 2. Let n be q(-7). Let f = 387/2 - n. Let r = f + 19. Is r less than 0?
False
Let h be ((-8)/10)/((-10)/(-175)). Let y be 116/14 + 4/h. Suppose 4*q - 32 = -y. Which is smaller: q or 7?
q
Let h be (15/12)/((-23)/8 - -3). Let l be 0 + h/(-45) + (-4)/(-18). Let t be (0 - -1) + (-10)/8. Which is greater: t or l?
l
Let k be (30/(-24))/(13/12 + 0). Which is bigger: k or -2?
k
Suppose -10*d - 607 = 2*o - 11*d, 0 = -4*o + 5*d - 1217. Which is smaller: o or -304?
-304
Let u = 0.7 + -2.2. Let i = 1.5 + u. Let c = -5 + i. Is 2/3 less than c?
False
Let f = -144 + 241. Let s = f - 94. Is s bigger than 9/4?
True
Let w be 5 - 45/63*7. Which is bigger: 3/28 or w?
3/28
Let d be (1*(-8)/(-340))/(7/888925). Let n = -2988 + d. Is 0.1 bigger than n?
True
Let c = -30 - -24. Let i(h) = -h**2 - 4*h + 11. Let k be i(c). Let n(d) = -d**2 + d. Let f be n(0). Which is bigger: k or f?
f
Let q = 2027 + -160131/79. Let i = 31 - 31. Which is smaller: i or q?
i
Let t be 4/10 - (-1428)/105. Let n = 3.7 + -4. Is t equal to n?
False
Let o(s) = -5*s**2 - 3*s + 3. Let v be o(-4). Let l be (-1)/(2/(-1 + v)). Let q be -1 + l/(-39) + 2. Are q and -0.1 nonequal?
True
Let f(u) = 22*u + 3. Let s be f(4). Let b = s + -1093/12. Suppose -5*w + 5*d = -7 + 22, 15 = 5*d. Which is greater: b or w?
w
Let n = 152 + -153. Let y = -6 + 4. Let m be (y/(-95))/(-1)*-1. Which is greater: m or n?
m
Let d(x) = 4*x - 6. Let r be d(3). Let i be r/4*8/3. Which is greater: i or 0?
i
Let s = -41.72 + 42. Let b = 5 - 5.72. Let j = s - b. Which is smaller: -0.4 or j?
-0.4
Let r(n) = -n**2 - 13*n - 32. Let d be r(-14). Let x = d - -46. Let y be 1*1/12*2. Do y and x have different values?
True
Suppose 0 = 27*l - 72 - 144. Let u be ((-2)/5)/((-1)/15). Which is smaller: u or l?
u
Suppose -44 = 6*l - 56. Which is greater: l or 91?
91
Suppose 2*l - 2*z - z - 520 = 0, l + 4*z = 238. Are l and 252 nonequal?
True
Suppose 2*c + 4*c = 18. Let s be -1 + 2 + 2/(-2). Which is greater: s or c?
c
Suppose 126 = 5*x + 1. Suppose 4*y - x + 17 = 0. Suppose -2 + 31 = 3*w + m, -4*w - y*m + 42 = 0. Is 8 < w?
False
Let v = -86/53 - -687/848. Let f be 0*(-10 - -14 - (-176)/(-48)). Which is smaller: v or f?
v
Let h = -162042224/2687 - -60306. Is 0 not equal to h?
True
Let c = 476.03 + -476. Which is bigger: c or 2/45?
2/45
Let t = 16739/636 - -3/212. Which is smaller: t or 27?
t
Suppose 5*q + 457 = -4*v, 0 = 7*v - 13*v + 3*q - 633. Do -112 and v have the same value?
False
Let a(h) = h**3 + 10*h**2 - 95*h + 16. Let n be a(-16). Which is smaller: n or 2/249?
n
Suppose 0 = -a + 3*t - 10, 2*t = a - 3*t + 16. Does 0.92 = a?
False
Let q = -71 + 86. Suppose 0 = -4*d + 2*y + 2, -d + 0*y = -y. Which is smaller: q or d?
d
Suppose -2*l = 4*j + 2 + 12, 0 = -3*l + j - 7. Let p be 15/6 - l/6. Suppose -4*o + p*s = -0 - 15, -3*o - 5 = s. Is -5/7 smaller than o?
True
Let z = -20 - -21. Let l = 12 +