Suppose -3*a - 88 = a. Let v be a/6 + (-12)/(-4). Suppose 5*w + 15 = 0, -5*n - w - 9 + 1 = 0. Which is greater: v or n?
v
Suppose 47 = -7*b - 79. Is -18 less than b?
False
Let l = -473 - -477. Suppose i - 3*d = 0, 0 = -5*d + 4*d. Which is greater: l or i?
l
Suppose 7*u - 9*u + 78 = 0. Suppose 2*y + 8 = -5*d + u, 2*y = -3*d + 21. Suppose -4*g - 36 = 4*w, 2*g + 2*g - y*w = -64. Are 0 and g non-equal?
True
Let k be (-13)/(-5) - 2/(-5). Let x = -20388 - -20389. Is k <= x?
False
Let u = 2408/3 + -77053/96. Suppose -2 = -4*x - 10. Does u = x?
False
Let q = -7 + 27. Let t = 2043 - 2023.18. Let d = t - q. Which is bigger: d or 0?
0
Suppose -37 = -5*d + 3. Let s be 1/d + (-5)/360*-3. Is 2 greater than s?
True
Let t be -4 + (6 - -2) + -5. Let n be ((-60)/(-8))/(t/2). Is -15 != n?
False
Let n be 36 + (-2)/(1 - 3). Let f = 764 + -729. Which is smaller: n or f?
f
Suppose -u + 4*h + 27 = 9, 20 = -5*h. Suppose u*m = 3*m + 2. Let w be m/(-12) - (-52)/(-24). Are -3 and w equal?
False
Let i be 8*455/(-110) + (-5)/(-55). Do 1 and i have the same value?
False
Let p be -34 - ((-66)/11 - 2). Let n(i) = -6*i - 3. Let k be n(4). Which is greater: k or p?
p
Let s be 1/(2/(-41))*-2. Is s greater than 40?
True
Let k(x) = -5 + x**2 + 25*x - 13*x - 16*x - 29. Let p be k(8). Are -2 and p nonequal?
False
Suppose 20 = -4*y - 20. Let i(n) = 15*n + 607. Let l be i(-41). Are l and y non-equal?
True
Let l = 2.1 - 2. Let m = 6.7 + -6.86. Let h = m + 0.46. Which is smaller: l or h?
l
Let b = 58 + 6. Let o = 77 - b. Are o and 1 equal?
False
Let k = 326 + -308. Is k less than 9?
False
Let o = -1.9 - -2. Suppose -5*y = 4*c + 123, -89*y - 3*c - 98 = -85*y. Does y = o?
False
Suppose -12*c + 105 = -19*c. Is c at least as big as 9?
False
Suppose 4 + 2 = 3*x. Let d be 36/88 - x/4. Suppose -2 = 5*l + 3. Which is smaller: l or d?
l
Let c = -5 - 0. Let b(p) = 7*p**2 - 4*p + 4. Let a(u) = -u**2 + u - 1. Let v(s) = c*a(s) - b(s). Let f be v(-2). Is f smaller than -7?
False
Let y(v) = -58*v - 268. Let z be y(12). Is z at most as big as -964?
True
Let r = 116 + -64.5. Let w = r + -52. Which is smaller: 2/7 or w?
w
Let u = -18.8 + 3.8. Let a = 28 + u. Let n = a + -11. Is n > 1?
True
Let l be 1*(3 + (-3)/1). Suppose l*p - p + 32 = 0. Suppose -p - 3 = -5*m. Is 4 >= m?
False
Let p be 2/(8/(-10)) - 48/32. Let u be 0 - 1 - (p - -2). Is u smaller than 0?
False
Let b = -4204/915 + -1/183. Which is greater: b or -6?
b
Let g = -941.09 - -941. Is -18/13 less than g?
True
Let m(o) = -4 - 2 + o**2 - 2*o - 4 + 4. Let y be m(4). Is y not equal to 7/8?
True
Let m = -3 - -3.08. Let b = -7.08 + 7.4. Let p = b + m. Which is smaller: p or -0.1?
-0.1
Let c be (-2)/(-6)*(5 - -1). Let n(t) = -t**3 - 20*t**2 - 21*t - 31. Let z be n(-19). Suppose f + z = -2*j, -2*f = j + 5 + 6. Which is smaller: j or c?
j
Suppose 4*t = 0, -2*u + t + 4*t + 12 = 0. Let n be (-3)/2*(3 - 16/u). Which is greater: n or 54?
54
Suppose 46*h = 52*h - 6. Are h and 9/88 nonequal?
True
Let o be (-3)/(9/(-12)) - 2. Suppose -z = 5*a - 21, -5*a = 3*z - o - 21. Let h be 1/(5 - (-65)/(-10)). Which is bigger: a or h?
a
Let p = -102.8 + 103. Suppose -5*l + 10 = 3*y, -5*y + 22 = -l - 4. Let r = y - 17. Is p equal to r?
False
Let f(d) = -68*d**2 - 2*d + 189*d**2 - 69*d**2 - 63*d**2 + 1. Let z be f(1). Which is smaller: z or -16?
-16
Let w = 0.11 - 16.11. Let u = w - -26. Let q = u + -9.8. Is q at most -2?
False
Suppose -20 = -s + 2*d, -4*s - d + 35 = -0*d. Let g = -14 + s. Let j be (24/126)/(g/6). Which is greater: 1 or j?
1
Let n(f) = f**3 + 3*f**2 - 3*f + 3. Suppose 5*h + 18 = -5*b + 3*h, -b = 2*h + 2. Let l be n(b). Which is bigger: l or 1/3?
1/3
Let v be 42120/(-816) - (-2)/17. Is -53 less than or equal to v?
True
Suppose 0*k - 7 = -4*i + 3*k, i = k + 1. Suppose -5 - i = 3*y. Let o be -2 - (y - -8)/5. Which is greater: o or -9/5?
-9/5
Let v = 15 - 8. Let o(k) = k**3 - 7*k**2 - 7*k - 9. Let j be o(8). Let m(z) = -7*z**3 - z**2 - 2*z - 2. Let f be m(j). Which is smaller: v or f?
f
Let l = 1890 - 22693/12. Which is smaller: -2 or l?
-2
Let o = -145.3 + -36.7. Let r = o + 114. Do r and -2/5 have different values?
True
Let u be (-400)/(-120)*(-324)/105. Which is smaller: u or -10?
u
Suppose 4*l = 2*z + 14, 4*z - 14 = l - 7. Suppose -13 = -8*y - l. Let u be (-4)/((-1)/(10/(-36))). Is u greater than y?
False
Let s(j) = -j**2 + 16*j - 38. Let q(r) = 4*r**2 - 65*r + 152. Let d(t) = -2*q(t) - 9*s(t). Let a be d(10). Is a bigger than -5?
True
Suppose 70 + 17 = 2*n - d, -84 = -2*n + 2*d. Let p be (5/((-45)/42))/((-10)/n). Are 39/2 and p equal?
False
Let k be (-9)/((-90)/140) + -3. Which is bigger: k or 27?
27
Let p be (153/(-17))/(3522/(-4)). Let m = -2222/12327 - p. Which is smaller: 0 or m?
m
Suppose 135*g - 130*g + 4325 = 0. Is g at least -864?
False
Let c(x) = -2*x + 277. Let t be c(46). Which is bigger: 184 or t?
t
Let o(t) = -t**2 - 9*t + 28. Let j be o(-12). Let s be (4/j - -2)/8. Which is smaller: 1 or s?
s
Let v be (2/7 - 0) + 50/70. Let k = v + -4. Is k at least -2?
False
Suppose -119*c + 140*c = 1323. Let m = -18 - -82. Which is smaller: c or m?
c
Let k = -358 + 328. Are k and -57/2 unequal?
True
Let u be (1/(114427/6371))/(6 - 5). Let g = -2/2159 - u. Which is smaller: g or 0?
g
Let k = 203 + -204.4. Do 1 and k have different values?
True
Suppose -4*p = 158*h - 159*h + 17, -20 = 5*p. Which is smaller: h or 31/17?
h
Let x be (2/(-6))/((-24)/144). Suppose x*v + b - 3 = 0, 3*b + 3 - 2 = 4*v. Which is bigger: -12 or v?
v
Let j = -216 + 211. Which is smaller: j or -32/7?
j
Suppose 23*q - 33 = -2*w + 22*q, -5*q = -3*w + 82. Which is greater: 125/7 or w?
w
Let g be -1 - (0 + -5) - 60/16. Suppose 0 + 2 = 2*x. Which is smaller: g or x?
g
Let m(s) = s**3 + 7*s**2 - 2*s - 8. Let j be m(-7). Suppose j - 26 = 5*w. Suppose -u + 3*a = 2*a + 5, 0 = 2*a - 4. Are w and u equal?
False
Let x be ((-8)/(-128))/(9/2 + -1). Suppose -5 + 6 = -w. Are w and x non-equal?
True
Let o = -224 + 224. Which is smaller: -26 or o?
-26
Let z = 13 + -11. Suppose -3*u = -5*x - 27, 5*x + 1 - z = -4*u. Suppose 0 = u*l + 4*v + 12, -2*v - 1 = -5*l - 2. Is -2 <= l?
True
Let b = 8 + -5. Suppose -4*z + 9 = -3*x - 7, b*z + 17 = -5*x. Let v be 2 + (-1 - 1/4). Do z and v have different values?
True
Let u be 61/4 + -2 + 5/(-4). Is u >= 12?
True
Let b = -330 + 354.9. Let a = b + -25. Is 4 smaller than a?
False
Let a(u) = -2*u + 6. Let y be a(6). Let m = 857 - 835. Let z be 5 + y - m/(-30). Which is greater: -1 or z?
z
Suppose 0 = -3*t + v - 1, -t - 27*v - 5 = -32*v. Is -2/2217 less than t?
True
Let y(i) = -2*i**2 - 15*i - 20. Let p be y(-8). Let g be (3 + 44/(-16))/((-1)/p). Are g and 6 nonequal?
True
Suppose -25*f + 6*f = -38. Do 27/47 and f have the same value?
False
Suppose 2*h - 5*f - 26 = 0, h + 7*f + 2 = 2*f. Are h and -35 nonequal?
True
Let u = -22.1 + 22. Let i = 0.04 - -1.04. Let g = i - 0.08. Which is greater: u or g?
g
Let o = -4 - -2. Let c = 4 - -1. Suppose c*m = -8 - 7. Which is bigger: m or o?
o
Let h be (7/(-287))/((-1)/(-1))*-15. Which is greater: h or -1?
h
Let s = -15.7 + 14.97. Is -2 <= s?
True
Let t be 0/(-1*(-2 + 3)). Which is smaller: t or -1/70?
-1/70
Let n be 2*(1 + 6/4). Suppose 5*r - 3*r + 6 = -4*v, -4*r - 4*v = 4. Let m be (-3 - -3) + r - 3/(-3). Is n <= m?
False
Let c be (-2)/12*6/4. Suppose 3 = 9*p - 6*p. Is p > c?
True
Let u(f) = f**2 + 83*f + 599. Let y be u(-8). Which is greater: -48/67 or y?
-48/67
Suppose 3*i + 31 = -j, -2*j - 2*j + 4*i = 60. Let p = j + 24. Which is greater: 7 or p?
7
Let c = -88 - -91. Suppose 69 - 72 = -c*s. Is s less than or equal to 12/11?
True
Suppose 16*g = -5*y + 12*g - 30, 0 = -y + g + 3. Is y < -17/7?
False
Suppose -f - 1 = -c, 0 = c - 9*f + 6*f + 3. Which is bigger: 18/5 or c?
18/5
Let v(k) = -2*k**2 + 2*k - 1. Let s be 8/2 - (-2 + 4). Let p be v(s). Let i = -16 - -9. Are i and p equal?
False
Let f = -122009/13 - -9391. Is 5 greater than or equal to f?
False
Let n = 18.3 + -18.1. Which is smaller: n or -5.1?
-5.1
Let b be (20 - 1 - -3)*-1. Let l be b/(-15)*2/(-14). Let s = l + 1/15. Do 0 and s have the same value?
False
Suppose -9 = j + 4*o - 8, 0 = 2*j + 3*o + 2. Let u be ((-2)/4)/((-1)/4). Which is smaller: j or u?
j
Let j = -2 - -5. Let y be (-28)/(-20) - -1 - j. Is 0.05 >= y?
True
Let s be (-157)/(-2) - 0 - 219/(-146). Which is bigg