es v = -7?
False
Suppose -y + 40 = -2*p + 22, 0 = -5*y - 30. Which is smaller: -146 or p?
-146
Suppose -4*u - 15 - 5 = 0. Let g be (24/u)/(4/(-20)). Suppose 5*z - 69 - 48 = -2*t, -5*t + 105 = 5*z. Is g less than or equal to z?
True
Let r be ((-3)/13928)/(96/896*-14). Is -1 > r?
False
Let i = -221 - -138. Let c = 90.226 + 0.774. Let q = c + i. Is q < 0.2?
False
Let x = 220.95 - 222. Let a = -4.05 - x. Let l = 12 + -13. Which is bigger: l or a?
l
Let o = -190.43 + 191.43. Let h = 35 - 34.32. Let v = -61.68 + h. Is o less than or equal to v?
False
Let m = 1177 + -1190.9. Is m > -8?
False
Let x = -905/51 - -24/17. Suppose 0 = 3*g - g + 3*o + 147, 4*o = 4*g + 264. Let n be 2/(g/(-24) + -3). Is n at least as big as x?
True
Let d(a) = -a**3 + 9*a**2 - 15*a. Let y(j) = -2*j - 8. Let i be y(-7). Let p be d(i). Let l be (-12)/p + 38/(-6). Is -9 greater than l?
False
Let c = -89.127 + 0.127. Let r = c + 82. Let t = 0.7 + -0.9. Which is smaller: r or t?
r
Suppose w = -4*w + 230. Suppose 40*o - w*o + 12 = 0. Let i be o - (-4)/6 - 5. Is i at least as big as -3?
True
Suppose 3*v = 13 + 5. Let f = -361 + 378. Let p be (0/v + 1)*f/(-3). Is p greater than or equal to 2/5?
False
Let u be (3460/190 - 18)*(-171 + 1/1). Which is smaller: 1 or u?
u
Suppose j = -5*a + 251, -5*a + 929 = 2*j + 2*j. Suppose 5*x - 3*h = -j, 7*x - 5*h + 186 = 3*x. Let k be 492/x + 3 + 93/(-33). Is k at most -9?
True
Suppose l + 3*s = 5, 396*l - 7 = 393*l - 5*s. Let o = 0 - 0. Suppose 3*d - 7*d = o. Which is smaller: l or d?
l
Suppose -6*z + 25 = -z, 5*z + 69 = f. Let o = 20 + f. Suppose -6*g - o + 30 = 0. Which is bigger: -17 or g?
g
Let o(j) = -j**2 - 176*j - 7744. Let i be o(-86). Is 615 less than or equal to i?
False
Let y(v) = 34*v - 1088. Let f be y(32). Which is bigger: f or -2/5845?
f
Let m = 1 + 3. Let t = -543 - -546. Suppose m*d - t = d. Is d equal to -0.03?
False
Let v = -16.3 - -16.47. Let j = v - -1.83. Is 2/181 less than or equal to j?
True
Let k be 16/1*(4 + 2/12*0). Is k > 54?
True
Let l = 10237/5166009 - 5/3183. Which is bigger: l or 1?
1
Let i be (5/2)/(3/6). Let j = -4230 + 4256. Which is bigger: j or i?
j
Let a = 0.5 - -1.5. Let t = -3.479 + -5.76. Let g = -0.239 - t. Is a at least as big as g?
False
Let o(r) = 2*r + 1. Let m be o(-1). Suppose -j = -3*l - 30, 2*j + 30 = -5*l - 20. Let y be l/(-4) + -2 + 168/(-272). Which is smaller: m or y?
m
Let k be (2 - 44/21)/(32/(-192)). Let h = -10.44 - -0.44. Which is smaller: h or k?
h
Let i(q) = q**3 + 8*q**2 - 160*q - 120. Let d be i(-17). Which is bigger: d or 1/691?
1/691
Suppose -s + 41*d - 37*d + 1455 = 0, 3*d = -5*s + 7321. Which is greater: s or 1466?
1466
Let o = 49 + 6. Let z = -36 + 1. Let g = z + o. Which is smaller: 0.1 or g?
0.1
Let m = -16.8771 - 1389.8329. Let i = m - -1400. Let g = i - -6.8. Are g and 2 non-equal?
True
Suppose -2*r = -5*x + 155, -4*r + 39 = 2*x + 1. Suppose 59*m = x*m + 15990. Does 534 = m?
False
Let m(v) = v**3 - 6*v**2 + 6*v. Let u be m(4). Suppose 5*c = 7*c - 214. Suppose 7*f - 37 + c = 0. Which is greater: u or f?
u
Let n be (-1 - -2)/1 - 103. Suppose 201192 = -65*p + 194497. Is p bigger than n?
False
Let h(t) be the third derivative of t**6/120 - t**5/12 + 29*t**3/6 + 70*t**2. Let v be h(7). Which is greater: 126 or v?
v
Let a = -431 + 395. Let u = 4 - -3. Let s be (u - -5)*(1 + -4). Is s less than a?
False
Suppose -7*h + 0 = -14. Suppose 3*g = -2*r + 4, -3*r + h*g = -0*r + 7. Let n be r/(15/(-12)) - -9. Which is smaller: n or 11?
n
Let u be 90/3*((-15236)/(-39) - 7). Which is bigger: 11509 or u?
u
Let f = -4448.9 + 4449. Which is smaller: -1391 or f?
-1391
Let s be (25 - 29)/(1/((-31)/2)). Suppose 4*j - 30*c = -31*c + 158, 4*j + 3*c = 154. Let x = s - j. Are x and 22 equal?
True
Suppose 3*s + 11628 = -3*k - 9216, 5*s + 13905 = -2*k. Which is greater: -6944 or k?
-6944
Let i = -7255 + 3969. Let l be (-18)/48 + i/(-16). Is 204 >= l?
False
Let g be 6 - (-198)/(-549)*462/28. Let o = 2 - 3. Which is greater: g or o?
g
Let q(s) = -s**3 - 9*s**2 - 22*s - 20. Let a be q(-6). Suppose 3*m - 83 = -u, -u + 86 + 1 = a*m. Which is smaller: 72 or u?
u
Let q(m) = m**3 - 12*m**2 + 13*m - 14. Let i be q(11). Suppose 5*u - 23 = -i. Suppose a + u*a - 4 = 0. Is 1/3 bigger than a?
False
Let n(b) = 4*b**2 + 14*b - 71 + 13 - b**3 + 25 + 25. Let h be n(5). Is h less than 340/9?
True
Let m(a) = 2*a**2 + 20*a + 23. Let d(t) = t**2 + 10*t + 11. Let x(n) = -9*d(n) + 4*m(n). Let y be x(-9). Let v be 1 - (4/2)/y. Is 2/91 > v?
True
Suppose -4*z + 45 = 3*t - z, -z = -t + 5. Suppose 6 = 7*w - 1. Let l be w/(-2)*-29 + 31/(-62). Which is smaller: l or t?
t
Let h be 172/(-14) - 6/(-21). Let j = -95 - -69. Let u be 1/(((-8)/(-16))/(j/4)). Is u > h?
False
Let i = 671 - 667. Let j be ((-52)/(-546))/(i/14)*5. Is -7 > j?
False
Let u(a) = -a**2 - 778*a + 5495. Let x be u(7). Is x < -1/321?
False
Let w = 32 - -7. Suppose -2*l = -5*d + w, -5*d = -4*d + 2*l - 3. Suppose 0*z = -5*z + d*z. Which is smaller: z or 3/26?
z
Let s = 0.22 - 16.22. Let i = -215392/5 - -43216. Let p = i + -138. Are s and p equal?
False
Let b = 456 - 451.09. Let j = b - 4.81. Is j > 1.8?
False
Let n = 1/93 + -67/465. Let d(w) = -9*w + 136. Let z be d(15). Is z > n?
True
Let k = 1 + -8. Let r be (175/(-15) + 5)*27/(-2). Let b = 86 - r. Is b >= k?
True
Let m be (-4)/(-38) - 174930/(-931). Suppose -5*h - 78*q + 79*q = 219, 4*h + m = 4*q. Does h = -39?
False
Let f be (5 - 7) + 37/2*-362. Let q be (-8)/(-10) + f/8505. Is q equal to -1?
False
Let t(r) = r**3 - 27*r**2 - 8*r - 112. Let b be t(28). Which is greater: b or 450?
450
Let x(a) = a**3 - 7*a**2 + 7. Let m be x(7). Suppose o = w - 68, -4*o - 337 = 2*w - m*w. Is 64 at most w?
True
Let s be 2/(16/1130) - -3. Let z = -259/2 + s. Suppose -2*q + 421*f - 425*f + 32 = 0, 0 = 4*q - 3*f - 64. Does z = q?
False
Suppose 0 = -22*u + 23*u - 6. Let m be 144*1 + (u - 5). Let x be (3 - m/50)/((-2)/(-5)). Which is smaller: x or 0.03?
0.03
Let w = 61551 + -251312735/4083. Is w less than or equal to 0?
True
Suppose -69*j + 4393 = 2734 - 10071. Suppose -338 = -3*d + d. Is d greater than j?
False
Let u = 203 + -199. Let q be (-4)/(u + 18/(-4)). Is 0 greater than q?
False
Let n(v) = 2*v**2 + 5*v - 7. Let b be n(-4). Let w be 66/(-3) - 2/b*5. Which is greater: -26 or w?
w
Suppose 11*h = 56*h. Do h and 18/781 have different values?
True
Let g = 4.433 + 0.567. Which is smaller: g or 80?
g
Suppose -26*k + 70*k - 44 = 0. Let s be ((-288)/1144)/9*k. Which is smaller: s or -1?
-1
Let b = -5962.07 + 5962. Let l = 0.1 + -0.07. Let f = l - b. Which is smaller: -92 or f?
-92
Let a = 9/140 + 3/20. Let q = -48708 - -48706. Is q < a?
True
Let b = -11.004 + 11.104. Is b > -28/11?
True
Let i = -557.71 - -8.71. Let h = -546.43 - i. Let o = -0.57 + h. Are o and -16 non-equal?
True
Let a = -21 - 25. Let k = -697 + 743. Let g = a + k. Which is smaller: g or -6/11?
-6/11
Let w = -2173 + 2174. Is -5/1151 < w?
True
Let o = -0.011 - 0.749. Let d = 0.24 - o. Which is bigger: d or 65?
65
Suppose -18*h - 14*h - 17760 = 0. Which is smaller: h or -553?
h
Let i(a) = -a**2 + 3*a - 1. Suppose 2*p = 6*p - 7*p. Suppose p = -o - 6*o + 7. Let k be i(o). Is 12/23 at least k?
False
Let p = 0.828 - 0.928. Which is greater: 13/38 or p?
13/38
Let z = -165454/89 + 1859. Let m = -63 - -63. Is z at most m?
True
Let a(y) = 5*y**2 + 250*y - 1. Let b be a(-50). Is 2/9377 at most b?
False
Let m(v) = -v + 6. Let l = -102 - -107. Let t be m(l). Is t != 92?
True
Let o = 23328 - 23325. Which is bigger: 192/79 or o?
o
Let d(k) = 2*k**2 - 54*k + 175. Let g be d(20). Is g != -106?
True
Let j be (-2058)/(-4552968)*8/(-3)*6637 + 8. Do 0 and j have the same value?
False
Let p = -6330 + 6342. Is 13 greater than or equal to p?
True
Let d = -700.3 - -704. Let y = -3.66 + d. Let w = 51 + -457/9. Is y at most as big as w?
True
Let h = -6109/4 - -1542. Suppose 2*p - 4 - 6 = -2*j, 3*j = -5*p + 15. Suppose -10 = -5*f, 3*o - 49 = -j*f + 3*f. Which is bigger: h or o?
o
Let y(f) = 1030*f + 6495. Let c be y(-8). Which is smaller: c or -1744?
c
Let l be 12/(668544/222992) + -4. Is -1 less than or equal to l?
True
Let h be (84088/4002 - 21)*(-9)/(-2). Let k(f) = -f**2 - 4*f - 1. Let v be k(-4). Is h bigger than v?
True
Suppose 37*u - 672 + 154 = 0. Which is smaller: u or -91?
-91
Suppose 98 = 5*l 