 + 13. Let w be p(-16). Suppose -4*k - 5 = -w. Which is smaller: k or 135?
k
Let i = -288 + 253. Let h = 62 + i. Is -0.1 at most as big as h?
True
Let b(n) = -16*n - 122. Let t(f) = -18*f - 123. Let g(r) = 5*b(r) - 4*t(r). Let q be g(-16). Is q bigger than 15?
False
Let p be 178/26 + 4/26 - 4. Let r(q) = -2*q**2 + 8*q - 2. Let a be r(p). Suppose -a = -0*v + 4*v. Is 1/8 >= v?
True
Let t(s) = 44*s - 2256. Let m be t(36). Which is bigger: -671 or m?
-671
Let h = 0.7968 + -1.0068. Which is greater: h or 99?
99
Let q(n) be the third derivative of n**5/30 + 7*n**4/8 + n**3 + 8*n**2. Let g be q(-10). Let v be 4 + 1074/(-221) - g/26. Which is greater: 0 or v?
0
Let h(z) = z**3 + 32*z**2 + 41*z + 36. Let g be h(-33). Let t = g - -9565/4. Does t = -14?
False
Let i = -7 + 9. Let d be -1 + (-3 - 12)*i. Suppose 809 = -30*o - 61. Which is greater: d or o?
o
Suppose -3*a + 3*u - 479 = -a, 5*u - 481 = 2*a. Let w = a + 211. Is w less than -26?
True
Let h = -3144 - -3185. Is 712/17 <= h?
False
Let f = 1.21 + 31.29. Let o = f + -34. Let x = o + 2. Is 2/13 bigger than x?
False
Suppose -o - 3*w + 108 = 0, -249 = -o + 4*w - 183. Which is bigger: o or -32?
o
Let y be -9*(2/10 + 63/(-45)). Does y = -1?
False
Let f = 54 - 41. Let s = -6 + f. Let k(v) = -3*v + 19. Let d be k(s). Is d bigger than -24/11?
True
Let d(n) = n**2 - 798*n + 945. Let k be d(0). Is 937 < k?
True
Let l = -5414/37849 - -1/5407. Which is smaller: -228 or l?
-228
Let i be (-24)/10*25725/(-343). Which is greater: 183 or i?
183
Let j be (13 - 14)/(((-6)/(-31880))/((-132)/(-55))). Is -12751 equal to j?
False
Let r be 2/6 - (-53)/39. Let w(t) = -t**3 + 54*t**2 + 361*t + 8. Let l be w(-6). Is r at least l?
False
Let y be (-1542)/(-4)*((-116)/(-12) - 9). Suppose -y = 16*m + 63. Which is greater: -11 or m?
-11
Let p = 0.4 + -46.4. Which is smaller: p or -5.5?
p
Suppose -t + 4 = -1. Suppose -t*s = 2*w + 8, -6*s + s - 38 = -3*w. Suppose 5*u = -4*o + 10, 5*o + 5*u = -0*o + 15. Is o > w?
False
Let q be (-2425)/(-22680)*4 + 0 + 2/(-7). Which is smaller: q or -1?
-1
Let n(t) = -4*t - 98. Let f be n(-23). Let x be (-375)/(-30)*4/f*3. Which is smaller: -22 or x?
x
Suppose -8*t + 499 = -i - 463, -2*t - 1012 = i. Does -1002 = i?
True
Let a be 6/16 + (222/(-48) - -5). Are a and 150/11 nonequal?
True
Suppose -67*v + 90 = -158*v - 1. Which is smaller: 3/18062 or v?
v
Let n = 28710 - 29776. Which is greater: -21 or n?
-21
Let h = -22905 - -22902. Which is smaller: h or -462/107?
-462/107
Suppose 12*k - 2145 = 2823. Let d = -7040/17 + k. Is d at least 1?
False
Let p = 2664/12035 - 6/415. Let j = -1098 - -1096. Is j != p?
True
Suppose 0 = -5*u - 6 + 36. Suppose u*b = 5*b - 8*b. Suppose 0*v - 3*v + 5*y + 23 = b, 5*y + 15 = -5*v. Which is smaller: v or -6?
-6
Let v be (-30)/12 - (-10)/4. Suppose -14*k - 148 + 134 = v. Let y = -126.1 - -117. Are k and y equal?
False
Let r(f) = -29*f - 1509. Let v be r(-57). Which is smaller: 145 or v?
v
Suppose 0 = 4*n + 12, -3*w + 5*n + 13 = -14. Let h be 10/95 - w/38. Suppose -a - 18 = -4*y, 5*a + 5*y - 3*y - 20 = h. Is a at most as big as 1?
False
Let v(c) = -163*c - 10. Let t be v(-3). Do t and 2 have different values?
True
Suppose 873 = -4*n + 2361. Which is bigger: n or -10?
n
Let p = 11.5935 - 10.5935. Suppose 9 = h - 0*a + a, 4*h = -a + 21. Let z = -2 + h. Is p smaller than z?
True
Let z = 319.32 - 320.71. Which is smaller: z or -0.03?
z
Let b(m) = -m**3 + 2*m**2 + 2*m - 4. Let n be b(2). Which is bigger: 2/63655 or n?
2/63655
Let j be (-1730132)/583*1/2 - (-4)/(-22). Which is greater: -1483 or j?
-1483
Let d = -18947/5 - -3793. Which is bigger: 4 or d?
4
Let i = -0.3735 - -0.4735. Which is smaller: i or -3233?
-3233
Let p(z) = -4*z - 5. Let b be p(-5). Let t be (-7)/((-392)/16)*(47 + 2). Suppose b*i + t = 13*i. Which is smaller: i or 2?
i
Let q = 421.8 - 443.31. Is 0 <= q?
False
Let i(n) = -2*n**3 - 17*n**2 + 59*n - 7. Suppose -4*b - 5*x + x - 44 = 0, -3*b = 4*x + 33. Let c be i(b). Which is bigger: c or -49?
-49
Let q = 5592.819 - 5590. Let s = 0.019 - q. Which is smaller: 2/3 or s?
s
Suppose -x + 3*t + 20 = -2*t, -17*x = -t - 4. Let m = -294 - -616. Let n = 3549/11 - m. Is n at most x?
False
Suppose 8 = 4*n, 2*v + 9831 = -3*n + 135. Let k = v - -77581/16. Which is smaller: -1 or k?
k
Let q be ((-2)/148)/((-2)/(-80)). Let r be 6/(18*(4/(-3))/((-120)/(-30))). Which is smaller: q or r?
r
Let l = 57 + -49. Let v be 10/l*48/(-84). Let g be -3 + 2 - (-6)/10. Which is bigger: g or v?
g
Let t(m) = 38*m**3 + m**2 + 7*m - 37. Let g be t(3). Which is smaller: g or 1018?
1018
Let l(s) = -s**3 - 35*s**2 - 25*s + 411. Let q be l(-34). Is q greater than or equal to 84?
True
Let b = -34.6318 - 0.3682. Are -17 and b non-equal?
True
Let f = -855.1548 + 855. Let a = f + 0.2148. Let m = 0.43 - 0.03. Which is smaller: a or m?
a
Let h = 1.38 + 35.52. Let j = h + -38.9. Is j not equal to 8/3?
True
Let f = -40.213 + 40.4. Let j = 1.888 + f. Let y = 0.075 - j. Are 13 and y non-equal?
True
Let q(x) = 23*x**3 - x + 1. Let j be q(1). Let f(b) = b**2 - 11*b - 38. Let g be f(14). Suppose 0 = 2*o + 2*o + g*n - 20, 0 = 3*o + 5*n - j. Is 1/4 != o?
True
Let x be (-68)/(-170) + (-1758)/(-5) + 1. Let t = x + -515. Does -163 = t?
False
Let m be (-4)/((-1280)/30)*16/156. Is 0 at most m?
True
Let v = 1487 + -8290. Is v at least -6801?
False
Suppose 46*z - 51*z + 80 = 0. Let j = 49682/3387 + -2/1129. Is j != z?
True
Let b be 76/(-1083)*38/4. Let a = 19609/161 - 855/7. Which is greater: b or a?
a
Let m(o) = -o**2 + 11*o - 10. Let w be m(10). Let t = -126 + 88. Let c be ((-14)/28)/(t/4). Is w bigger than c?
False
Let b = 38036 - 223841859/5885. Is b < -1?
False
Let v be 12/2 + 59/118*(0 + -1146). Which is smaller: 0.7 or v?
v
Let c be 116/(-59) - (-4 - -2). Let t = -27148 + 27147.9. Which is smaller: c or t?
t
Let u be (14 - 9)/(53/((-60102)/(-135))). Let v = 3 + 4. Let p be 606/14 - 2/v. Is p <= u?
False
Let m(i) = -i**2 - 29*i - 48. Let y be m(-24). Let z be (-23)/((-138)/y) + -1 + -1. Which is smaller: z or 8?
8
Let f = 142 - 139. Suppose -10 = 5*z, 6 = f*b + z - 4*z. Which is bigger: 7/23 or b?
7/23
Suppose 6*f + 4203 = -3207. Is -1234 at most as big as f?
False
Suppose -25*c + 12 = 37. Is c at most -1/31?
True
Suppose g + 15*i = 11*i - 17, i = 4*g. Let z = 15 - 16. Let a(y) = 3*y**3 + 2*y**2 + 2*y + 1. Let o be a(z). Is g > o?
True
Let s = -3.035 - -7.035. Is 2/385 > s?
False
Let l = 423 + -130. Which is smaller: 300 or l?
l
Let y be (-2)/(-3) - (-240)/(-356). Let z = 2146/1335 + y. Let o = -7 + 10. Is o at most z?
False
Suppose -57*x - 10582 = 60*x + 26*x. Let j be ((-4)/3)/(2/156). Let h = j - x. Is -28 < h?
False
Let q(f) = 10*f - 8. Let m be q(5). Let d = 1096 - 1054. Is d != m?
False
Let c = 73.1731 + -73.14. Which is smaller: c or -1/5?
-1/5
Let d = 18 + -61. Let r(g) = -6*g**3 + g**2 + g. Suppose 4*l + 2 = 10. Let b be r(l). Which is smaller: d or b?
d
Suppose -400*r = -394*r - 252. Let w be (r/4)/(24 - 25). Which is smaller: w or -11?
-11
Let d = -15527 + 326068/21. Let f be -6*1*2/(-4). Which is bigger: d or f?
f
Suppose -15784 = -6*o - 13954. Are o and 289 unequal?
True
Suppose j + 261 = 263. Suppose -j*l = -5*k - 0*l - 9, -k + 4*l - 9 = 0. Is 1/989 bigger than k?
True
Let a be 10/6 + (88/(-24) - -4). Suppose -3*l = -0*l - a*z + 3, 4*z + 5 = -5*l. Is -2/27 equal to l?
False
Let r be 0*2*11/(-770)*-7. Which is smaller: r or 8/1577?
r
Let w be (-13)/2*(-28 - (-1 - -3)). Suppose 0 = -5*o - 30 + w. Which is greater: o or 29?
o
Suppose 167*a = 10729 + 2297. Let g = -88 + 167. Is a smaller than g?
True
Let y be (-3864)/36 + (-4)/6. Let k be (-8 - -2)*(-5)/75 - 552/5. Which is bigger: y or k?
y
Let t = -14917/2 - -7459. Let l be (-1 - 1) + 45 + -1. Which is smaller: t or l?
t
Let g = 47/5 - 559/60. Suppose -48*i + 347 = 395. Which is greater: i or g?
g
Let r = 308.4 - 308.31. Which is greater: r or 5/227?
r
Let v = 46.8 - 42.8. Which is smaller: v or 509/10?
v
Let s = -3758594/9 + 418592. Which is smaller: 969 or s?
969
Let a(q) = -3*q**2 - 3*q + 42. Let h be a(-5). Let c be ((-1)/(h/(-33)))/((-17)/(-3)). Which is smaller: 0 or c?
c
Let h(f) be the second derivative of f**5/20 + 13*f**4/6 - 27*f**3/2 - 32*f**2 + 132*f. Let y be h(-29). Which is greater: -239 or y?
y
Let p(l) be the second derivative of l**5/