a equal to z?
False
Let a = -0.8 + 296.8. Let o = a + -296.1. Is o at least as big as -0.05?
False
Let w = -1699999186/10349 - -164267. Do 0 and w have the same value?
False
Let y be (52 + 0/(-1))*1 - 4. Suppose y*r - 45*r + 954 = 0. Let o = 1649/5 + r. Is o at least 11?
True
Suppose -h + 6 = 2, 2*h = 4*q. Suppose -q = -2*v + v. Let n be (-1)/(490/21 - v/6). Are n and 2/7 equal?
False
Let l = 63.419 + -28.419. Which is smaller: -210 or l?
-210
Let w be (-4)/62 + (-319)/341. Which is bigger: 4/923 or w?
4/923
Let m = 797459386 + -114038031959/143. Let k = m + 9369. Let z = -72/143 - k. Which is bigger: -1 or z?
z
Let p(s) = s**2 + 5*s + 4. Let f be p(-5). Let i be 65/25 + f/10. Suppose 0 = -3*d + i*c - 1 + 4, d - 5*c + 7 = 0. Which is smaller: d or 8?
d
Let j(h) = h**3 - 17*h**2 + 95*h - 175. Let x be j(6). Is x at least as big as -17969?
True
Let m = 209 - 155. Suppose -m*s + 52*s - 90 = 0. Let k(q) = -q**2 + 4*q - 1. Let f be k(-5). Which is greater: f or s?
s
Suppose 22240 - 13968 + 46277 = -9*n. Does n = -6061?
True
Let b = 14.5 + -15.45. Let q = -1.15 - b. Are -85 and q non-equal?
True
Suppose b + 3*r - 45 + 65 = 0, -4*b = -r - 11. Which is smaller: b or -2/1259?
-2/1259
Let y be 506/176 + -4 + 8/10. Which is greater: -1 or y?
y
Let r = -3597 - -1006. Is -2590 less than r?
False
Let m be (-513)/3971 - (-6 + (-320)/(-55)). Which is smaller: m or 57/5?
m
Let q be 33/(-385) - 2/10. Let b be (87/6)/((1 + -2)/(-2)). Let c = 495/17 - b. Is c greater than q?
True
Let h = -266 + 167. Suppose 0 = -24*s - 2303 - 49. Which is greater: h or s?
s
Let n be 104/6 - (-1)/(-3). Let h(c) = -c**2 + 54*c - 239. Let u be h(49). Suppose u*m - 73 - 47 = 0. Are m and n nonequal?
True
Let s = -12071/6 - -6034/3. Is s > 193/6?
False
Suppose 28 = 5*x + 3. Suppose -2 = -m, m + 241 = -x*v - 87. Let t = -66 - v. Which is smaller: 4/19 or t?
t
Let f(b) = 13*b**2 - 182*b - 15. Let w be f(14). Is -20 greater than w?
False
Suppose -4*d - 5*s = 11, 2*s - 22 = -12. Is -95 less than d?
True
Let o = 0.017 + 20.983. Let b = -17881.3 + 17881. Which is smaller: b or o?
b
Let z = 47.02 + -243.12. Let k = 196 + z. Which is smaller: -44 or k?
-44
Let c(x) = -x**2 - 17*x + 500. Let n be c(-32). Let k be 3/(36/10392)*(-2)/n. Is -87 <= k?
True
Let t = 298.1245 - -0.0355. Let k = -298 + t. Which is bigger: k or -2?
k
Let t = 1265 - 512. Let k = -752 + t. Which is smaller: k or 1.6?
k
Let k(g) = -4*g - 3. Let r be k(-2). Let p be -68*(-4)/48 - 2/(-6). Suppose 5*b - 4*x - 9 = 0, 3*b - p*b - 2 = r*x. Is -13 < b?
True
Suppose 0 = c - 3 - 1. Suppose -5*f - 20 = -5*n - 0*n, -c*f + 4 = n. Let z be (-244 - -254)*(-2)/36*1. Is f at most z?
False
Let g = 109 + -105. Suppose -2*p + g*p = s + 2, -2*p + 2*s = 0. Suppose 15 = -3*o + p*o - 2*h, o + 4*h + 11 = 0. Which is smaller: -15 or o?
o
Suppose -3*p = -15, c - 4*p + 10 + 7 = 0. Let z be 0*((-48)/18 + c). Which is smaller: z or -15?
-15
Let u be 16/(-50472)*(1 - 10/4). Is 1 at most as big as u?
False
Let y(w) = -w. Let s(g) = g - 13. Let o(u) = s(u) - y(u). Let n be o(14). Let c(z) = -z**3 + 14*z**2 + 16*z - 16. Let h be c(n). Is h < 2/123?
True
Let w = -0.2 + -0.5. Let x = w + 1.1. Let p = 1438 - 1438.1. Which is smaller: x or p?
p
Let d be ((-90)/9 + 6)/11. Is 6/5 greater than d?
True
Let o = -6.908 - -6.708. Which is bigger: o or 2806?
2806
Let a(u) = 13*u**3 - 2*u**2 - 13*u + 15. Let t be a(-5). Which is bigger: t or -1593?
-1593
Suppose -8586 - 384 = -618*s + 90528. Which is smaller: s or 169?
s
Let b be ((-48)/(-18))/(10/(-144)). Let o = -1793 + 1754. Which is bigger: b or o?
b
Suppose -9*r + 4*r = 45. Let a be (2 + 78/r)*48/(-20). Let b be 12/a + 759/60. Which is smaller: b or 12?
12
Let v = 3/6200 + 17790897/6200. Let r = -2932 + v. Is -62 smaller than r?
False
Suppose 18*w - 48*w + 73260 = 0. Let c = 109901/45 - w. Do 0 and c have the same value?
False
Suppose 9*s + 22 = -23. Let a = -2113 - -10547/5. Which is smaller: s or a?
s
Suppose 54*a - 40052 = 56392. Is a > 1789?
False
Let m be (-3)/7 - ((-1425)/140 + -1). Let u(t) be the third derivative of t**6/120 + t**5/3 + 11*t**3/6 + 7*t**2. Let x be u(-20). Is m < x?
True
Let m(o) = -8 - 18*o + 68 - 257. Let b be m(-11). Suppose -3 - 2 = -5*n. Is b equal to n?
True
Let v = -1047 + 1102. Which is bigger: 70 or v?
70
Let k(o) = -123*o + 8177. Let m be k(76). Do -10540/9 and m have the same value?
False
Let z be 3014/(-4658) + (-12)/34. Are 2/6753 and z nonequal?
True
Let w = -29 + 29. Suppose w = -2*l + 4*m + 6, 0*m - 2*m = l + 5. Which is bigger: 28 or l?
28
Let m be (-991)/(-3) + (-2)/6. Let c be (924/70)/(62/1550). Is c bigger than m?
False
Suppose -a + 42 = -3*t, 0*a = -3*a + 9. Let o be t/(-65) - 93/15. Is o equal to -6?
True
Let s(j) = -22*j + 1. Suppose -16*g - 7*g = 23*g. Let b be s(g). Is 1/38 less than b?
True
Let j be ((-8)/(-5))/(1/(-30)). Let v = j + 46. Let h = 0.36 - 16.36. Is v >= h?
True
Let m be ((-38)/(-4))/(21/(-6) - -3). Let d be m*((-4)/(-6))/((-32)/48). Do d and 22 have the same value?
False
Let z(b) = b**3 - 8*b**2 + 8*b + 2. Suppose 5*p + 12 - 4 = -2*l, p + 10 = l. Let w be z(l). Which is greater: w or -156/7?
w
Let y = -281 + 384. Let b = y + -104. Is b < -1/235?
True
Let p = 157 - 155.044. Let g = -0.044 - p. Which is smaller: -16 or g?
-16
Let n be (4 + (-56)/60)/(3/207). Is n less than or equal to 211?
False
Suppose -4*w = -y - 513, -w + 2*y + 231 = 94. Suppose 0 = 3*d + 3*a + 84, w = -4*d + 3*a - 2*a. Do -31 and d have the same value?
True
Suppose 43*g - 41*g - 6 = 0. Suppose -5*i - 50 = -2*t, -4*i + 5 + 24 = g*t. Is 20 less than or equal to t?
False
Let c be 1/((-4)/8) + (-20262)/(-10140). Which is bigger: c or 0?
0
Let p = -86 + 89. Suppose 265 = -p*m + 256. Is m != 3?
True
Suppose 3*h + 15 = 5*u, -u - 8*h = -7*h - 11. Suppose 2*r = -2*f - 4, f + r = u*f - 8. Which is bigger: f or -2?
f
Suppose 80*f = -0 + 5 - 85. Let w = 1962183621999/42658 + -45998022. Let g = -1/554 + w. Which is greater: f or g?
g
Let p(o) = 24*o + 7. Let j be p(-15). Let g = j + 96. Is g != -257?
False
Let s(k) = -k**2 - 95*k - 679. Let v be s(-8). Let o(u) be the second derivative of -2*u**3/3 + 2*u**2 + 2*u. Let c be o(-3). Is v greater than c?
True
Let p(o) = 160*o**3 - 4*o**2 + 11*o - 14. Let h be p(2). Is 1272 less than h?
False
Let u be 2/4*11 - 5. Let s = 0.288 + -0.018. Let b = s - 0.39. Which is greater: b or u?
u
Let i(d) be the second derivative of -d**5/20 + d**4/2 + 17*d**3/6 + d**2/2 + 17*d. Let o be i(8). Let u be (-8)/(-14) + (189/49)/o. Which is bigger: u or 11?
11
Let u = 3101 - 3102. Which is smaller: u or -522?
-522
Let p = -527 + 526.995. Suppose 0 = -3*l - 5*a + 5, -6 = -a - 5. Is l > p?
True
Let f = 8 - -30. Suppose a = 5*w + f, 0*w - 1 = -2*w - 5*a. Let g(m) = m**3 - 20*m**2 - 38*m. Let d be g(-2). Which is greater: w or d?
w
Let s(g) = 15*g**2 - 241*g + 16. Let r be s(16). Let n = -567 + 38557/68. Which is bigger: r or n?
n
Let p(i) = -i**2 + 16*i + 9. Let f be p(20). Let x = -65 - f. Let h be ((-6)/x)/((1 + 0)*1). Is h at most -1/206?
True
Suppose -4*l = -88 - 104. Let f be l/(-36)*1/2. Which is smaller: f or 10?
f
Let x = -255485/21 - -12168. Which is bigger: x or -8/3?
x
Suppose 0 = 36*c - 41*c - 76*c + 569430. Which is smaller: 7032 or c?
c
Let g be (9 - 42/7)*(-228)/3. Let u be g/2166 + (1 - 686/(-380)). Are 1 and u non-equal?
True
Let k = -16 - 51. Let f = k - -48. Let l = 18.331 - 18.531. Which is greater: f or l?
l
Suppose -81*t - 122*t = -76*t + 3175. Is -224/9 <= t?
False
Suppose 6*n - 15 - 3 = 0. Suppose 0 = -5*a - 2*g + 26, -7*a + n*a = 5*g - 14. Is a smaller than 11?
True
Let m = 2 + -2.06. Let b = -268.6 + -80.4. Let r = b - -347. Which is greater: r or m?
m
Suppose x + 5*q = -12, 3*x - 2*q = -4*q - 23. Let o = 10 + x. Suppose -7*f + 180 = o*f. Is f at most 18?
True
Suppose 169*u - 39*u = -18460. Is u bigger than 64?
False
Let u = -81925 + 900459/11. Suppose -z - 75 = -2*a, 0 = 2*z - 7*z + 5*a - 350. Let v = u - z. Is -1 > v?
False
Let f = 65895 - 658059/10. Is 89 greater than f?
False
Let x(t) = -2*t**2 + 16*t + 2. Let u be x(7). Let k = 6 + -10. Let c be (k + 26/8)*u/(-66). Which is bigger: 0.14 or c?
c
Let m be (4 + 26/(-6))/(((-143)/(-14001))/11). Which is smaller: m or -358?
m
Let q be (64/20)/16 + -2 + (-68397)/60. Is -1141 at most as big a