er: x or -3422?
-3422
Let z(d) = -d**3 - 7*d**2 - 9*d - 4. Let m be z(-4). Are -18 and m nonequal?
True
Suppose -92*j + 91*j + 74 = 0. Let i = 70 - j. Let l be (-3 + 15 - i)*5. Which is greater: 79 or l?
l
Let u be 25/(-30)*-6 + -11. Let a(p) = -3*p - 18. Let z be a(u). Which is greater: z or -9/16?
z
Suppose 0 = 86*t - 55 - 352 - 23. Let x be -1 - (-27 - 0) - -1. Suppose -t*r = 32 - x. Which is smaller: -1/22 or r?
r
Let y be 17 + -35 + 5 + 887. Do 869 and y have different values?
True
Let d = 0.29 - -0.01. Suppose -6*v = -3*g - 9*v + 18, 4*v - 35 = -5*g. Suppose -12 - 65 = -g*n. Is d < n?
True
Let u(b) = 6*b**2 + 836*b - 167. Let v be u(-140). Which is smaller: 1/6 or v?
1/6
Let y be 1207/16 - (-1 + 3 + (-12 - -8)). Is 78 at least y?
True
Let u be (63/(-27))/((-50)/24 - -2). Let n(i) = 23*i - 382. Let p be n(u). Is p at least as big as 262?
True
Suppose 3*s + 7*a = 2*a - 112, a = -2*s - 70. Let z be (-51)/s*6904/(-18). Let m = z + 567. Is m at most -9?
False
Let g(y) = -y**3 - 3*y**2 - 2*y + 2. Let p be g(-2). Suppose -9 = 3*j, -p*a + 5 = 5*j - 66. Let w = a - 44. Are w and 1 non-equal?
True
Suppose 4*u - 3364 = 2*m, 859 = u - 10*m + 14*m. Suppose u*b = 836*b - 56. Let a = -1.1 + -2.9. Does b = a?
False
Let b(j) = j**2 + j + 3. Let h be b(-2). Let o = h + -27. Which is greater: o or -21?
-21
Let p be 112/(-20)*(-8 - 13 - -16). Are p and -7 equal?
False
Let q = 594/47 + -2423/188. Which is bigger: q or -365?
q
Let j = -62.98 + 62. Let z = 0.85 + j. Let m = 0.17 + z. Is m greater than 0?
True
Let t = -0.2 + 0.15. Let f = -310 + 322. Suppose o - 26 = -f*o. Which is greater: t or o?
o
Let h be (3/(-6))/(20/(-160)). Suppose 3*x + b = -683, 17 + 3 = -h*b. Is -227 less than x?
True
Let m = 3 - 4. Let f = -37653/20915 - -6/20915. Is f at most as big as m?
True
Let t = 864 - 864. Suppose t = -5*j - 4*d + 26, 24*j = 21*j + 5*d + 23. Let u(s) = -3*s. Let q be u(-2). Is j less than q?
False
Let g(v) = v**2 - 1. Let c(h) = 9*h**2 + 7*h - 10. Let f(k) = c(k) - 5*g(k). Let s be f(4). Is s bigger than 87?
False
Suppose -33*m = -28*m + 2*u - 4, 0 = m + 3*u - 6. Is m >= -17?
True
Suppose 3*b + 2*t - 73 - 17 = 0, t = 3. Suppose 5*s + 43 = -102. Let p = b + s. Which is bigger: p or -7?
p
Suppose 3*h - 17 = -m, -3*m + 2 = -2*m. Let w = h + -6. Is w at most -8?
False
Let l = -20938 - -20910. Is -512/19 < l?
False
Suppose -5*s - 16 = -91. Suppose 4 = -j - 2*f - 8, -j - 3*f = s. Let n be 1/(3*(-2)/j). Is n != 3/4?
True
Suppose 11975*r = 11956*r - 77083. Does r = -4056?
False
Let n be 1836/187 + 10/55 - -5. Suppose -2*a + 32 - 75 = -5*g, 5*a = g - 27. Let o be g*(-11)/(-222) - 5/n. Are o and -0.1 unequal?
True
Let q = 33/151 - 1325/4681. Let b = 17 - 17. Which is smaller: b or q?
q
Suppose 3*k - f + 2 = 0, -k - 4*f + 2*f + 11 = 0. Let g(p) = -p**3 + 19*p**2 - 94*p + 1373. Let c be g(18). Is k > c?
False
Let p = 9.5461 + -9.59. Let a = p + -33.9561. Let s = 3 - 3. Is a greater than s?
False
Suppose -149*a = 13*a - 241056. Which is smaller: a or 1487?
1487
Let c be 1*((-3)/2 + 355/230). Let h = -28 + 30. Suppose h*z + 5*p = -3*z, 7 = 4*z - 3*p. Is c < z?
True
Let o be (7 - 645/(-9))*(-9)/(-6). Is 105 at most as big as o?
True
Suppose 0 = -4*y - 3*u - 13, 0 = -4*y - 0*u + 2*u - 18. Let v(o) = 102*o - 86. Let f be v(5). Let l = f - 426. Which is smaller: l or y?
y
Let o(x) = x**2 - 68*x - 689. Let b be o(68). Are -688 and b unequal?
True
Let z = -1037 - -1026. Suppose -4*j - h - 55 = 0, -4*h - h = -2*j - 55. Is j bigger than z?
False
Let v(t) be the third derivative of -t**5/6 - t**3/6 - 14*t**2. Let u be v(2). Let y = u + 38. Is y >= -3?
True
Let t(h) = h**3 + 20*h**2 - 44*h - 25. Let s be t(-22). Let y be -2 - -1*(-45)/s. Let b = 0.8 + -0.8. Do b and y have the same value?
False
Let j = 762526/2853515 - 250/931. Is 0 less than or equal to j?
False
Let m(c) = 99*c**3 - 2*c**2 - 82*c + 304. Let o be m(4). Are o and 6281 non-equal?
True
Suppose 3*u + 20764 = -4*b, 3*u + 10394 = -112*b + 110*b. Which is smaller: -5184 or b?
b
Let q = 204050 - 1638865/8. Which is bigger: 1 or q?
1
Let z = -6978.83 + 6979. Let d = 3 - 3.06. Is z <= d?
False
Let y(l) = 503*l - 2330. Let o be y(-4). Do -4344 and o have different values?
True
Suppose 15 = 2*l - 35. Suppose 4*m + 9 = 2*i - 1, 0 = i + 3*m - l. Is 55/4 greater than i?
True
Let p be (254/(-44))/(((-225)/(-100))/(-9)). Which is smaller: 23 or p?
23
Let j = 130.8 + -87. Let g = j + 3.2. Let f = g - 45.9. Which is bigger: f or 2/9?
f
Let u(q) = -2*q**2 - 44*q + 2. Let d be u(-20). Let c = d + -76. Suppose -3*n + 3*w = -c, -5*n - 8 - 2 = 5*w. Which is smaller: n or -3/7?
-3/7
Let v = -2998 + 38921/13. Which is smaller: v or -4?
v
Let u(s) = 5*s**2 - 8*s - 37. Let n(q) = 6*q**2 - 10 - 2*q - 5*q - q - 28. Let p(z) = -4*n(z) + 5*u(z). Let c be p(12). Do c and 16 have the same value?
False
Let v(d) = -d**3 - 10*d**2 - 22*d - 8. Let s be v(-7). Let u be ((-16)/(-180))/(2/s). Is 2/3 != u?
True
Let p be (-1849 - -28)*(4 - 41/9). Is 1011 bigger than p?
False
Let b = -277 + 92. Let f = b - -186. Let a = -612 - -14078/23. Is a <= f?
True
Let c be (-1 - 2) + 18 + (-154)/18. Is 6 bigger than c?
False
Let w = 1097.26 - 1115. Is 2/7 greater than or equal to w?
True
Let w = 3.8 + -16.3. Let k = w - -12.6. Do k and 9 have different values?
True
Suppose -40 = a - 67. Let t = -13 - -14.1. Let c = -1 + t. Which is greater: a or c?
a
Let g = 3742 - 3414. Is g greater than or equal to -0.14?
True
Let j(p) be the third derivative of p**7/1260 + p**6/90 - p**5/24 - 7*p**4/12 - 25*p**2. Let t(m) be the second derivative of j(m). Let z be t(-7). Is 36 > z?
False
Let p = -6.89 + 432.89. Let s = p - 285. Is -1 less than s?
True
Let u be 8*(-9 + 5) + (7 - 3). Let n be 14/u - 6/(-8). Is -4/21 at most n?
True
Suppose -3*g = -37 - 77. Suppose g*t - 42*t + 72 = 0. Let h be 4/t - (-371)/(-1386). Is 0 less than or equal to h?
False
Let p(f) = -17*f + 346. Let i be p(18). Which is smaller: i or 531/13?
i
Let z = 7.19 - 7.39. Let u = 0.2 + -0.3. Let r = u + z. Is -2/3 at most as big as r?
True
Let n = -3.132 + -1.868. Which is greater: -1273 or n?
n
Suppose -19*i + 18224 - 72807 = 2778. Is -3023 greater than or equal to i?
False
Let r = -53.29 + 6.19. Let k = r - -70.1. Which is greater: k or 0.1?
k
Let k = 4/1713 + -5691740/5139. Which is greater: -1109 or k?
k
Suppose -5*j + 10*j + 20 = 0. Let i(a) = a**2 + 2*a - 4. Let r be i(j). Suppose 28 = d + 5*z, r*d - 2*z + 3*z - 36 = 0. Is 6 at least d?
False
Suppose 2*x + 28 = 3*d - 24, -d = -x - 16. Suppose -3 = -d*t - 23. Let a = 2576/130647 - 2/1177. Is a greater than t?
True
Let w be (91/26)/((-4)/8). Let r = 64 - w. Is r greater than or equal to 69?
True
Suppose -2*m + 139 + 68 = -3*u, -2*u + 3*m - 133 = 0. Let p = -71 - u. Let c = 2/431 + -1762/8189. Which is bigger: c or p?
p
Let n = 0.1407 - 0.2966. Let t = -0.0441 + n. Is 36.7 < t?
False
Suppose -2*h - 16 + 0 = 2*d, 3*d = -4*h - 27. Let q = 56 - 61. Does q = h?
False
Let l = 613 + -540. Suppose -35 = 27*f + l. Let k = -0.1 + 0.5. Is k at least f?
True
Let j = 227 - 235. Let z be ((-174)/4)/(1 - (-12)/j). Is z equal to 84?
False
Let y = -11433 + 11438. Is y at least 107/19?
False
Let f(u) = 257*u**2 - 55*u + 161. Let m be f(3). Which is bigger: 2308 or m?
m
Suppose 3*i - 35 = -50, -j = -i - 369. Which is bigger: j or 1461/4?
1461/4
Let a(h) = h**2 + 3*h - 2. Let j be a(7). Suppose -b + 1675 = 5*t + 4*b, 0 = -t - 5*b + 335. Suppose t = -5*w + 10*w. Which is greater: w or j?
j
Let m be (-3)/((2/(-7))/2*3). Let t(o) = -o**2 + 3*o + 32. Let n be t(m). Suppose 4*p + p = n*y + 40, -2*y = -3*p + 24. Which is greater: p or 5?
p
Let j be (235/(-20)*1)/(3/(-12)). Suppose j = -2*r + 15. Suppose -3*w - 17 = -2*w. Which is bigger: w or r?
r
Let x(y) = y**2 - 2*y - 10. Let t be x(0). Let r be (-38)/t - 8/(-40). Suppose r = 5*h - 1. Is 1 less than or equal to h?
True
Let r(m) = m**3 + 10*m**2 - 15*m - 51. Let z be r(-13). Let c = z - -364. Which is smaller: -2/599 or c?
-2/599
Suppose -7*t + 54 - 33 = 0. Suppose g + 81 = 6*g - t*r, 4*g - 60 = 4*r. Suppose 17 = -5*j - g. Is j less than -4?
True
Let q = 259 - 131. Suppose v - q = -3*v. Suppose 5*z + 63 = -v. Is z < -18?
True
Let j be (5/(-9 + -1))/((-35)/(-140)). Which is bigger: j or -91/36?
j
Suppose 0 = -3*p - 4*p - 112. Let o