 = 0, 2*y + 0*y + 6 = -4*t. Let d = 412 - 415. Is d >= t?
False
Suppose -109*m - 88*m = 0. Which is bigger: m or 2/13537?
2/13537
Let n be (175/(-28) - -6)/((-1)/28). Suppose n + 22 = 5*y + 3*i, -5 = -5*y + 5*i. Suppose y*s + 212 = -44. Which is greater: -63 or s?
-63
Suppose -2*z = 2*o + 172, 3*z + 0*z + 345 = -4*o. Let j = 77 + o. Which is greater: j or -25?
j
Let i = 36094 + -36169. Which is smaller: i or -2/13?
i
Let h = 17 + 10. Suppose h*i + 6 = 21*i. Is i != -3/89?
True
Let q = 3480 + -3562. Is q >= -18?
False
Suppose 0 = f - 4*t - 33, 3*t = -27*f + 22*f - 19. Is f bigger than 1.7891?
False
Let n = -240 - -242. Suppose -n*b = -10*b + 136. Is -1 > b?
False
Let b = 795/292 + 2/73. Let o = 95 - 95. Suppose 19*q + 1 - 58 = o. Which is greater: q or b?
q
Let p = -454341 + 454342. Let x = -127.8 - -148. Let f = -1.2 + x. Which is smaller: p or f?
p
Suppose 16*l = 8*l + 184. Suppose 11*q = -66 - 11. Let s be -3 - l/q - (-58)/(-14). Is -3 < s?
False
Let c = -2/3145 + -3607309/9435. Let p = -378 - c. Let m = -11 + 14. Which is greater: p or m?
p
Let b(f) = -5*f + 68. Let g be b(-26). Let i = g + -24. Is i at least 173?
True
Let q(n) = -n**3 + 60*n**2 - 371*n + 46. Let b be q(51). Is 4534 < b?
False
Let c be (-6)/12*(-12 + 12). Suppose 2*m - 219 = -m. Let k be 2/9 + m/(-207). Which is greater: c or k?
c
Suppose 2*g + i + 2 = 0, -3*g + 0*i + 4*i = -19. Let v be (-3)/(-2)*(-40)/(-15)*g. Suppose -13*b = v - 4. Do b and 0 have the same value?
True
Let u = -4 + 3. Let a(o) = -o**3 + 6*o**2 + 2*o - 8. Let m be a(6). Suppose 5*r - 5*p = 35, -3*r + 2*r - 18 = m*p. Which is smaller: r or u?
u
Let y = -146.1176 + -16.6794. Let b = -163 - y. Is b <= -0.1?
True
Let a = 526992 + -2646936/5. Suppose 2 = 2*y, 3*s - 4*y - 7142 = -9*y. Let d = s + a. Does d = -15?
False
Suppose 0*u + 3*u = -3. Let d be (-2)/(-13) - 15024/99684. Let k = d + -11536/10863. Which is bigger: u or k?
u
Let n = -2813 + 2828.095. Let q = -0.095 + n. Which is bigger: q or -5?
q
Let s = 594.34 + -5.34. Let t = -588.9 + s. Is t not equal to 407?
True
Let q = -678 - -464. Let y = -360 - q. Is -144 less than or equal to y?
False
Let u(r) = r**3 - 3*r**2 + 5*r - 8. Let d be u(2). Let i be (-4)/(-32)*d*(-5 + 1). Is -4 smaller than i?
True
Let r = -0.88 - 8.32. Let y = -7 - r. Suppose -3*d - 2 = 2*c, -16*d + 5*c - 12 = -15*d. Are y and d unequal?
True
Let p(t) = -t**3 - 66*t**2 - 244*t - 191. Let f be p(-61). Is -3910 at least as big as f?
True
Let y = 102 - 101.902. Let v = 52.098 - y. Which is greater: v or -2?
v
Suppose -22*m + 17*m - w + 11 = 0, -5*w + 27 = -3*m. Is m at least as big as -12634?
True
Let k = 388 - 2724/7. Let g(h) = h**2 - 13*h + 4. Let i be g(0). Suppose 12*a = 14*a + i. Which is smaller: k or a?
a
Suppose 23*z + 4 = -30 + 11. Let p = 5 - -15. Let a be (-5)/p - 6/104. Which is bigger: z or a?
a
Suppose 4*a = -4*h + 344, 0*h = 3*h. Let x = 86 - a. Is x less than or equal to -2/57?
False
Let j = 4022 - 4022. Is j at least 1/10667?
False
Suppose 5*s = -0 + 15. Suppose -4*f - s*n - 79 = -0*n, -2*n = 5*f + 90. Let q = f + 17. Which is greater: 2/109 or q?
q
Suppose 39*p = 40*p - 1, -2*h + 6 = 2*p. Let j be (-3)/(-1)*3488/(-24). Let f be (2 + j/216)/((-3)/h). Is f equal to 0?
False
Suppose -12 = -58*p + 133*p - 63*p. Which is greater: p or 1/104?
1/104
Let g(y) = -22 - 6 + 19*y - 8 - 102. Let d be g(10). Is 5 smaller than d?
True
Let w(t) = -18 + 40 - 5*t**2 - 13*t - 9*t**2 + 64. Let n be w(5). Which is smaller: n or -330?
-330
Let p(m) = -166*m + 1327. Let f be p(8). Which is greater: 2/771 or f?
2/771
Let p be (99/(-5) - 411/685)/((-2)/30). Is p smaller than -0.3?
False
Let i = 314 - 307. Suppose -2*k + 3*j - i = 0, 3*k - 18*j + 16*j + 8 = 0. Which is smaller: -19/20 or k?
k
Suppose -b - 13 = -169. Let h be 2/5 - (b/(-13) - -12). Is 3/73 equal to h?
False
Let g(p) = -5*p**3 + p**2 + 7*p - 7. Let u be g(1). Let n be (1/((-3)/(-3)))/(322/u). Is n greater than or equal to 0?
False
Let p(v) = 6*v - 419 + 0*v + 418. Let w be p(6). Is 34 < w?
True
Let s be ((-39)/130)/((-39)/(-65)). Does s = -5.38?
False
Let a be 21141/(-2755) - (-15 - -7). Which is smaller: 0 or a?
0
Suppose -77*a = -41*a. Suppose 2*s + 24 + 6 = 0. Let q = -22 - s. Are a and q equal?
False
Let w = 77 - 50. Suppose 0 = -i + 8 - 0. Suppose i*l - 157 = 67. Is w greater than l?
False
Let x = -10.97 + -6.13. Is -9 < x?
False
Let q be 1216/(-760)*(-1 + (7 - 1)). Let l be 6/(28/q + -4). Which is smaller: l or 0?
l
Let o be 3/21 + (-78)/(-42) - 3. Let j(s) = -s + 2 - 1 + 38*s**3 - s**2 + 0*s**2. Let c be j(o). Is -37 > c?
False
Let i be ((-4)/(-5) - 2)*377. Let d = i + 452. Which is smaller: 49/4 or d?
d
Let w = -10325.1 + 10325. Let b = -113.3 - -15.3. Is b equal to w?
False
Let p(w) = 6*w**2 - 191*w - 46. Let c be p(29). Let s = c + 54. Which is greater: s or -486?
s
Suppose 0 = -67*m + 53*m + 812. Which is smaller: 2/9 or m?
2/9
Suppose -a = 4*a - 120. Suppose 5*n + 0*n - 5*w = 0, 2*n - a = -4*w. Let y be 4 - (-40)/(-12)*(-9)/(-15). Is y > n?
False
Let x be 63/105 + (-84)/(-10). Let l be 3616/72 + (-2)/x. Suppose 0 = -l*w + 56*w + 318. Is -53 <= w?
True
Let a = 3.7 + 13.3. Let h(j) = 9*j - 41. Let u be h(-18). Let p = u - -1419/7. Is p > a?
False
Let m = -73 - -104. Suppose -g = -m + 32. Let x = -2/411 + -319/137. Which is bigger: g or x?
g
Let p(z) = z**2 + 1. Let x be p(-1). Suppose -54 = -x*w - 0*w. Let j = w - 34. Is j bigger than -10?
True
Let c be (-1003)/(-102) + 9/(-2) + 2. Let o(q) = -5*q - 49. Let n be o(-11). Is n at least as big as c?
False
Suppose -6*q = 1 - 19. Suppose -2*i - 163 = -3*n, -q*n - 161 = -6*n + i. Let w = n + -48. Is w greater than or equal to 46/9?
False
Suppose 25*p + 3027 = 27*p + 5*m, -p + 1507 = -4*m. Which is greater: p or 1506?
p
Let t = 53.8526 - -0.0474. Let u = 1.18 - -52.82. Let s = t - u. Is s less than 2?
True
Let l = -2/735 - 176/147. Suppose -5*f - 350 = -2*q, 0 = -2*f + 2*q - 5 - 135. Let s = f - -67. Do l and s have the same value?
False
Let l = 910 - 357. Let w = -493.1 + l. Let b = w - 60. Are b and 8 nonequal?
True
Let r = -43 + 23. Suppose -11*v - 55322 = 15*v - 54750. Which is bigger: v or r?
r
Let x be ((-10)/2 + 1)/((-10)/(-70)). Let j be (x/210)/((-8)/6 + 0). Is -1 != j?
True
Let d = -22.4 + 232.4. Let t = 213 - d. Which is bigger: 18 or t?
18
Suppose 4*s - q - 49 = 0, 0 = -5*q + 2*q - 3. Let t be ((-54)/(-195))/(s/360). Is 9 equal to t?
False
Suppose -4*m + 126 = r + 224, -3*r + 74 = -4*m. Which is smaller: m or -113/5?
m
Let s = 138 + -132. Let r be (s - 14) + 1 - -7. Is 4/29 less than r?
False
Let b = -1 - 0. Let t = -7091 - -35451/5. Is b < t?
True
Suppose 0 = 8*y - 251 - 165. Let g = 10/11 + -8/33. Is y smaller than g?
False
Suppose o - 1 = 2*w - 10, -w + 4 = 0. Let i be ((-48)/(-800))/((-6 - -5)/((-8)/(-3))). Which is smaller: o or i?
o
Let j = -20 + 57. Suppose 4*f - 8 = -0. Suppose -3*g = 2*a - 59, -f*a + 210 = 3*a - 5*g. Is a less than or equal to j?
True
Let c = -27420 + 27420. Which is smaller: 7.969 or c?
c
Suppose 0*n = -n - 1. Let j be 0/(-17)*(-1 - n - 1). Which is bigger: 12 or j?
12
Let b(s) = 3*s + 18. Let a be ((-23)/(-3) - 7) + (-94)/6. Let t be b(a). Let m = 41 - 69. Which is bigger: t or m?
t
Let u = 18.598 + 1811.402. Is 1/4 not equal to u?
True
Let q be (-84)/80 - 1/(-4). Suppose 3043 - 3065 = -4*u + 6*x, -3*u = -4*x - 23. Which is smaller: u or q?
q
Let i = 1 + -2. Let u = i + 1. Let o = -286.3334 + 288.7334. Is o greater than or equal to u?
True
Let c = -2032 + 2179. Which is smaller: c or 144?
144
Let u = 0.4999 - 0.5999. Which is greater: 1350 or u?
1350
Let a = 12715 + -61478/5. Let y = a - 421. Is y greater than or equal to -2?
True
Let t = -0.2157 - -0.0157. Which is bigger: t or 17/87?
17/87
Let z(g) = -31*g - 26. Let i be z(-1). Suppose 3*v = -2*y - 1 - 2, 20 = i*v - 5*y. Which is smaller: 4/9 or v?
4/9
Let k = 5.946 + 5865.054. Is -0.1 < k?
True
Let n = -194 - -191. Is n greater than -44.7?
True
Let n be 286/114 - 2/(-6). Suppose 4*i + 82 = -4*z + 18, -17*i + 3*z = -88. Is i less than n?
True
Let k = -361 - -354. Let p be (-14)/(-7) + k + 4. Which is smaller: 2/219 or p?
p
Let c be 4 + -1 + -3 - 1002/(-33). Let l = -1223/55 - c. Does -54 = l?
False
Let l = -16.89 - 60.51. Are l and 1 equal?
False
Let v(l) = 21*l + 1911. Let w be v(-