 51/(-12)). Is m at most x?
False
Let l = -21 - -88. Let g = -53 + 120. Let i = g - l. Which is greater: i or -7?
i
Let a(l) = -32*l + 228. Let b be a(7). Suppose 4*v + 40 = v + b*g, 10 = -2*g. Is v > -14?
False
Let x(z) be the second derivative of -z**3/6 + 9*z**2/2 - 3*z. Let u be x(5). Let j = 317/120 + -1/60. Which is greater: j or u?
u
Let n be 100/(-5) - (-1 - (-1 + -1)). Let y be (154/n)/(19/(-18) + 1). Suppose -i - 3*i + y = 0. Which is smaller: 35 or i?
i
Let v = 243 - 229. Let u = -9 - 4. Let a = u + v. Is a at most as big as -3?
False
Let v be 566 + (1 - (-4)/(-2)). Let s = 4517/8 - v. Suppose 0 = -0*d + 5*d. Is d equal to s?
False
Let m be (10/(-2) + (-32)/(-8))/(60/(-348)). Let f = 1 - -1. Let r be f + (2 - 1/(-1)). Which is smaller: m or r?
r
Let g be -5 + 92 - -5 - 5. Let b be g/4*-5*14/315. Which is smaller: b or -6?
-6
Let y be (56/168)/(1/1473). Is y != 491?
False
Let f be (-2)/90*2*10. Let v be ((-17)/(-3) + -2)*3. Suppose -v*b - b = -0*b. Is b < f?
False
Let q = -1.5134 - -1.2234. Is 2 <= q?
False
Let h = 24 - 14. Let a(z) = -z**3 + 10*z**2 + 4. Let b be a(h). Suppose b*d - 36 = 4*x, -d + 9*x - 4*x = -9. Is d at least 17/2?
True
Suppose -4*x - k = 337, -109*x + 3*k - 264 = -106*x. Which is greater: -426/5 or x?
x
Let g = 11.782 - 9.782. Which is smaller: g or -37/7?
-37/7
Suppose -7*z + 405 = 3*t - 2*z, 3*t + z = 393. Which is bigger: t or 654/5?
654/5
Suppose -12*h = 8*h - 200. Suppose -h*g = -12*g. Is 38 at most g?
False
Let z(g) = -g**3 + 2*g**2 - 2*g + 16. Let h be z(0). Let k = -11 + h. Let p = -2 - k. Is p < -2/7?
True
Suppose 6*q = -17 + 5. Let u be (-8*3)/((-78)/63*-7). Which is smaller: q or u?
u
Let h be (-317)/16 + (-186)/992. Are h and 0.74 nonequal?
True
Let z be (50/3720)/(((-4)/(-214))/(-2)). Let x = z + 42/31. Is x at most as big as 1?
True
Let j = 3.76 + 1.14. Let u = j + 8.1. Let z = u + -30. Does 1 = z?
False
Let n = -1/64 - 3197/192. Let t be (1760/112 - 16)*63. Is n at most as big as t?
False
Suppose -28 = 2*f + 3*i, -2*f - 4 = -141*i + 138*i. Which is greater: 153 or f?
153
Let j(c) = -c**2 - 11*c - 19. Let q be j(-9). Suppose 4*r = 2*r - 4. Let u be ((-9)/81)/(r/(-14)). Are u and q unequal?
True
Let h(c) = c**3 - 2*c**2 - 59*c + 60. Let i be h(1). Is 5/618 >= i?
True
Suppose -614 = -5*g - 594. Suppose 4*t - g = 0, 0*n = 4*n - 2*t + 2. Are -5/76 and n equal?
False
Let p be 9 - (-5)/(55/(-561)). Which is smaller: p or -2?
p
Let n be (-5)/76*(-28)/70. Is 0 smaller than n?
True
Let i be (-21626)/(-33)*(45/10 - (-6)/(-2)). Is i at most as big as 983?
True
Let c = 5.3 + -7.3. Let j be (-12 + 18)/((-32)/28). Is j at most as big as c?
True
Suppose -5*n + 2 = 3*g, 2 = -g - 5*n + 2*n. Suppose g*l = -2*l. Which is greater: -0.12 or l?
l
Let k(v) = -398*v - 510. Let z be k(-1). Which is greater: z or -102?
-102
Suppose 8*g - 297 = 11*g. Suppose -116*q - 5924 = 5676. Which is greater: g or q?
g
Suppose -t = x + 3188 + 1802, 9977 = -2*x + t. Is x < -4988?
True
Let g = -2045 + 2046. Is g greater than 1/6679?
True
Let o = -2281685/158 + 14441. Is 1 != o?
True
Let r(c) be the second derivative of c**5/20 + 5*c**4/6 + 5*c**3/6 - 4*c**2 + 11*c. Let g be r(-10). Let i = g - -47. Is i greater than -12?
True
Suppose 4*h + 6*h - 640 = 0. Suppose -u = -4*n + h, -5*u + 4*n - 284 = 2*n. Let m = u + 52. Is m at least as big as -2?
False
Let y(t) = -4*t + 16. Let m be y(5). Let g be m/42 + 2/(-6). Suppose 3 = -l + 1, -l - 4 = 2*n. Is n less than g?
True
Let k(m) be the first derivative of -15/2*m**2 + 6*m + 15 + 2/3*m**3. Let l be k(7). Is l at least as big as 2/27?
False
Let c(h) = 963*h + 6116. Let b be c(-6). Is 342 greater than or equal to b?
True
Let i be 52/91 + 2/(-7) - 6043/7. Is 0.2 greater than or equal to i?
True
Let b be 4/(-18) + (-103921)/2142. Let z = -289/6 - b. Is 119 bigger than z?
True
Suppose 4*y = 6*y - 6, -6*i - 12 = -2*y. Do i and -5978 have the same value?
False
Let k = 1674 + -15020/9. Let n = -0.6 - -0.5. Is n at least k?
False
Let s = 13020 - 8846. Let f be s/(-12) - (-8)/(-8). Let a = -348 - f. Which is smaller: -1/2 or a?
-1/2
Let m = -6193 - -6187.6. Is -3/68 smaller than m?
False
Let k = -124.84 - 77.16. Is k equal to -19?
False
Let f = -0.044 - -16.744. Let s = f + -16.801. Do s and -0.2 have the same value?
False
Let m(n) = n**3 - n**2 - 4*n + 2. Let t = 77 + -75. Suppose -16 = -t*l - 3*y + 5, 0 = -3*l + 4*y - 11. Let v be m(l). Is v greater than 10?
False
Suppose -i + 4*h = -3*i - 78, 5*h = 4*i + 143. Let t = -35 - i. Suppose 0*v + 4 = -t*v. Is 0.4 <= v?
False
Let c be ((-12)/(-80))/(3 - 108/20). Let y = -87 - -86. Which is smaller: y or c?
y
Let z = -11376.01 + 11423. Let p = -0.99 + z. Which is greater: -3 or p?
p
Let f be (16 - 11)/((-50)/(-140)). Suppose -5*s - 58 = c, 4*c + 54 = 3*c - 3*s. Let n be c/(-80) - (-144)/10. Which is bigger: f or n?
n
Suppose -5*g - 2185 = 5*r, 0 = -g + 5*g + r + 1748. Let v = 13985/32 + g. Suppose -16 = -5*a - 4*k, 3*a + a = -5*k + 20. Which is bigger: v or a?
v
Let g = -25357/713 - -818/23. Is g less than 1?
True
Let z be ((1 + 0)*1)/1. Let v be (-2)/(-12) - (-1 + (-1082)/6). Let x = 4017/22 - v. Are z and x nonequal?
True
Let u(y) = -y**2 - 86*y - 1829. Let w be u(-48). Which is greater: w or -687?
w
Let z = -2580.1057 + 2580. Let y = 564.1057 + z. Which is greater: 0 or y?
y
Let i = 376 - 375. Let z be (-2)/(-2)*3 - 20552/6856. Is i <= z?
False
Let d = 1923 - 1794. Let s = 0.071 - -0.029. Which is greater: s or d?
d
Let q be 2/((-1163)/(-166) - 7). Let u = q - 323. Is u bigger than 10?
False
Let p = -42 + 49. Suppose p*x = 86 - 338. Let j be (-52)/(-6)*x/(-96). Is 4 bigger than j?
True
Let l = 59.236917 + -1.052617. Let i = -14.7587 - l. Let v = i - -73. Is -0.1 <= v?
True
Let b be (0 - -1) + -2 - -3. Suppose 2*p + 22 = -3*p + b*r, 5*r + 20 = 0. Let t = -47432 + 47430. Is t greater than or equal to p?
True
Suppose 0 = 3*r - 3*f - 264, r + 7*f = 3*f + 98. Suppose 0 = -0*i - 5*i - r. Let w = 1301 - 1301. Is i not equal to w?
True
Let b(h) = h**3 - 4*h**2 + 6*h - 5. Suppose 3*d + 2 - 11 = 0. Let z be b(d). Let o = 0.95 + -0.85. Which is smaller: z or o?
o
Let k be -1*2 - (-132 + -1 + 7). Suppose -n = -4*j - 4*n - k, 0 = 4*j - 5*n + 124. Let v = j - -33. Is 2 <= v?
True
Let q = 4999 - 4999.3. Let p = -55.012 + 0.012. Is q != p?
True
Let z = -248 - -1.5. Let f = z + 247. Is 9/4 >= f?
True
Let r = 1335 - 733. Let p = r - 603. Suppose 0 = -x + 5 - 4. Is x > p?
True
Let t be (1 - 4)/(7 + -6). Let o be t - (0 + -1 + -4). Let z = 2/5939 + 59376/41573. Which is bigger: o or z?
o
Suppose -12600 = 54*b + 2250. Let i(o) = -38*o + 29. Let c be i(8). Are b and c non-equal?
False
Let j = -1.1 - -1.2. Suppose -248 = 42*k - 50*k. Which is bigger: j or k?
k
Suppose -3*i + 23 = 2*n, 0 = 5*n + 3*i - 7*i. Suppose -7*s = -n - 3. Which is smaller: s or 3/199?
3/199
Let p = -623 - 23. Let l = 645 + p. Which is bigger: -20/51 or l?
-20/51
Let m = 98.195 - 98. Let f = -0.095 + m. Which is bigger: f or 469?
469
Let s = 13 - 13.1. Let t = -4.4 - -6. Let p = t + -6.9. Are s and p nonequal?
True
Let z be 126/15 + (-4)/160*16. Let v = -1.4 - -1.23. Is v < z?
True
Let y = -676 - -677. Which is greater: y or 22/381?
y
Let x = 0.5 - 0.2. Let a = -404661 + 404661.47. Which is smaller: a or x?
x
Suppose 15*y + 6482 = 22*y. Which is bigger: y or 931?
931
Let y = -8604322/33 - -260826. Let k = 89 - y. Which is smaller: k or 1?
k
Let s = -1116 + 385. Let r = s - -731. Let m = 0.17 - -7.83. Is r < m?
True
Let a = 1.74 + -1.6. Let r = 397.02 + -397.12. Which is smaller: a or r?
r
Suppose 1 = 2*l - 3. Let o be (-18)/(-3) - (-11)/(33/(-6)). Suppose 12 = l*u - o*u. Which is smaller: -8 or u?
-8
Suppose -2*s + n - 1 = 0, 2*s = 6*s - 3*n + 7. Let c be 2/(-15)*(s - 455/240). Let a = -0.07 + -0.03. Does c = a?
False
Suppose -26 + 14 = 2*f - 68. Let m(x) = -4*x + 7. Let z be m(-8). Let l = 67 - z. Is l greater than f?
False
Suppose 85*c - 38319 - 21321 = c. Which is smaller: c or 2131/3?
c
Let q = 3.6 + -4.1. Let f = q - 1.37. Let u = 0.87 + f. Which is bigger: 2.3 or u?
2.3
Let z(b) = -2*b**2 - 15*b - 98. Let u be z(-8). Which is smaller: u or -134?
-134
Let x(h) = 2*h**2 - 37*h + 148. Let i be x(6). Which is smaller: -97 or i?
-97
Let f = -1651.226 - -1651.3. Is f not equal to 3?
True
Let g be 13/(-26)