. Let q be f/27 - (-2)/9. Which is smaller: -2/7 or q?
-2/7
Let l(k) = -k**3 + 12*k**2 - 5*k + 8. Suppose 3*t + t - 32 = 0. Let w be l(t). Let x be 3 + (w/18)/(-4). Which is smaller: 1 or x?
x
Let g = 0.08 - 24.88. Let p = 4.8 + g. Is 1/5 != p?
True
Suppose -36 = -0*j - 3*j. Let y be (-48)/(-168) - 9/7. Which is smaller: j or y?
y
Let s(z) = -z - 6. Let f be s(-7). Suppose -3*c + f = -p, 0*c - 4*c - 5*p = 24. Which is bigger: -1/4 or c?
-1/4
Let z = -29 + 30. Is 14/13 smaller than z?
False
Let k be -2 - 1/(8/(-62)). Let b = -521/92 + k. Let z = -4 - -4. Which is greater: z or b?
b
Let o be ((-4)/(-3))/(1/(75/10)). Suppose 5*v = 2*b + v - o, 5*v = b + 1. Is 11 >= b?
True
Let h(l) = -l - 4. Let v be h(0). Let s be (-2 - -1)/(v/(-4)). Let i = s - 4. Which is greater: -3 or i?
-3
Let v = 1.223 - -4.277. Which is bigger: v or 0.08?
v
Let h = 0.106 - 6.206. Let v = h - -5. Is 1 at most as big as v?
False
Let c be 2/(-2)*(0 - 5). Let q be (161 - 165 - 166/(-16)) + -2. Is c at most q?
False
Suppose -135*o + 125*o - 5120 = 0. Are o and -512 equal?
True
Let a be (-12)/(-6) + (-5 - 1). Let w = -15/7 + -11/7. Is a at most as big as w?
True
Let m = 61/171 + -11/19. Which is greater: m or 107?
107
Let j = -283 - -5938/21. Suppose -5*i + 8 = 3*i. Is j at most i?
True
Let f = -20 - -7. Let t = 0.007 + -12.907. Let s = t - f. Is s greater than -1/6?
True
Let l = 44/3 + -1370/93. Which is bigger: -1 or l?
l
Let p = 5.8 + -19.7. Is p greater than 1/4?
False
Let h = 2 - 6. Let c = h + 6. Let u = 9 - 9. Which is smaller: c or u?
u
Suppose 0 = -0*r - r - 20. Let u = r - -26. Are 6 and u equal?
True
Let r = -105 + 100. Let g be (-29)/r*(-2)/((-12)/5). Is 4 at most as big as g?
True
Let j be 19*14/1064*7976/(-6). Is j at least as big as 0?
False
Let g be (-7448)/19 + 1*2. Let p = g - -15989/41. Does -1 = p?
False
Suppose -v = 2*w - 7, -4*w + 5 + 7 = 0. Is 24/175 smaller than v?
True
Let t be 11/((-990)/(-20)) - (-1048)/(-18). Which is smaller: t or -57?
t
Suppose 19 = 5*a - 11. Suppose -1 = -a*v + 5. Is 1/20 < v?
True
Let k(q) be the first derivative of -q**4/4 + 11*q**3/3 + 13*q**2/2 + 4*q + 2. Let j be k(12). Is j at least 18?
False
Let y be (-4)/10 - 49/(-35). Let o be (1/y)/(3 - 4). Do o and -4/5 have the same value?
False
Suppose 3*k - 3*l + 15 = k, 4*k + 3*l = 15. Suppose k = -5*s + 5*b - 410, 3*s - 2*b - 91 = 4*s. Is s bigger than -85?
False
Let o = 39 - 59. Let b be 1/2 - (-10)/o. Is -2 greater than or equal to b?
False
Let k be 68/(-20) - 6/(-15). Let a be k/(-6)*(-80)/(-4). Suppose -8*t = -p - 3*t + a, 3*p = t + 2. Is 1/4 at most p?
False
Let a = 50 + -75. Suppose -25*m - 3*f + 84 = -28*m, 3*m - 5*f = -92. Is a at least as big as m?
False
Let c = -57 + 85. Suppose 73 = 2*s - 5*u, 4*u - u = 3*s - 96. Is c greater than s?
False
Let c = -3.9643 - 0.0357. Is c at most 40?
True
Suppose -7*k + 3*k = 0. Let r = -24 - k. Does r = 0.1?
False
Suppose -y - 1 = -t - 10, 2*t - y + 23 = 0. Let k = -12 - t. Let d be 0*2/(-8)*k. Which is bigger: d or -1?
d
Let v = -183/398 + -8/199. Let k = -2 - -2. Is v != k?
True
Let k be (2*(-15)/(-6))/(-1). Let o(i) = -i**2 - 3*i + 4. Let c be o(k). Let b = 4 + c. Which is smaller: -1 or b?
b
Let z(p) = -2*p + 26. Let s be z(11). Let a(x) = -x**3 + 7*x**2 - 7*x + 6. Let b be a(s). Which is greater: 25 or b?
b
Let n(m) = -m**2 + 2*m + 2. Let v be (-20 + 23)/(2 + -1). Let k be n(v). Let x(r) = -r**3 - 5*r**2 - 5*r - 3. Let y be x(-4). Is k >= y?
False
Suppose -52 = -9*x + 236. Let p be x/(-36)*6/8. Is p equal to 10?
False
Let n = 1618.99 - 1619. Are n and -3/52 equal?
False
Let o = -163 - -12. Let k = o - -153. Let b = 65/6 - 23/2. Which is bigger: b or k?
k
Suppose 5*a - 5 = 0, 12*a = -5*d + 7*a + 5. Are d and 4/185 equal?
False
Suppose 3*w - w - 2*n + 12 = 0, -4*w + 3*n = 21. Let u be (w - (-1 - 3))*4. Suppose 3*q - 3*v - v = -13, 2*q - 18 = -u*v. Which is bigger: q or 0?
q
Let o = -28/31 - 598/93. Are -6 and o nonequal?
True
Let z = -956 - -953. Which is bigger: 0.17 or z?
0.17
Let k = -245 + 241. Which is smaller: k or -7?
-7
Let m(h) = -h**2 + 4*h + 1. Let b be m(2). Suppose b*f - 51 = 39. Let p = f + -19. Is p greater than -1/34?
False
Suppose -43*k = -38*k - 275. Is k at most 53?
False
Let g(k) be the third derivative of -k**5/60 + 7*k**4/24 + k**3/3 - k**2. Let r be g(4). Suppose 4*b - 5*w = 31, -4*w - 50 = -3*b - 2*b. Is b not equal to r?
False
Let i(c) = -3*c + 3. Let r(k) = -7*k + 6. Let z(n) = 9*i(n) - 4*r(n). Let x be z(-3). Let u = -0.1992 + 0.1292. Which is bigger: x or u?
x
Let c = -813 - -814. Let d be (66/(-15))/(5/100). Which is greater: d or c?
c
Suppose -3*o = -q - 18, -q + 8*o - 6*o - 20 = 0. Is -15 greater than or equal to q?
True
Let y = -26 - -28. Let r(x) = 4*x. Let u be r(9). Let v be 57/u - 2/6. Is v not equal to y?
True
Let g = 142 - 148. Let f be 3*2*2/6. Let o be (-47)/7 - f/7. Which is bigger: o or g?
g
Let y = 17.8 - 122.8. Let b = 121 + y. Which is smaller: 0 or b?
0
Let r = -0.28 - 0.02. Let j = 2147 - 2151. Is j >= r?
False
Let o be (-12)/33*(5/(-2) - -2). Which is bigger: o or 27?
27
Let k(y) = -4 + 3 + 7*y - 5 - y**2. Let z be k(4). Let h be (-1)/11*(z - 4). Which is smaller: 0 or h?
h
Let d = 48.93 - -0.07. Let b = 49.4 - d. Is b at least as big as 0?
True
Let a = -7.48 - -8.48. Are a and -23/21 nonequal?
True
Suppose -195 = 12*t - 1515. Which is bigger: t or 334/3?
334/3
Let q(t) = -t**2 + 2*t + 5. Let m be q(0). Suppose 4*k + 8 = 2*r + 2, 5*r = m. Which is greater: -2/55 or k?
-2/55
Suppose -37*n + 207 = -14*n. Is -17 smaller than n?
True
Let g be (-49)/(-21) + (-1)/3. Suppose -2*p + f + g - 3 = 0, 0 = -5*f - 25. Which is smaller: p or -2?
p
Let b = 1 + -0.8. Let n = 17.18 + -0.18. Let d = n - 22. Is d < b?
True
Let t = -463 + 2293/5. Let a = t - -71/15. Are a and -1 equal?
False
Let z = -25 - -30. Suppose 0 = q - z*w - 27, -4*q - w + 0*w + 3 = 0. Suppose 5*b + 5*y = 60, -q*b + y + 4 + 11 = 0. Is 9 > b?
False
Let u be (-1)/(-4) + (-114)/(-24). Let m be (-20)/u*(1 + -2). Let j be (m/(-6))/((-4)/6). Is j bigger than 2/9?
True
Let c = -150.05 - -162. Let h = c - 12. Let s = h - -0.15. Is s <= 0.1?
True
Let b be 55 - ((-2)/1 - -6). Suppose -b = 2*g - 5*g. Let d = -17 + g. Does d = 2?
False
Let n be 48051/(-361) - (1 + 21/(-19)). Is -133 at most as big as n?
True
Let x = -33.1 + 33. Let m = 1/77 + 299/693. Which is bigger: m or x?
m
Let x = 33.2 + -35.77. Let w = -0.57 - x. Is 2/27 equal to w?
False
Suppose -4*j + j + y = 99, 2*j + 2*y = -66. Let i = -61 - -27. Is j >= i?
True
Let u = 663.2 + -609. Let o = 54 - u. Let q be (1*-1)/((-6)/(-4)). Is o > q?
True
Suppose 0 = 5*d + 5*b - 90, -3*d - 4*b = -7*d + 72. Let w = -30.9 - -31. Are w and d unequal?
True
Let q = -413 + 413.1. Which is bigger: -0.36 or q?
q
Let v = -1.217 - -1.517. Which is greater: v or 2.51?
2.51
Let p(c) be the first derivative of c**4/4 - 8*c**3/3 - 9*c**2/2 - 18*c - 11. Let x be p(9). Is x >= -18?
True
Let d = 23.6 - 0.6. Let x = -359 + 382.1. Let g = d - x. Which is smaller: -0.7 or g?
-0.7
Suppose -3*k + 9 = -3*g, 0 = -3*k + 5*g + 15 - 4. Let y = 20 + -33. Let m = 6 + y. Is m at most as big as k?
True
Let a be -2 + 1 - (-42)/8. Suppose 3*d - 681 = -5*i, 3*i + 2*d - 405 = -d. Let q = 142 - i. Is a less than q?
False
Suppose 11*x = 14*x. Suppose x = -15*j + 14*j - 27. Which is smaller: -28 or j?
-28
Suppose -5*o + 14 = -3*o. Let p be (-12)/84 - (6/o)/(-2). Are p and 0.04 nonequal?
True
Let o = 46 + -43. Suppose 2*d + 54 = -4*l, -26 = 3*d + o*l + 43. Which is smaller: d or -17?
d
Let x = -4 - -3. Let o = 8625/49 - 176. Is o equal to x?
False
Let l(w) = w**2 + 2*w + 3. Let x be l(-2). Suppose 0 = -x*v + 12 - 12. Are v and -4 equal?
False
Suppose -a + 5*w - 22 = 0, 4*a + 4*w + 0 = 8. Let x be a/(-7) - (-20)/28. Is -13 bigger than x?
False
Let f(a) = a**2 - 11*a - 12. Let z be f(11). Let i = -21 - -7. Is i at most as big as z?
True
Suppose 0 = 3*s + 2*b + 244, -s = 4*b - 39 + 107. Which is bigger: -83 or s?
-83
Let z(p) = p**2 - 17*p + 18. Let y be z(13). Let q = -31 - y. Which is greater: 2 or q?
q
Let h = -1 - -2. Let q be ((-3)/6)/((-481)/(-156)). Which is greater: h or q?
h
Let b = -9076 + 1316014/145. Which is greater: b or -1?
b
Let q be 15/17 - -12*2/(-8). Which is smaller: -3 or q?
-3
Let j(y) = y**3 + 13*y**2 + 13*y + 15.