 + 18 = o. Let w be d/10 + (-12)/54. Is 1 > w?
True
Suppose 18*z = 2*i + 23*z + 59, 5*z = 2*i - 31. Let g = -8 + 4. Is i > g?
False
Let g = -6908242/9 + 2273585/3. Let p = g + 9734. Which is smaller: 14 or p?
p
Let k = 121278151528/207 - 585881922. Let t = k + -2868. Does t = 0?
False
Let h be 2/(((-5)/(-10))/((-18)/10968)). Let x = h + 742/43415. Are x and -1 equal?
False
Let c be (-9)/(-516)*4/(-6). Let q = c + 1819/1118. Let a(x) = -5*x - 24. Let i be a(-5). Is q greater than i?
True
Let g = 4.7 + -5. Let w be 10 - ((-2)/6*-3 - 0). Let f(o) = 2*o - 20. Let h be f(w). Which is smaller: g or h?
h
Let q be (-102 + 94)*(-1)/68. Which is bigger: q or 79?
79
Let a be (4/210)/(182/130). Let w be 3/(4 - 7) - 0. Which is smaller: a or w?
w
Let d = 69 - -51. Suppose -s + d = 122. Let h = -0.5 - -0.2. Which is smaller: s or h?
s
Let i = -723304 - -394200893/545. Let s be -1 + -2 - (-1640)/545. Let d = s + i. Which is smaller: 0 or d?
0
Let o(x) = -x**3 + 5*x**2 - 4*x - 23. Let i be o(-3). Let j be i/(-61)*(0 + (-1)/(-5)). Which is smaller: j or 1?
j
Let t = -4/13889 - 3249982/152779. Which is smaller: t or 1?
t
Let f = -1133271/11 - -102955. Let v = 347020/4983 + f. Which is smaller: v or 0?
0
Let f = -17 - -17.19. Let q = -86.19 + f. Let r = q - -125. Is -0.1 at least as big as r?
False
Let h = 361 - -270. Let g = h - 647. Are g and 1 non-equal?
True
Let p be (-54)/36 - 1*-1. Let v = -39 - -30. Let u be ((-384)/v)/(-8) + 3. Which is greater: p or u?
p
Let h = -961 + 1447. Let j = -457 + h. Let u = 32 - 1. Which is greater: j or u?
u
Let x = 21271 + -21271. Is -1/6221 smaller than x?
True
Let g be 2 - (16121 - (-7)/(49/56)). Do -16127 and g have different values?
False
Let v = -0.15378 + 7.15378. Which is smaller: v or -1/1759?
-1/1759
Let j = -11061/7 - -1579. Are 8 and j equal?
False
Suppose -3*r + 2 = -f, -6*f = r - 10*f - 8. Let k = 1 + -0.4. Let c = k - 0.4. Do r and c have different values?
True
Suppose 3*n - 2*o = -42, 5*n - 4*n + 1 = 5*o. Let j be n/104 + (-1822)/(-13). Suppose 5*m + 3*z + j = -2*z, -108 = 3*m - 3*z. Is m greater than or equal to -30?
False
Suppose o - 4*o - w + 295 = 0, -3*w = -o + 85. Suppose 2*f - 2*r - 202 = 0, r - 4*r - o = -f. Suppose l = 2*z - 41, 3*l + 2*z + 2*z = -f. Does -37 = l?
True
Let q = -4704 + 10976. Which is smaller: q or 6273?
q
Let u be 1/(-1)*(4 + (-118 - -5)). Let q = 67 - u. Let z be (177/q - -4)*(-8)/(-6). Which is smaller: 1 or z?
z
Let g(h) = h**3 + 7. Let l be g(0). Suppose 5*n + 49 = 2*v, 3*n + 6092 = 5*v + 6017. Which is smaller: l or v?
l
Let b = 473.9497 + -474. Let v = 32.9497 - b. Which is smaller: 1 or v?
1
Let o = -317 + 463. Let p = o - 271. Are 0 and p equal?
False
Suppose 18 = -3*h + 4*s, 4*h - 525 + 574 = -3*s. Let r(a) = 3*a**2 + a - 4. Let y be r(-3). Let m be (y/6)/(1/(-3)). Is h <= m?
True
Let m be (-19999)/(-42) + 2 - (-130)/156. Is 479 bigger than m?
False
Suppose -u - 71*u - 16571 = u. Is u > 8?
False
Suppose 244 = -3*p + 5*z, -230 = 3*p - 0*z + 2*z. Suppose 0 = 3*x + 12, 3*q + 5*x - 365 = 8*q. Which is smaller: p or q?
p
Let t = 28.5 + -53.5. Is -13/31 at most t?
False
Suppose -3*x + 3*j - 177 = 0, -4*x + 102*j - 105*j - 215 = 0. Suppose -220 = 2*f + 2*f. Which is greater: f or x?
f
Suppose -245 = 7*n - 12*n. Suppose -n*o + 35*o + 6468 = 0. Is 463 > o?
True
Let u(n) = -44*n + 12. Let i be u(1). Let z be (-45)/62*i/(-12). Which is greater: z or -3?
z
Let v(f) = -2*f**2 + 54*f - 155. Let q be v(23). Which is bigger: -294 or q?
q
Suppose 8*c - 1953 = -c. Let f = -210 + c. Suppose v - 5*v + 38 = k, 4*v - k - 42 = 0. Which is bigger: f or v?
v
Let c be (-40)/10 + 30/(-1). Let j = c + 39. Let g be 2/2*(-7)/j. Which is bigger: g or -1?
-1
Suppose -5*z = -5, -4*z + 6*z = h + 674. Is h at least -672?
True
Let a be 19244/(-22) + (-165)/605. Which is smaller: -877 or a?
-877
Let v be 1/4 + 0*(-1)/(-1). Which is bigger: v or 13?
13
Let r = -0.0527 + 0.1129. Let g = r - -29.0398. Let z = g + -29. Is 1 at least z?
True
Let x = -3075 + 3076. Let z be (4/7)/(333/21). Is x >= z?
True
Let q be 13/(-65) - ((-6)/45 - 159/(-1530)). Is q equal to 0?
False
Let p be (6/(-18) - -1)*(-5751)/(-6). Suppose -219 = -22*u + p. Which is smaller: 0 or u?
0
Let c = -7452 + 7452. Does 99/71 = c?
False
Suppose 2*s - 3*p = -161, 8 = 4*p + 4. Which is smaller: -43 or s?
s
Let d(r) = -r**3 - 120*r**2 + 106*r - 2835. Let n be d(-122). Which is bigger: n or 14002?
14002
Suppose 10 = -5*x, 0*b = -2*b + 4*x + 14. Let l be 297/1760 - (b - (-14)/(-5)). Is l less than 0?
True
Let z = -14874 - -14166. Is z bigger than -3543/5?
True
Let o be ((-86)/(-8) + -2)*4512/940. Suppose -c - 6 = j, 2*c - 4*c - 5 = -5*j. Let f be (c + 7)*(-43)/(-2). Is f != o?
True
Suppose 8*z + 65*q = 63*q + 18, -5*q + 70 = -5*z. Let u = 2456/5 + -2802306/5705. Which is smaller: z or u?
z
Let i = -6674 - -6674.05. Which is bigger: i or 1.8?
1.8
Let x = 8085 - 8084. Are x and 14/1717 equal?
False
Suppose 2*f + 2*m - 148 = 0, 0 = 6*f - 3*f + 5*m - 226. Which is smaller: 38 or f?
38
Suppose 14*q - 8*q = 36. Suppose -2*g - 4 = q. Let u be ((-30)/g - 5)*-19. Is u greater than -18?
False
Let p(k) = k**2 - 65*k + 923. Let j be p(44). Is -40/59 at least as big as j?
True
Let v(o) = -o**2 + 23*o - 26. Let b be v(9). Let q(i) = 100*i**2 - 23*i + 22. Let w be q(1). Which is smaller: w or b?
w
Suppose -24*g + 10*g = -5194. Let s = 365 - g. Is s <= -5?
True
Let p = 5289 - 5281. Which is smaller: -686 or p?
-686
Let j be (2/(-17))/((-18)/189). Let v = 472 - 472. Suppose 6 = -2*b, -3*b + v - 9 = 5*m. Which is smaller: j or m?
m
Let z = 65 - 64.8. Let k = z + -59.2. Let d = -58 - k. Which is smaller: d or 0.12?
0.12
Suppose -99 = -4*u + 21. Let c be (u/24)/(-5) - 3693/(-4). Let m = -1799/2 + c. Which is smaller: 25 or m?
m
Let s(j) = j**2 - 13*j + 8. Let m be s(13). Suppose -3*d - m = -3*o - 2*o, 3*o + 5*d + 2 = 0. Let t be (-52)/234 - (o + 313/9). Is -35 at least t?
True
Let r = -3531 - -45939/13. Suppose 14 = 5*g - 1. Which is greater: g or r?
g
Let m = -324676/159 + 2042. Let x be (11/(-12) - (-6)/8)/1. Is x greater than or equal to m?
False
Let a(n) = 95*n + 276. Let t be a(-3). Is -19 greater than t?
False
Suppose -9*i - 33 = 2*i. Let f be (-18)/(-4)*4/(i - -1). Let w be -31 - -30 - 7*1. Is f bigger than w?
False
Let i = 37.6324 - -0.3676. Do i and 1 have different values?
True
Let h(j) = -j**3 + j**2 + 3*j + 3. Let y be h(3). Let g be (-240)/2610*y/8. Which is smaller: 0 or g?
0
Let z = 274/119953 - 83483207/1731161696. Let m = z + -1/352. Let q = m - -45/82. Is -26 equal to q?
False
Let q(k) = -k**3 + 5*k**2 - 3*k - 1. Let c be 16/56 + (-52)/(-14). Let o be q(c). Let m = -629/5 - -647/5. Is o > m?
False
Let l = -113/3 + 38. Let w = -24413.973 + 24336. Let j = w - -78. Is j less than l?
True
Suppose 0 = 3*g - 4*g - b + 40, 3*g - 118 = -b. Suppose 13*q - 205 = 55. Suppose -q*l + 315 = -465. Are g and l equal?
True
Let j(y) = -4*y**2 + 23*y - 27. Let u be j(5). Let q be 4 + 872/(-203) + u/(-21). Which is bigger: 0 or q?
q
Let w = -4721 - -4593.6. Which is greater: 5 or w?
5
Let g(x) = 1. Let p(n) = -n**3 + 14*n**2 + 22*n + 4. Let m(q) = 6*g(q) + p(q). Let o be m(16). Let j = 115 + o. Which is greater: j or -33?
-33
Let r(o) = 5 - 19*o - 50*o + 21 - 51*o. Let f be r(4). Is f less than -454?
False
Suppose 0 = 5*u + t - 340, -2*u = -504*t + 499*t - 109. Which is smaller: 38 or u?
38
Let j(p) = -p**3 - p**2 - p + 2. Let s be j(0). Let u(b) = 6*b**2 + 4*b + 1. Let d be u(-1). Suppose -17 = -5*c + t, -s*t + 10 = 4*c - d*c. Is c at most 6?
True
Suppose -2*k + 28 = 4*v + k, -v = 2*k - 12. Suppose -v*u + 4*d = -280, -u - 14*d + 10*d = -85. Is 75 >= u?
True
Let z be (-3 - 1)/(-4)*(1 - -9). Let r(c) = c**3 + c**2 - c + 1. Suppose 7*p - 4 = 5*p. Let m be r(p). Is z < m?
True
Let x = 472 - 329. Suppose -x = 12*j + j. Is 2 greater than or equal to j?
True
Let h = 23410 - 23411. Is -8/5239 > h?
True
Suppose -3*u + 30 = 5*v - 4*u, 4*v - 2*u = 30. Let h be (-18)/(v + -2 - 2). Suppose -5*r = -p + 18, -479*p + 4*r + 96 = -483*p. Which is bigger: p or h?
p
Let k = 515.214 - 4.214. Which is greater: k or 0?
k
Let l = 26 + -25. Let n = 0.1368 + -0.0808. Is n < l?
True
Let t = 9.96339 + 0.03661. Which is bigger: -237 or t?
t
Let y be (8/280)/(5130/(-21)). Which is smaller: y or 0?
y
