. Let x be 2/6*(-1)/z. Is 0.05 at least as big as x?
True
Let n(h) = h**2 - 3*h - 4. Let d be n(-1). Is d at most -8?
False
Let w = 545 - 545.4. Which is smaller: -2.8 or w?
-2.8
Let m be ((-3)/4)/(9/(-60)). Suppose 0 = 5*x + 2*o + 5, 3*x - 13 = m*x + 3*o. Is 2/17 smaller than x?
True
Let n = 913 - 922. Which is smaller: 15 or n?
n
Let y = -0.034 + -0.066. Are 88 and y equal?
False
Suppose 30 + 58 = 4*c. Let r = -19 + c. Suppose 5*v = r*v. Which is smaller: v or -1/45?
-1/45
Let t be ((-24)/(-16))/(1/(-8)). Let a(i) = i**2 + 10*i - 15. Let x be a(-12). Let f be 6/x + 56/t. Which is smaller: -1/3 or f?
f
Let c be (342/1900)/(3/(-5)). Which is greater: c or 4?
4
Let c = -292 + 445. Which is smaller: 152 or c?
152
Suppose -121 = -26*d + 61. Which is smaller: 54/7 or d?
d
Let s(i) = -3*i**2 + 48*i - 24. Let c be s(16). Is c less than -2?
True
Let p be (1 + 0)/((-2)/(-6)). Let c(q) = -q**3 + 3*q**2 + q - 3. Let h be c(p). Is -1 greater than or equal to h?
False
Let d = 0 + -0.6. Let k = -3.1 + 3.8. Let r = d + k. Is r greater than 15?
False
Let w = 519/296 - 88/37. Let s(k) = k**3 + k**2 + 2. Let r be s(-2). Are r and w non-equal?
True
Let t be (-224)/(-3425) - (-42)/(-525). Suppose 4*i - 5*d - 32 = -13, 4*d = -i - 11. Is t at most i?
True
Let x(r) = r**3 + 5*r**2 - 36*r - 180. Let p be x(-7). Are p and -11 nonequal?
True
Let f be ((-3)/(-9))/(860/12 + -1). Which is greater: 0 or f?
f
Let a be (-13)/12 - 480/(-384). Are a and 0.2 nonequal?
True
Let n = 318 - 195. Suppose 4*h + f - n = 0, 4*h + h - 3*f = 158. Let u = h + -21. Is 11 <= u?
False
Let g(f) = 19*f + 43. Let u be g(-2). Is u at least as big as 19/4?
True
Let r = -112 - -1007/9. Suppose 4*o + l - 8 = 32, -4*l = -16. Suppose -6 - o = i + 5*v, -2*i - 2*v - 6 = 0. Which is smaller: i or r?
r
Let d(u) = u**2 + 4*u + 1. Let x be (-7)/2 - 10/20. Let m be d(x). Do -5 and m have the same value?
False
Suppose 2*u + 656 = 2*v, 3*v - 6 - 3 = 0. Does u = -324?
False
Let l be (5/(-3) + 1)*(-78)/(-52). Is -9/37 bigger than l?
True
Let u = 155.47 - 0.47. Let w = 167 - u. Is 0.1 equal to w?
False
Suppose -5*k = 3*q - 150, 2*k + 118 = 6*k + 2*q. Suppose -6 = -3*o, -5*w - 7 - k = -2*o. Let z be 0/(6/(w/2)). Are -6/5 and z equal?
False
Let z(k) = 3*k + 3. Let l be z(-3). Let c be (44/(-2))/((-12)/(-6))*1. Which is smaller: c or l?
c
Let s = 173.9849 - -0.0151. Is -1 bigger than s?
False
Let h = -104/57 + 5/3. Suppose 5*q - 2*d = 2*d + 11, -3*q - 3*d - 15 = 0. Are h and q non-equal?
True
Let f = -1.539 + 1.539. Is f at most as big as -1361?
False
Let u = 212 - 205. Are u and 33/5 non-equal?
True
Let p = -304 + 462. Which is smaller: 159 or p?
p
Let u = 5.91 + 0.09. Let i = -18/59 + 44/531. Is u less than i?
False
Let o = 18 - 7.8. Is -2 at most as big as o?
True
Let g(c) = 30*c + 2. Let k be g(-1). Is -28 <= k?
True
Let p = -134 - -96. Let d = p + 36. Let u = d - -16. Does u = 14?
True
Suppose 0 = -5*r + 5*b + 375, -2*b - 5 = -4*r + 285. Suppose 0*s - 4*n + r = -5*s, 2*n = s + 8. Is 0 at most as big as s?
False
Suppose -34 = -3*x + 5. Let y = x + -13. Which is greater: 12/11 or y?
12/11
Suppose 2*d - 2 + 14 = 0. Let o be 51/18 + 12/d. Suppose 1 = 5*w + 5*k - 9, 0 = w - 4*k + 8. Is w at most as big as o?
True
Suppose 5*w - 4*a = 5, -5*w + 2*a + 11 = 6. Do -28 and w have different values?
True
Let g(c) = 2*c + 8. Let u be g(-2). Suppose 2*i + 28 = -3*h, -u*h + 2*i - 40 - 16 = 0. Are h and -14 non-equal?
True
Let o = 43 + -385/9. Let t(c) = c**2 - 6*c - 1. Let u be t(5). Let x = u - -5. Is o greater than x?
True
Let p = -18 + -4. Let l = p + 23. Let c = -99/2 + 47. Which is smaller: c or l?
c
Let s = 967 + -1335. Does -368 = s?
True
Let v = 17 - 17.07. Let c(k) = -22*k - 1. Let b be c(-1). Suppose -4*o - 5*w - b = -0*w, -5*o + 3*w = -20. Is o less than v?
False
Suppose 7*i - 1746 + 1753 = 0. Let r be (-2)/(-8) - 1/8. Which is bigger: i or r?
r
Let q be (1 + 0 + 0)*-19. Let p be (-30)/(-4)*192/(-80). Is q <= p?
True
Let y = -164 + -4. Let l = 152 + y. Suppose -a = -4*d - 68, -4*a - 42 = 5*d + 43. Which is greater: d or l?
l
Suppose -3*p = -p. Let f = p - 9. Are f and -8 nonequal?
True
Let g be (33/9 + -3)/(2/(-6)). Let m be (24/(-344))/((-3)/(-6) + g). Let p(r) = -r**2 + 5*r + 7. Let s be p(6). Which is bigger: s or m?
s
Let u = -1395/4 - -349. Which is bigger: -4/15 or u?
u
Suppose 0 = -4*x + a + 25 + 65, 5*a = -5*x + 100. Let c = x - 31. Let f be (-2)/6 + (-12)/c. Which is greater: 16/9 or f?
16/9
Suppose -9*b = -4*b + 130. Let c = 26 + b. Is c greater than -3/4?
True
Let o be (-24)/(-8) + ((-6)/2)/3. Let z be (-10)/(o + -1)*1. Which is greater: z or -8?
-8
Let b(y) be the third derivative of y**5/60 + y**4/24 - y**2. Let p be b(-2). Do 1 and p have the same value?
False
Let y = 10 + -24. Let j = y + -5. Let b = -2291 + 4583/2. Which is greater: j or b?
b
Let w = 688 - 489. Is 198 at most w?
True
Let m(v) = -2*v + 1. Let h be (-4)/32 - 15/8. Let y be m(h). Suppose -j = 2*a - 4*a - 7, j + 21 = -y*a. Is j less than or equal to -2?
False
Suppose r = 13 - 2. Suppose -14*n + r*n = -6*n. Let q = 3/62 - -81/248. Is n less than or equal to q?
True
Suppose -4*m = -3*m - d + 4, 0 = -2*m - 5*d - 43. Let o be 7 + m/(-2 + -1). Suppose -n - o = -5. Which is smaller: n or -4?
n
Let v = 323 + -375. Does v = -50?
False
Let p = 8.92 - 9. Let m = 0.18 + p. Let t = -0.8 - m. Which is smaller: 0 or t?
t
Let w(n) = -102960*n**3 - 2*n + 1. Let r be w(-2). Let q = -415960738/505 + r. Let o = 3/101 + q. Which is smaller: -10/3 or o?
-10/3
Let c be (6654/(-4))/(1/(-8)*-42). Let t = c + 318. Do t and 0 have the same value?
False
Let x be 172 + 2 - -2*5/10. Suppose 0*k + x = 7*k. Do k and 25 have different values?
False
Suppose -5*w - 2*l + 590 = 0, 5*w + 3*l - 590 = -0*w. Is 118 greater than w?
False
Let w(d) = -d**3 + d - 28. Let m be w(0). Let u be (7 - (-188)/m) + 32/(-14). Let i be (-2)/5 - (-14)/(-40). Is u < i?
True
Suppose 6 = -4*u + 215*q - 217*q, -12 = 3*u + 3*q. Is 1/21 < u?
True
Let x = 239 + -6452/27. Let k = -7 + 8. Is k >= x?
True
Let w be 161637/(-1892) + (-4)/(-22). Is -86 less than w?
True
Let m = 224 + -33. Which is greater: 192 or m?
192
Let j(k) = -k**3 + k + 1. Let y(a) = 4*a**3 - 4*a**2 - 5. Let b(o) = -5*j(o) - y(o). Let t = -1 - 4. Let z be b(t). Do z and -1/12 have different values?
True
Let g(n) = n**3 - 4*n**2 + 3*n + 2. Let p be g(4). Which is greater: 2 or p?
p
Let x be (3 + -4 - 2)/((-66)/(-92)). Is x > -5?
True
Suppose 0*k + 45 = 5*k. Let y be (-2)/(-1) + -4 + -275 + 286. Is k >= y?
True
Let n(d) = 7*d**2 + 14*d - 13. Let g(z) = 20*z**2 + 41*z - 38. Let v(r) = -6*g(r) + 17*n(r). Let m = 23 + -31. Let o be v(m). Which is smaller: o or 6?
6
Let m be (-2)/4*(-2 + 2). Let i(c) = -c**3 + 5*c**2 - 5*c + 3. Let n be i(4). Let g = 1 + n. Is m < g?
False
Let w be (-51)/(-12) + -1*12/48. Let o = -536/3 - -182. Which is greater: o or w?
w
Let n = -895 - -895.116. Do n and 0.4 have different values?
True
Let u be ((-9)/(477/4))/(-1). Is u at least as big as 1?
False
Let n = 1.49 - -0.11. Let t = 81 + -79.5. Let k = n - t. Is -6 > k?
False
Let v be 12/(-8)*(-400)/12. Suppose v = 5*o - 0*o. Is 10 at least as big as o?
True
Let v = -107293/5 + 21556. Do v and 98 have different values?
True
Let m be 15/20*(78 - 2). Let v = m - 55. Is -12 smaller than v?
True
Suppose 3*t - 75 = 4*k, 0*t + 48 = 2*t - 2*k. Let y be (-2006)/14 + 6/t. Let i be (2/11)/((-13)/y). Which is smaller: i or -11?
-11
Let j = -0.0224 - -26.3224. Let s = 27 - j. Which is greater: -1 or s?
s
Let j = 7.1 - 7. Let s = -1.252 + 0.052. Let k = -1.3 - s. Are j and k equal?
False
Suppose 3*l + 0*l = m + 13, -4*m + 13 = l. Let u = -5 + l. Let a = -503/5 - -101. Is u greater than a?
False
Suppose 4*p = 2*p + 3*t + 3, 4*p + 27 = -5*t. Let n = p + 2. Let q be (0 + (-35)/20)/((-18)/(-24)). Which is greater: n or q?
n
Let r(t) = t**3 + 19*t**2 - 19*t + 22. Let d be r(-20). Let l be (55/(-75))/(d/5). Is l >= -3?
True
Let m = 10402 + -322434/31. Is m bigger than 1?
False
Let v be ((-321)/(-2))/(-1)*8/12. Let s = -429/4 - v. Are -18 and s non-equal?
True
Let g = 0 + -1. Let i(h) = -74*h**3 - 2*h**2 + 3*h. Let r(p) = 49*p**3 + p**2 - 2*p. Let d(u) = 5*i(u) + 8*r(u). Let x be d(g). Which is smaller: x or -0.1?
x
Let i = -17.6 - -1.6. Let k = -0.221 + 0.321. Is i smal