reater: m or h?
m
Let x(p) = -p**2 + 43*p - 18. Let d be x(-8). Which is greater: -420 or d?
-420
Let q = 559 - 530. Let a = -25.82 - 3.58. Let i = q + a. Is 0 not equal to i?
True
Let u = 7696997/9 + -853679. Is u at most 1543?
True
Let o = 45 - 39. Suppose 4*d + b - o*b = 126, 2*d + b - 70 = 0. Suppose 2*m - 4*p = d, m + 3*p + 7 + 1 = 0. Which is smaller: m or 0.1?
0.1
Let g(o) = -23*o + 3. Let v be g(-4). Suppose -v*r + 588 = -89*r. Which is smaller: 96 or r?
96
Suppose 0 = 5*v - 3*h + 2*h, 3*h = 0. Suppose v = 2*q - 0*q - 24. Suppose 0 = -369*d + 349*d + 280. Is q at most as big as d?
True
Let l be 1/(-1) + (-81998)/(-14). Suppose 27*n - 1914 = -l. Are n and -146 equal?
True
Let t = 29 - 35. Let q be 64/40*165/t. Suppose 0 = 4*w - 68 + 240. Are w and q equal?
False
Let x = -1.0022 + 0.0022. Let q = 80.998 + -81. Which is bigger: x or q?
q
Let k(q) = -q**3 + 17*q**2 + 18*q + 50. Let x be k(18). Suppose -278 = 4*g + x. Which is smaller: g or -1?
g
Let w = 337 + -229. Let y be 270/w*(-8)/5. Which is smaller: y or -40/9?
-40/9
Let h(c) = -535*c**2 + 536*c**2 - 12 + 3*c - 7*c. Let y be h(10). Let a be ((-16)/y)/((-1)/9). Is a at least as big as 13/4?
False
Suppose -7*w = 10*w + 16*w. Suppose w = -15*r + 64*r + 27342. Which is greater: r or -557?
-557
Let t = 0.7144 - 0.6744. Is t > 809?
False
Let g = -1042/23 + 8405/184. Is 137/5 > g?
True
Suppose 6 = 2*v - 0. Suppose 102 - 90 = -10*g + 62. Suppose 3*t = -3*y, g*t = v*y - 6*y + 2. Is t equal to -3/23?
False
Let s = -260 - -273. Suppose 98 + s = 3*n. Is n equal to 37?
True
Let n be (-6)/10 - ((-147)/20 - -6). Let u = 4.4 + 0.6. Let m = u + -5.5. Is n at most m?
False
Let q be 122/8 - 3/12. Let d = 410 + -397. Suppose -3*s = -d*s + 170. Which is smaller: q or s?
q
Let s be 1 - -16 - 200/(-40). Suppose -30 = 8*d - s. Which is smaller: d or -2/721?
d
Suppose 3*f - 203 = -5*m, 3*m + f = -55 + 180. Suppose -m*z + 7*z = -36. Is z less than -81?
False
Let n = 4.41939 - 0.41939. Which is smaller: n or -1261?
-1261
Let t = 12.1 - 12. Let r = -3536 + 335918/95. Which is greater: t or r?
t
Let i = -11888 + 11900. Is i bigger than -3/7?
True
Let k be (-10)/(-20) - 1/(-5). Suppose -6*o + 52 - 46 = 0. Which is bigger: o or k?
o
Let w be (27/4)/3*5/(330/(-176)). Is -146/23 at most as big as w?
True
Suppose 2*m - 7*m = 100. Let l = m + 19. Let z be (2 + -3 + (-4)/(-4))*l. Is z <= -2/5?
False
Suppose 3*k - 4*k + 3 = -2*a, 3*a = k - 5. Let u = -3880901/5990 - -6479/10. Is k at least u?
False
Suppose 164 = -4*x + 3*h, 122*x - 118*x + h = -180. Is x less than -21?
True
Let i be -2*((-2)/(-4) - -1). Let m(d) = d**2 + 2*d + 7. Let q be m(i). Let a = -2 - 0. Which is bigger: q or a?
q
Suppose 5*c - 2*c - 297 = 3*o, 0 = 2*o - 5*c + 189. Let r(k) = -158*k + 686. Let w be r(5). Which is greater: w or o?
o
Let r(y) = 15*y**2 + 25*y + 61. Let q be r(-6). Is 447 bigger than q?
False
Let m = -130 - -130.104. Let o = m - -0.866. Let b = 58.97 - o. Which is bigger: 2 or b?
b
Let q(z) = -z**3 + z**2 + 72*z + 164. Let m be q(-13). Do 1592 and m have different values?
True
Let s = -1138 - -1168. Suppose -39 = -5*j + 201. Let h = s - j. Is h less than -18?
False
Let j be 8/7374*(16/(-16) - -13). Do 1 and j have the same value?
False
Suppose -23*v + 39*v - 49 = 23*v. Are 19 and v non-equal?
True
Let o be ((-79)/2)/(2*12/48). Let l = o + 78. Which is bigger: 3/26 or l?
3/26
Let q = -76 - -76. Suppose 55*f - 48*f + 161 = q. Is -21 bigger than f?
True
Let l be 52 - (-1 + (2 - -1)). Let b = l + -74. Let u = b + 22. Which is greater: u or -10/13?
-10/13
Suppose 5*x = 4*p + 40543, 14*x - 113642 = -173*p + 169*p. Does x = 8116?
False
Let h = -7.7 + 8. Let b = h - 1.3. Let d = 715281/374 - 21038/11. Which is bigger: b or d?
d
Let h be (-16695)/135 + (-14)/6. Let l be (-762)/4*2*2/6. Which is greater: h or l?
h
Let p = 17.1 + -17.014. Let o = p - 0.126. Which is bigger: -1/2 or o?
o
Suppose 6*k - 112 = 10*k. Let y be k/45 + (-42)/70. Is y at least as big as -1?
False
Let j be ((-11)/3 - -3)/(-15 - (-4480)/300). Let b = 2 - 4. Let z be b*(-5 - (-2 + 3)). Is z bigger than j?
True
Suppose 4*c + j = -4 + 23, -2*c + 4*j = 4. Suppose c*k - 3*l + 10 = 0, 0 = -7*k + 10*k + l + 1. Is -5/43 at most as big as k?
False
Suppose 9*g + 8*g + 8035 = 12*g. Is -1604 equal to g?
False
Suppose 2 = 2*z - 5*i + 31, -5*z + 3*i - 25 = 0. Is z greater than or equal to -76?
True
Let o be (-12)/11 + 2645720/(-3388). Which is greater: o or -781?
-781
Let k be ((-6)/15)/(-2 + (-38)/(-20)). Suppose -2*a = k*q + 30, 24 = -4*a - 0*q + 4*q. Do -9 and a have the same value?
True
Suppose -2119 = -105*d + 2186. Which is greater: d or 1.9?
d
Let j = 46.63 + -0.13. Let h = 39 - j. Let x = h + 7.4. Is x at least as big as -3/43?
False
Let o be 175/49 + ((-12)/189)/((-22)/99). Suppose 0 = -3*x + 7*x - 24. Suppose r + x = 2*f, -3*f + 41 = 4*r + 2*f. Is r less than o?
False
Suppose -100 = 19*k - 347. Which is smaller: k or 3/4?
3/4
Let l = -5488 + 5488. Let c be (-5)/((-1180)/24) + 0. Which is bigger: l or c?
c
Suppose -2*u + 10 = 3*u + 5*b, u + 5*b - 2 = 0. Suppose 3*t + 2*l = -2 + 16, -u*t + 14 = -l. Suppose -t*k = -11*k + 15. Which is smaller: k or 8?
k
Suppose 3*o - 2 = 19. Let h be (4/o)/((-132)/28 + 5). Suppose -4*t + 20 = -a, h*a + 3*t = 4*a + 30. Which is bigger: a or -13?
a
Let n = -0.843 + 384.843. Let d = n + -382.82. Is -0.1 greater than d?
False
Let d be 71 + -74 - ((-1 - 4) + 1). Suppose d = -c, -5*c - 181 = 2*x + 158. Is x <= -167?
True
Suppose -5*q + 7*u = 4*u - 21, -3*q - 3*u = -3. Let f = -256 - -254. Let a be q/(-4)*1/(-1 + f). Is a smaller than -1?
False
Let k be (140/(-3))/(490959/31563) + 3. Which is smaller: 1 or k?
k
Let w = -315 - -315.24. Which is bigger: w or -1/4?
w
Let g = -28863/44 + 656. Suppose -c + 8 = z - 191, -5*c - 3*z + 1005 = 0. Let x = 205 - c. Is g bigger than x?
False
Let d = 176 + -176.44. Let j = -0.44 - d. Is j > 79?
False
Let i = -16 + 33. Suppose 4*d - 17 + i = 0. Let s be ((-7)/2 - -4)*d. Is s at least 1/62?
False
Let z be -9 + (0 + -1)*112280/(-12480). Does 1 = z?
False
Let m be 86/((-1)/((-4)/(-8))). Suppose -4*j + 42 = -o, -4*o - 113 = -o + j. Let d = m - o. Is d >= -17/3?
True
Let y = -313 - 311. Let v = -622 - y. Which is bigger: -1/64 or v?
v
Suppose k = -k + 20. Suppose -3*j - 9*r + 8*r - 4290 = 0, -4*r + 5720 = -4*j. Let f be (8/(-6))/(j/345 + 4). Is f >= k?
False
Let d = 102 - 105. Let m = -59 + 60.04. Let p = 0.04 - m. Is d greater than or equal to p?
False
Let i = 119.27 - 119.264. Which is smaller: i or 29?
i
Let d = 75 + -106. Let k = 52 + d. Suppose -5*h - 4 = k. Is h equal to -4?
False
Suppose 106*f + 141*f - 213*f - 485996 = 0. Which is bigger: f or 14293?
f
Let j = -4271 - -4419. Are j and 157 unequal?
True
Let c(m) = 61*m + 22. Let k be c(-6). Let l = 343 + k. Which is smaller: l or -2/39?
l
Let g be (2/(-4))/((-2)/64). Let m be (-1)/(-8)*(g - -30). Let p be -2 + (7 - 0/2). Is m greater than or equal to p?
True
Let k be 1/(2/5) + (-2)/4. Let q be (-5 + k)*-1*43/3. Which is greater: q or 44?
44
Let v(l) = -l + 59. Let c be v(20). Let r = 39 - c. Is r bigger than 21/11?
False
Let u = -22164/11 - -2018. Which is smaller: u or 4?
u
Let q = -11764 - -11722. Is q at least -0.028?
False
Let q = -1/42866 - 5486801/2014702. Is q < -2?
True
Let a = 15.15 - 0.25. Let z = 14.73 - a. Which is smaller: z or 0.2?
z
Let p = 967 - 967. Let k = -72/17 + 5671/1343. Is p > k?
True
Let t = -1.665 + -0.025. Let f = -1.6 - t. Let x be 4 - (2/8)/((-11)/(-88)). Which is smaller: f or x?
f
Let v be -15 - 366/(-24) - (96723/22764 - 4). Suppose 0 = -2*u - 2. Which is bigger: v or u?
v
Let j be 132472/(-661960) + 5/25. Do 0 and j have the same value?
False
Suppose -22*r + 26 = -2548. Let b be (-5)/((-26)/r + 13/18). Is b at least as big as -0.3?
False
Let n = 189 + -123. Let a = n - 51. Let j = a + -15.1. Which is smaller: -26 or j?
-26
Let n = -1615 - -2999. Is 1381 <= n?
True
Suppose 0 = -35*x + 72*x + 3145. Suppose -5*d = 4*i - 290 - 26, 0 = 2*i - 5*d - 188. Let q = x + i. Is 6/13 bigger than q?
True
Let f be 8 + 6/(12 + -6). Let w be (-6 - f)/(-5) - 3. Is 89 at most as big as w?
False
Let u(c) = -c**3 - 18*c**2 - 2*c - 39. Let t be u(-18). Let l be 0/((38/19)/((-2)/t)). Is l < 10/57?
True
Let r = -1023782/108491 + 840/89. Which is greate