 be 112/(-38) + (-2 - (-2 + -3)). Which is greater: k or -1/7?
k
Suppose -9*p + 0*p = -63. Let h be (p/(-4))/((-2)/16). Is 16 not equal to h?
True
Suppose 0 = j + 5, 5*j - 124 = 5*v - 9. Is v smaller than -28?
False
Suppose -t = -5*c - 459 - 583, -409 = 2*c - 3*t. Which is greater: -207 or c?
-207
Let y = 117.2 + 30. Let x = y + -147. Which is greater: x or -23?
x
Suppose -4*u + 94*x = 93*x - 2, -4*x - 8 = 0. Is u at most 4/49?
True
Let r be 42/4 - (-5)/10. Let p = -39 + 49. Is r greater than p?
True
Let r = 1477 + -1476.56. Is r >= 1?
False
Let g = 45/53 - 17691/20087. Do g and -1 have the same value?
False
Let d = 4568/3 - 1518. Is 6 bigger than d?
True
Let v = 67345/47 - 1433. Let a be (-4)/(-18) + 6/(-27). Which is smaller: v or a?
v
Let l be (-2 - 18/(-5))/(4/(-50)). Let n = -44 - l. Let b be 50/6*(-1 - 2). Which is bigger: n or b?
n
Let m be (-4)/(1 + 35/(-45)). Are m and -118/7 nonequal?
True
Let q = 0.26 - 0.42. Do q and -2 have the same value?
False
Suppose c - 2 - 3 = 0. Let b = c - 3. Suppose -8 = -b*j - 0*z - 3*z, 2*j = 3*z - 4. Is 1 < j?
False
Let i = -1823 - -1591. Which is bigger: -2/5 or i?
-2/5
Suppose 0 = 4*k + 5*z - 35, z - 5*z + 2 = -2*k. Suppose -k*i + 11 = -4. Let t = -15 - -17. Which is smaller: t or i?
t
Let j = 238.8 - 239. Which is greater: j or 2/153?
2/153
Let y = 1057 + -1016. Is y greater than or equal to -1/5?
True
Suppose 6 = -2*l + 5*l - 5*r, -5*r - 3 = -4*l. Let y be l + ((-38)/14)/(-1). Which is smaller: y or -3/2?
-3/2
Let x = -2.07 - -96.07. Let n = -94.11 + x. Do -1 and n have different values?
True
Let w(v) = -v + 3. Let z be w(3). Let k = 712 - 29195/41. Which is smaller: z or k?
k
Let l = 32510/221 - 2030/17. Let h = 12626/455 - l. Do 1 and h have different values?
True
Let r = 5.48 - -3.16. Let k = -8.6 + r. Is 4 greater than k?
True
Let d = -9873 - -6810. Is -3064 not equal to d?
True
Let a be ((-3)/(-15))/1 - 102/285. Which is smaller: -1 or a?
-1
Let t = 224 + -248. Which is smaller: -22 or t?
t
Suppose 0 = 2*q - 0*t + 2*t - 4, q - 2*t = 8. Suppose -w - 3*s + 21 = 7, q*w - 47 = -3*s. Which is smaller: 12 or w?
w
Suppose -5*g + 5*i - i + 44 = 0, 0 = -g + 2*i + 4. Let f = 30 + -14. Let y = 28 - f. Is y greater than g?
False
Let i be (7/7)/(54/(-14) - -4). Are 21 and i equal?
False
Let v = -36 + 53. Let f = 12 + -29. Let l = v + f. Is l less than or equal to -2/15?
False
Let i be (3 + (-98)/56)/((-10)/(-2)). Is 464 less than i?
False
Let l be (-3)/(-13) + 256041/3861. Is l bigger than 67?
False
Let w = 38.9 + 0.1. Suppose 5*m = 9*s - 5*s - 14, -4*s - 5*m = 6. Which is greater: w or s?
w
Let a = 0.19 - 20.19. Let m = a - -21.3. Let b = m - 1.2. Is -0.7 bigger than b?
False
Let r be (-6)/10*4/(16/(-20)). Suppose r*l = -5*v - 77 - 323, -2*v = 3*l + 169. Which is bigger: -76 or v?
-76
Suppose w - z = 2, 0*z - 8 = -2*w + 4*z. Suppose -4*j + 24 = -v + j, w = -5*v - 4*j + 25. Let s be (-60)/(-442) + (-78)/1326. Which is greater: v or s?
v
Let i = -68 + 66. Let j = 30/7 + -344/77. Do i and j have the same value?
False
Let g(r) = -7*r - 4. Let q be g(-1). Let u be ((-118)/q - 1/(-3)) + -1. Which is greater: 0 or u?
0
Suppose -2*q - 4*h + 72 = 0, -4*q + 0*q - 4*h = -132. Let s = q - 23. Is s equal to 5?
False
Suppose 3*b - 370 = -f, -5*f = -5*b + 6*b - 100. Which is smaller: b or 126?
b
Let d be 234/57 - 2/19. Let u(g) = g**3 + 10*g**2 + 9*g + 11. Let x be u(-9). Suppose 4*r - 13 = x. Is d greater than r?
False
Let o = -95.2 - -95.9. Does o = 5/13?
False
Suppose -32 = 2*q + 4*i, -i + 2 = -2*q - 5. Let u be ((-10)/(-4))/((-215)/(-5676)). Let v = u - 64. Is v > q?
True
Let m = -31.8578 + -0.0422. Let u = -32 - m. Let d = -4.02 + 0.02. Which is bigger: d or u?
u
Suppose -s + 7*s = 30. Suppose 23 = -4*f - x, -f - s*x = 22 - 2. Which is greater: -40/11 or f?
-40/11
Let k = 555.43 - 2.43. Do -0.1 and k have the same value?
False
Let t = -513 + 524. Which is smaller: t or 73/6?
t
Let z = -0.141 - -154.141. Is z smaller than 4?
False
Let t be 0/(-1)*15/30. Which is bigger: t or -119?
t
Let q = -39 - -36. Let k(j) = j + 7. Suppose -5*a = -3*a + 16. Let w be k(a). Is q bigger than w?
False
Let t be 11 + (4 - 5/1). Suppose 52*d = 48*d + 36. Which is smaller: d or t?
d
Let k be (-8)/4*(-318)/12. Let t = -55 + k. Is t < -20/9?
False
Let p = -671 - -451. Does p = -1/3?
False
Let x = 0.03 - 13.03. Let b = -11 - x. Which is bigger: -3 or b?
b
Let b(u) = -u**3 + 3*u**2 + 3*u + 5. Let v be b(4). Let t be (v - 3)*-4*2. Suppose 3*s + 19 = 4*l, s - 4*l - t = 5*s. Is s equal to -5?
True
Let j = -1116761/66 + 16920. Let v = j + 4/33. Which is smaller: -1/14 or v?
v
Suppose -24*a + 17635 - 4579 = 0. Is a <= 545?
True
Let f = 0.12 - 0.1. Let b = f + 0. Let x = 83 + -83. Is b at most x?
False
Let q(c) = c**2 + 7*c + 9. Let s(i) = -i**2 - 8*i - 10. Let f(v) = 3*q(v) + 4*s(v). Let w be f(-9). Suppose -6*b = -w*b + 1. Is 10 smaller than b?
False
Let n be ((-2)/(-7))/((-52)/182). Which is smaller: -1/588 or n?
n
Let d = 28 + -24. Suppose -d*u = -4*t - 12, u + 7 = -4*t - 0*t. Which is greater: t or -7?
t
Suppose -3*s = -u - 23, -14 = -2*s + 2*u + 4. Let j be (-1 - (-5)/s)/(3/(-21)). Which is bigger: 3/5 or j?
j
Let i = 5.26 + -5. Let o = i - 5.46. Let t = -5 - o. Which is smaller: t or 9?
t
Let x = -7 - -7.49. Let p = -0.5 + x. Let g = -1.01 - p. Do g and 3 have the same value?
False
Let v = -413 - -4945/12. Is -2 smaller than v?
True
Let o = 0.36 + -0.16. Let y = 0 - 1. Let z = 1 + y. Which is smaller: z or o?
z
Let d = 11 + -7. Suppose d*t - 2*b = 158, 0*b - 3*b = 2*t - 91. Does -1 = t?
False
Suppose -2 - 8 = -5*o. Let n(b) = o*b**2 + 4 + b**3 - 2*b**2 - b**2 - 5*b**2 + 4*b. Let m be n(5). Is -1 at least m?
True
Let b = -140 + 89. Let m = 51.39 + b. Is m >= -1/2?
True
Let a = -1887 - -1857. Let b = 5 - 36. Is a <= b?
False
Suppose -13*k - 6 = -7*k. Let g be (k - (-7)/4) + 27/(-36). Which is bigger: -7/16 or g?
g
Let r be 4/22 + (-20905)/(-55). Let g = -380 + r. Which is smaller: g or -1?
-1
Let s(u) = 3*u - 2. Let v be s(-3). Let l = v + 37. Which is smaller: l or 25?
25
Let z = -390 - -389. Suppose -4*n - b + 2 = -1, -b + 3 = 3*n. Is z != n?
True
Let d = 1.57 + 0.03. Let w = -2 + d. Let o = -241.8 + 242. Is w at least as big as o?
False
Let t = 0.0777 + -4.0777. Which is smaller: t or 7/3?
t
Suppose 3*w + 17 + 7 = 0. Let v be (6/(-15))/(w/10). Which is smaller: -25 or v?
-25
Let v(i) = -i + 1. Let h be v(4). Let z(t) = -3*t**2 + 2*t. Let o be z(h). Let u be 39/o + (-1)/(-1). Which is smaller: 1 or u?
u
Let f be 0 - (14/16 - 0). Let i be 19/(-57) + (-82)/(-48). Let d = i + f. Do d and -0.3 have the same value?
False
Let n = -208 + 191. Are 2 and n nonequal?
True
Suppose -65*m = -71*m - 120. Let h be 10/m + 1/2. Is -1/21 at least as big as h?
False
Let t = -2559 + 17961/7. Which is smaller: 8 or t?
t
Let k = -52/5 + 46/5. Let x be (-72)/45 - 7/((-14)/4). Which is smaller: k or x?
k
Let b(h) be the second derivative of h**4/6 + 2*h**3 - h**2/2 + 5*h. Let m be b(-6). Let d be (0 - -3)/(-3)*m. Is d >= -2?
True
Let g = 2837/2 + -1386. Which is smaller: g or 32?
32
Let n = -358/13 + 27. Are 0 and n nonequal?
True
Let m = -27.57 - 1.23. Let z = m + 35. Let i = z + -6. Which is smaller: i or 2/7?
i
Let v = -469 - -443. Which is smaller: -13 or v?
v
Suppose 5*f = -j + 24, -j + f - 9 = 3*j. Which is smaller: j or -18?
-18
Let o(x) be the first derivative of 1/2*x**2 - 7*x + 2. Let j be o(5). Is j at least -1?
False
Let o be 5 + -5*(-2 + (-24)/(-10)). Suppose 2*b = -3*f - 28, 0 = 4*b - o*f + 7 + 13. Is -2 at most b?
False
Let d = -5.244 - -5.1. Which is smaller: -2/7 or d?
-2/7
Let n = -1467 - -617605/421. Is n <= 1?
True
Suppose 0 = f - 2*j - 550, 0 = -f - 0*f + 4*j + 556. Let r be (-4)/18 - f/(-1071). Is -0.27 > r?
False
Let i be 5/(35/16) + 30/(-105). Which is bigger: i or -64?
i
Let d = -1 + 2. Suppose q + g = 7, 4*g + 0 = -q - 2. Let t be (1/(-90))/(q/40). Are d and t non-equal?
True
Suppose 4*d + 5*v = 135, -2*d + v = -4*d + 69. Suppose d + 64 = -3*r. Are 3 and r equal?
False
Let q be (-65)/(-8) + (-2)/16. Let o(z) = z**3 - 9*z**2 + 9*z + 2. Let y be o(q). Is y bigger than 9?
True
Suppose 0 = -0*m - 2*m - 26. Suppose 0 = -48*t + 40*t + 200. Let r = m + t. Is 10 smaller than r?
True
Let b be 10/12 - 5/10. Let c = 18.7 - 18. Let k = 0.73 - c.