*u - 1595, -6*u = 4*k - 1280. Which is greater: k or -6?
k
Let o be 7887/19 + ((-1557)/171 - -9). Suppose -9*x - 1117 + o = 0. Which is greater: -77 or x?
-77
Let f = -2/2085 + 6331/79230. Suppose 89*x + 25*x = 488*x. Are f and x equal?
False
Let l = 1164 - 1165. Which is greater: -2626 or l?
l
Let k = -45.849 + 45.8. Let t = -0.249 - k. Is -23 at most t?
True
Let f = 93490/63 + -1484. Let v be (-6)/(-135)*68/(-7). Let i = f - v. Which is smaller: i or -1/8?
-1/8
Suppose -2*w - 5*r = 12, 2*w + 0*r - 24 = 4*r. Suppose -5*p - t + 68 = -0*t, w*t + 8 = 0. Let b be 6 - 510/p - 6/(-14). Which is bigger: b or -28?
-28
Let p(v) be the second derivative of -v**4/6 - 10*v**3/3 - 43*v**2/2 + 279*v. Let r be p(-3). Are r and -3/550 nonequal?
True
Let g = -2.56 - -1.3. Let i = g - -1.46. Let c = 19 - 8. Is i equal to c?
False
Let b = 0.6636 - 0.6996. Which is greater: 26/5 or b?
26/5
Let o = 206262 - 1233979/6. Let w = o - 597. Is w at least -0.1?
True
Let p = 0.064 - 35.064. Let y = p + 34. Let x = -15.41 + 15.8. Is y <= x?
True
Suppose 3*i = 6*i. Let r = -111 - -6777/61. Let o = r + 25/366. Which is smaller: i or o?
i
Let s = 761 - 761.2. Is s smaller than 5.45?
True
Suppose -17 + 9 = -8*h. Let o = -465/8483 + -2/499. Is h != o?
True
Let y = -9092 + 9438. Is y > 1/50?
True
Let a = -15 - 47. Let d(k) = k**2 + 9*k + 4. Let t be d(-9). Let g be a/22 + t/(-22). Which is bigger: g or -5?
g
Let k = 228 - 222. Suppose k = -236*o + 233*o. Are o and -4 equal?
False
Let v = 10437 - 72917/7. Which is smaller: v or -0.07?
-0.07
Let v(s) = -3*s**3 + 6*s**2 - s + 22. Let f be v(-6). Let q be -1 + (-2 - (-2674)/f). Let o = q + 2241/4906. Is 1 greater than or equal to o?
True
Let p(o) = -o**2 + 6*o - 5. Let f be p(10). Let c = 120 + -116. Let q be -1*(-3)/f + c/6. Which is bigger: 2 or q?
2
Let u be ((-1)/(-9))/((-1)/(-2913)*-4). Let a = u + 81. Let n(i) = -i**2 - 3*i. Let y be n(-3). Which is greater: y or a?
a
Suppose -h = g + 84 + 52, -5*h - 394 = 3*g. Which is smaller: -1582/11 or g?
-1582/11
Let b = 3.2 - -37.8. Let r = -58 + b. Let a = r - -17.1. Which is bigger: a or 0.5?
0.5
Let k = 4.161 - 3.983. Which is greater: -0.02 or k?
k
Let a(k) = -k**3 - 4*k**2 - k - 4. Let t be a(-4). Let v be (-1 - t)/((-10)/(-10)). Let w be (-1)/((-9)/24 - -2). Is w at most v?
False
Suppose -3*a + 10 - 1 = 0. Suppose 4 = -z - 3*n + 24, -4*z = -2*n - 10. Suppose -4*d + 16 = 4*w, 0 = -d - a*w + z*w - 8. Which is greater: d or 2?
2
Suppose 50 = -4*u - 2*j, -3*j - 15 = 4*u + 36. Let l be (14/8)/((-3)/u). Suppose 4*w - 28 = 3*a, 30 = w + 4*w - 5*a. Which is smaller: w or l?
l
Let t = -0.34 + 0.1. Let g = t + 1.24. Let d be 2/165*20/(5 - 3). Which is smaller: g or d?
d
Let i = 224351/11 + -20395. Let k = -386/5 - -77. Which is smaller: k or i?
k
Let m = -78.116 + 0.116. Let g = 41 + m. Let t = 0 + -1. Which is smaller: g or t?
g
Suppose 10*g + 4228 = 2*d + 9*g, -g = -4*d + 8452. Is d smaller than 2111?
False
Let q(h) = -h**3 + 22*h**2 - 13*h - 164. Let f be q(21). Suppose -40*i + 38*i = -2. Is i < f?
True
Suppose -3*a - 3*z - 56 = -41, 3*z = 5*a + 65. Let k be 10 + (-17 - (a - -5)). Let x = 54 - 164/3. Do k and x have the same value?
False
Let i be 5 + -2 + 70/10. Let d be (45/i + -4)/(3/(-1866)). Is d not equal to -0.1?
True
Let j be (-3)/45*-6*-25. Suppose 5*g - 51 = t + 93, -5*g + 136 = t. Let n = -39 + g. Which is greater: j or n?
j
Let s = -13103 - -19885. Let q = -54151/8 + s. Is q greater than 12?
True
Let m = 70 + 102. Let u = m + -171.9. Which is smaller: -14 or u?
-14
Let g = 56 + 72. Suppose 4*h - g = -96. Suppose 2*r - h*r + 438 = 0. Does 73 = r?
True
Suppose 5*y = h + 50, 7*h - 21 = -4*y + 4*h. Suppose y*i = -98 - 73. Do -13 and i have the same value?
False
Suppose -581*p - 8011 + 23120 = -60*p. Let z(w) = -25*w. Let c be z(-1). Which is greater: c or p?
p
Let p = 737/6 - 121. Let a = p + -7/6. Do -0.01 and a have the same value?
False
Suppose -4*r + 96 = -988. Which is smaller: r or 270?
270
Let h = -880 - -579. Let t = h - -301.1. Which is bigger: 25 or t?
25
Let d = -1723 - -2418. Let a = d + -694. Which is greater: a or 14?
14
Let k = 1/206 - -256/309. Let t = -5/6 - k. Is 1/3 at least t?
True
Let g(z) = 406*z + 1792. Let r be g(-4). Which is smaller: r or 127?
127
Suppose 0 = 3*o + 2*y - 5, o + 3*y = 8*y + 30. Suppose -12 = -3*b + t - 5*t, -3 = -o*b - t. Which is bigger: 1/35 or b?
1/35
Let r = 4398 - 4399. Is r equal to 9/208?
False
Let x(k) = -225*k + 130. Let j be x(-25). Suppose -j = 21*c - 1177. Which is greater: -217 or c?
-217
Suppose 12 = n + 2*z - 0*z, -4*n - 5*z + 33 = 0. Let p(a) = a**3 + a - 1. Let k be p(n). Let u be (k/40)/(6/(-8)). Is u != 0?
True
Let u(d) = -d**2 + 5*d + 149. Let o be u(-16). Is o greater than or equal to 2?
False
Let f = 412 + -409.86. Let j = 11.14 - f. Is j >= 25?
False
Suppose 6*f - 81 = 3*f. Let s = 34.5572 - 0.0572. Let o = 34.3 - s. Is o greater than f?
False
Let r(h) = 57*h + 4. Let u(g) = -57*g - 4. Let f(s) = 5*r(s) + 6*u(s). Let o be f(-1). Let n = 32 - o. Is n at most as big as -19?
True
Let y = 1876 - 1849. Is y less than or equal to 2/189?
False
Suppose -43*x = -42*x + 3. Let o be (-140)/(-23) - (3 - x). Which is smaller: o or 6/11?
o
Let r be -622*(-20)/6216 + -2. Suppose 0 = 5*k - 137*k - 28 - 104. Is k at most r?
True
Let y = -1528 + 7601/5. Let p = y - -122/15. Let m be (-608)/308 + -1 + 3. Is m equal to p?
False
Suppose z + 5*j = 103, 3*j = -z + 4*j + 85. Suppose z*o = 87*o + 1. Which is bigger: 1/51 or o?
o
Let p = -702 - -6410/9. Is p < 9?
False
Let m be 4 + -1 - (-3 + 1 - 0). Suppose -11*o - 208 = m*o. Which is smaller: o or -2?
o
Let l be (-43296)/572*12/8. Are l and -114 non-equal?
True
Let h be (162/6570)/((-9)/30). Let o be 1/(-1)*1/1. Which is greater: h or o?
h
Let q be (-2)/(-3)*182/(-260)*-615. Is q at least as big as 2015/7?
False
Let r = -31 - -48. Suppose 0 = -3*h + 3*u + 3, 3*h - 3*u = -h + 6. Suppose -h*y = b - r, 4*y - 5*b + 13 = y. Which is smaller: y or 8?
y
Let w = -710 - -1026. Suppose -t + 127 = -2*m, 5*m - 2*t + w = 2*t. Is m at least -63?
False
Let u = 9.5 + -4.8. Let r = 4.3 + u. Let a = 9 - r. Which is bigger: a or 1/2?
1/2
Let t = -37.273 - -0.273. Is t less than or equal to -20?
True
Let w = 1227 + -1158.7. Let j = 68 - w. Which is bigger: j or -14?
j
Let h(d) = d - 2. Let b be h(4). Let f(i) = 7*i + 17*i + 2*i**b - 28*i. Let j be f(-5). Is j bigger than 69?
True
Let n(y) = -y**3 - 4*y**2 - 5*y - 4. Let r be n(-4). Let x be (-2)/8 + (-116)/r. Which is bigger: x or -1/3?
-1/3
Let g(l) = -2*l**2 + 44*l. Let z be ((-8)/(-5))/(-4) - (-72)/(-20). Let y be (-80 - z)/(-4) - -3. Let n be g(y). Which is smaller: -2/29 or n?
-2/29
Let d = -191 + 314. Let l = d + -124. Which is greater: l or -11/25?
-11/25
Let g(p) = -p**3 + 4*p + 3. Let t be 12/(-54) - (-2)/((-54)/21). Let l be g(t). Let h = -32/7 - -97/21. Which is bigger: h or l?
h
Let f = 319 + -215. Let j = 143 - f. Which is greater: 0.3 or j?
j
Let s be (3 + 0)*1/(-3). Let a be 21/6*(s + 3). Let z = -5797 + 5803. Is z > a?
False
Let m = -219 + 310. Let x = m + -7. Suppose 3*h - x = -2*i - 198, -171 = 3*i + 3*h. Is -57 <= i?
True
Suppose 208*j = 207*j + 160. Suppose -a = 3*a - j. Suppose a = -3*d - 5*g - 13, -4*d - 80 = 2*g. Is d greater than -21?
False
Suppose -197 = -5*j + 33. Let w be ((-7)/28)/((-1)/188). Are j and w unequal?
True
Let m be 7/15 + 9/45. Suppose 8*a + 5*p = 3*a + 305, -5*a - p + 309 = 0. Which is bigger: m or a?
a
Let r = 8202 + -8201.71. Is r not equal to -0.34?
True
Let c(q) = -120*q + 116. Let w be c(4). Let j = w + 502. Is 139 at most j?
False
Suppose l + 2*h = 231, 0*l + 462 = 2*l - 4*h. Suppose -24*w + 3*w + 7392 = 11*w. Are l and w unequal?
False
Let z be (-2)/8 + (12865/20)/1. Let m = -637 + z. Which is greater: m or -8?
m
Let h = -8416 + 8416. Which is bigger: 8/207 or h?
8/207
Let z be 2769/18 - 8/(192/20) - 1. Which is smaller: 141 or z?
141
Let t(i) = -i**3 - 49*i**2 + 36*i - 701. Let k be t(-50). Which is smaller: k or 2/53?
k
Let g be (-1)/(0 + (-1)/2). Let p be 33*(-2)/g - 0. Let b = 222276 + -222308. Is p <= b?
True
Let g = -644.9 - -643.9. Is 6550 >= g?
True
Let p = -2357/1211 - -312/173. Which is greater: p or 8.65?
8.65
Let r = -10081/114 - -1164/19. Suppose -1093 - 2220 = 89*w - 821. Which is greater: w o