q) = 3*q**3 - 6*q**2 + 3*q + 3. Let f be y(4). Suppose 538 = 12*h - 7*h - 3*n, -3*h + 310 = -5*n. Which is greater: h or f?
f
Let z be ((-4)/(-3) - 30/45)*12*-1094. Is -8752 < z?
False
Let t = -19 + 16. Let c = t + -3. Let f = -2.05 - -3.05. Are c and f nonequal?
True
Let o = -60 - -40. Let n = -224 + 242.7. Let k = o + n. Which is smaller: 2 or k?
k
Let g = -0.949 + 1.345. Let y = -4.396 + g. Which is greater: 15 or y?
15
Let k = -4631 - -273209/59. Is k smaller than -1?
False
Let c = -1723 + 1721. Let j be ((-1099)/(-645) - 1) + -1. Let m = 7/43 + j. Is c != m?
True
Let i = 0.4 + -0.16. Let x = i + -0.34. Let n be (2/10)/((-21)/(-60)). Is n at least as big as x?
True
Suppose 110*f = 57*f + 76*f - 9085. Is 384 >= f?
False
Let k be (-1)/2 + (-1020)/(-120) - 9. Which is smaller: k or 13/236?
k
Suppose 0 = -7*s + 2*s + 40. Suppose -3*a - 97 - s = 0. Let c = -38 - a. Which is bigger: -2 or c?
-2
Suppose -130*m = 58 + 134 - 62. Which is smaller: m or -2/1197?
m
Suppose -p + 6*p = -3*r + 69, 0 = 3*p + 4*r - 37. Suppose p*j - 14*j = -z + 4, 4*z + j = 22. Let k be 23/6 - 14/(-21). Which is smaller: k or z?
k
Suppose -12 = 2*z - 3*i, 0 = -56*i + 61*i - 20. Suppose -5*q + z = 3*v - 10, -5 = -5*q - 2*v. Let r be 0 + 0 + (-2)/(-35). Is q <= r?
True
Let w be 2/8 + 0/3. Let l = 2.40791 + -2.82291. Is w >= l?
True
Let n be (-228)/855*(-10)/(-684). Is n greater than -1?
True
Suppose -5*k + 66*r = 71*r + 270, 0 = 3*r - 18. Let q be (4/(-6))/(4/362). Let o = q - k. Are 3/7 and o equal?
False
Let r = -2122 - -2120. Which is bigger: 4/105 or r?
4/105
Let k = 190688 - 608485398/3191. Which is greater: k or 0?
k
Let r be (-128184)/1090*(-6 + 1). Which is smaller: 586 or r?
586
Let l be 17*3/255 - (-116)/(-5). Suppose 0 = -3*w - 44 - 10. Which is smaller: l or w?
l
Let z be (9 - 354/39) + 7/91. Is z > 8/483?
False
Let q be 128/22 + (60/(-33) - -2). Suppose -2*k - 5 = -15. Suppose q*i = i - k. Is 1/16 at most as big as i?
False
Let z be 188/28 + (-18)/(-63). Let i be 6/27 + (224/36 - z). Is i greater than or equal to 0?
False
Let i = -7.91 + -2.09. Is i not equal to 17?
True
Suppose 6*b - 8*b - 39272 = -9526. Which is smaller: 1/3 or b?
b
Let r = 16534 - 23636. Is r less than -7104?
False
Suppose 0 = 2*v - 2*r + 2278 + 2162, -3*v = 4*r + 6660. Is v at most -2221?
False
Suppose 6*m - 2*m + 2*y + 2 = 0, 3*y = 15. Which is smaller: -118/31 or m?
-118/31
Let j(r) = -2*r**3 + 50*r**2 + 22*r - 706. Let t be j(25). Is t less than or equal to -90?
True
Let c(m) = -65*m**2 - 189*m + 192. Let x be c(1). Let u(k) = 62*k - 1. Let i be u(-1). Are x and i non-equal?
True
Let t = -0.04207 + -362.65793. Let z = t - -335. Is z < -0.1?
True
Let z(n) = 3955 - 4*n**2 + n**3 - 23*n - 3940 - 5*n**2. Let a be z(11). Let p(h) = -h**3 + 5*h**2 - 5*h + 6. Let w be p(a). Which is bigger: -1 or w?
w
Let r = -701296/5 + 140732. Is r greater than or equal to 472?
True
Let v = -67 + 68. Let m be (-4*v/10)/((-4)/(-74)). Let w = m + 761/115. Is 0 < w?
False
Let q = 2.54 + 157.46. Let o = q - 160.1. Which is smaller: -151 or o?
-151
Suppose 0 = -4*z - 5*b - 0*b + 128, 4*z - 4*b - 164 = 0. Let v be (-3)/(30/(-32)) + 28/35. Let m be v/10*1/((-24)/(-2140)). Which is smaller: z or m?
m
Let g be -9 + (-16151)/(-269173)*(-17)/((-85)/750). Is g != 1?
True
Suppose 3*x - 6*j = -8*j + 4, -4*x - 4*j = -8. Let d be 52/(-49) - 12/(-12). Which is smaller: x or d?
d
Let u be ((-4)/10)/(2/200)*26/(-52). Are u and 9 non-equal?
True
Let v(c) = 645*c + 7088. Let d be v(-10). Is d bigger than 627?
True
Let s = 13210 + -13210. Let z be 278/142 - 2/1. Does z = s?
False
Let v be 6*(1 - (-1)/(-2)). Suppose -m - 4*x - 20 = 0, -2*m = 5*x - 10*x - 25. Suppose m*t + 5*g = -5*t - 80, -69 = v*t - 4*g. Which is greater: -18 or t?
-18
Let l = 0.9 + -0.1. Let h = l + 0.2. Let s = -58.109 - -58.809. Is h > s?
True
Let a = 5573 + -3262. Let y = 2297.07 - a. Let h = 14 + y. Is h < -1?
False
Let f be (-47)/(-5) - (-6)/(-15). Let a be (-6)/27 + 2/f. Let w be 19 - -1 - (-52390)/(-2635). Which is greater: a or w?
w
Let q be (8/(-60)*-3)/((-2)/240). Let l be ((-3)/9)/(8/q). Are 36/11 and l equal?
False
Let v be (-6 + (-264)/16)*16/(-12). Which is smaller: 50 or v?
v
Suppose -84 = d - 1057. Let x = d - 452443/465. Is x >= 0?
True
Suppose 5*n = -5*g - 45, -337 = -g - 345. Is 12277 less than or equal to n?
False
Suppose 4*g = -3*d - 10, 5*d + 128 = -2*g + 116. Which is greater: d or 90?
90
Suppose -34*i + 218 = 48. Suppose 4*x - 2 = 2*n, -5 = -10*x + i*x. Which is bigger: 4 or n?
4
Let u = 18530.1 - 18530. Which is smaller: u or 2.9758?
u
Let m = -4486 - -4482. Which is smaller: 39 or m?
m
Suppose 2*s - 352 = s. Let d = 233 - s. Let a = 183 + d. Is a less than 63?
False
Let s be (-206)/515*10/8*-2. Is s greater than -1/65?
True
Let m = -1/360 + 241/360. Let x = -7/6 + m. Are -1 and x unequal?
True
Let l = 5473/1520 + -1/1520. Let s = 16/5 - l. Is -122 not equal to s?
True
Let s = -7.98 + 20.924. Let j = -13 + s. Let p = -0.044 + j. Which is smaller: p or 0.25?
p
Suppose -5*q + 104 = 2*w - 3*q, q = -2*w + 101. Suppose 43*i - w*i = 282. Is i not equal to -47?
False
Let c = 3 + 26. Let n = c + -16. Suppose -17*i - 142*i = -2580 + 36. Are i and n unequal?
True
Suppose 0 = -3*q - 0*q + 69. Suppose 4*f + 26 = -3*n - q, 4*n + 3*f = -77. Suppose z - u + 28 = 0, -4*u - 109 = 5*z + 4. Which is smaller: z or n?
z
Let y be (-15)/6 - 660528/(-288). Is y at least as big as 2287?
True
Let t = -275 + 275. Let b be 1760/10010 + (t - (-4)/14). Let j(s) = -s**3 + 6*s**2 - s + 5. Let z be j(6). Which is bigger: b or z?
b
Let j(d) = -2*d**2 - 7*d - 6. Let k be j(-7). Suppose 0 = -1084*u + 1334*u + 8953 + 5047. Is k at least as big as u?
True
Suppose -480*t = -477*t - 3*s - 204, 3*t + 2*s = 189. Is t at least as big as 700/11?
True
Let w be -3*1 + 29946/9978. Suppose -1146*n + 1149*n + 35 = -5*l, -2*n - 5*l - 35 = 0. Which is smaller: n or w?
n
Let u = -43120073/44055 + 8809/9. Which is smaller: u or 0?
u
Let u(r) = -r**2 - 80*r - 701. Let z be u(-10). Is z less than 1/543?
True
Let i = 97.2 - 17.2. Let q = 77.4 - i. Which is smaller: q or 3?
q
Let r = 13544 - 13193. Which is smaller: r or 386?
r
Let j be ((-2)/(-4))/((4/14)/(408/(-2203166))). Which is smaller: 1 or j?
j
Let h be ((-8)/(-10))/((-13)/65). Let o be 7 + (0/4)/h. Let k be ((-4)/(-2))/(30/5*o). Is k >= -1?
True
Let u = 6.4 - 7.4. Which is greater: 1237 or u?
1237
Let o be 72/96 - (-45101)/(-12). Let t = o - -55366/15. Which is smaller: t or -67?
-67
Let w be ((-1*(0 - 1))/3)/(6923/11868). Which is bigger: -16/35 or w?
w
Let o(g) be the first derivative of 2*g**2 + 4*g + 2. Let q be o(2). Let u = 13 - 0. Is u < q?
False
Let m = -2 + 2. Suppose 0 = 3*o - 3*r, m = 3*o - o + r - 15. Suppose 5*l + 5*u = -5, 4*l + u - 4 = o*u. Is 2/47 at least as big as l?
True
Let p(a) = -2*a**3 - 101*a**2 - 147*a + 114. Let d be p(-49). Are d and 1 unequal?
True
Let b = -0.25848 + 0.29748. Let y = 27.98 + -28. Which is smaller: y or b?
y
Suppose 4*g - 136 = 2*p, g + 2*p - 29 = -0*g. Let v = g + 8. Which is smaller: 0 or v?
0
Suppose -2*k = -4*i + 30, i + k - 3 = 6. Is i at least 120/13?
False
Let m(q) = -q**3 - 9*q**2 + q + 7. Let h be m(-9). Let p be 0 + -40 + (3 - -1)/h. Let d = p + 53. Are 11 and d nonequal?
False
Let i = -5.572 + 5.972. Do 54.8 and i have different values?
True
Let d be (-1)/(5/8)*5/(-2). Suppose 3*v + v = y, d = y - 2*v. Let l be (-326)/y + 12/16. Which is bigger: -41 or l?
l
Suppose 4*q - 23 + 81 = -2*n, 3*n + 2*q + 95 = 0. Let g = 6 + -3. Let m be (-2 - -1)/(g/n). Which is greater: m or 10?
m
Suppose 47 - 3 = 4*y. Let o(p) = -8*p + 1. Let c be o(y). Which is smaller: c or 1?
c
Let n be (-3)/(-1)*(2/(-60) - 1011/3370). Let u be 1 + -9*(-1)/(-11). Which is smaller: n or u?
n
Let j be ((-2668)/(-6) - 0) + (-67)/(-201). Let f = -24931/56 + j. Which is smaller: f or 0?
f
Let h = -3359/759 - -136/33. Let j(k) = 42*k + 1135. Let i be j(-27). Is i bigger than h?
True
Let b = -0.06112 - -0.02555. Is b at least -1?
True
Let n = -36069 - -41182. Do n and 5113 have the same value?
True
Let b = 19995/11 + -1821. Let i(w) = -3*w - 1. Let z be i(1). Is b less than or equal to z?
False
Let m be (1/(-5))/((-12)/(-1750)). Let h = -2328 - -2299. Which is greater: h or m?
h
Let f be 1/(-5) - 17/(510/(-216)). Let q