z. Suppose -5*k = -d - d + 23, -4*d = k + z. Do h and d have different values?
True
Let n be 32/64*(1 + (-21 - 2)). Let u(i) = i**2 - 9*i - 3. Suppose -2*w = -d - 20, -2*d + 24 = -3*w + 7*w. Let l be u(w). Are l and n non-equal?
False
Let l be ((-3)/(-6))/((-3)/(-6)). Let a(w) = 7*w**3 + 3*w**2 - 4*w + 2. Let f be a(l). Let d be (-2)/f*181 + (-5)/(-20). Are -45 and d non-equal?
False
Let m be (-1040)/(-20) - ((-2 - -3) + -5). Suppose -m = -7*r + 21. Is 34/3 >= r?
True
Let j = -256 - -260. Suppose -1 = -3*k - j. Which is bigger: k or 0.17?
0.17
Let n = 21521 - 172451/8. Which is greater: n or -36?
n
Let o = -3874 - -3872.043. Let d = o - 0.043. Which is greater: d or 114?
114
Let h = 100 + -47. Let q = 998.8 + -945.61. Let p = h - q. Which is greater: 0 or p?
0
Let f be (-2)/1845*(-11 + 1). Let x = f + -3377/5166. Suppose -m - 2 = 2*b, 3*m - b + 0 - 1 = 0. Which is greater: m or x?
m
Let f be 14/(-60) - (1940/120 - 17). Which is greater: f or 10/69?
f
Let i(r) = -r**2 + 9*r + 9. Let a be i(8). Let s = 21 - a. Suppose -s*g - 182 = -3*l, -5*g = -0*l + l + 218. Does g = -43?
False
Let y = -1602 - -866. Let m = y - -709. Let p be (-4)/6*(-3)/(-7). Which is greater: m or p?
p
Let u be ((-8)/(1 - 9))/(-2 - -1). Are -10/623 and u non-equal?
True
Let p(a) = -a**2 - 2*a + 117. Let d be p(0). Let k = d + -114. Let h be (3*-9)/(9/27) - k. Is h at most as big as -84?
True
Let q be 10/4*(-1)/(15/(-12)). Suppose q*d - 87 = -85. Is d less than -5?
False
Suppose 6347*l - 6378*l + 21328 = 0. Which is bigger: l or 689?
689
Let q be (-51)/12 + 1 + (-3)/4. Let j be 4 + 2*(-8)/(q + 0). Suppose -4 = -2*k, 21 = 5*m + 6*k - j*k. Is -1 < m?
True
Let i(p) = -22*p**2 - 4. Let t be i(2). Let z(j) = j**2 + j - 93. Let d be z(0). Which is smaller: d or t?
d
Let j(g) = g**3 + 17*g**2 - 78*g + 131. Let a be j(-21). Is a greater than 1.593?
True
Suppose -512 = -4*i + 4*l, 5*i + 3*l - 2*l - 646 = 0. Suppose -120 = -124*y + i*y. Which is smaller: y or -27?
-27
Let v be ((-12)/(-12))/((-2)/(-1484)). Let k = v + -471. Which is greater: k or 270?
k
Let m = -143.915 + -0.085. Let l = m + 138. Let z = -10.6 + 11. Is l greater than z?
False
Suppose -3*l + 2*l = -9. Let u(j) = -5*j + 48. Let b be u(l). Suppose -5*w + 269 = -4*n - 60, -n = b*w + 78. Is n != -81?
False
Let b = -33 + 29.2. Let q = 3.748 + b. Let w = q + 0.152. Is w less than or equal to 22?
True
Suppose m + 1128 = -395. Let z = m - -16732/11. Which is bigger: z or -2?
z
Let x be (0 - (-4)/94)/(187960/1905). Which is bigger: -1 or x?
x
Let n(p) = p**3 - 8*p + 2. Let b be n(3). Suppose -129 = -b*x - 139. Is x > -1?
False
Let z = -2.218 + 5.518. Which is smaller: z or -6.7?
-6.7
Let m = 18519.7 + -18520. Which is smaller: 1106 or m?
m
Let b(f) = 322*f - 3173. Let x be b(9). Is x greater than or equal to -275?
True
Let j(b) = -b**2 + 2*b + 4. Let i be j(3). Let d be 2/9*(8 - i). Suppose -11*s + 525 = 255 + 259. Are s and d equal?
False
Suppose 5*b + d + 13 = 37, -5*b + 2*d = -27. Suppose -b*p = -4*j + 147, -5*j + 2*p + 230 = 59. Is 32 at least j?
False
Let u = 14/3 + -79/15. Let n = 1.9 - 2.2. Which is smaller: u or n?
u
Let m be (261/(-4))/(516/(-32)) - (0 + 4). Which is smaller: -521 or m?
-521
Let r be 12*((-644)/(-8))/(-7). Let x = 58 + r. Let y be ((x/15)/8)/(2/9). Which is smaller: -7 or y?
-7
Suppose -3*q + 1 = 2*m - 0*q, 5 = 2*m - q. Let w(v) = 0*v + 5 + 2*v + 4*v. Let l be w(m). Are 2/7 and l nonequal?
True
Let q be (1 - -2) + (-782)/262. Let v be 4/40*-2 - 4/30. Is q equal to v?
False
Suppose 289*f - 243*f = 0. Which is bigger: f or -3/4498?
f
Let x = 31607 + -213821353/6765. Is 1 smaller than x?
False
Suppose 0 = 5*y - u + 7 - 6, 0 = -3*u - 12. Suppose -2*t = -t - 7. Let p be y/4 - t/(-49). Which is bigger: -1 or p?
p
Suppose 1702*j - 1686*j = -1360. Is 1/2 smaller than j?
False
Suppose 0 = 12*a + 1496 - 500. Which is smaller: -329/4 or a?
a
Let n be (-1 - -158)/(10/(-40)). Let a be (1 - 2/(-6))*(-157)/n. Let i(f) = f**3 - f**2 + 3*f - 1. Let v be i(2). Is v at most a?
False
Suppose -15*x + 161 = 11. Suppose x*b + 925 = -15*b. Is b <= -37?
True
Let g = 5374.98 - 5375. Let t = -183 - -181. Is t < g?
True
Let k(o) = -o + 8. Let d be k(15). Let u be (d/(-14))/((-1)/(-126)). Suppose 153 = 8*c - u. Are 26 and c unequal?
True
Let w be 18/(-1) - 33768/(-441). Is 60 > w?
True
Let a(t) = -655*t - 5979. Let m be a(-13). Which is bigger: m or 2534?
m
Let p(y) = -265*y - 2465. Let d be p(-11). Is d less than 452?
True
Suppose r - 4407 = 44*r + 70*r. Are r and -107 equal?
False
Suppose 9 = -3*o + 18. Suppose -3*p = 4*m - 3 + 55, -o*m = -2*p + 56. Is m at least as big as -8?
False
Suppose 37*n = 4*b + 33*n + 8, 3*b + 5*n - 58 = 0. Is b != 281.6?
True
Let v = -1282819/39925 - -81/1597. Which is greater: -31 or v?
-31
Let b = -88 + 84.3. Let v = b + 3.4. Let z = -48 - -51. Which is bigger: v or z?
z
Let c(t) = -t**3 + 53*t**2 - 3*t + 104. Let z be c(53). Which is smaller: z or 45?
z
Let j = -4124 + 5279. Which is greater: 1157 or j?
1157
Let g be 1 + 1 + (-414)/206. Let j(m) = -4*m + 5. Suppose 10*o - 5*o - 5 = 0. Let f be j(o). Which is greater: f or g?
f
Let y be (-150)/120 - (-14391)/12. Suppose -1443*k + 1445*k = -y. Which is greater: k or -598?
-598
Let u = -26.13 + 0.13. Let h = 3143.8 + -3118. Let d = h + u. Is d bigger than 8?
False
Let s = 7127/171225 - 8/761. Is 1 at most s?
False
Let p(c) = 10*c - 25. Let u be p(3). Let a = -87.5 - -87.578. Is a bigger than u?
False
Suppose 104*p - 4*b + 5 = 101*p, 13*b = 4*p + 22. Which is greater: -4/117 or p?
p
Let s = 840.9 - 841. Let m = 171 + -105. Is s > m?
False
Let o be ((-1192)/216908)/((-4660)/516254). Let u = o - 12/54227. Let a = u + -2/233. Is 2 < a?
False
Let d be ((-226)/6)/(7 - (-88)/(-12)). Is d != 119?
True
Let m(n) = -7*n + 75. Let i be m(18). Let s(p) = -7*p + 30. Let f(l) = 21*l - 89. Let g(y) = -4*f(y) - 11*s(y). Let k be g(11). Is k < i?
False
Let n(v) = -3*v**3 + 2*v**2 - 22*v + 49. Let k be n(0). Is k equal to -2?
False
Let h = 23680 + -1089285/46. Let d be (-43)/(-6)*66/5198. Let x = h + d. Which is smaller: x or -1?
-1
Let w = 5827.581 - 5828. Which is smaller: 17 or w?
w
Let n = 2.06 + -0.06. Let o = 1352 - 975. Let c = o + -377.09. Which is smaller: c or n?
c
Let r be (-24)/(-288)*3/((-18)/(-16)). Let k = 15 + -49. Let t = 33.93 + k. Which is smaller: t or r?
t
Let f be (-1288)/(-98) - 13 - (1164/(-182))/2. Is f at least as big as 4?
False
Suppose 0 = 3*o + 11 - 5. Let s = 0.053 + 852.947. Let n = -863 + s. Is o >= n?
True
Suppose 0 = -2*w + 5*d - 125430, 27*w - 3*d = 23*w - 250860. Let a be w/(-226)*16/(-6). Which is greater: a or -739?
-739
Suppose -3*j + 2*z = 2*j - 1, 0 = 8*j - z + 5. Which is smaller: j or 2/16847?
j
Suppose 68*g = 77*g - 144. Let y be (3/30)/(11/(4070/g)). Which is smaller: 3 or y?
y
Let n = 1140/11 + -3422/33. Let z be (-4)/(-3) - 4/(-6). Suppose 0 = -4*i + o - 1, -i + 2*o = -3*i + z. Which is bigger: n or i?
i
Suppose -502*c + 189 = -500*c + 3*p, -3*c - 3*p = -294. Which is smaller: 6 or c?
6
Let r be 5*((-702)/65 - -4). Is 11 at most as big as r?
False
Let o(m) = -18*m. Let k be o(0). Suppose k = -7*u + 74 + 38. Do u and 3 have different values?
True
Let k = 29583 + -29525. Let u be (1*2)/((-8)/(-236)). Which is smaller: u or k?
k
Let p(s) = s**3 - 4*s**2 - 195*s + 48. Let d be p(16). Does -1/10612 = d?
False
Suppose 5*x - 41 + 329 = 4*b, b = x + 73. Let o = -691/9 + b. Which is greater: -2 or o?
o
Suppose 4*p = -5*h + 6 + 12, 3*p + 5*h = 16. Let o be (752/p)/(0 + -5). Let a = o - -75. Is a <= 9/4?
True
Let i = 146 + -164. Let h(c) = 5*c - 53. Let r be h(i). Is -144 greater than r?
False
Suppose -4*o - 29 = -3*a, 2*o - o = -a - 2. Suppose -5*u = 2*g - 2*u + 52, -g - 5*u - 40 = 0. Let k be (o/(-8))/(-2 - 43/g). Which is smaller: k or 4?
4
Let l be 212/(-15) + (-5 - 77/(-15)). Let i = -13 - l. Let m be 3/(-1) + 275/66. Is i at least m?
False
Let v = 46538 + -46493.947. Let q = -44 + v. Let r = 231609 + -231609.1. Which is greater: r or q?
q
Let m(h) = -h**3 + 13*h**2 + 2*h - 254. Let o be m(11). Which is greater: 223/24 or o?
o
Let u(j) be the first derivative of -j**2 + 27*j + 15. Let i be u(13). Suppose -l - 2*l = -21. Is l greater than or equal to i?
True
Suppose -2*a + 141*a + 48594 = -39*a. Which is smaller: a or -264?
a
Le