 = -w, -5*n = 2*m + 2. Suppose -p - 6 = -n*p. Is p <= -6?
True
Let h be (-2)/6 - 20/12. Let y be h/(-6) + 6/9. Suppose -2093*x + 4 = -2094*x. Which is greater: y or x?
y
Let t be (-2)/(-4) - 73/138. Let v(h) = -14*h - 85. Let a be v(-6). Does a = t?
False
Let w(a) = 2*a**2 - 27*a - 33. Let o be w(15). Suppose 0*s - 47 = -3*i + 2*s, 3*i - 35 = -s. Is i at most as big as o?
False
Let v(f) = -4*f + 10. Let z = -10 + 7. Let p(g) = -9*g + 19. Let k(q) = z*p(q) + 7*v(q). Let h be k(8). Is h less than 7?
True
Suppose -3*s + 30 = -0*s. Suppose k = -2*k + 5*f - 38, f = k + s. Is -5 less than or equal to k?
False
Let w be 3/(-60) - (54/(-30) + 2). Suppose -6 = -5*s + 19. Is w at most as big as s?
True
Let c be ((-1)/2)/((-6)/12). Which is smaller: c or 1/441?
1/441
Let m = 119 - 51. Is m equal to 0.2?
False
Suppose -368 = -7*i + 9*i. Let t = i + 183. Suppose -2*q + 6 = -22. Is t < q?
True
Let m = 229 + -232. Does m = -5?
False
Let p = -7 + 8. Let d be 2/((-3)/p - (-35)/15). Which is bigger: d or -2?
-2
Let p be 3*9/1377*(-1 + 4). Is 1 at least as big as p?
True
Let l be ((-6)/(-15))/(1/(-10)). Let w be -2*3 + (l - -5). Let k be (6/12)/(w/4). Which is bigger: k or 0?
0
Let a = 18/17 - -63/85. Let h = a + -7/5. Is h != 0.12?
True
Let s = -22 + 28. Let r(a) = -a + 6. Let d be r(4). Suppose s = -5*g + d*g. Are g and -9/5 unequal?
True
Let r(w) = -w + 15. Suppose 5*u = 4*o - 47 + 6, 5*o - 5*u - 50 = 0. Let z be r(o). Let y be (9/z)/((-33)/(-4)). Is 0 <= y?
True
Let s be (18/(-3))/(1/1). Suppose 0*q = -4*q - 40. Let y = q + 3. Is y greater than s?
False
Let y(g) = -g + 2. Let p be y(-6). Let z = -12 + 17. Let h(s) = -s**3 + 6*s**2 - 3*s - 1. Let l be h(z). Is l at least p?
True
Let m be (-2256)/176 - 2/11. Let s = 18 + m. Suppose -s*b - 41 = -5*p - 11, 2 = -3*b - 5*p. Which is bigger: 3 or b?
3
Let i = 29 + -172. Let a = 713/5 + i. Let o = 0 + 0.4. Do o and a have different values?
True
Let n = -130 + 131. Which is greater: -62 or n?
n
Suppose n = 2*n + 25. Let u = n - -26. Is u greater than or equal to 4?
False
Let z be (136/32 - -3)*80. Is z at least 580?
True
Let h = -0.0266 - -26.0266. Which is smaller: 1/9 or h?
1/9
Let o = 38/35 - 4/5. Is -174 >= o?
False
Let o(p) = -8*p - 1. Let x be o(-2). Let k be 2/x + 329/(-105). Let l be (-12)/k - (4 - 0). Is 0 at least l?
True
Let w be ((-6)/(-12) - (1 - 0))*2. Let t be 39/126 - 3*w/(-9). Is 1 <= t?
False
Let j be (-105)/10 - -6 - -6. Let i = -13 - -21. Which is greater: j or i?
i
Suppose y = 4*r - 6, 3*r - 1 + 4 = 0. Let k be (24/y)/(6/(-20)). Let x be (5 + -1)/((-16)/k). Which is bigger: x or 0?
0
Let c = -0.32 - -10.02. Let f = 9.6 - c. Which is smaller: f or 0.08?
f
Let j = -5 + 4.91. Let m = 0.09 + j. Let s = 0.25 - 0.15. Which is greater: s or m?
s
Let n(b) = 2*b + 4. Let h be n(-6). Let p be 15/3 - (5 - (-2 + 0)). Are p and h equal?
False
Let n = -39292/3 + 12957. Are -140 and n equal?
False
Let j be (-1)/(-1) - (5 + -1 - 17). Suppose 5*m + 4 = j. Is m bigger than 0?
True
Let w = -16 + 32. Let r = 19 - w. Is r less than 4?
True
Let t = -358939/274 - -1310. Is 1 less than t?
False
Let s = -3.56 + 0.86. Which is smaller: s or -6?
-6
Suppose -6 + 2 = 4*s. Let t be (30/26 - (-20)/(-130))*s. Let w = -9 + 6. Is w at least t?
False
Let b = 6580 + -12763/2. Let j = 317 + -523. Let a = b + j. Is -7 smaller than a?
False
Suppose 4*i = -3*f - 0*i - 19, 0 = -f - 5*i - 10. Let w = -24 - -19. Is f bigger than w?
False
Let a = 19.87 + -17.87. Let j = -8.8 + -2.2. Let d = j - -7. Is a greater than d?
True
Suppose 28*a + 79 + 26 = 7*a. Let p(l) = -9*l. Let f be p(1). Which is smaller: a or f?
f
Let p = -499 + 499. Is 3/8 less than or equal to p?
False
Suppose 2*n = -2*g + 10, 2*n + 20 = 6*n + 3*g. Suppose 3*x - 4*s - 60 = -s, n*x - s - 104 = 0. Let d be 6/x + 12/(-63). Is 0 greater than or equal to d?
False
Let b(u) = -u**2 + 7*u - 7. Let v be b(5). Suppose 4 = -5*j + v*f, -j + 3*j - f = -1. Which is smaller: j or -1/52?
-1/52
Let p = 409.1 - 409. Is p smaller than -185?
False
Let f = -3.33 - -2.63. Which is bigger: f or -1?
f
Let p be 4 + -22 + -1*2. Let f be ((-8891)/51)/(p/(-46)). Let z = f - -401. Does z = -1?
False
Suppose j - 2 = -n, -j - 3*n - 8 = -7*n. Let w be (3/2)/(135/4). Is j smaller than w?
True
Suppose 4*z - 2*p - 16 = 0, -5*z = -0*p + 3*p - 20. Let n(o) = 2*o - 6. Let f be n(z). Let j be -4 + (24/(-4) - (0 + -7)). Are j and f non-equal?
True
Let n(z) = -16*z**2 + 51*z + 12. Let l be n(6). Are l and 0 non-equal?
True
Suppose -4*y = -3*a - 183, -a - 200 = -5*y - 3*a. Let q = y - 42. Is q less than or equal to 7?
True
Let p = -708 - -708. Are -1/276 and p equal?
False
Let w = 18 + -53/3. Let q = -81 + 85.2. Let h = q + -4.4. Which is bigger: h or w?
w
Let v(g) = -4*g**3 + g**2 + 10*g + 6. Let y be v(-4). Suppose -3*i = 4*i + y. Is -34 < i?
False
Let m be (-2 - -5)*2/3 + 699. Is 701 greater than or equal to m?
True
Let n = -0.68 + 0.68. Is n at most 30.1?
True
Suppose 0 = 2*n, 5*v + 5*n + 15 = 3*n. Let d be 2/(-1*(-4)/(-2)). Which is greater: v or d?
d
Suppose -7 = -h - 10. Let u be (12/3)/(-4) - h. Let j be 6/20*130/12. Is j at least as big as u?
True
Let y = 83 + 1569. Suppose y = -5*i - 2443. Let z be i/(-279) - (0 - -3). Do z and 2 have different values?
True
Let r be (-4)/(-1) - 0/(-5). Suppose c + r*q = 14, 0 = 2*c + 3*q - 13. Suppose 3*m = -4 - c. Is m >= 4/7?
False
Let j be 5/(-40) + 0 + -1. Let n = -3 + 21. Suppose -8*m = -2 + n. Which is smaller: m or j?
m
Let u = 10.4 - 10.38. Is -0.7 less than u?
True
Let g = 270.06 + -270. Is -1 greater than or equal to g?
False
Suppose 0 = 3*t - 0*t + 3*l - 15, -5 = -l. Suppose t*s = -4*s + 8. Let d = 2 - s. Is 1 < d?
False
Let v = 214/21 - 3721/462. Let f = v - 18/11. Let d be (-3)/(-2) - 30/20. Are f and d unequal?
True
Let g be 2/(-32) + 2 + -2. Suppose -5*r - 4*r = -72. Suppose 0 = 5*f - 4*q - r, 0*f - f + q = -2. Which is smaller: f or g?
g
Let o = -2396 + 2422. Are -7 and o unequal?
True
Let c be 4/(-38) + ((-754468)/(-547371))/13. Which is bigger: c or 1?
1
Let c be (-6)/(-9)*(-6)/4. Let k(r) = 1 - 5 - 2 + 6*r - r**2 + 1. Let f be k(5). Which is smaller: c or f?
c
Let g = 38 + -9. Let s = g - 30. Which is smaller: -2/37 or s?
s
Let r = 192.6 - 193. Is r <= -1/10?
True
Let c be 2/(3 + 57/(-21)). Suppose 0 = 2*z + 3*d - 7, d + c = -0*z - 3*z. Let y be (42/(-175))/(z/10). Is y equal to 0.1?
False
Let m be (-110)/6 - 3/((-9)/(-2)). Which is bigger: m or -142/7?
m
Let r be 1/((2/4)/((-4)/8)). Is r at most 10/29?
True
Let i be (-6)/(-4) - (-312)/(-208). Which is bigger: 12/19 or i?
12/19
Let f = 1/251305 + -839610021/4020880. Let x = -209 - f. Let p = -1302 + 1302. Is x at most p?
True
Let l be 6/(-9)*-3 + 40. Suppose 0 = 3*y + l. Let s = y - -13. Is s greater than -2?
True
Let t = -20 - -24. Let q = t + 2. Let w = q - 9. Which is bigger: 0.3 or w?
0.3
Let q = 876.8 - 877. Which is bigger: -299 or q?
q
Let o = 399.8 - 405. Which is greater: o or -0.4?
-0.4
Let w = 16 + -86. Do w and -69 have the same value?
False
Suppose 4 = 2*k + 4*i, -5*i - 4 = 2*k - 3. Let t be 1 + 0 - k/4. Which is greater: t or -9/13?
-9/13
Let b = 5799/40 - 145. Which is bigger: -3 or b?
b
Suppose 4*o - 13*o = 2*o. Which is greater: 3 or o?
3
Suppose 20 = 5*y + 5*r, -2*r = -4*y - 4 + 26. Suppose 5*j - h - 9 = -y*h, 2 = j + h. Which is smaller: j or 2/79?
2/79
Let m = -422 + 424. Is m at least 0?
True
Let j = -20.7 + 115.7. Let g = -90 + j. Let d = 2 + -1. Is d less than or equal to g?
True
Let k be (1/(-2))/((-52)/(-220)) - -2. Let n(x) = -2*x**2 - 30*x - 27. Let s be n(-14). Which is greater: s or k?
s
Let j = 6 + -5.76. Let c = 0.37 - 0.52. Let p = c + j. Which is smaller: p or -0.1?
-0.1
Let o be 3 + 275 - (-2)/4*-12. Is o equal to 272?
True
Let q = -1874 - -1652. Is q at most -224?
False
Let c = 7 + -57/8. Let g = -16 - -4. Which is greater: c or g?
c
Suppose 4*n - 3*w - 16 = 0, -3*w = 3*n - 6*w - 12. Suppose 2*u - 5 = 2*x - 25, 0 = -4*x - n*u + 8. Suppose 4*l - g - 6 = 0, 6 = 4*l + 2*g - x. Is l != 1?
True
Let w = 592 - 591.5. Which is bigger: w or -0.1?
w
Let x be (-24)/(-70)*1*5. Let a(q) = q**2 + 5*q + 5. Suppose 2*r - 14 = 4*p + 4*r, 5*p + 17 = -3*r. Let b be a(p). Which is smaller: x or b?
b
Let b = 51.123 + -51. Which is bigger: b or 0.1?
b
Let m = -1695 + 1695. Which is sma