h + 1. Is -1/9 less than or equal to r?
True
Let b be 144/(-160)*(-28)/(-77). Is -1 smaller than b?
True
Let t(n) = -2*n + 11. Let h be t(6). Let s(u) = 4*u**2 - u. Let g be s(1). Let l be g/(-11)*28/126. Which is greater: h or l?
l
Let q(o) = 4*o**2 - o - 2. Let t be q(-1). Let k = t - 4. Are k and -2 equal?
False
Let n be (-1)/(11/12 - 1). Let t = -8 + n. Let p = t - 3. Which is greater: -1/6 or p?
p
Let c = 0.45 + 0.05. Let n = -3.1 + 3.2. Let x = c - n. Is x at least as big as -1/2?
True
Suppose -2*q = -s - 301 + 53, -3*s - 762 = 3*q. Which is bigger: -1 or s?
-1
Let m be (-2 - 3)*4/(-10). Suppose 0 = 2*u + m*u - 32. Suppose -y = 121 - 129. Are u and y non-equal?
False
Suppose -4*y - 6 - 6 = 0. Suppose -19*g = -9*g + 150. Let f(r) = r**2 + 16*r + 13. Let c be f(g). Which is bigger: y or c?
c
Suppose 0 = 11*z + 599 + 446. Is -95 less than or equal to z?
True
Suppose -z = -5*z + 15*z. Is z smaller than 2/2989?
True
Let v be (-23)/(-25) + 74/925. Are 14 and v equal?
False
Suppose 263 = r - 2*d + 107, 4*d + 628 = 4*r. Suppose -5*a - 48 = -r. Does a = 22?
True
Let a = 11.2 + -76.2. Let q = a - -64.69. Are 0 and q equal?
False
Let m = 837 - 35994/43. Let c = m - -95/129. Which is bigger: c or -33?
c
Let q be (-4 - -8) + (-4)/(-2). Suppose -q*v = -10*v + 28. Let m be (-3)/1 + 49/v. Does 3 = m?
False
Suppose 3*y = 6 - 0. Suppose y*o + 7 = -i, 2*o = -5*i + 4*o + 1. Let h be (-6)/10 - 6/(-110). Which is bigger: i or h?
h
Let c(a) = -a**3 + 30*a - 56*a - 2 + 2*a**2 + 25*a. Let j = 1 - 2. Let y be c(j). Which is smaller: 12/11 or y?
12/11
Let n be (-1)/4 + 27/(-4). Let k = 5 + n. Let a be (-2 + k)/20*-3. Which is greater: 0 or a?
a
Let m be (-2)/5*-2*(-5)/1194. Is -1 < m?
True
Let w = 0 + 1. Let h = 0 + w. Let a = -27767/152779 - 1/13889. Which is smaller: a or h?
a
Suppose 0 = 2*p + 4*t + 6, 0 = -p - 5*t - 1 - 2. Let y be 5/15 + 4/p. Let i be (0*(-3)/9)/(-3). Which is greater: y or i?
i
Let n = -64 + 37. Let w = -26 - n. Which is smaller: w or -1/6?
-1/6
Let h(s) = -s**2 - 3*s + 3. Let p be h(-3). Let y be p/(-6)*0/(-3). Let z be (y - -3)/(3 + -4). Is -3 less than z?
False
Let o = 55 + -713/13. Let d = -18 - -18. Is d at most o?
True
Let p(v) = -v**3 + 9*v**2 - 8*v - 14. Let o be p(5). Suppose 6*m + o = -8. Is m != -8?
True
Let q = -6 - -4. Let r = 7.3 + -5.3. Let t = q + r. Are 2 and t nonequal?
True
Suppose 4*i - 4 = -z + 10, 5*z + 14 = i. Let r be -3*(i + -1 + -2). Which is greater: -4 or r?
r
Let x = 0.005 - 10.005. Let n = -4.4 - -4.4. Which is greater: x or n?
n
Let c = -33 + 46. Let r be (-9)/(-30)*5/(-6). Which is smaller: r or c?
r
Let o be 1/(-3)*12*(59 + -2). Is o <= -228?
True
Let k be (1/(-30))/(1/(-4)). Let w = -23 + 22. Let f be (-4)/((-6)/(w + 2)). Is k bigger than f?
False
Let l = 9 + -8.68. Let a = -5.68 - l. Which is smaller: a or 5?
a
Let b be 3/(-4) - (0 - 1). Suppose -3*u - o - 3 = -0, -4*o - 12 = 2*u. Suppose -a + 1 = 0, u*w - w - 2 = -a. Is b smaller than w?
False
Suppose -267 = p + 116. Does -383 = p?
True
Let y = -489/344 - -11/8. Let r = -31 + 30. Is r equal to y?
False
Let r(k) = -k**2 - 32*k + 20. Let s be r(-32). Suppose 4 = w, -5*o - w = -6*w - 85. Let m = o - s. Is 2/17 != m?
True
Let b = 2.594 - 2.494. Which is greater: b or -1754?
b
Suppose m = 99 - 100. Which is smaller: 2/177 or m?
m
Suppose -5 = 5*i - 2*t + 5, 2*t - 10 = 0. Which is bigger: -19/17 or i?
i
Let u be (-1)/2*(6 - 12). Suppose 2*v - 8 = 0, u*v = -3*y + v + 17. Suppose -p - y*p = 0. Is p less than -2/11?
False
Let c be 2/(-4) + (-30)/(-24). Suppose -5*w + 6 + 2 = 4*r, -6 = -3*r + 4*w. Suppose -2*m - r*m = 0. Is c < m?
False
Suppose 2*i - 34 = 5*p, -3*i + p + p + 40 = 0. Let q be (i + -11)/((-1)/3). Suppose -v + 9 = -3*d, -2*d + 3*d + 2*v + 10 = 0. Which is greater: d or q?
q
Let u = -132 + 244. Let m be u/230 - (-20)/(-50). Let v(l) = l**2 + 3*l + 2. Let b be v(-2). Which is greater: b or m?
m
Suppose 4*s + 20*u + 5 = 23*u, -4*s - 2*u = 30. Let z be 2/10*(-19)/1. Is s at most as big as z?
True
Let a = 2 + 1. Suppose -16 - 5 = a*v. Let n be (4/16*4)/v. Is n greater than 0?
False
Let l be 126/(-84) + (-494)/4. Which is bigger: -124 or l?
-124
Let q be (-7)/(1 + 1 + (-300)/148). Is q less than 260?
True
Let r = -65.25 - 0.75. Let o = r - -70. Let b = -2 - -2.1. Is b > o?
False
Let z(h) = h. Let w(k) = -5*k + 8. Let i(c) = -w(c) - 6*z(c). Let t be i(-8). Is t not equal to 1.9?
True
Suppose -w = 4*a - 9*a, -a = 5*w + 26. Is a equal to -19/13?
False
Let d = 8 + -7. Let g(s) = -5*s**3 + s**2 - s + 1. Let p be g(d). Let c(t) = 2*t + 8. Let f be c(p). Which is bigger: -1/5 or f?
f
Let i = -406 + 779/2. Which is smaller: -18 or i?
-18
Suppose 10 = 2*z + 24. Suppose -3*q = n + 24, 0 = -0*n - n. Let l = q - z. Which is smaller: l or -6/11?
l
Let h(r) = -4*r**2 + 5*r. Let j be h(-1). Suppose -16 = m - 5. Is m > j?
False
Let u(q) = q**3 + 3*q**2 - 3*q + 8. Let g be u(2). Is 117/5 < g?
False
Let z be ((-5)/3 - -1)/((-38)/57). Let g = 16.4 + 0.6. Let a = 9 - g. Which is smaller: z or a?
a
Let z = -0.55 - 1.35. Let d = 1 - z. Does 0.2 = d?
False
Let u be (-32)/(-2)*(4 - 14/4). Suppose 0 = h - 2*g - 4, -g = 2*h + 3*g + u. Is h < -1/17?
False
Let i = 7/10 - 46/55. Which is bigger: i or 16?
16
Let c(m) = 5*m**3 - 4*m**2 + 5*m + 3. Let h be c(5). Let y = h - 7193/13. Is y less than or equal to -1?
False
Let r = -54 - -46. Let b be 2 + 8/(-6*(-6)/r). Is b smaller than -1?
False
Let f(b) = -4*b + 2. Let r be f(-2). Let o(a) = a + 2. Let v be 16/120 + 236/30. Let u be o(v). Is u greater than r?
False
Let v = 17 + -7. Let u be (-19 - -18) + 8/v. Are u and -5 nonequal?
True
Let r = -1.5 - -1.57. Let m = -23.83 + 24. Let l = r - m. Which is greater: l or 12?
12
Let a = -6931/8541 + 5/1314. Is -2 >= a?
False
Let a = -1.8 - 1.2. Let r = 1.6 + a. Let m = -1.2 - r. Which is smaller: -3/4 or m?
-3/4
Suppose -3*w - 2*d = -104, -16 + 136 = 4*w - 2*d. Do 35 and w have the same value?
False
Let n be 0/(3 + -4 + 2). Let x be ((-3)/21)/((-437)/161). Which is smaller: x or n?
n
Let y = -191 - -191.2. Is y greater than or equal to 59/2?
False
Suppose -5*l - 4*v - 42 = -8*l, v + 3 = 0. Are l and 9 non-equal?
True
Suppose -5*x - 5*s = -61 + 26, -4*x = 5*s - 33. Suppose y + y + x*o + 28 = 0, -3*o - 74 = 5*y. Which is smaller: -17 or y?
-17
Let j = 0.32 + -0.32. Let w = -0.05 + j. Is w > 0.2?
False
Let p = 42 + -40. Suppose -3*t - 9 = -4*n, 3*t - 3 = p*n - 12. Is n smaller than 1/23?
True
Let h = -1.2762 + -0.0238. Which is smaller: 27 or h?
h
Let o(g) = g**3 - g - 2 - 2*g**2 + 2*g**2 - g**2 - 10. Let z be o(0). Let v be (0 + -1)*z/66. Which is smaller: -1 or v?
-1
Let r(s) = -3*s + 2. Let i be r(-15). Let f be (i/3)/(60/(-9)). Let b = 13/5 + f. Which is smaller: b or -1?
-1
Let h = 20 - 15. Suppose -c = 4*c + h. Which is smaller: c or 1?
c
Let t be 5 + 4*111/(-12). Is -44 >= t?
False
Let i(b) = b + 12. Let w be i(0). Let t(l) = -l**3 + 5*l**2 - 3*l + 8. Suppose -24 = -2*k - 4*k. Let x be t(k). Is x < w?
False
Suppose 17*g - 15 = -304. Suppose 30*m = 31*m + 16. Which is smaller: m or g?
g
Let t be 2/(-6) - 5556/(-36). Is 153 > t?
False
Let n(m) = m**3 + 3*m**2 - 7*m - 8. Let u be n(-4). Let o = 0.63 + -0.13. Which is bigger: o or u?
u
Let y = 0.207 + -0.307. Is y equal to -1.25?
False
Let x = -1.3 - -7.3. Let q = -27 - -34. Let y = q - x. Is -9 at least as big as y?
False
Let v = 11.099 + 0.101. Let j = 11 - v. Let k = 0.3 + j. Is -2/23 greater than or equal to k?
False
Let a = 0.5 + -0.47. Let h = a - 0. Let n = -264 + 263.8. Is n greater than h?
False
Let n = 1.871 - 0.871. Which is smaller: n or -17?
-17
Let j = 6 - 6. Let l = 264 + -264.1. Do l and j have different values?
True
Let x(h) = -2*h**3 + 3*h**2 + 2*h. Let k be x(-1). Suppose 0 = 4*j + 2*d - k*d + 13, 0 = -5*j + 4*d - 30. Let v be 6/(-18)*j/(-18). Which is smaller: 1 or v?
v
Suppose 2*p + 3*b - 4*b + 4 = 0, 3*b = p + 2. Let s be (4*(-3)/(-4))/1. Suppose 5*m = 8*m + s. Is p equal to m?
False
Suppose x + 3*x - 19 = -3*c, 50 = 5*x + 9*c. Is x equal to 3/1526?
False
Let t = -37.26 + -2.34. Let m = t + 40. Does m = -5/2?
False
Let d be -1 + (-79)/(-9) - 10/(-45). Is d > 17/2?
False
Let n be (-1)/((-5)/370*(-2)/(-1)). Let p = n - 75. Is -38 less than p?
False
Let r = -0.24 + -0.06. Let n = r - -0.35. Let w be (9/(-6))/((-27)/12). Are