= -v + 163. Which is smaller: s or z?
s
Let k be 129/(-6) + 2/4. Let t = 137 + -137. Let i(y) = 3*y - 20. Let v be i(t). Is v < k?
False
Let n = -155 + 470/3. Let i = 5.6 - 85.6. Let b = -82 - i. Which is greater: n or b?
n
Let x be -32 + 4 + -4 + 4*-1. Let w be x/27*3/(-2). Let r = -0.074 + -0.126. Is w greater than r?
True
Let g be 1528/(-1392) - 126/(-108). Is -4/3 at most as big as g?
True
Let q(o) be the second derivative of o**5/20 - 7*o**4/2 + 27*o**3/2 - 11*o**2 + 4*o - 6. Let s be q(40). Are s and 18 nonequal?
False
Let w be (5/(180/8))/((-477)/(-27)). Which is smaller: w or -2/9?
-2/9
Let w be (-12207)/(-5) - 494/1235. Is w at least 2439?
True
Let b(d) = -18*d**3 - 2*d**2 - d - 8. Let j be b(-5). Let p = j + -52741/24. Which is greater: p or -2?
p
Let z = 2 + -3. Let g = -858 - -584. Let l = 11235/41 + g. Which is smaller: l or z?
z
Let r be 2/(-9) + 171/1134. Let q be (-56)/32*4 + 6. Is q greater than r?
False
Let k = 27501 - 27477. Let x = 37 + -8. Which is smaller: x or k?
k
Suppose 8 + 10 = w + 3*h, 64 = 4*w + 4*h. Let y be 5/1*18/w. Suppose 0 = 3*r + 4*a + 12, r + 26 = -91*a + 86*a. Which is smaller: y or r?
r
Let q = -0.487 - 0.513. Which is bigger: -2385 or q?
q
Let s(j) = -j**3 + 3*j**2 - j + 3. Let q be s(3). Let d(a) = -4*a + 28. Let i be d(8). Let m be (-1 - i - -2) + -3 + 1. Is q equal to m?
False
Let r be (-6584882)/19*(-3)/(-2)*-3. Let w = r - 1559011. Let i = -566 + w. Do -1 and i have different values?
True
Suppose 0 = -q - q - 6. Suppose -i = 3*w + 23, -60*w = -4*i - 56*w - 124. Which is smaller: i or q?
i
Suppose 4*l - 2*x + 0*x = -622, -4*l + 5*x - 607 = 0. Suppose 0 = -3*r - 2*p + 375 - 89, -3*p + 93 = r. Let s = l + r. Is s at least -62?
True
Let i = 408 - 410. Let m(x) = 32*x**2 - x - 2. Let z be m(i). Which is smaller: 382/3 or z?
382/3
Suppose -21*t + 7*t = -2*t. Is t at most 2/9?
True
Let b = -247 - -250. Suppose -b*s + 131 = -0*s - 4*y, 4*s - 182 = -2*y. Is s less than 47?
True
Suppose 4*t - 54 = 2*t. Let v be (-981)/(-12) - 3/4. Suppose 125*q - v = 122*q. Is t < q?
False
Let h be (((-5)/(-1))/10)/((-2)/8). Let y = -6573/299 - -279/13. Which is bigger: h or y?
y
Suppose 21*b + 20*b + 8411 = -204707. Are -5195 and b equal?
False
Let o = -7162 + 7181. Which is smaller: 38 or o?
o
Let r = 96 - 105. Let y be (74/6)/(3/r). Suppose 4*b = -3*t + 5*b - 113, 0 = 4*t - 4*b + 140. Do t and y have the same value?
False
Suppose l = -z + 51, l + 2*z - 30 = 25. Suppose 0 = -6*t + 10*t + 3*h + 82, 3*t - 5*h = -l. Is -16 != t?
True
Let h = 309679/7 + -44340. Which is smaller: h or -101?
-101
Let x = -435 + 233. Let q be 0 - (10/(-35))/((-4)/x). Which is smaller: 15 or q?
q
Let g = -33.51 + 33.427. Let s = -0.235 - -0.118. Let w = g + s. Which is smaller: -8 or w?
-8
Let s = -8605987/261 + 32973. Is 1 bigger than s?
True
Let n(g) = -542*g + 13. Let s be n(1). Let w = s - -685. Which is greater: 157 or w?
157
Let q = 451 - 442. Suppose 3*p + 10*k = 12*k + q, k + 4 = p. Is p less than or equal to 6/115?
False
Let g = -827 + 827. Let c be (-176)/3 - (-6)/9. Let r = 1101/19 + c. Is g not equal to r?
True
Suppose 2*q = -19*q. Suppose q = -4*y + 4*w + 12, 2*w + 2 = 9*y - 5*y. Which is greater: -46/15 or y?
y
Let g = 0.104 - -88.896. Let q = 44/3 + -14. Do g and q have different values?
True
Let y = 15.64 + 1.76. Let d = -17.1 + y. Which is greater: d or -3?
d
Suppose -40*b + 49*b - 31041 = 0. Let f = b + -58673/17. Do -3 and f have the same value?
False
Suppose 52*h - 2*r = 57*h + 4618, 0 = -2*r - 8. Which is bigger: h or -923?
h
Suppose -2*z + 3*u = 58, -u = -4*z + 52 - 158. Suppose 0 = s - 5*s - 112. Which is greater: s or z?
z
Let r = -106 - -105. Let k be (12 + -13)*(-2 - r). Let p = -35.978 - 0.022. Which is smaller: p or k?
p
Let o = -79.8 - -26.9. Let b = -52.8 - o. Which is smaller: 0 or b?
0
Let w(b) = 30*b**3 - 18*b**2 - 89*b + 7. Let v be w(-4). Is -1844 at least as big as v?
True
Let a(o) = 15*o + 4. Let n be a(12). Let l be 32*-3*(-4 - (-30)/9). Suppose 4*z - n + l = 0. Is 29 smaller than z?
True
Let r = -0.0254 - -0.1864. Let q = r - 0.061. Are q and 8/5 non-equal?
True
Let o = 3.4 - 41.4. Let c = -46 - o. Which is greater: c or 0.9?
0.9
Let b = -4123 - -4131. Which is smaller: b or 134/17?
134/17
Suppose -1821 = -12*z + 411. Suppose 3*k - 5*n = -z, 3*n - 294 = 2*k + 3*k. Which is smaller: -58 or k?
-58
Suppose 0 = -9*v - 5*n + 568, 0 = 97*v - 101*v + n + 217. Let x be (-257)/(1 + 22/(-4)). Is x >= v?
True
Let i be (-1)/((-21)/((-1155)/(-22)) + (-3)/5). Is -14/279 > i?
False
Let y = 1.91 - 79.91. Let z = 77.63 + y. Which is greater: z or -1?
z
Suppose 27*o = 1298 + 3967. Let x be (-6)/117*3 + (-35)/o. Which is bigger: 1/12 or x?
1/12
Let q be (2/(-12))/(71 - 7650/108). Let u be 1*2 - (-1290)/(-648). Is q at least u?
False
Suppose -330 = -5*f + 20. Let w be 15/(-5) - (-208)/f. Let g be 0/13*2/(-4). Which is greater: g or w?
g
Let y(h) = 2*h**2. Let l be y(1). Let w be (-11)/((-11)/l) - 2. Is w at least -6/163?
True
Let a be (2/8)/((8/(-4))/(-16)). Let g = a - -36. Which is greater: -3 or g?
g
Suppose 45*t - 49*t = 0. Let p(d) = d**3 + 2*d**2 - 3*d - 5. Let m be p(-2). Let w be ((1/(-15))/m)/((-70)/25). Which is smaller: w or t?
t
Suppose 5*t + 2 = 7*t. Let d = -95350/111 - -859. Which is smaller: d or t?
d
Let c = 66931/1169868 + -13/228. Is c less than or equal to -1?
False
Suppose 24 - 1 = l. Let g(c) = 45*c - 74. Let x be g(2). Let i = x - l. Which is bigger: i or -6?
-6
Let h be (-1 - (-54)/63)*(2 + 9/6). Let b = -406 - -283. Which is smaller: b or h?
b
Let y(h) = h**3 - 2*h**2 - 4*h + 4. Let p be y(7). Let x = -250 + p. Which is smaller: x or 0?
x
Let b = -29654 - -29653. Let l = -0.165 + 0.288. Is l bigger than b?
True
Let g(r) = 36*r - 3. Let y be g(5). Let w(d) = d**3 + 2*d**2 - 12*d + 3. Let u be w(2). Let p be (u/(-15))/(y/18). Is p < 1/3?
True
Let n(g) = -3*g + 76. Let x be n(19). Suppose 16*l = x*l - 96. Is l greater than or equal to 33?
False
Let o be -1 + 5 - (-2 + 5). Let u be (o/(-2))/((-546)/(-56)). Let w be (-2)/(-3) + -6*7/(-126). Which is smaller: w or u?
u
Let k be 0/(-239)*(-2)/(9/((-54)/(-24))). Let y = -257812/2051 + 880/7. Is k greater than y?
False
Let f be ((-1)/5959)/(-11 - (-70)/(5 + 2)). Is 1 < f?
False
Let o(g) = 34*g**2 + 6*g + 5. Let y be o(-1). Suppose -y = -6*b + 519. Let c = b - 63. Is 27 > c?
False
Suppose 4*n + 7971 = -8*t + 5*t, 0 = -4*n - 2*t - 7970. Is n bigger than -1992?
False
Suppose 18 - 16 = o, 0 = 4*q - o - 1186. Let k = 309 - q. Which is bigger: 5 or k?
k
Let k = -13334 + 15256. Is k smaller than 1924?
True
Let n = -1146 + 1278. Which is smaller: 7/2 or n?
7/2
Suppose -3*v = -6*v. Suppose v = 10*d + 12*d - 418. Let b be (-2)/(-1) - (-14 - 1). Which is greater: d or b?
d
Let h(s) be the first derivative of 94*s**2 + 9*s + 274. Let y be h(2). Is y less than 385?
False
Suppose 6*a + 24 = 9*a. Let t be (4*3/a)/(1 - -5). Suppose -r + 5*k - 13 = 0, -3*r + 0*r - 39 = -2*k. Which is bigger: t or r?
t
Let j = -9125 + 9782. Is 657 bigger than j?
False
Let x be 2/(-16)*-2 - (-3)/4. Let h(m) = 6*m - 6. Let k be h(x). Are k and -1/70 non-equal?
True
Let h(n) = -n**2 - n + 39. Let t be h(0). Let w(d) = 4*d**2 + 6*d + 4. Let a be w(-6). Let j = -561/5 + a. Is j equal to t?
False
Let p be 4/2 + 52/(-9). Suppose s - 3*j + 11 = 0, -4*s - 3*j + 1 = -6*j. Suppose 0 = m - 3, -m = s*k - k + 9. Which is greater: p or k?
p
Let r be 244/7 - (-6)/42. Suppose -r*l - 68 = -18*l. Which is smaller: l or 16?
l
Suppose 614 = 5*g - 3707 + 31. Is 4286/5 less than g?
True
Let l = 6.698 + -12.731. Let h = -0.033 - l. Let y = h + -6. Which is bigger: y or -4/29?
y
Suppose -4*p + 5*y + 340 = 0, -2*p - y = -p - 85. Let o = -84 + p. Is 11.4 equal to o?
False
Let m = 12550 + -50199/4. Are -2410 and m nonequal?
True
Let y = 5438.3 - 1669.3. Is y at least as big as 0?
True
Let l be 3 - 4/6*-3. Let w be (-1)/(-11) + 269*(-7)/(-462). Is w < l?
True
Let r = -14 + 14.6. Let s = -1.3 + r. Let g = -647 + 653. Is s < g?
True
Let n = 43/7 + -68836/11207. Which is bigger: -1 or n?
n
Let w = -1027 - -990. Which is greater: -19 or w?
-19
Let r = -12 + 12. Let s be (r + -1)/((-3)/(-171)*-1). Is 58 at most s?
False
Suppose -4*s - 3*t = -0*s - 11, -3*s + 2*t + 4 = 0. Suppose 63 = s*h + 33. Suppose k - 6*k = h, m - 3*k = -1