2 - 10*o - 6. Let r be t(10). Let a(b) = b**2 + 6*b + 7. Let x be a(r). Suppose q = x*q + 42. Is q at most -5?
True
Let b be 56 + -8 + 5 - (-1 - 1). Let h = b + -55. Is h >= -7/12?
True
Let w(l) = -2*l**2 + 31*l - 11. Let s be w(15). Suppose 2*m + 2*d - s = 0, -3*d + 6*d + 3 = 0. Which is greater: 0.4 or m?
m
Suppose -2*o = 3*n - 8*n + 19, 0 = o + 5*n - 28. Suppose -28*m + q = -25*m - 57, 0 = 5*m - o*q - 95. Is m less than or equal to 55/3?
False
Let w = 14 + -1231/88. Suppose -p + 5*i = i, 3*p = -2*i. Is w not equal to p?
True
Let q = -119 + 116.3. Let y = -33 + 33.7. Let v = y + q. Which is bigger: 2 or v?
2
Suppose -4*h = 3*x + 6, 4 = -0*x - 2*x. Let q(z) = -175*z**2 - 4*z - 1. Let r be q(-3). Let v = r - -123558/79. Which is greater: v or h?
v
Let q(n) = -39*n + 29. Let t(a) = -33*a + 30. Let w(d) = 5*q(d) - 6*t(d). Let r be w(46). Is r less than 205/2?
False
Suppose 1937 = 27*b - 1006. Is 93 <= b?
True
Suppose -34 = p - 3*c, -5*p + 3*c - 93 = 29. Let z be (-5)/2*p/55. Is z at most -8/105?
False
Let s be (348 - (7 + -1)) + -1. Suppose 8*d + s - 1053 = 0. Is 89 equal to d?
True
Let k(t) = 507*t - 233. Let f be k(13). Which is smaller: 6357 or f?
6357
Suppose -55*i + 22694 + 10438 = -11143. Which is greater: 828 or i?
828
Let f = -6 + 14. Let h = f - 9. Let v = -815/4239 - -36/157. Is h <= v?
True
Suppose 3*y = -15 + 24. Let a be (4/(-8))/(y*4/192). Let c = -57/20 + 31/10. Is c less than a?
False
Let q = -147 + 222. Let n = 0.867 + -77.867. Let i = n + q. Are -0.2 and i nonequal?
True
Let c(t) = 136*t - 983. Let p be c(10). Which is greater: p or 379?
379
Suppose -7 - 12 = -19*q. Let w = -31 + 19. Let l be (-6)/(-15)*w/(-8). Do l and q have different values?
True
Let b = 26506/7 + -3804. Let f(y) = y**3 - 29*y**2 - 3*y + 69. Let d be f(29). Is d at most b?
True
Let v(o) = 30*o**2 - 4285*o - 731. Let i be v(143). Let d = 47/39 - 2879/156. Does d = i?
False
Let o = -21536477/4 - -926283475/172. Let d = o + -1250. Which is smaller: d or -1?
-1
Let y = -417 - -420. Suppose -2*g + y*g + 0*g = 0. Is -1/827 at most as big as g?
True
Let y = -6161.5 - -6160. Let h = 1 - 1.04. Which is smaller: h or y?
y
Let s = 4481 - 4480.768. Which is bigger: 0.2 or s?
s
Let b = -31.71 + 34.71. Which is bigger: 47 or b?
47
Let r be (12/10)/((-2)/(-75)). Suppose y + 2*y = -r. Let w be 26*(3 - 28/8). Is w greater than or equal to y?
True
Suppose 31*m + 1971 = -4081 + 627. Is -1918/11 greater than or equal to m?
True
Suppose 0 = -3*k + 4*k - 42. Suppose 5*b - 138 = -3*s, s + b + 120 = 4*s. Let v = s - k. Which is bigger: v or 0.02?
0.02
Let y(f) = -2*f**2 - 10*f - 20. Let b be y(-4). Let x be 976/(-12) - b/9. Is -80 not equal to x?
False
Let k be 5 + -6 + ((-54)/(-6) - 5) + 0. Let v = -6 + 11. Suppose -d - 19 = -v*n, 0 = k*d + 5*n + 18 + 39. Does d = -17?
False
Let w = 1.32 + -1.4. Let f = w + 9.08. Is -4 smaller than f?
True
Let t = 8 + -4. Suppose 3*q = -t*b + 3, 0*b = -5*b + 2*q - 25. Suppose -64*l = -63*l - 5*n + 31, -3*n = -3*l - 33. Which is bigger: b or l?
b
Suppose -54*n + 1732 + 104 = 0. Suppose 5*w = 4*p + n + 159, -4*w = -2*p - 98. Is p <= -47?
True
Let q = 1.101 - 1.101. Is -355 equal to q?
False
Let o be (-28812)/108 + (1 - (-11)/(-9)). Is o > -270?
True
Suppose 4*f + 37 + 177 = z, -4*z + 926 = -2*f. Which is greater: z or 1630/7?
z
Let s = 13498 + -21184. Is 2/3 greater than s?
True
Let r be (4/(-10))/(14/(-70)). Suppose -t - g + 39 = 0, -r*t + 2*g + 84 = 6*g. Does t = 35?
False
Suppose 4*t - 9*w = -6*w + 1738, -2*t + 2*w + 868 = 0. Let c be (t/(-135) + 3)/((-68)/(-42)). Let i = c - 14/153. Which is bigger: i or 1?
1
Let b = 3967334847282082/204867 - 19365416818. Let f = -10/1989 + b. Is f <= -1?
False
Let a be 19*4/(-1 + 5) + -4. Suppose 4*h - 93 = 3*c, h + 14*c - 24 = a*c. Which is smaller: h or 17?
17
Let a = -2.3 + 5.16. Let q = a - 3.01. Let f = 88/465 - -1/93. Which is smaller: f or q?
q
Let a be (-1)/(-3) - 4/3. Let d = 0.36568 + -0.25368. Is d greater than or equal to a?
True
Let q(y) = y**3 + 12*y**2 - 2*y + 41. Suppose p + 7 = -5. Let n be q(p). Which is greater: 64 or n?
n
Let l(r) = 3*r**2 + 26*r - 98. Let t be l(6). Which is greater: 157 or t?
t
Let i = 18517 - 462836/25. Which is bigger: 4 or i?
4
Let c = 310 + -259. Let y(x) = 20 - 10*x - x + 3*x. Let g be y(-4). Which is smaller: g or c?
c
Let o be 3772/(-5) + 315/63. Let f = o - -749. Is f equal to -1.78?
False
Let q(h) = -h**3 + 9*h**2 - 10*h + 10. Let s be q(7). Let b = 214 - 213. Let p be s/(-11) - (-5 + b). Which is greater: 2 or p?
2
Suppose 2*m = -t + 3, -2*m - 4*t + 19 = -m. Let n = 7 + m. Suppose 1 + 5 = n*w. Which is smaller: w or -22?
-22
Let y(d) = -17*d - 30. Let r be y(-7). Suppose -8 = r*h - 90*h. Let n be (-9)/(-5)*(-3 + h + -6). Is -2 less than or equal to n?
True
Let a = 0.06867 + -2.06867. Let k = -3.21 + 1.79. Which is greater: a or k?
k
Let m = -3.17 - -4.17. Let v = -2/465 - -3359/155. Which is smaller: m or v?
m
Let f = 3593.3 - 3593. Which is smaller: -3.6 or f?
-3.6
Let c be 24/6 - (3 + -4). Suppose 1 = c*f + 1. Are f and 1/103 unequal?
True
Let i = 2620.013 + -2617. Let q = i - 0.013. Let a = 0.8 - q. Which is bigger: a or -1?
-1
Let m be ((-5)/10)/(-1*1/2). Let g be 2 + 1/m - 7. Which is smaller: -1 or g?
g
Let n(f) be the second derivative of f**5/20 - f**4/6 + f**3/3 - 2*f**2 + 17*f. Let p be n(3). Suppose -2 + p = l. Which is greater: 12 or l?
12
Let o = 39.5 - -3.7. Let d = -40 + o. Let i = -3.4 + d. Which is smaller: -2/5 or i?
-2/5
Suppose -5*u = -3*m + 2, -5*m - 4 = 5*u + 6. Is -2/18683 at least as big as m?
True
Let w be 1485/(-12) - 2*1. Let i be -53 + (-278)/4 + (-15)/6. Are i and w unequal?
True
Suppose 30*b - 527 = -b. Let y be (5 - b)/((-16)/60). Which is greater: y or 50?
50
Let z = 771.9 + -765. Let d = 1.1 - 8.1. Let o = z + d. Which is greater: -17 or o?
o
Let x = 64241/4 + -16563. Which is greater: x or -502?
-502
Let i = 1 - 1.01. Let m = 12155.8 - 12159.8. Are i and m unequal?
True
Let v = 305 - 293. Let j be 121835/(-162820) - (-9)/v. Which is smaller: 0 or j?
0
Suppose 67*o = 65*o + 8. Suppose 0 = -o*w + 3*b + 337, -5*w - 2*b + 403 = -47. Let p = w - 39. Is p less than 0.1?
False
Let l be 6 + (-5 - 10 - -5). Let c = -3413/4 - -849. Is l bigger than c?
True
Let u(z) = 3*z**2 + 10*z + 8. Let m be u(-3). Let w be (-3)/m + ((-324)/60 - 2). Which is smaller: -22/3 or w?
w
Let k(z) = -4*z**2 + 43*z - 370. Let c be k(10). Does c = -338?
False
Suppose -56*t + 51*t + 26663 = 4*u, 26657 = 4*u + 3*t. Are u and 6662 equal?
True
Let h be -12 + 33 + -17 - 3. Is 2/3553 less than or equal to h?
True
Let v = 151.4 - -21.6. Suppose -38*k + 59 = -17. Is v at least k?
True
Let c = -27509 + 27540. Is 45 equal to c?
False
Let o be (4 + 22 - -7)*-3. Let i = o + 100. Which is greater: 4/153 or i?
i
Let v = -0.01 - 24.99. Let c = 1141 + -1115.8. Let o = c + v. Which is bigger: 1.7 or o?
1.7
Suppose 16*a - 18*a = 410. Let f be ((-50)/12)/25 - a/6. Is 0.3 < f?
True
Let r(h) = -h - 116. Let k be r(35). Which is smaller: k or -129?
k
Let d(o) = -38*o + 80. Let a be d(1). Let n be (-45 - (1 - 4 - -1))*-1. Which is smaller: n or a?
a
Suppose -302 = -5*a + 118. Let q = a - 80. Let j be ((128/(-140))/8)/(q/10). Which is smaller: j or -10?
-10
Let x = -5997 - -5955.99. Let d = x - -41. Is d not equal to 2/33?
True
Let k = 3465 - 3466. Is 208 at most k?
False
Let d be (-9)/144 + (1 - 169799/180880). Which is greater: 1 or d?
1
Let l = 210.672 + -211. Let a = 1.392 - l. Which is greater: -2 or a?
a
Let y be 16/(-6)*(-51)/(-68). Is -178 less than or equal to y?
True
Suppose -5*z - 2*d = 39, 4*z + 45 = -0*d + 3*d. Let r be z/9 + 2/((-768)/(-382)). Is r less than 1?
True
Let y = 39 + -19. Suppose -214*u + 211*u = -27. Let v be ((-58)/174)/(10/u + -1). Which is smaller: y or v?
v
Let p = -4789 + 148453/31. Do 1/16 and p have different values?
True
Let h = -57 + 57. Suppose -11*n - 9 + 20 = h. Which is smaller: n or -1/192?
-1/192
Let w = 526 + -599. Let n = 72 + w. Are -286 and n non-equal?
True
Let k(i) = -i + 2. Let h be ((-6)/8)/((-12)/48). Suppose -h*s + 7 = -2. Let q be k(s). Is q less than or equal to 3/32?
True
Let p = 0 - -0.162. Let c = 7.738 + p. Let u = c - -2.1. Which is smaller: u or 2?
2
Let c be -1*(15 - 72111/4810). Which is bigger: c or 1/4?
1/4
Let x be (-