s -4 > v?
False
Let l be (-1)/(-55)*(8 + (-1 - 6)). Let i(v) = -4*v**2 - 17*v + 3*v**2 - 5 + 24*v. Let r be i(6). Which is bigger: r or l?
r
Let a(p) = -p**3 + 14*p**2 - 12*p - 11. Let t be a(13). Suppose 0 = t*q - 0*q. Suppose 4*b - 2*b - 6 = q. Is 2 at most b?
True
Let j = -0.06 - -0.46. Let s = 11.5 - 11. Let b = j - s. Which is smaller: b or 7?
b
Let f(v) = -3*v + 24. Let b be ((-11 - -1)/2)/(-1). Let y be f(b). Is y greater than 11?
False
Suppose 7*b = 2*b + 180. Suppose -6*y = -3*y - c - b, -y + 4*c + 1 = 0. Suppose -5*r - a = -1, -3*a - y + 3 = 2*r. Is 3/2 < r?
False
Let l = 36 + 130. Are 166 and l equal?
True
Let u = 28.43 - 8.43. Is u less than 26?
True
Let y(i) = 3*i**2 + 214*i - 160. Let f be y(-72). Let o be (-2)/(-1 + 7)*46. Is o at least f?
True
Suppose 3*x = -5*k, 5*k = 2*x - 3*x. Suppose -6*u + x*u = 24. Suppose 0*i = -4*i - 16. Is u bigger than i?
False
Let j = -0.522 - -8.632. Let p = -8 + j. Let q = 1.89 + p. Is q < 2/7?
False
Let p(y) = -2*y + 21. Let q be p(8). Suppose 5*l - 15 = -q*d - 0, -4*d - 3*l + 9 = 0. Is d less than 1/3?
True
Suppose 4*q = -12, 4*a = 5*q + 12 - 73. Let g be (5 + -1)*(-6 - -1). Let f = a - g. Which is greater: -1/3 or f?
f
Let f(w) = w**2 - 3*w + 5. Let q(o) = -o**2 + 3*o - 4. Let v(l) = -6*f(l) - 7*q(l). Suppose -2*t + 0 = -6. Let r be v(t). Is -2 equal to r?
True
Let s = 8 + -23. Suppose 19 = -l + 2*r + 1, -19 = l - 3*r. Is l > s?
False
Suppose -27*p = w - 22*p - 2, -2*p = 4*w + 28. Which is greater: w or -148/17?
w
Let y = -6637/1482 - -110/39. Which is greater: -3 or y?
y
Let t = 128.85 - 128.85. Let c = 0.2 + -0.3. Let l = 0 - c. Which is smaller: l or t?
t
Let l(j) = 4*j + 4. Let x be l(3). Let n = -9063/5 + 1829. Let a = n - x. Do 4/5 and a have different values?
True
Let y be 3/(-6) + -14*(-1185)/100. Let g = -166 + y. Which is bigger: g or -1?
g
Let f = -46 + 140/3. Let a = 32432/2795 - 2/559. Let m = 59/5 - a. Which is bigger: m or f?
f
Let m(a) = 2 + 4 - a**2 - 2 - 3. Let b be m(-2). Is -3 at most b?
True
Suppose -11*j + 2*h = -6*j - 95, 5*h = 3*j - 76. Is 160/9 less than j?
False
Let c = -2334.9 - -2335. Are -61 and c unequal?
True
Let u(r) = r**3 + 28*r**2 - 8*r - 225. Let b be u(-28). Which is bigger: b or 2/439?
2/439
Let f = 4.6 + -5. Let w be (-2)/(-4) - ((-968)/(-16))/(-11). Which is bigger: f or w?
w
Let g(l) = -l**3 + 10*l**2 - 3*l - 9. Let t be g(4). Let z = -62 + t. Which is smaller: z or 27/2?
z
Let g = 489.8 + -488. Which is bigger: -1/6 or g?
g
Let y(w) = -w**3 - 3*w**2 - 2*w. Let s be (-51 - -11)*2/(-4). Let o = s - 22. Let x be y(o). Which is greater: -1/5 or x?
x
Let i = 2175517/388 - 5607. Is -1 > i?
False
Let k be (-25)/(-5) - (6 + 2 - 3). Let p = -21 - 15. Let o = p + 56. Which is bigger: o or k?
o
Let x(c) = 3*c - 175. Let q(k) = -2*k + 116. Let t(s) = 8*q(s) + 5*x(s). Let f be t(0). Is f greater than 53?
False
Suppose 3*c + 12 = 9*c. Let a be (c/4)/(7/((-343)/77)). Which is smaller: -1 or a?
-1
Let k be (0 - 2)/(21356/76). Are k and 1/2 equal?
False
Let w be (8/1)/(-5 + -9). Is w > 0.051?
False
Suppose 8*g - 5*g + 4*j = 25, -2*j - 4 = -4*g. Suppose -9*u + 2*u = g*u. Are u and -1/101 non-equal?
True
Suppose -g - 1 = 3*n, -5*g + 39 = 6*n - 2*n. Let m be (4 + (-6 - 2))/g. Which is smaller: m or -1?
-1
Let c be (-4 - -2) + 5 + 4 + -7. Suppose d + 6 - 1 = 0, c = 2*w - 4*d - 28. Which is smaller: w or -0.4?
-0.4
Let b = -0.71 - -35.71. Let p = b - 46.1. Let d = 11 + p. Is d at least as big as -0.1?
True
Suppose 0 = 4*o - 3*c - 24, -5*o - 2*c + 4*c + 23 = 0. Let p be 123/(-36) - (-2)/o. Which is bigger: -4 or p?
p
Suppose -3*z + 5 = 2*n, 1 = -2*n - 4*z + 9. Let u = -3863/35 + -808/7. Let c = u + 225. Are n and c nonequal?
True
Let y = -2/2171 + -640433/13026. Which is smaller: -50 or y?
-50
Let h = 0.269 + 0.131. Is 28 greater than or equal to h?
True
Let m = -79 - -84. Suppose -4*b = 3*h - 0*h + 16, 21 = -m*b - 4*h. Is 10 less than b?
False
Let y(w) = 45*w - 5. Let q be y(2). Let u = q - 93. Do u and -7 have the same value?
False
Let f be (10 - 6) + 2*2. Suppose f*v = 5*v + 3. Which is bigger: v or 1/46?
v
Let q(o) = 2*o**2 - 9*o + 1. Let g be q(1). Are g and -51/10 equal?
False
Let l = -338660/621 - -155367815/2484. Let c = l - 61918. Let v = c + -84. Is -1 smaller than v?
True
Let w = -100 + 103. Let o be (60/18)/5*w/(-2). Does -2/23 = o?
False
Suppose -3*l + 2 = 2*v - 4*l, l = 2. Suppose v = f + 7. Let h be (-2)/(5 + 2 + f). Which is smaller: h or 2/21?
h
Let i be (-1)/2*(-290)/4. Let m = i - 36. Let d be 11/9 + 12/54*-1. Are d and m equal?
False
Suppose 5*d - 36 = 3*r + 80, 5*r + 187 = 2*d. Is r equal to -37?
True
Let k be (1/10)/((-2)/(-32))*-5. Let v = k + 49/6. Which is bigger: 1 or v?
1
Let i = -34 - -49. Let r = 10 + i. Is r bigger than 25?
False
Suppose 26 = -2*h - 3*d, h + h = d - 34. Let o be (-2)/(-4)*(-45 - -7). Which is greater: h or o?
h
Let j = -0.2 + 1.2. Let u = j + 0. Let h = 1180 - 1170. Which is smaller: h or u?
u
Let x(q) = 52*q + 195. Let c be x(-16). Which is bigger: c or -638?
c
Let l = -5.52 - -0.42. Let z = -3 - l. Does z = 1?
False
Let k = 1707/4 - 447. Let f = k - -21. Suppose -5 = -7*c + 2*c. Which is bigger: c or f?
c
Let m = 0.27 - -28.73. Which is smaller: -4 or m?
-4
Let m = 0 - 5. Let c(l) = 3*l + 4. Let r be c(m). Let v = r + 12. Which is smaller: -1 or v?
-1
Let g = -7.92 + 23.76. Let q = g + 0.16. Is -1 less than or equal to q?
True
Suppose 28 = 3*y + y - 4*k, 3*y + 3*k = 15. Is y less than or equal to 9?
True
Let n be 2 - (-3 - 33/(-6)). Is -28 smaller than n?
True
Let t = 1.81 - 1.91. Let p = 1 + -6. Let b = -5 - p. Which is smaller: b or t?
t
Let c = -249 + 247. Which is smaller: -4 or c?
-4
Let x = -649 + 650. Are x and -26 equal?
False
Let i = -158.1 + 168. Let g = -0.4 - 9.6. Let p = g + i. Which is greater: p or 2/7?
2/7
Let q be 45/(-6) + (-3)/(-18). Let f = q + 23/3. Which is bigger: 8 or f?
8
Let k be 7 - (3 + 36/(-8)). Is k at most as big as 9?
True
Let c = 278.91 - 260. Let b = c - 19. Is b equal to -0.1?
False
Let p = 25 - 40. Let z = 15.18 + p. Which is greater: z or 1?
1
Suppose 0 = 6*i - 7 - 17. Suppose 4*f = i*d + 24, -2*f - 4*d = f - 4. Let v = 3 + 1. Is f smaller than v?
False
Let y(s) = s**3 - 14*s**2 + s + 48. Let z be y(14). Is z >= 438/7?
False
Suppose -j = -1 + 2. Let s(p) = p. Let r(g) = -2*g**2 - 5*g - 1. Let a(y) = -r(y) - 3*s(y). Let z be a(-1). Is j at most z?
True
Let d be 1*(0 - -3 - 1) + 1. Suppose 2*v = v - 5*s + 3, 5*s = -d*v + 29. Is 12 at most as big as v?
True
Let p(u) = 12*u - 7*u + 2*u**3 + 1 - 8*u - u**2 - u**3. Suppose 0 = 2*k - k - 2. Let n be p(k). Which is greater: 2/7 or n?
2/7
Let u(k) = k**2 + 12*k + 23. Let m be u(-7). Let y be ((-3)/m - (-52)/32)*2. Is y <= 3?
False
Let v = 7.9 + -6.4. Let g = 1.2 - v. Which is smaller: g or 0.01?
g
Let s = 74 + -72.6. Let l = 1.17 - s. Is l > 0.2?
False
Let s = -18/1211 + -19944/124733. Let l = -826/2369 - s. Is l <= -1?
False
Let v = 0.56 - -0.04. Let m = v + 0.4. Do m and 1/7 have different values?
True
Suppose -5*b + v - 3 = 0, -b + v - 7 = -4. Suppose -5*w = -b*w. Let x(f) = -f - 11. Let c be x(-10). Is w > c?
True
Let x = -627 + 626. Suppose 0 = -3*o - 3*h + 439 - 112, 4*h - 112 = -o. Let r = o - 1297/12. Is x less than r?
True
Let k(v) = v**3 - 5*v**2 + 3*v - 2. Let g be k(4). Suppose 2*s = -5*u - 440 + 453, 5*s + 5*u + 5 = 0. Is g at least s?
True
Let u be (-9)/(-15) - (1 + -1). Let a(i) = -3*i + 14. Let w be a(3). Let f(t) = t**3 - 4*t**2 - 5*t. Let k be f(w). Which is greater: u or k?
u
Let r be ((-30)/1086)/(4 - 3). Which is smaller: 0 or r?
r
Let m = 182 - 240. Is -53 > m?
True
Let y = 12 + -13.8. Suppose 0*a = -9*a + 4*a. Is a bigger than y?
True
Let s(f) = -f - 1. Let l be s(-6). Suppose 3*v - 5*v = g + 7, -l*v - g - 25 = 0. Suppose 0 = -4*b - b - 5. Is b greater than v?
True
Let i = 5 + -3. Suppose 72 = -4*p + 12*p. Which is greater: p or i?
p
Let t = -2506 - -2492.3. Which is bigger: t or 5?
5
Suppose -2*g + 6 = 2*n, 5*n - 3*g + g = -20. Let m be (-1 + 2)/n - 0. Let k = -242/9 - -1667/63. Do m and k have different values?
True
Let n be -3 + -5 + (-2)/2. Let c be (-10)/9 - (-2)/n. Let s = 2.9811 + 0.0189. Are s and c nonequal?
True
Suppose -8 = -2*p - 2*n, -n + 2*n - 1 = 0. Suppose -k = -p*k - 14. Let t be 2*3/(k + 1). Are t and -1/6