-6) + 130/(-4). Let d be 16/21 - (-22)/r. Suppose -4 = -2*c - 2. Is d at most c?
True
Let g be (-1 - 2) + (-9222)/(-2448) - 1. Let u = 7/24 + g. Which is greater: u or -1?
u
Let j = -212082/49 - -4328. Is -1 less than or equal to j?
True
Let c = 388 + -218. Let m = 1192/7 - c. Let g be (18/63)/((-4)/(-14)). Which is bigger: m or g?
g
Let t = -286.96 + 287. Let r = 33.96 + -33. Let a = t + r. Which is bigger: a or -0.06?
a
Suppose -3*c = 3*i - 102, 15 = i - c - 15. Let a = i - 32. Is a greater than or equal to -2/51?
True
Let s(o) = 4*o + 161. Let y be s(-38). Is y less than or equal to 9?
True
Suppose z + 16 = 23. Is 70/11 < z?
True
Let q = -139 - -184. Let j = q - 29. Which is greater: j or -2/7?
j
Suppose 2*k = -4*n + 2*n + 52, -n = -3*k + 70. Let v be 58/(-3) - k/36. Let y be 0*(v/6 + 3). Which is bigger: y or -4/5?
y
Let n = -231 + 345. Let r = n - 113.93. Which is bigger: r or 0.1?
0.1
Suppose -6*b - 32 = -2*b. Let s be b*(3 + 0 + -4). Let d(y) = -12*y - 74. Let a be d(-6). Which is smaller: a or s?
a
Let q(m) = -18*m + 93. Let y be q(5). Are y and -22/9 nonequal?
True
Let f = -1 - 0. Suppose -11*x + 10*x + 13 = 0. Suppose -x*n = -8*n. Is f != n?
True
Let q(z) = -2*z + 29. Let h be ((-64)/(-4))/(1 + 0). Let k be q(h). Is 1 > k?
True
Suppose 24 = -33*y + 37*y. Let a be ((-5)/4)/((-3)/(-24)*-2). Which is smaller: y or a?
a
Let s be 2 + 314/8 + 0. Let y = s - 42. Which is greater: y or -16?
y
Let h = -79 + 137. Let a = -59 + h. Which is smaller: -0.22 or a?
a
Let c = -0.01 - -7.01. Let b = c + -12. Let t = 4 + b. Which is greater: 3/8 or t?
3/8
Let x = -652209/161 - -4051. Let m be 0 - (6/3)/2. Is m greater than x?
False
Let g = -7.032 + 7. Let a = g - 3.868. Let j = -2.9 - a. Is -2/37 less than or equal to j?
True
Let r = -1769565/253 + 327215059/253. Let m = 1285884 - r. Let z = -462 - m. Is 0 greater than or equal to z?
True
Let f = -5.93 - 2.27. Which is greater: 1 or f?
1
Let x be (1015672/2460)/7 + 4/10. Let z = x - 178/3. Are 1 and z nonequal?
True
Suppose 10*k = 858 + 642. Do 150 and k have different values?
False
Let w be ((-6)/(-15))/(2/110). Let x be w/8 + (-2)/(-8). Suppose -2*b = x*b. Which is greater: b or 1/3?
1/3
Let s = -6.92 - 0.08. Let l = 6648/7 + -950. Is l bigger than s?
True
Let m = 6 + -4. Suppose -1 = 4*n - 5*p, -3*n - p + 0*p + 4 = 0. Suppose 5*y + 2 = -2*h, m*y + y = h + n. Is y > 0?
False
Let h = -45.23 + 45.2. Which is smaller: 2/17 or h?
h
Let s be 149668/1612 - 4/(-26). Which is greater: 94 or s?
94
Let i = -0.88 - -2.88. Is 0.7 > i?
False
Suppose -3*t - 9 = 0, -12*t + 102 = 3*y - 16*t. Is 6 at most y?
True
Let r be (-12)/(((-1)/(-17))/(47/(-141))). Is 482/7 >= r?
True
Suppose 2*r - 143 = -a, -3*a = -3*r + r + 163. Which is smaller: r or 73?
73
Let t be (-50)/(-4) - (-2)/(-4). Suppose -3*a = -a + t. Let y(p) = p**3 + 3*p**2 - 2*p + 4. Let m be y(-4). Is a >= m?
False
Let t be 125/(-370)*(-24)/(-40). Which is smaller: 0 or t?
t
Suppose n - 13 = -3*x, -3 = -3*n - 0*n + 3*x. Which is smaller: n or 8?
n
Let t = -1.73 - 0.27. Let n = -4 + t. Which is bigger: n or -0.2?
-0.2
Let u = 260 + -259.953. Which is bigger: u or -3?
u
Let n be 29/58 + (-387)/834. Which is smaller: n or -1?
-1
Let x be (2/4*-4)/(-2). Suppose -2*b + 5 = -s, 4*b - 5*s - x + 0 = 0. Let l = 3 + 1. Is b equal to l?
True
Suppose -2*i + 4*i - 16 = -4*y, 4*y - 10 = -5*i. Let q(w) = 6*w**2 + 2*w - 6. Let l be q(i). Is 17 at most l?
False
Let q = -839/3 + 272. Let o = -9 + 2. Which is greater: q or o?
o
Suppose 12*j - 4 + 16 = 0. Let z be j + 17 + (-5 - -1). Which is smaller: z or 1?
1
Let m = -0.0413 + -41.9587. Which is bigger: 8 or m?
8
Let j = 0 + 1. Suppose -5*g + 5 = 25. Let z be (16/(-12))/(g/(-30)). Is z equal to j?
False
Suppose -798 = -6*x - 804. Let k = -647/14 + 93/2. Is x less than k?
True
Suppose -10*n + 36 = -4. Let p = 8 + -4. Suppose -1 = -b - 0*b, n*b = -p*v - 56. Is -16 equal to v?
False
Suppose 5*s + 3 = -2*k, -3*s = 2*s - 5. Let o be 3/5*(5 + 0). Let n be (-6)/k*o/18. Is n < 5?
True
Suppose 17*w = 19*w + 42. Let i = w + 17. Let p(k) = -k**3 + 2*k**2 + k + 1. Let u be p(3). Is i less than or equal to u?
False
Let u(h) = h**2 + 5*h - 12. Let w be u(2). Is 11/9 <= w?
True
Let m be 157/4 - (8 - 3). Are 33 and m equal?
False
Suppose 0 = 64*s - 72*s + 464. Which is bigger: 57 or s?
s
Suppose -342*k + 140 = -337*k. Is 26 greater than or equal to k?
False
Suppose -7*p = -3*p + i - 2, -3*p - 5*i + 10 = 0. Are -7/55 and p nonequal?
True
Let b be (2 - 11750/14)*-1. Let i = b + -839. Let c = -17/14 - i. Is 0.07 not equal to c?
True
Suppose -3*r - 23 = -z + 3*z, -2*r - 2 = 0. Let j be (4/(-6))/(30/z). Which is greater: -1 or j?
j
Let b = -6827 - -3594. Let y = -16732/5 - b. Let l = y + 113. Which is bigger: l or 0?
0
Let t(l) = 2*l + 170. Let w be t(-13). Is w <= 142?
False
Let o(s) be the third derivative of s**6/120 - s**5/60 + s**4/24 - 5*s**3/2 - s**2. Let k be o(0). Is -17 >= k?
False
Let d(x) = -47*x + 76. Let o be d(5). Which is greater: -160 or o?
o
Suppose 37*j = 38*j - 28. Let h = j - 28. Which is smaller: h or -12?
-12
Let k be (8/(-7))/((-6)/21). Suppose k*t - 3 - 8 = r, 4 = 4*r. Which is bigger: t or -1?
t
Let v(u) = -u - 15. Let w be v(-10). Let q be (-1 + w/(-10))*2. Is -31 less than or equal to q?
True
Suppose 121 = 3*q + y - 11, -5*q - 2*y + 220 = 0. Is 43 not equal to q?
True
Suppose -208 - 194 = 3*f. Is -133 greater than or equal to f?
True
Suppose 16 = -4*k + 8. Let x be -2 - k/(-8)*4. Is -7 less than or equal to x?
True
Suppose r - 11 = -3*j, 3*j = -0*r + r + 13. Suppose -6*x - 4*x + j*x = 0. Which is smaller: x or -16?
-16
Suppose -4*f - 575 = -643. Which is smaller: f or 15?
15
Let b = -88 - -87.22. Let o = b + 1. Let w = o - 0.02. Which is greater: 1/4 or w?
1/4
Let o = 326 - 224. Let r = 85 - o. Which is greater: r or -31/2?
-31/2
Let a be 52/(-182) - 4/(-63). Is a != -135?
True
Let b = 556 + -559. Which is smaller: -21 or b?
-21
Let b = -6 - -4. Let j = 1 + 1. Suppose -3*x = -j*a - 2*x - 2, 16 = -3*a - 5*x. Is b less than or equal to a?
True
Let f = -1 + 18. Let w = f - 17.1. Is 2 equal to w?
False
Let a be (-4 - (2 - 3))/(-1) - -3. Suppose 0 = p - a*p + 5. Which is bigger: -2/9 or p?
p
Let s be ((-42)/(-333))/((-5)/(-15)). Which is bigger: 0 or s?
s
Suppose -27 = 3*v + 2*k + 5, v = -k - 10. Let j = v - -14. Suppose -j*z - 12 = -5*z. Is 4 at most z?
True
Let u = -129.9 + 130. Are -0.21 and u unequal?
True
Let n(b) be the first derivative of b**2/2 + 12*b - 4. Let v be n(6). Is v <= 19?
True
Let y(p) = p**3 - 3*p**2 - 2*p + 2. Let t be y(3). Let x be (-2)/t + 24/16. Let s be (x - -1) + 64/(-22). Is s bigger than 0?
True
Let o = -133.89 + 133.9. Which is greater: 64 or o?
64
Let r = 360 + -360. Suppose -32 = -4*v + 76. Suppose 5*g + v = -33. Is r less than g?
False
Let o(y) = -y**2 - 13*y + 18. Let i be o(-14). Suppose 8*j = 12*j + i. Is 3 bigger than j?
True
Suppose -3*a - 22 = -2*c + 2*a, 4*c + 4*a + 12 = 0. Is c != 1/171?
True
Suppose h - 8*q + 7*q = 144, 0 = 3*h + 3*q - 420. Is h < 143?
True
Let u = -256 + 244.9. Let t = 0.1 + u. Let i = -6 - t. Which is bigger: i or 0?
i
Suppose 4*z + 14 = -6, 40 = 5*r - 3*z. Let d = 0.51 - 0.21. Let q = 0.4 - d. Which is smaller: q or r?
q
Let s = -0.11 + 0.173. Let p = 10.937 + s. Is -3 greater than p?
False
Let s be (16/10)/(80/1000). Do 22 and s have the same value?
False
Let v = -10/49 - -888/3871. Are 0 and v nonequal?
True
Let h be 51/85 + 17/5. Let k = -5 + h. Let f be k/(1 + (-6)/9). Is f less than or equal to -3?
True
Let i = 4.3 - 4.03. Let s = 8.1 + -8. Is s < i?
True
Let k = 617 + -25299/41. Suppose -n - 31 = -c - 35, n - 14 = 3*c. Is n < k?
True
Suppose 17 = -4*i - 3*s, -4*s = i - 0*s - 12. Which is bigger: i or 6?
6
Let k be 1 - (-1127)/(-177) - (-13 - -10). Let w = k + 7/3. Is w less than or equal to 0?
True
Let w = -18.76 + 19.27. Is 2 less than w?
False
Let n(k) = k**3 - 3*k**2 + k + 4. Suppose 0 = -w, 3*w + 9 = 4*m - 3. Let p be n(m). Does 8 = p?
False
Suppose 43*b + 780 = -22*b. Which is smaller: b or -11?
b
Let y = 1511 - 1446. Which is greater: 62 or y?
y
Let z = -2.001 - -1.801. Which is smaller: z or 330?
z
Let g = 81 + -124. Let u = -41.7 - g. Which is greater: u or 2/9?
u
Let j be (-2)/(-1 - (-9)/7). Suppose -8*s - 26*s - 374 = 0. Let x = j - s. Is x !=