-16/17?
True
Let h be 34/(-70) - (-80)/140. Is h bigger than 0?
True
Let g = 477 + -476. Is g less than or equal to 1/273?
False
Let n(r) = r**3 - 6*r**2 - 8*r + 5. Let t be n(7). Let p(k) = k + 15. Let i be p(15). Suppose d = -31 + i. Is t bigger than d?
False
Suppose 0 = -5*z - g + 10, -5*z - 3*g - 10 = 2*g. Suppose -193*w + 196*w = -5*u - 22, -5*w + 3*u = -20. Is w greater than z?
False
Let b = 367.7 - 400. Is b less than 0?
True
Let u = 1343/1265 - 24/23. Is -2 greater than u?
False
Suppose -44 = 4*d + s + 79, -2*d = -4*s + 48. Let f be 6/(-9) - 8/d. Let p be 5/(-2) + (-231)/(-66). Is f not equal to p?
True
Let q(l) = l**2 - 7*l + 17. Let v be q(4). Suppose m - v = -2*n, 1 = 4*m + 13. Is 0.1 less than n?
True
Let q = -0.23 + 0.13. Let o = -122 + 107. Is o >= q?
False
Suppose -24 - 6 = -5*o. Let c be 5 + 5/((-10)/o). Suppose 5*v = 12 - 2. Is v greater than or equal to c?
True
Let l be 4/(-1)*(-76)/(-8). Suppose 4*g + 2*v = -160, -6 = 3*g + 5*v + 121. Let p = l - g. Is p < 1/12?
False
Let o = 1695 - 10195/6. Let j be (2 - 0) + -7*(-100)/(-140). Which is smaller: j or o?
o
Suppose -x - 3*o = -2*x - 7, -5*x = -o - 7. Let g be 2 + x/(2/(-3)). Let w be (4 + -4)/g - -10. Which is smaller: w or 3?
3
Let m(a) = a**2 - 20*a - 30. Let x be m(22). Suppose 5 = 2*u - 23. Is x greater than or equal to u?
True
Let t = -0.91 + -0.09. Let p = 65.45 + -67. Let m = -1.6 - p. Which is greater: t or m?
m
Let n = 0.34 + -0.04. Is -252 not equal to n?
True
Suppose 0 = 3*g - 23 - 13. Let i(a) = a - 8. Let t be i(g). Suppose 3*z - t = -7. Which is smaller: z or -6/13?
z
Suppose 5*p + 113*a = 116*a + 322, 0 = -2*p - 2*a + 132. Which is smaller: p or 63?
63
Suppose -686 = -5*m + 484. Is m smaller than 235?
True
Let p be (2 + -4 + 2)/2. Suppose 5*h + 3*m + 20 = 0, 4*m + 23 = -p*h - 3*h. Is -1/49 != h?
True
Let h = -19 - -18. Let a = 7 + -5. Let n = 0.5 - a. Which is smaller: h or n?
n
Let h be ((-10264)/1410)/2*25/420. Let w = h + 1/423. Is w >= -1?
True
Let w(k) = k**3 - 9*k - 6*k**2 + 4*k + 3*k + 8. Let l be w(6). Is -4 at most l?
True
Suppose 5*k - 111 = 39. Let j be (2/k)/((-4)/5). Let d = 42 + -41. Is j <= d?
True
Let d = -164 + 155. Which is bigger: d or -1/11?
-1/11
Let m = -235 + 115. Let k be ((-5)/m)/(28/(-6)). Do k and 1 have the same value?
False
Let i = 60 + -63. Which is smaller: 23 or i?
i
Let t(o) = o**3 + 2*o**2 + 3*o + 5. Let a be t(-2). Is a not equal to 1/81?
True
Let w(y) = -2*y**2 + 7*y + 3. Let g be w(4). Which is bigger: g or 4/363?
4/363
Suppose 2*a - 39*i = -38*i - 31, 55 = -5*a - 2*i. Is -17 less than or equal to a?
True
Suppose -454 = -10*b + 216. Which is smaller: 65 or b?
65
Let k = -0.453 - -0.293. Is k smaller than -1/6?
False
Suppose -2*u + 1 = -5. Suppose 0 = -d + 1, -5*h - u*d + 5*d = 32. Let w(b) = -b**2 - 8*b - 2. Let a be w(h). Is 10 < a?
False
Let w = -5806 - -5778.03. Let n = 35 + -7. Let x = n + w. Which is greater: x or 1?
1
Let i = 0.52 + -0.42. Is i at most 17?
True
Let n = 2000/1043 + -9/149. Suppose -2*o = 2*o - 8. Is n > o?
False
Let y = -27/8 - -363/104. Is 0.2 > y?
True
Let o(l) = -l**3 + 5*l**2 - 4*l - 3. Let r be o(4). Let p = 28 - 9. Let j = -18 + p. Which is smaller: r or j?
r
Let i = 0.01 + -10.01. Suppose -4*z + 15 = 11*z. Which is smaller: i or z?
i
Let g = -33 + 30. Let j = -4 - g. Is j != 1/5?
True
Let s = -132 - -141. Which is smaller: 0 or s?
0
Let s = 3389/11 - 308. Which is smaller: s or 4/5?
s
Suppose 7*x = 3*x. Let s be (-40)/(-60) + 1 + x. Let g = -3 + 4. Is s <= g?
False
Let m be 8/(-5)*(-10)/4. Suppose 4*g - 1 = -9, -12 = -m*v - 2*g. Suppose 8 - v = -2*f. Which is greater: 3 or f?
3
Let h be (-2)/(-9) + 33/(-27). Suppose 3*f + 3*s + 54 = 0, 3*s + 36 = -4*f - 40. Let d be (2 + 0)*f/77. Is h smaller than d?
True
Let a = -28622487/115948 - 15/16564. Suppose p = 6*p + 1230. Let u = a - p. Which is bigger: u or -1?
u
Suppose 2*g = 3*g. Suppose -5*u = 0, 2*n + 2*u - 6 = 3*u. Let w be (72/28)/n*4/(-3). Which is greater: g or w?
g
Suppose -2*i + 5*d + 15 + 4 = 0, -d - 1 = 0. Let c be (-2)/(48/28)*(-1)/i. Which is smaller: c or -2/9?
-2/9
Suppose -51 = 6*w - 273. Let k = -35 + w. Suppose -3*p + 12 = -5*m - 7*p, -12 = 2*m + 4*p. Are m and k nonequal?
True
Let w(s) = -s**2 + 5*s - 11. Let p be w(2). Which is smaller: p or -7?
-7
Let z = -1741/22 + -488/11. Which is smaller: z or -125?
-125
Suppose -4*m = m + 4*m. Which is smaller: 3/62 or m?
m
Let i = 140335/19 - 7388. Is -2 != i?
True
Let n = -18 - -11. Let q = n - -6. Let x = 62 - 125/2. Is q less than x?
True
Let v(j) = j**2 - 2*j - 1. Let o be v(3). Let q be ((-25 - -30) + (-10)/1)/(-1). Suppose q = o*l + 21. Is l greater than -8?
False
Let x be ((-6)/(-614))/((-3)/2). Let k = -911/1535 + x. Which is smaller: k or -2/5?
k
Let t be -6*(2 - 2/4). Let j be 34/t + 30/(-135). Let y be (j + 0)*11/(-242). Is 1 smaller than y?
False
Suppose 5*p + 11 = 2*l + 52, -p - 53 = 3*l. Let b be 18/(-12)*l/(-21). Which is smaller: -1 or b?
b
Let l be (-4)/(-6)*(53 - 197). Which is bigger: l or -93?
-93
Suppose 5*g + 7 = -2*h, -4*g - 6 = 2*h - 2. Suppose -a - 3 = 2*f - 4*f, -2*a + 2*f - h = 0. Is a <= 2/49?
True
Let c(g) = -g - 7. Let i be c(-5). Let p = -7249/3 + 2415. Is i > p?
False
Let p = 5 - 6.7. Let i = p + 0.7. Let j = 9.9 + -10. Does j = i?
False
Let v(t) = t**2 + 5*t + 2. Let i be v(-4). Let a(s) = -s**2 - 6*s - 3. Let k be a(i). Suppose 0 = -k*m - 1 - 4. Is 2/27 greater than m?
True
Suppose a - 3*a - 12 = 0. Suppose -29*q = 7*q + 288. Does q = a?
False
Let n be 6*(-11 - 1976/(-180)). Do n and 1/16 have the same value?
False
Suppose -4*p - b - 5 + 20 = 0, 0 = 4*p - 4*b - 20. Which is bigger: p or 2.2?
p
Let l be 4*((-115)/(-84) + (-6)/21). Let p = 42 - 39. Which is bigger: p or l?
l
Let v = -99 - -94. Let n be (v/10)/(7/(-49)). Which is greater: n or 5/4?
n
Let y = 51.3 + -6.3. Let v = y + -44.8. Is 30 not equal to v?
True
Let c = -259 + 258.92. Is c > 0.9?
False
Let h = -270/11 - -3422/143. Which is bigger: 0 or h?
0
Let w(d) = -2*d - 18. Let t = -7 - 2. Let k be w(t). Let h be (1/(-3))/((-2)/6). Is k equal to h?
False
Let g = -1.3 - -6.3. Let z(x) = 10*x - 10. Let j be z(2). Suppose -5*r = -j*r. Which is smaller: r or g?
r
Let x(u) be the second derivative of u**5/20 - u**4/2 + 5*u**3/6 - 2*u**2 + 5*u. Let j be x(5). Suppose -6 = 5*i - 1. Are j and i nonequal?
True
Let q = 1582 - 2602. Which is smaller: -1019 or q?
q
Let u(o) = -2*o - 9. Let f be u(-9). Suppose 0 = 5*z - 24 + f. Which is greater: 16/5 or z?
16/5
Let o(x) = 2*x**3 - 5*x**2 + 4*x + 1. Let g be o(2). Suppose -5*w + g*i + 70 = 0, 0 = 3*w + 4*i - 53 - 3. Are w and 17 equal?
False
Suppose 0 = 2*y - 5*b + 130, 4*y + 16*b - 15*b = -216. Which is smaller: 3 or y?
y
Let t(o) = -o**3 - o**2 + 3*o + 1. Let q be t(-2). Let r be (6/8 - 0)/((-515)/(-47380)). Is q < r?
True
Let v = 21.7 + 8.3. Is v greater than -1/4?
True
Let o be 4/(-6) - 5/60. Let u be -2*2/4 + 3. Suppose u*a = 5*a + 6. Which is smaller: o or a?
a
Let n be ((8/34)/(-2) + 282/2397)/(-1). Let s = -2 + 29. Is s < n?
False
Let w = -68 - -81. Suppose v - 32 + w = 0. Which is bigger: v or 21?
21
Let f = -25 + 24.52. Let r = -0.3 - f. Let o = -0.15 + r. Which is smaller: -2/3 or o?
-2/3
Let u be ((1 + 0)/(-1))/1. Suppose 0 = d - 3 - 51. Let c be 13/(-63) - 12/d. Is u smaller than c?
True
Let p be (3/(-12)*0)/1. Let y(s) = s**2 + 4. Let j be y(p). Suppose 5*w + 25 = -2*x - 0*x, 0 = -j*x + 2*w + 10. Which is smaller: -2/5 or x?
-2/5
Let f be (0 - 1)*(1 - 0). Let j = 201064/93 + -2162. Which is bigger: j or f?
j
Let l(n) = -5*n. Let u be l(3). Let o = -12 - u. Suppose -o*k + d + 6 = 4, -5*d = -2*k - 3. Is -3 < k?
True
Let c = -5 + 3.4. Let y = 35 - 32.6. Let r = y - c. Do r and -1 have the same value?
False
Suppose 127*h = -2*d + 124*h - 26, -3*h = 0. Which is greater: -9 or d?
-9
Let a be ((-2)/(-2))/((-1)/5). Let h = -271 - -268. Which is bigger: h or a?
h
Let j(w) = 8*w**3 - 14*w**2 - 61*w - 2. Let g be j(-5). Is g < -1047?
False
Let w = -180 + 198. Which is smaller: w or 118/7?
118/7
Suppose -5*n + 4*m = 25, n + 2*m = 7*m - 26. Let x be (-596)/2184 - (27/(-21) - n). Is 0 < x?
True
Let p = 13 - 12. Let l be 2 + 27 + p + -3. Which is smaller: l or 26?
26
Suppose -10 = -65*n + 75*n. Which is greater: -2/563 or n?
-2/563
Let m be (-264)/(-10) - (-3 - 7