+ -1549. Suppose 946*x + 24 = h*x. Is -3 bigger than x?
False
Let c = 108594/917 + 768/131. Is 124 at most as big as c?
True
Suppose 43*f = 4*f + 27495. Let g = -431 + f. Which is bigger: g or 275?
275
Let k = -3.2632 + 20.3122. Let w = -0.049 + k. Let q = 26 - w. Which is greater: q or 2?
q
Let f = 359/8109 - 1/153. Let x be (-6130)/42 + 4/(-70)*-5. Let c = 145 + x. Is c bigger than f?
False
Let a(o) = -2*o - 40. Let l be a(-13). Let t be (-90)/(-180) - (133/10 - 0). Which is bigger: t or l?
t
Let r(n) = -n**2 + 12*n - 33. Let t be r(9). Let m be 3*(-10)/t - 20. Which is smaller: m or -16?
-16
Suppose 37*n + 21*n + 76410 = 13*n. Is n equal to -1700?
False
Let m be (-3 - (-2 - 1)) + -9. Let p be 3*(-2)/m*-3. Let f = 3512 - 3512. Which is smaller: p or f?
p
Suppose 3*z = 22 - 19. Suppose 5*u + 34 = -7*d + 6*d, z = u. Is -40 bigger than d?
False
Let q = 97 - 79. Let v be 18/81 - 1192/q. Is -67 less than v?
True
Let g = 155 - 155. Let k = -68 - -35. Which is bigger: g or k?
g
Let h be ((-1)/((-15)/9410))/(1/(-3)). Let u = h - -172. Let z be (12/u)/(1/3). Which is bigger: z or 0?
0
Let p = -8618 + 8619. Which is smaller: p or -143/5?
-143/5
Suppose 11*b = -61 + 17. Let u(d) = -d**2 + 3*d - 4. Let m = -12 + 15. Let t be u(m). Is b not equal to t?
False
Let n = -5938 - -777874/131. Suppose 4*c = -2*z + 8 - 18, 3*c = 4*z + 9. Which is smaller: c or n?
c
Let t = -1.5861 + 1.4861. Which is smaller: t or 449?
t
Suppose 3*v + 16 = -t, -4*v + 42 = 4*t - 6*t. Let z = -17 - t. Suppose -z*r - 2 = -3*r. Is -0.1 greater than r?
False
Let l(g) = g**2 - 8*g + 17. Let o be l(5). Suppose -2*q + q = -5*i - 8685, -4*q + 8670 = -5*i. Let z = 26092/15 + i. Are z and o nonequal?
True
Suppose 0 = -2*a, 0 = 4*z - 5*a - 294 - 2. Let b = 71 - z. Are b and 4 unequal?
True
Let j be -3*(80/15)/4 - 4902/(-39). Does 123 = j?
False
Let u = 2/198327 + 574991/1982278365. Is -1 less than u?
True
Let h be 17/10506*(-24)/(-10). Which is bigger: 0 or h?
h
Suppose 0*t - 151 = 2*z - 3*t, 0 = 2*z + 5*t + 143. Suppose x = -3*s + 6*s - 60, -15 = 3*s. Which is smaller: x or z?
x
Suppose 92 = -41*i + 37*i. Does i = -24?
False
Let o = 16.7 - 129.7. Let t = o + 124.1. Which is greater: 1 or t?
t
Let z be (-4588)/(-20) - 4/((-20)/(-7)). Is 682/3 <= z?
True
Let b(w) = 13*w**2 + 6*w - 14. Let h be b(6). Let q be ((-2)/3)/(h/30). Let z = -0.9 + 2.9. Which is smaller: z or q?
q
Let z(l) = 6*l - 48. Let o be z(8). Let d be (-2 + (o - -2))*1. Suppose r - 5*f - 23 = d, 5*r + 2*f + 30 = -2*f. Does r = 8?
False
Let x = -0.0429 + 0.0979. Let v = -0.0813 - 1.9737. Let q = x + v. Is q < 0.4?
True
Let x = 123.2 + 23.8. Which is greater: 1 or x?
x
Let p = -4841 + 4841.4. Which is smaller: p or -7/12?
-7/12
Let a(p) = -310 - p**3 + 299 - 6*p**2 - 3*p**2 - p. Let d = -10 + 1. Let w be a(d). Is -9 < w?
True
Let t(n) = -149*n - 9. Let z be t(-1). Suppose 0 = -2*c - 12*c + z. Which is greater: 45/4 or c?
45/4
Suppose -5*n + 40 = -r + 11*r, 2*n + r = 7. Which is smaller: 116/51 or n?
n
Let w = -114 - -113.795. Let f = -0.805 - w. Which is greater: -6 or f?
f
Suppose -9*y + 4*y = -10*y - 260. Is -2 at most as big as y?
False
Let k = 198 - -229. Suppose -8*q = -29*l + 31*l - 3398, 2*q - 2*l - 882 = 0. Is q bigger than k?
True
Let f = -3439 + 3431. Is 241 at least f?
True
Let x = 55564/9 - 6174. Which is smaller: 35/86 or x?
x
Let l(d) = 9*d - 1656 + 1662 + 7*d. Let n be l(2). Suppose n = 3*x - 2*x - 5*r, -114 = -4*x + r. Which is greater: x or 27?
x
Suppose -5*k + 0 = -3*a - 15, a + 15 = 5*k. Suppose -b + 5*b + 152 = 4*d, -5*b = -k*d + 188. Which is smaller: -38 or b?
-38
Let t(d) = 3*d**2 - 7*d - 2*d**2 - 37 + 38. Let f be t(7). Let g be 0 - (-5)/((-70)/(-6)). Which is smaller: g or f?
g
Suppose -2*t - 1 = -5. Let m(j) = j - j**2 - 3 - j**2 - j**2 + j**3. Let y be m(t). Is -4 less than y?
False
Let c be (-32*(-102)/651712)/(2/52). Is 0 not equal to c?
True
Let a = 99 + -297. Let y be (4/(-91))/(-4 + a/(-63)). Which is bigger: y or 1?
1
Let c = -18908/7 - -2701. Which is smaller: -48/17 or c?
-48/17
Suppose 5*j - 3 + 2 = 4*g, g = -4*j + 5. Let z be 11/55*-6*5/(-489). Is j < z?
False
Let t = 160/621 - 14/27. Suppose 2*k + k = 0. Let u be (4 - 2) + (k - 1). Which is smaller: t or u?
t
Let o(g) = -2*g**3 - 3*g**2 - 3*g. Let a be (-2 + 0)*(-11 - -12). Let v be o(a). Suppose 6 = 4*y - 3*y. Is y equal to v?
False
Let u = -4481 - 5964. Is u at least as big as -10445?
True
Let v be (-2)/2 - 9 - (-260 + 259). Which is smaller: -2/113 or v?
v
Let j = -25.968 - 0.032. Let p = j - -25.976. Let a = p - -8.024. Is a < 0?
False
Let u be (91/(-26) - -2)*(-851 + -1). Is u at least as big as 1277?
True
Let h = -6021 - -6023. Which is greater: h or -6219?
h
Let v = 513271/3188 + -161. Does 1 = v?
False
Let j(p) = -71*p - 421. Let r be j(-6). Which is smaller: r or -166?
-166
Suppose -15*u - n = -17*u - 201, -422 = 4*u + 2*n. Which is smaller: u or -97?
u
Let s = 1914/3427 - 3540601/7916370. Let q = -6/77 + s. Let j = -987 + 987. Which is greater: q or j?
q
Let d = -101/12 - -33/4. Let t = 237.23 + -5.23. Let z = t - 234. Which is bigger: d or z?
d
Suppose 0 = -x + 35 - 12. Let q(f) = -38*f - 7. Let p be q(0). Is x < p?
False
Let y = 1.955 + -0.955. Let v = 0.01 + -0.31. Let z = 1.7 - v. Which is smaller: y or z?
y
Let u = 2.3196 + -2.35. Let g = -0.1696 + u. Which is greater: -40 or g?
g
Let h = 2059/1298 + -37/118. Are h and -20 equal?
False
Let c = -33.5 + 31.91. Let x = c + 0.09. Let g = 1.5 - x. Is g at least as big as -0.3?
True
Suppose 27*s + 4115 + 10600 = 0. Is -549 less than or equal to s?
True
Let g = 10732 - 10732.1. Which is smaller: g or 45/271?
g
Let o be (-18)/2 + (-56 - -59). Let a be (-2)/(-4)*12/(-14). Which is greater: a or o?
a
Let p(m) = m**2 - 3*m - 41. Let f be p(8). Let l be (1/(-13))/((-4)/(-124)) - f. Let d be 3 + 7/(-2) + 10/20. Which is bigger: d or l?
d
Let k(v) = -5*v - 27. Let h be k(-6). Suppose -11*i - h = -8*i. Let x = -36577/100 + 1465/4. Is i less than x?
True
Let f be -3 - (3504/(-696) - -2). Let b be (-12)/(-8)*1*2. Which is greater: b or f?
b
Let r(x) = 759*x + 8349. Let a be r(-11). Which is bigger: 4/4991 or a?
4/4991
Let m = 284.58 - 292. Let l = -4.42 - m. Suppose 2*p + o = 4*o + 12, 37 = 5*p - 4*o. Is p greater than l?
True
Let w = -10776 + 10775. Is -38/241 bigger than w?
True
Let z(x) = -31*x - 1404. Let c be z(-44). Which is smaller: c or -279/7?
c
Let o = 379 - 447.7. Let w = o - -68.6. Is w less than 2.8?
True
Let d = -0.78 - 0.04. Let j = -12.76 + 13.6. Let t = j + d. Is t >= 2?
False
Let i(g) = -g**2 - 8*g - 10. Let d be i(-7). Let k(f) = -f**2 - 2*f + 2. Let h be k(d). Let x = 6 - 12. Which is smaller: h or x?
x
Let v be 2/5*(-1)/((-2)/25). Suppose 5*d + 13 = -5*k - 7, -2*k = -v*d + 36. Let y be (6 + -9)/((-6)/(-16)). Is k smaller than y?
False
Let s be (85/(-4))/(((-2)/24)/(6724/(-246))). Is -0.1 != s?
True
Let p(l) = 11*l**2 + 22*l - 36. Let m(u) = -7*u**2 - 15*u + 24. Let k(h) = 8*m(h) + 5*p(h). Let r be k(-10). Let q be r/9*15/410. Which is bigger: q or 0?
q
Let r be ((-2)/4)/((-2)/100). Suppose 110*y + 8450 = 115*y. Suppose 59*f - y = -6*f. Which is bigger: r or f?
f
Suppose 0 = -115*y + 353278 + 350637. Is 6121 at most y?
True
Let n = -0.657 - 10.143. Let c = -0.082 + 7.882. Let g = c + n. Which is smaller: g or 6/7?
g
Let n = 136 + -140. Let i be (-6)/236*-26 - n/(-6). Are i and 1 equal?
False
Let r = 171.94681 - -0.05319. Which is smaller: r or 0.4?
0.4
Suppose 2248 + 915 + 6712 = -79*g. Which is smaller: g or -131?
-131
Let i be (-1350606)/(-184) - 18/(-24). Is i equal to 7341?
True
Let n be -10*(1 + (-9)/6). Suppose n*l + 0*w + 172 = 2*w, w + 76 = -2*l. Let u be 8/l + (-96)/(-189). Which is greater: u or 0.04?
u
Let m = 8.3 + 39.7. Let w = -6.6 - 42.4. Let b = m + w. Which is smaller: b or -4/15?
b
Let x be 12/(-22) - 560795/(-8437). Let k = x + -66. Which is smaller: 1 or k?
k
Let x = -8105.74 + 8102. Let k = -34 + 32.74. Let g = x + k. Is g < 0.2?
True
Suppose -90*z + 171*z = 91*z + 10. Is z equal to 10/281?
False
Suppose -15103*j = -15085*j - 12564. Is -0.2 != j?
True
Let i = -388648/199 - -1953. Which is smaller: 0 or i?
i
Let a = 7918 - 7943. Do 158 and a have different values?
True
Let g = -8.7118 - 1.2882. Which is smaller: -3/89 or g?
g
Suppose -125*b - 163 = -