 (-84)/(-18). Let n = -7 + s. Is n smaller than -3?
False
Let n be ((-12)/16)/((-2)/(-8)). Let s be 1 + (n - 57/(-24)). Let f = s - 1/24. Which is smaller: f or 1/4?
1/4
Let h(a) = -4*a**3 + 2*a**2 - 1. Let n = -7 + 6. Let y be h(n). Let o be (-1 + y)*(-1 + 0). Is o at least -4?
True
Suppose -9*n = -18 - 0. Let p(u) = -u**2 + 4*u + 1. Let j be p(4). Which is smaller: n or j?
j
Let l = -8 + 12. Suppose -y - l = 0, -2*r + 4*y + 0*y - 176 = 0. Which is bigger: -97 or r?
r
Let i = 1183 + -4729/4. Let f be (-2)/(-4) + 1/(-2). Which is smaller: f or i?
f
Suppose 36*r - 35*r + 2 = 0. Let w be r/(-6)*(-1 + 0 - 1). Which is greater: w or 9/10?
9/10
Let n = -2 + 3. Let g be ((-5)/3 + 1)/25. Are n and g nonequal?
True
Let l be 2*4 - (0 + -1). Suppose -4*c - 2*a - 22 = 0, -a + 4 = -c - l. Let v be ((-7)/((-28)/c))/4. Which is greater: v or -2?
v
Let n(p) = -141*p + 321. Let q be n(4). Is -483/2 greater than q?
True
Let s be ((9/6)/((-12)/(-8)))/(-1). Let j be 2*40*24/(-20). Let q be 3 - (j/(-15) - 2). Which is bigger: q or s?
s
Let r be (-9)/(-24) - 19/8. Let t(o) = 2*o - 16. Let j be t(8). Let f be j + -1 - (-13)/(-52). Is r at most f?
True
Let q(y) = y**3 - 8*y**2 + 3*y - 20. Let g be q(8). Suppose g*v + 16 = 3*w, 8 + 2 = -2*v + w. Is -0.6 greater than or equal to v?
True
Let g = -16 - -14. Let q be -1 - 2*g/35. Let v = q + 9/7. Is 0.3 > v?
False
Suppose 5*c + 3*z = -12, -2*z + 6*z = 4*c + 16. Which is smaller: -0.4 or c?
c
Let y = -157.6 + 177. Let r = 18 - y. Let u = r + 1.5. Is 15 < u?
False
Suppose 19*v + 22*v = 53*v. Is -5/32 less than v?
True
Let l = 475 - 560. Do l and -586/7 have the same value?
False
Let i = 213 - 421. Let v be i/20 + (-4)/(-10). Do 1 and v have different values?
True
Suppose 3*r + 395 = -2*b, 26*r - 24*r = 3*b - 272. Is r less than -133?
False
Suppose 4*k - h + 5*h - 28 = 0, 5*h = 2*k + 14. Suppose 41 = -k*f - 19. Is -21 smaller than f?
True
Let q(x) = -10*x**2 - 3*x - 5. Let h be q(-1). Is 7 <= h?
False
Let y = -1096 - -26317/24. Let j = y + -1/24. Let h = 223 + -222.97. Which is bigger: h or j?
j
Suppose -14*d - 40 = -5*q - 9*d, -6 = 3*q + 3*d. Do 29/12 and q have different values?
True
Let b be (-344)/(-306) + (-120)/(-108). Which is bigger: b or -0.1?
b
Let q be (3/(-4))/(3/2). Let o = 0.0391 - -0.0509. Is q <= o?
True
Let x = -1.2 - -0.6. Let f = 12.6 + x. Let p = -1.08 + 0.08. Which is greater: p or f?
f
Let q = 1.4 + 1. Let n = 2.41 - q. Let x = n + 0.19. Which is bigger: x or -2?
x
Suppose -x + 91*a + 49 = 87*a, a = 3*x - 103. Which is greater: x or 31?
x
Let y be -1 + 1 + (-2880)/2288 + (-4)/(-22). Suppose 0 = 3*k + k. Is k < y?
False
Let v = -60 - -54. Let g(b) = b**2 + 4*b - 4. Let p be g(v). Which is bigger: 1/4 or p?
p
Let n = 167 - 1813/11. Let c = -2 - -5. Do c and n have different values?
True
Let r = 2 + -65. Is r at most as big as -59?
True
Let t = -1.3 + 1.4. Let b be -3 + 15/6 - (-1)/10. Is b at most as big as t?
True
Let g be (15/10)/((-3)/4). Let j be -1*(-2 + (g - -5)). Is 3 greater than j?
True
Let w = -0.086 - -16.086. Is 1 at least w?
False
Let g be 28/(8/2 - 3). Let m = g - 28. Let z = 89/9 - 10. Is z at most m?
True
Let p = 36.7 - 36. Let x = 17 + -17.9. Let o = p + x. Is 0 < o?
False
Let w be 9/(36/(-8)) + 38. Which is smaller: w or 34?
34
Let f = -177 - -166. Suppose -3 = -2*t - 27. Which is smaller: t or f?
t
Suppose -j = -5*b + 159, 32*j = 34*j - 2. Is b at most 127/4?
False
Suppose 6*w - 826 - 338 = 0. Which is smaller: w or 196?
w
Let l = 2115 + -2088. Let d = 5 - -23. Which is greater: l or d?
d
Let l = -7/3 - -31/12. Let w be 2*(-2)/(-36)*-1. Is w equal to l?
False
Suppose 3 = 24*s - 23*s. Let l(a) = 3 - s*a + 0 + 4*a - 7. Let z be l(-3). Which is smaller: z or -6?
z
Let d be -4*-1*9/(-1194). Which is smaller: -1 or d?
-1
Suppose 3*u + 3*u - 84 = 0. Suppose -5*j + 35 = -2*j + c, -5*j - 2*c = -58. Which is smaller: j or u?
j
Let m be (29*-1)/(3 - 7/2). Let r = m - 57. Are -2/9 and r equal?
False
Let h = -8.36 - 15.64. Which is greater: h or 1/3?
1/3
Let a = -908 - -1057. Is 152 bigger than a?
True
Let y = -1 + -1. Let u = -3 + y. Suppose 7*b = -1303 + 1268. Do u and b have the same value?
True
Let p be 3 - (4 - -1) - -4. Let y be (46 + -2)/(-4) + 0. Let u be (21/14)/(y/(-4)). Is u greater than or equal to p?
False
Let r = 0.3 - -4.7. Let l = 17 - r. Let k = l - 10. Which is smaller: k or 1?
1
Let d(x) = -2*x - 16. Let q be d(-21). Let k = 26 - q. Is -0.9 less than k?
True
Suppose 0 = -2*i - 5*u + 14, -3*i - u - 35 = -8*i. Suppose i = d - 1. Let c = 8 - d. Is c <= 0.02?
True
Suppose -4*g - 4*b = 16, -6 = b + b. Let t(q) = 2*q**2 - 6*q + 3. Let i be t(3). Let k be (-3 + i)/((-2)/g). Is 0 less than or equal to k?
True
Let u = -74.45 + 73. Let r = u + 0.25. Is r greater than or equal to -0.4?
False
Let i = 10 + -8. Let p = -12 - -39. Suppose i*n = 2*t - 2*n + 42, 2*t = n - p. Do -0.1 and t have different values?
True
Suppose -4*d - 4*n = 60, -d + 2*n - 10 = 2. Suppose -2*k - 5*v + 1 - 22 = 0, 3*v = 5*k - 25. Suppose -75 = k*w + 3*w. Is d greater than w?
True
Suppose 3*m + g = 4, -5*m + 19 = -5*g - 1. Let v be (-2)/(-6)*(8 + -5). Suppose -2*a - 5 = -3*r, -r - v = 4*a - 2*a. Which is smaller: a or m?
a
Let x be -1 - (-174 + -4 - 0). Let z be (-1)/(-5) + (-135082)/(-765). Let o = z - x. Which is greater: -1 or o?
o
Let f = 582042201/761960 + -3/380980. Let i = -765 + f. Which is bigger: i or -2?
i
Let p be (2/15)/(((-17)/(-39))/(-17)). Is -5 at least as big as p?
True
Let c = 0.0833 - 0.0933. Let d = 1.1 + -1. Which is smaller: d or c?
c
Let m = -0.3 + -1.7. Let b = m - -3. Is b bigger than 6/5?
False
Suppose 11*j = -540 + 155. Let p be -3 - 1*(32 + 1). Does j = p?
False
Let u = 25.45 - 26.501. Let d = -0.051 - u. Is d > -11?
True
Suppose -4*g - 4*r = -16, -7 = -5*r + 3. Let i = -3 - -7. Let j be (i + -2)/(g/(-11)). Is -11 greater than j?
False
Let x(y) be the first derivative of -4*y**3/3 + 2*y**2 + 3*y + 28. Let c be x(-1). Which is bigger: c or -39/7?
c
Let t = -1.703 + -1.297. Which is smaller: 1 or t?
t
Suppose -3*b - 4*p = -2*p - 66, 2*b - 44 = -4*p. Let n be -16*(1 + 10/(-4)). Does n = b?
False
Let d = 247 + -8395/34. Is 0 at most d?
True
Let o = -955 - -2276. Is o at most as big as 1321?
True
Let x = -5 - -23. Suppose 4*j + 579*v - 94 = 574*v, 5*j = -5*v + 115. Which is bigger: j or x?
j
Let z be 2*(-1 - (-53)/22). Let q = z - 691/253. Let l be 2 + -7 + 2*2 - 0. Is q greater than l?
True
Let w = 14.47 - 49.47. Which is greater: w or 5?
5
Let m(y) = 3*y**2 + 17*y + 14. Let s(x) = x**2 - x + 1. Let l(o) = -m(o) + s(o). Let h be l(-9). Is 0.1 < h?
False
Let y(g) = -g**3 - 5*g**2 + 5*g - 1. Let l(f) = f**2 - 8*f + 6. Let z be l(6). Let k be y(z). Do k and 3 have the same value?
False
Let t = -21 - -9. Let r be (-3)/(t/(-8) - 3). Do r and 3/2 have the same value?
False
Let a = -0.7 - 8.3. Let q = 1 + 4. Let v = q + a. Is 1 greater than v?
True
Let o be 6 + -2 + 1 + 5. Suppose w + 7 = o. Suppose -4*k = 5*p + 21, k - 8 = w*k. Is p at least -1/18?
False
Let a be 76/99 - (-4)/6. Let h = -8/9 + a. Suppose 2*l - 3*w = -2*w, 2*l - 5*w = 0. Which is greater: h or l?
h
Suppose -5*b - 9*b + 56 = 0. Suppose -z - 3*z + 12 = 0. Which is greater: b or z?
b
Let m = 1.05 + -1.06. Let t = -145 + 143.99. Let n = m - t. Which is greater: 3/5 or n?
n
Let x(q) = q**2 - 3*q + 57. Let n be x(0). Let u = -60 + n. Which is bigger: u or -4?
u
Let w be 5/(-80)*-4 - 1304/224. Which is greater: 0 or w?
0
Suppose -1279 = -2*s - 1029. Is 124 < s?
True
Let w = 19.992 + 0.008. Let f = 16 - w. Which is greater: f or 0.3?
0.3
Suppose -3*p - 12 = p. Let n be -10*(-3)/9*p. Let x be ((-4)/n)/(8 + -7). Which is smaller: 0.1 or x?
0.1
Let m = -23/140 + 17/14. Which is greater: 1 or m?
m
Suppose k + 352 = 3*k. Let u be 496/k - (-2)/11. Suppose -9*j + u*j + 18 = 0. Is j at least 4?
False
Let h(l) = 16*l - 9. Let u be h(4). Suppose k + 10*k - u = 0. Is 4 at most k?
True
Let s = 10 + 0. Suppose -2 = -3*r - 3*n - n, -4*n - s = -3*r. Let h = 3 + -1. Is h >= r?
True
Suppose 0 = -0*q + 5*q. Let p be q/1 - 24/(-40). Is 1 greater than p?
True
Let c = -3/1984 - 2747/807488. Which is greater: 0 or c?
0
Suppose -2*p = -19*p + 1530. Which is greater: 93 or p?
93
Let h be 2*(-1)/(8/(-6))*6. Let u be (3/(-3) + 5)*2. Which is smaller: u or h?
u
Le