 98 = -m, 2*z = 4*m + p. Let d = m - -43. Which is smaller: d or -4/9?
d
Let f = -670 - -417. Let h = f - -255. Which is greater: h or 17/16?
h
Let d = -161.2 - -271. Let j = 110 - d. Suppose -o + 2 = -7. Which is greater: o or j?
o
Let v = 303.12 + -4.12. Let x = 296 - v. Let d = -2.5 - -3. Is d not equal to x?
True
Let z be 3 + 6 + -9 - -6. Let d be z + 250/165*-4. Which is smaller: 0.07 or d?
d
Let a(y) be the third derivative of y**5/60 - 17*y**4/24 + 11*y**3/2 + y**2 - 2. Let f be a(10). Suppose -3*i - 114 = -0*i. Is i bigger than f?
False
Let o = -0.02 + -0.01. Let k = 0.0714 + -6.0714. Which is smaller: o or k?
k
Let r be 72/(-10)*165/22. Let s = r + 812/15. Let q = -1532/15 - -514/5. Which is smaller: s or q?
s
Let t(o) = -o**3 - 2*o**2 + o + 46. Let x be -1 + 2 - (-6 - -11). Let b be (-1)/(-2)*0*x/8. Let a be t(b). Which is smaller: 1 or a?
1
Suppose -2*c = -1 - 5. Let s(w) = 4*w - 3*w - w**3 - 2*w**c - 25*w**2 + 22*w**2. Let k be s(2). Is k smaller than -69/2?
False
Let a be (-2032)/3120 + 12/234. Do 3/4 and a have different values?
True
Let g = -40.4273 - 0.0527. Let o = -0.48 - g. Let b = o - 40.09. Which is smaller: b or 0.1?
b
Let j = 0.8 + -3.8. Let p = -0.11195 + 0.87195. Is j <= p?
True
Let h = 22697 + -20090. Which is greater: 1/5 or h?
h
Let l = -718 + -1267. Is l at least -1983?
False
Suppose -j + 3 = -11. Suppose -18*d + j*d = 120. Is -31 >= d?
False
Let h be 15/(-120) + (-2 - 57/(-8)). Suppose 4*o - 16 - 18 = h*n, -26 = -5*o - 2*n. Which is smaller: 94/13 or o?
o
Let c = 1697954/9 + -189083. Let f = -422 - c. Is f <= -1?
False
Let z be 6/(-20) - ((-2941)/170 + 7). Which is greater: z or -72?
z
Suppose -23*z - 11*z + 154 = -152. Let j = -20 - -35. Suppose j*m - 18*m = z. Is -3 smaller than m?
False
Let s = -329 + 332. Suppose -155 - 728 = s*x - 5*j, -3*j = x + 313. Which is smaller: -300 or x?
x
Let l = 67.6 + -3.6. Let i = -65 + l. Is i greater than or equal to 7?
False
Let u = 3503/9 + -24578/117. Let x = -179 + u. Which is smaller: -0.1 or x?
-0.1
Suppose -9*v = -13*v + 3*z + 305, -2*z = 5*v - 364. Suppose 5*q - 360 = 2*n, q - 4*q = -3*n - 207. Is q smaller than v?
False
Let n(z) = z**3 - 9*z**2 + 23*z - 11. Let w be n(6). Suppose 21*q = w + 2. Which is smaller: 22 or q?
q
Let n(w) = -9*w + 157. Let r be n(16). Let j(p) = -5*p + 92. Let z be j(r). Which is smaller: z or 30?
z
Let v = -117 - -115. Let t be (24/(-468))/((-6)/(-27)). Is v at least as big as t?
False
Let g be 0 + -1 - (9 + (6 - 16)). Is g greater than 2/2197?
False
Suppose -56 + 23 = 56*v + 23. Which is smaller: -1799 or v?
-1799
Let v(k) = -35*k - 161. Let r(n) = -12*n - 53. Let a(g) = -14*r(g) + 5*v(g). Let h be a(-9). Which is bigger: h or 64/9?
64/9
Let s be (-6 + (-4)/12 + (28 - 2))*-9. Is s at most -7/3?
True
Suppose 2*z - 2 = 3*s, 4*s + 5*z - 5 = -0. Let p = 318 - 325. Let k be (p + 8)*(-6)/(-86). Which is greater: k or s?
k
Let a = 4596.074 + -4592. Which is bigger: a or -2?
a
Let p = -183 - -173. Let i be 9/(27/12) + (p - -1). Which is greater: i or -32/5?
i
Suppose -11*g + 12*g - 3*j = 1258, 2*g + 5*j - 2527 = 0. Is g at least as big as 1262?
False
Let s be (-10)/120 + (-194)/(-24). Let y(x) = -3*x - 17. Let p be y(s). Is p < 0.5?
True
Let a = 96 + -85. Let x = a + -10.72. Is 2/7 greater than x?
True
Let a be ((-16017)/36)/19 + (-5 - 3). Is a at least -30?
False
Suppose 4*h = -3*u + 2 + 30, -u = 5*h - 7. Suppose 2*b = -u - 18. Is -2 < b?
False
Let s be 96/(-10)*1020/(-24). Let a = 397 - s. Is -11 greater than a?
False
Let a(c) = -2*c**2 - 14*c + 58. Let n be a(4). Let k be (12/n)/(7/(-665)). Is 37 at most k?
True
Let k be 5/6550*(-450)/25. Is 0 != k?
True
Let z = -122.58 + 256.58. Let b = -12.2 - -145.2. Let u = z - b. Which is smaller: u or -3/5?
-3/5
Let a be 8/(25 - -7) - 114/200. Let v = -1/75 + a. Which is smaller: 0.1 or v?
v
Let i = -335.92 + 335.72. Do i and -77.31 have the same value?
False
Let a(k) = k**2 + 7*k + 8. Let f be a(12). Suppose -5*l - 94 = -2*h, -l + 30 - f = -4*h. Let q = h - 53. Is q less than or equal to -3/11?
True
Let t = 91.79632 + 0.19368. Let h = t - 7.59. Let p = h - 84. Do -3 and p have different values?
True
Let y be (-408)/(-85) - (-1)/5. Suppose l = -y*z - 192, 2*l = -z - 8 - 25. Which is greater: -118/3 or z?
z
Let a = 2 - 23. Let l = 44 + a. Suppose -39 + l = -4*t. Is 8/3 greater than t?
False
Let v = -5 - 1. Let f(d) = d**2 + 109*d - 1320. Let m be f(11). Is m < v?
False
Let k(c) = c**2 - 15*c + 27. Let w be (-3)/(-4 - -1) - (3 + -16). Let q be k(w). Suppose -4*d = -5*i + 53, 2*i - 4*i - 2*d + 32 = 0. Are q and i unequal?
False
Let x = 1093 + -3323. Is x <= 3?
True
Let b = -898 + 899. Is 1/10907 less than b?
True
Let h(q) = 37*q - 311. Let v(i) = -12*i + 102. Let u(b) = -2*h(b) - 7*v(b). Let z be u(9). Let f be 2/(-3) - 93/63. Which is greater: f or z?
z
Let w be 2/4 + (-254)/(-4). Suppose 93*f = 88*f + 100. Suppose f = 4*k, -329 = -5*p - 4*k + 6. Is p != w?
True
Let j be ((197376/(-36))/(-16))/((-8)/(-432)). Is 18504 less than j?
False
Let a(j) = j**3 + 22*j**2 + 28*j - 24. Let t be a(-13). Is 1136 at least as big as t?
True
Let r = 3936/5 - 783. Let b = 140 + -136. Suppose -3*u - b*f = -27, f - 4*f = 3*u - 24. Which is greater: r or u?
u
Let v(p) be the second derivative of p**5/20 + 2*p**4/3 + p**2 + p. Let h be v(-8). Let g = -20732/7 + 2963. Is g > h?
False
Let a(i) = -12 - 23 + 20 - 19 - 5*i. Let p be a(-7). Are -12.4 and p unequal?
True
Let z = 31403 - 18339357/584. Is 1 greater than z?
True
Let b(p) = -12*p**2 + 2*p + 2. Let g be b(2). Let z be g/105*(-75)/(-28). Let a be (-2 + 2)/(2*-1). Are a and z equal?
False
Let p = 0.484 - 0.179. Let c = 11.305 - p. Which is bigger: c or -2?
c
Let u(s) = -4*s**2 - 6*s + 4. Let v = 41 + -43. Let q be u(v). Which is smaller: -3/14 or q?
-3/14
Suppose -6*h - 1292 = 11*h. Let q = h - -76. Suppose 3*a = 3*m + 8*a + 118, m + 4*a + 37 = q. Which is smaller: m or -40?
m
Suppose -4*g + 78 = 3*z, 7*g = -5*z + 3*g + 122. Suppose -2*v - 24 = 4*c, 5*v + 3*c + z + 3 = 0. Let j be -32*(1 - (-3 - v)). Is j equal to -63?
False
Let f = -26076 - -26075. Is f != 14/1523?
True
Suppose 0 = 3*n - 5*q - 8610, 16*q = 2*n + 19*q - 5740. Let o = -17257/6 + n. Which is smaller: -6 or o?
o
Let p be (-4)/4 + (-134)/58 + 4. Let o = 1477 + -1477. Which is smaller: o or p?
o
Let n = 8 + -3. Suppose 4*v - 3*o + 4 = 0, o + 24 = 4*v + n*o. Let p(u) = u**3 + 2*u**2 - 4*u - 6. Let k be p(-3). Is k at most v?
True
Let a(v) = -2034*v - 12203. Let d be a(-6). Which is bigger: 300/11 or d?
300/11
Let b = -1 + -1.68. Let o = b - 58.42. Let f = 61 + o. Which is greater: -1.4 or f?
f
Let h = -92 - -124. Suppose 2*d + d + 2*c + h = 0, -2*d - 4*c = 32. Is 0 < d?
False
Let n be 4/(-3)*(-3)/(-2). Let a be ((116 - 0)/2)/(21 + -19). Let i = 30 - a. Is i > n?
True
Let q be 12 - ((-74672)/(-80) + 15)/79. Let a = 6 - 5. Is q bigger than a?
False
Suppose -29*g = -33*g + 28. Suppose 7 + 1 = 2*s. Suppose -2*c - 4*q + 1 = -g, -2*q + s = -4*c. Which is smaller: c or -1/37?
-1/37
Let v be (-99)/81 + 66/297. Is v greater than 1/2069?
False
Let d be 5 + (-1130)/88 - (2 + (-9 - -1)). Which is greater: -3 or d?
d
Let n = -1986.91637 - 0.08363. Which is smaller: n or 2/7?
n
Let u be 16/4*6/(-12). Suppose 4*v + 127 = -3*p + 29, v = -3*p - 110. Let y be p/36 + 3/6. Are u and y non-equal?
True
Let q(k) = -k**2 + 7. Let u be q(-5). Let b be (-172)/36 + 4/u. Suppose -15 = 7*m - 4*m. Is b > m?
False
Suppose -8 + 3 = 5*k. Let j = 6 + k. Suppose 3*b + 11 = -4*w - j, 0 = -2*w - 3*b - 14. Which is smaller: -1/7 or w?
w
Let z = -36750 - -23738. Which is smaller: z or -13013?
-13013
Let g = 138.077 - 0.077. Let h = -137.87 + g. Let w(u) = -u**2 - u. Let s be w(0). Which is smaller: s or h?
s
Let h = -67.78 + 0.78. Let r = -34 - h. Let l = 32.9 - r. Which is greater: l or 11?
11
Let w = 0.93 + 13.97. Let r = w - 16. Let s = 108315/4 - 54157/2. Which is greater: s or r?
s
Suppose 5*s + 2*y + 415 = 4*y, 2*s - y = -167. Let f = -123 - s. Let d be (0 + 20/f)*84/(-175). Is 1 greater than d?
True
Let o = -8270 - -8375. Is 13 bigger than o?
False
Let k = 47098123/4469613 - 9860/921. Let r = -8/211 - k. Suppose -3 = -11*i + 8*i. Which is smaller: r or i?
r
Suppose 20*o = 9*o. Which is smaller: -4/1035 or o?
-4/1035
Let b be (1*(-3 - -2))/(19/