*f. Is p greater than or equal to 1/3?
True
Suppose 97*t - 174 = 100*t. Let f = 34 + t. Which is smaller: -25 or f?
-25
Let y = -631 - -701. Which is greater: y or 208/3?
y
Let n be (-1)/2 + 207/(-6) + -1. Which is smaller: -3 or n?
n
Let v = -2 + 3. Let r(p) = 7*p**3 + p**2 - p + 1. Let l be r(v). Let f be (-10)/l - (-11)/22. Which is smaller: -3 or f?
-3
Let f(h) = -h**3 + 2*h**2 + 2*h - 1. Let z be f(2). Suppose -2*p - 19 = z*y - 3, -p - 28 = 4*y. Let k = 12 + y. Which is smaller: k or 2/3?
2/3
Let c = 9 - -11. Let n = -17 + c. Are n and 5 equal?
False
Let r be 2/5*(-70)/(-12782). Let x be 314/11*(-29)/996. Let u = x - r. Is 1/2 less than or equal to u?
False
Suppose 2*n = -g - 38, -83 - 42 = 5*g - 3*n. Let j be -3 + g/(-10) + (-18)/(-63). Which is greater: 0 or j?
j
Let l = -7 + 8. Let w = -30 + 21. Let k be (-5)/(-540)*24/w. Which is smaller: l or k?
k
Let g be (1 + (-4)/3)*2. Let b = -818.65 + 819. Are b and g unequal?
True
Let k(g) = -2*g + 2. Let r be k(-2). Suppose -4*s = 3*w + r + 16, -w - 34 = -4*s. Which is greater: w or -12?
-12
Let c be (3 + -1)/((-6)/(-12)). Let j = c - -10. Let h be (j/6)/(24/18). Is 2 less than h?
False
Let n = 8253 - -2135. Let g be ((-6777)/(-20))/(n/35). Let j = g + 1/848. Which is smaller: 1 or j?
1
Let u be (0 - 3/(-26))/3. Let v(c) = -2*c**2 + 56*c - 264. Let i be v(6). Which is bigger: i or u?
u
Let k(b) = -3*b + 18. Let u be k(8). Let q be 1/(-3) + 1 + 46/u. Which is greater: -8 or q?
q
Suppose 0 = -2*z - 3*g - 6345, -2*z + 9490 = -5*z + g. Let t = z + 15751/5. Is -16 greater than or equal to t?
False
Let f = 100/91 + -18/13. Let h = 7.65 - 8. Which is greater: h or f?
f
Suppose 193*p - 195*p - 46 = 0. Is p < -22?
True
Suppose s = -0*s + 8. Suppose -s = -5*g - 33. Which is smaller: -6 or g?
-6
Let x = 243 - 215. Which is bigger: x or -0.1?
x
Let t(u) = u**2 + 6*u + 4. Let k be t(5). Let c = -62 + k. Are -4 and c nonequal?
True
Let t = 533 - 355510/667. Which is smaller: 0 or t?
0
Let k = 38 - 41.04. Is k <= 1/2?
True
Suppose z = 2*k + 93, -5*z - 3*k + 223 = -307. Is 105 >= z?
True
Let f = -0.4 - -0.7. Let a(q) = -28*q**2 + q. Let j be a(-1). Let v = j - -89/3. Which is smaller: f or v?
f
Let c(t) = 2*t**2 + 7*t - 1. Let y(j) = -3*j**2 - 10*j + 1. Let f(r) = 8*c(r) + 5*y(r). Let b be f(-6). Let m be (9 - 3) + b/1. Is m greater than 3?
False
Suppose -3*q + 50 = -0*p + p, -3*p = q - 22. Are 20 and q equal?
False
Let i = 16.8 + -16. Let a = 0.2 + i. Suppose 1 = -m - 0*m. Is m greater than a?
False
Let y = 90022/5 + -17895. Let m = y + -109. Which is smaller: -5/3 or m?
-5/3
Let i = -204 + 206. Is i < 10?
True
Let b be 1*(28/(-25))/((-4)/10). Is 0.1 at most b?
True
Suppose 7*t + 1375 = 1263. Is t smaller than 1/20?
True
Let c(g) = g**2 - 11*g + 29. Let o be c(6). Is o less than 4/53?
True
Let l = 7.9 - 8. Let k = -20497423/238 + 86124. Let y = 3/34 - k. Which is greater: l or y?
l
Let t = 1 - 4. Let k = 1.41 - 12.71. Let m = k - -11. Which is smaller: m or t?
t
Let w = -428 - -1713/4. Is w bigger than 12?
False
Let y = 0.01 - -0.18. Let l = y + -0.19. Let r = 3 - 5. Which is smaller: l or r?
r
Suppose m - 3 - 2 = 0, -m = -2*c + 35. Let v be 10/c*18/(-10). Which is bigger: v or 0?
0
Let s(f) = f**2 + 35*f - 37. Let g be s(-36). Are -2/61 and g nonequal?
True
Let w = -11.896 + -0.104. Let x = 9.02 - 0.02. Let k = x + -10. Which is smaller: k or w?
w
Suppose -c - 11 = -n, 5*n - 35 = 2*c + 8. Suppose 456 = -5*t - n*t. Is -38 less than or equal to t?
True
Suppose -5*s - 7 = -4*g - 33, -4*s = -3*g - 20. Suppose 4*f + 14 = 5*o, -2*f = 2*o + 2*f. Suppose -o*c - 4*c - 6 = 0. Which is smaller: s or c?
c
Let r(m) be the second derivative of m**4/12 - 19*m**3/6 - m**2/2 + 46*m. Let b be r(19). Do b and 3/97 have different values?
True
Let w be 4/(-80)*5*-4. Let a be (3/69)/(2/(-6)). Which is smaller: w or a?
a
Let n = -12334 - -5439290/441. Which is bigger: -1 or n?
n
Suppose -9*k - 3 = 15. Let y be 34/(k + 0/2). Is y not equal to 2?
True
Suppose -5*t = -3*v - 874, 2*v + 876 = 2*t + 3*t. Let g = -104 + t. Suppose -5*i + i - 2*l = 84, -l = -4*i - g. Which is bigger: i or -18?
-18
Let o be (39/286)/(3/7). Is -1 >= o?
False
Let s = -838 - -849. Which is smaller: s or -1.9?
-1.9
Suppose 0 = -7*a + 3*a - 2*a. Are 6/127 and a nonequal?
True
Let y be 8/(-3468) + 0/(5/5). Are y and 1 equal?
False
Suppose 2*v - 13 = -17. Suppose -5*s + 3 = r, 3*r = 4*r - 3. Suppose -6*w + 4*w - 6 = s. Which is smaller: v or w?
w
Let a = -11 - -13. Suppose -a*n = 5*h + 29, -5*h - 2 = -n + 36. Let l be 116/(-14) + (-4)/(-14). Is l at least h?
False
Let w(k) = 79*k - 298. Let z be w(6). Which is smaller: z or 174?
174
Let f = 89 - 69. Let h(i) = 2*i + 8. Let q be h(7). Is f smaller than q?
True
Suppose -z - 2*z - 2*a + 28 = 0, -5*z = -3*a - 15. Which is greater: z or 75/11?
75/11
Let m be (-6)/9 + 132/144. Are 0.49 and m nonequal?
True
Suppose 5*d = -2*q - 43, -4*d + 92 - 16 = -3*q. Let i be (-9)/6*q/18. Suppose 0 = -i*g - 0*g + 28. Is g greater than 13?
True
Let f = -1499.71 + 1500. Which is smaller: f or -0.7?
-0.7
Let r be ((-4)/6)/(4/6). Let b(z) be the third derivative of z**6/120 + z**4/24 - 2*z**2 + 52. Let n be b(r). Which is smaller: -6 or n?
-6
Let u = 0.26 - 0.06. Let l be (-38)/(-5) - (-10)/25. Suppose -l*p = -15*p. Are u and p unequal?
True
Let l(a) = 8*a - 154. Let r be l(34). Which is smaller: r or 119?
r
Let m = 805 + -836. Are m and 0.12 equal?
False
Let o = 19.559 - 0.159. Let v = o - 0.4. Let r = -14 + v. Which is smaller: 1/2 or r?
1/2
Let o = 7 - 10. Suppose 0 = -15*p + 19 - 154. Which is greater: p or o?
o
Let r be 16/(-4)*3/(-2). Let j = -181 + 179. Is j greater than or equal to r?
False
Let c = 3290/23 - 143. Let t be (-15)/966*-80 - (1 + 0). Let s = t + c. Is 0 smaller than s?
True
Let j be 6/(-4)*92/18. Suppose -20*i + 55*i + 133 = -182. Which is bigger: j or i?
j
Let b = -2 - 1. Let c = b + 18. Is c greater than -1?
True
Let q = -22/739 + 15418/21431. Is q equal to 2?
False
Suppose 483 - 60 = 9*t. Which is smaller: 2/5 or t?
2/5
Let u = 3211/483 - -3/161. Let z be (-3)/18 + 511/42. Suppose 3*j - 10 = -m + 2*j, -z = -3*m + 3*j. Which is bigger: m or u?
m
Let a(w) = 143*w - 215. Let o be a(3). Is 214 bigger than o?
False
Let p = -2.083 + 1.683. Is p < 82/5?
True
Suppose -122*y + 5 = -117*y. Let n(d) = d**2 + 10*d + 7. Let q be n(-8). Is q != y?
True
Let m = -30.64 - -0.64. Which is smaller: m or -10?
m
Let q = 949.3 + -950. Which is smaller: 0 or q?
q
Suppose -67*f = -52*f - 1545. Is 104 bigger than f?
True
Let z be ((-6)/8)/3 + (-24)/(-32). Which is smaller: z or 100/7?
z
Let s = 6 + -5.4. Suppose -12*n - 6 = -15*n + 4*x, 0 = -n + 3*x - 8. Does n = s?
False
Let l(u) = 3*u**2 + 2*u - 15. Let h be l(5). Are h and -3 equal?
False
Let p = 0 + -0.01. Let i = -7.01 - p. Let b = i + 6.97. Is b <= -2/5?
False
Suppose -22 = 2*s + 10. Let c = s + 16. Suppose c = 2*k - y - 4, -4*k - 8 = 4*y - 4. Which is bigger: k or -2/5?
k
Let v = -11 + 6. Let n be 3 - (1660/(-108))/v. Let m be (-4)/12*(4 - 1). Which is bigger: n or m?
n
Suppose 3*f + 225 - 69 = 0. Let u = -34 - f. Let i = u - 21. Which is smaller: i or -0.1?
i
Let j = 43 - 44. Let f = j + -12. Is f >= 0?
False
Let v(a) = -a**2 + 5*a - 5. Let b(m) = -m**3 + 9*m**2 - 8*m + 2. Let g be b(8). Let s be v(g). Let z = -121/2 + 2785/46. Is s less than z?
False
Let p(q) = q**3 + 3*q**2 - 3*q + 1. Let y be p(-6). Let t be y/62 - (1 + (-5)/2). Which is smaller: -1 or t?
-1
Let w be 2/(-7) + (-594)/(-21). Let o = w - 20. Let q = o - 1. Which is greater: 3 or q?
q
Suppose -3*m + 2*p = -2*m + 4, 3*p + 21 = -3*m. Let j(x) = -x**2 - 7*x - 8. Let v be j(m). Let f = 2684 - 2687. Is f >= v?
False
Suppose -17*f = 4*f + 2016. Do -97 and f have the same value?
False
Let j be (-9 - -5)*(-1022)/(-8). Let r be j/(-14) - 2/4. Suppose 2*b - d = -27, -2*b + d = -3*d + r. Is -12 >= b?
True
Let w be -1*4*(-2)/(-8). Let m be (-129)/(-18) - w/(-6). Suppose -37 = 4*y + m. Which is greater: y or 1/4?
1/4
Let y = -33 - -37. Suppose 0*i = -y*b - 2*i - 4, -2*b - 2*i - 4 = 0. Which is bigger: b or 3/5?
3/5
Let x be (11/(-2) + 1)*(-4 - -8). Is -136/7 less than x?
True
Let g be 36/(-60) - (-3632)/(-30). Is g greater than or equal to -123?
True
Let o(u) = 3*u**3 + 4*u**2 + 3*u. Let c be o(-2). Let r = 30 + c. Let v