 + 5*q - 9 = 0, 2 - 8 = -i - 2*q. Let w = -69 - -37. Let y be w/(-12)*-1*i. Which is smaller: -31 or y?
y
Let z(c) = -2*c**3 + 74*c - 9. Let s be z(6). Which is greater: s or 136/59?
s
Let j = -4787.2 - -4787. Is 157 at most j?
False
Let i = 2916 - 3743. Do i and 1 have the same value?
False
Let d be (-38)/198 - 32/(-144). Let n = 11/28 - 1/4. Which is smaller: d or n?
d
Suppose -5*b + b + 10*t = 13*t, 0 = 2*b - 3*t. Which is smaller: b or 1/6364?
b
Let k(r) = -5*r - 141. Let z be k(-29). Let d be (-2*(2 + -4) - z)/3. Is -28/25 at least as big as d?
False
Suppose -3*q - 250 = -5*l - 245, 2*q - 2 = -2*l. Let y be 1/214*-1*1. Are y and l unequal?
True
Let d(t) = 5*t - 9 + t + 2*t**2 - t + t**3 - 5. Let v be d(6). Let h be 108/v - (-2)/(-8). Which is smaller: h or 1?
h
Let s = -5238 + 5233.92. Are s and 1/9 nonequal?
True
Let u(o) = 6*o + 86. Let g be u(-15). Is 154 at most g?
False
Suppose -11*r + 11 = -11. Let v be (r - 1 - 1)/((-1)/(-1)). Which is bigger: v or 5/7?
5/7
Suppose 0 = j - 34*j. Are j and 2/411 equal?
False
Let f(v) = 7*v**3 - 2*v**2 - 3*v + 4. Let q be f(1). Let k be (0 - 6/q)*3/(-3). Which is bigger: k or 2/17?
k
Suppose 5*q = p + 52 + 16, -p = 3. Suppose 0 = -8*w + q*w. Which is smaller: w or 3/715?
w
Let m = 3 + 3. Let n = -1151 - -1159. Suppose -n*d = -m*d. Are 2/25 and d unequal?
True
Let v = 622 + -387. Let u = -0.25429 - -0.35429. Which is greater: v or u?
v
Let y be (18/5)/((-54)/(-1440)). Let k = -94 + y. Suppose u = 4*b + 83, k*b + 0*u + 4*u = -64. Is b less than or equal to -20?
True
Suppose a + 4*a = -2*y + 282, -2*y + 2*a = -296. Suppose -y = -14*s - 6. Suppose k - s*k = 0. Which is greater: -2/3 or k?
k
Let z = 851 - 1374. Let g = z - -524.7. Which is greater: g or -16?
g
Suppose 4*k + 15 = -11*k. Let n be 15/(-4 + 1) + -1 + 1. Is k greater than n?
True
Let d = -286462/61 - -4696. Is d <= -1?
False
Let l be (-2)/(((-15)/57)/(45/(-18))). Is l smaller than -367/19?
False
Suppose 4*j + 11 = -13. Let o be ((-18)/(-6) - 9) + 4. Let i(v) = -v**3 - 3*v**2 + 4*v + 3. Let n be i(o). Are n and j non-equal?
True
Let j = 2335 - 2335. Which is greater: j or -32?
j
Let o be 1/(-3) - (-1)/3. Let a be 982 + (0 - 5) - 3*-1. Let k = a - 183258/187. Are o and k non-equal?
True
Let p = -2.47 + 124.47. Let k = p - 127. Which is greater: 4 or k?
4
Let k = -81 - -115. Let w = 5371 + -5407. Let t = w + k. Which is smaller: t or -2/3?
t
Let i(h) = h. Let t be i(-7). Let a be (-2)/7 - ((-156)/7 - -27). Which is bigger: t or a?
a
Suppose -4*g + 15 = -13. Let y = 6526 + -58676/9. Which is smaller: y or g?
y
Let p be (16/(-28))/((-2)/14). Suppose o = 4*n - 13, 0 = o + p*n - 5 + 2. Which is bigger: -3/11 or o?
-3/11
Let x = 56 - -40. Which is bigger: x or 581/6?
581/6
Let p(b) = 16*b**2 + 3*b + 2. Let c be p(-1). Let n be 9/c + ((-2)/(-5))/1. Let h be 1 - (2 + 20/(n/(-1))). Is 19 greater than h?
False
Suppose 4*d - 23 = -5*n, 16 = -4*d + 6*d + 4*n. Suppose 798 = -3*t - 3*u, 355 + 179 = -d*t - 4*u. Which is bigger: 0.1 or t?
0.1
Let b be (9/(-12))/((-354)/472). Is 12063 at least b?
True
Suppose 0 = -291*g + 66*g + 35100. Is g at most as big as 0.4?
False
Let y = 2306.6 + -2306. Let t = -47.8 + 49. Which is smaller: t or y?
y
Let q be ((-1)/(-3) + 0)*-15. Let z = -1 - q. Let w be 3 - (z - (-2 + 4)). Are w and 2/31 equal?
False
Let m be 876/(-9) + (-1)/(-3). Let a = m - -143. Let s = -46 + a. Which is smaller: 3 or s?
s
Let b(q) = -334*q**2 - 49*q - 48. Let i be b(-1). Is i >= -348?
True
Let c = -206 + 140. Let d = c + 332/5. Let y = -0.0301 - -31.0301. Which is greater: d or y?
y
Let t = 1/1692 - 3571/316404. Let y be (-53 - 2) + 10 + 10. Let w = 35 + y. Which is bigger: w or t?
w
Let b be 12/(-282) + 190066/943196. Which is greater: 0 or b?
b
Suppose -t - p + 11 = 2*p, t = 5*p - 21. Suppose 1895 = 21*w - 2662. Let q = 3041/14 - w. Is q greater than or equal to t?
True
Let k(s) = -275*s + 46. Let y be k(-10). Let g be (y/(-5))/6*(-10)/(-4). Which is bigger: g or -231?
-231
Let v be 2/(-8) + -2 + 310/(-8). Let y = v + 53. Let o = -36 + 48. Is o at most as big as y?
True
Suppose z + 318 = 7*z. Let i = z + -67. Let c be i/49 + 30/7. Which is bigger: c or 0.1?
c
Let p be (-1)/(-9 + 9 + (-3)/2436). Are 805 and p nonequal?
True
Let y = 382907/5 - 77342. Are -760 and y non-equal?
True
Let o = -0.292 - -0.2. Let t = -0.008 - o. Let f = 0.016 + t. Which is greater: -10 or f?
f
Let w be (-12834)/(-992) + 13*-1. Which is bigger: w or 77?
77
Suppose 102*s = -20*s + 244. Is 686 <= s?
False
Let c = -13262 + 13566. Do c and 2735/9 have the same value?
False
Let l = -118 + 107. Let i = -52 - -62.1. Let p = 10 - i. Which is bigger: l or p?
p
Suppose 0 = -46*j + 39*j - 1358. Let b = j - -180. Which is smaller: b or -59/4?
-59/4
Let r = 4 + -1. Suppose k + r - 34 = 0. Let o(d) = 7*d**2 + 118*d + 13. Let z be o(-17). Which is smaller: z or k?
z
Suppose 9 = 5*u + b, 3*u - b = 2*u - 3. Let y(j) = -3*j**2 - 4*j - 1. Let z(o) = 37*o**2 - 5*o - 6. Let i(l) = 2*y(l) - z(l). Let s be i(u). Is -41 equal to s?
False
Let o = -36268.046 - -36356. Let h = o + 0.046. Let m = h - 87.8. Is m at least as big as -0.2?
True
Let c = -9103371/188 - -48422. Is c equal to -1?
False
Let c = 357684/19 - 18821. Let v = -367/133 + c. Suppose -3*q = -4 - 2. Which is smaller: q or v?
v
Suppose -141 = x - 147. Let y be (-1017)/(-297) - 2/x. Which is greater: -1/3 or y?
y
Let a(i) = i**3 + 1. Let g be a(0). Let p = 3/3512 + 6373/762104. Which is greater: p or g?
g
Suppose 0*q - q = q. Suppose 2*a - 4*h - 4522 = q, 0 = -a - h + 6*h + 2255. Let y = -92871/41 + a. Is 0 bigger than y?
True
Let r be (-2)/((-4)/(-50))*(-72)/(-4). Let g be r/(-85) + 0 + -5. Is 1 greater than or equal to g?
True
Let b = 7.4 - 88.4. Let f = b + 119. Let k = 33 - f. Do k and -0.03 have the same value?
False
Let s = 887 + -2193. Is 1 > s?
True
Let m(z) = -2*z**2 + 7*z + 4. Let q be m(7). Let o = q - -49. Suppose 24 = -o*f - 16. Is -3 >= f?
True
Let r be -3*3/(45/(-790)). Let p = r + -146. Which is smaller: p or 13?
p
Let h be 2/9 - (-6328)/(-126). Let p be (35/h)/((-3)/(15/(-2))). Are -5 and p unequal?
True
Let k(p) = 87 - 166 + 86 + 8*p. Let c be k(-11). Which is smaller: c or 0.1?
c
Let i = -2577 + 2595. Is 11 < i?
True
Suppose 4*t = 5*u - 41, 18 + 3 = 5*u + t. Suppose 0 = 3*p + l + 70, -5*l - 7 = u*p + 93. Which is smaller: -24 or p?
p
Let r(n) = 3*n - 16. Let q be r(6). Suppose q*b - 94 = 4*m, 0*b - m = 3*b - 113. Let t be (-42 + b)*((-16)/17 + 1). Which is bigger: 0.1 or t?
0.1
Let s = 3.9 + -4. Let y = -103 - -103.64. Let i = 0.54 - y. Is s less than i?
False
Let z(n) = -31*n + 740. Let f be z(29). Which is greater: -1424/9 or f?
-1424/9
Let v(b) = -175*b + 14. Let n be v(2). Let f = 5038/15 + n. Is 0.2 greater than or equal to f?
True
Suppose 0 = -10*f + 1276 + 9204. Which is greater: f or 1050?
1050
Let u(c) = 2*c**3 + c - 7*c**2 - 295 + 107 + 98 + 99. Let b be u(6). Which is greater: b or 196?
196
Let z = 86 - 86.6. Let h = 9.6 + z. Let j = h + -8. Which is greater: 22/7 or j?
22/7
Suppose -5*w - 3*o = -0*w + 12, 0 = -2*o - 8. Let p be -3 + 1 + w + 2. Let c be 2*(p + -1) + -11. Which is smaller: -12 or c?
c
Suppose 56*m - 9570 = 27*m. Let v be 2 - (1 - 5)*4. Let o be ((-2)/(-3))/2 - m/v. Is o greater than -17?
False
Suppose -3*u + 15 = 3*n, -2*n + 2*u + 8 = -14. Let x be (-6)/n + 13/(1560/2950). Which is smaller: x or 23?
23
Suppose 5*d + 0 = 5. Let k = -166 - -160. Let u be 24/14 + (k/7)/(-3). Which is smaller: d or u?
d
Let n(w) = w + 87. Let i(s) = 3*s + 172. Let h(y) = 4*i(y) - 9*n(y). Let q be h(33). Which is greater: q or 20/7?
q
Let b = -0.42 + -36.58. Let h = b - -42. Let a = 5.3 - h. Is a smaller than -2/3?
False
Let q = 4976 + -4982. Let c = 0 - 1. Let w = c + 0. Which is bigger: w or q?
w
Let a = 0.32427 - 0.22827. Let f = 0.2 - 0.1. Which is bigger: a or f?
f
Let d = 15143/412 + -147/4. Suppose -62*c - 11 = -3*k - 60*c, -3*k - 1 = c. Do d and k have the same value?
False
Suppose -4*x = -2*f - 30, 4*x - 24 = -11*f + 15*f. Which is smaller: x or 321?
x
Let a be -32 + (-6 - (-21 - -16)). Let u be -1 + (6 - (-9)/(-3)). Suppose 69 = -u*v - 1. Is v smaller than a?
True
Let b(c) = -c**3 - 5*c**2 - 5*c - 1. Let v be b(-3). Suppose z = -2*l + 4*z + 14, -20 = 5*z. Let i be 1 + -2 + (1 - l). Is i bigger than v