 + 13 = -17. Let b be (j + (-2139)/1065)*(-25)/5. Are 1 and b equal?
False
Let a = 1297 + -6483/5. Is -1/15 at most as big as a?
True
Let i = -1.634 - -1.834. Which is bigger: i or -183?
i
Let p(a) = 5*a**2 + 177*a - 15. Let f be p(-35). Is -85 at most as big as f?
True
Let y(s) = -22*s + 51. Let u be y(7). Is u bigger than -99?
False
Let m = 279/16 - 853/48. Which is greater: -147 or m?
m
Let s = 41 + -36. Which is greater: s or 7/6?
s
Let h be (-1)/7 - 117/63. Let s = h - 50. Let t be (-2)/8 + (-39)/s. Which is smaller: 0.15 or t?
0.15
Let d = -100.89 - 0.11. Is d not equal to -7?
True
Let a = 178 - 109. Which is bigger: 70 or a?
70
Suppose 2*q = -2*q - 8. Suppose -43 = 45*t + 92. Which is greater: t or q?
q
Let n(t) = 21*t - 2. Let h be n(-6). Let o = h - -135. Is o != 8?
True
Let o = -1659/2080 - 1/416. Is o at most -1/8?
True
Let p = -55 + 387/7. Is -166 bigger than p?
False
Suppose 3*p + 9 = 0, 82*g = 80*g + p - 1. Let j(r) = r**2 - 5*r - 1. Let y be j(6). Let a = 3 - y. Is g > a?
False
Let w(y) = -17*y + 4*y + 9*y - 23. Let b be w(-6). Which is smaller: b or 2/21?
2/21
Let w = 1 - 1.2. Let g = 45.83 + 0.17. Let u = g + -46. Is u smaller than w?
False
Let v = 51 - 93. Let m = v + 43.5. Is 1/3 at most m?
True
Suppose 0*m - 9 = -3*m. Suppose 2*w + 4*r = 36, 2*r = -m*w - 0*r + 42. Which is greater: w or 3?
w
Let y = 117 + -118. Is 2/27 at least as big as y?
True
Let s = 74 - 72. Suppose z + 9 = 2*m + s, -4*z = 3*m + 17. Is 1/18 less than m?
True
Let f be (-115)/13 + 8/(-52). Let l = -8 - f. Suppose 0 = u + 1, 0*t - 5*u = 2*t + 1. Which is greater: l or t?
t
Suppose 73*w - 72*w = -65. Are -67 and w equal?
False
Let y be (-2)/12 - 12446/924. Let l = -113/22 - y. Which is smaller: l or 10?
l
Let z(q) = 8*q**2 + 7*q + 3. Let y be z(-3). Suppose -y*b = -46*b - 8. Let p be 1/(30/(-26)) + 1. Is b at least as big as p?
True
Suppose -5*p - 8 = -6*p. Suppose -v = -5*v - l - 4, 0 = -3*v - 2*l - p. Are 3/13 and v non-equal?
True
Let m = 29.1 + -29. Let w = 1.48 - 1.3. Let v = w - 0.5. Which is bigger: m or v?
m
Let y = -8 - -20. Let l(v) = v - 9. Let g be l(-8). Let t = y + g. Which is greater: t or -4?
-4
Suppose 2*k - 10 = -30. Let s be 6/(-8) - (6 + k). Which is smaller: s or 3?
3
Let g = -84 + 29654/353. Is -1 < g?
True
Let r = 47029/79991 + -5/1951. Let g = r + -442/615. Which is smaller: g or -0.2?
-0.2
Let p be 1*((-4 - -2) + 10). Let a be (2/(-55))/(p/(-40)). Is -1 smaller than a?
True
Let q = 2681/4035 + 3/1345. Is -205 >= q?
False
Let p = 63 + -48. Let m = p - 15. Do m and -2/17 have the same value?
False
Let i = 529 + -521. Which is smaller: i or 9?
i
Let b = 2 - 1. Let h = b + 3. Suppose -4*c + 12 = 5*f, c + c - 4*f = -20. Which is greater: c or h?
h
Suppose -3*s - 7 = -10*s. Let c be (12/738)/((-1)/(-3)*s). Are 1 and c equal?
False
Let a = 7/120 - -1877/120. Let c = 1031 - 6091/6. Let p = c - a. Are 2/3 and p equal?
False
Let m = 277338 + -275392.03. Let y = m - 1936. Let w = -0.03 - y. Which is smaller: -0.1 or w?
w
Suppose -3*f + 2*y = -0*y + 12, -2*f + 5 = 3*y. Let w be (5 + -5)/(0 - -2). Suppose 35*r - 39*r + 4 = w. Which is greater: f or r?
r
Suppose 2*k - 4*s = -12, 2*s + 24 = -k - k. Let x be (-33)/1540*((0 - -2) + k). Is 0 at most as big as x?
True
Let v(z) = -3*z - 38. Let p be v(-6). Let g = p + 19. Which is smaller: g or 1/62?
g
Let f = 41 - 40.5. Let g = 2.61 + -0.11. Let q = g - f. Which is bigger: -0.2 or q?
q
Suppose 18*c + 36 - 288 = 0. Does -43 = c?
False
Let n be 2 - (-3 + 6 - 9). Let b = -1.57 - -0.07. Let a = b - -1.6. Which is bigger: n or a?
n
Let j be (14/4 - (-26)/(-52)) + -6. Which is greater: 4 or j?
4
Let r be (-60)/140 + 48/14. Which is smaller: 4 or r?
r
Let m = -281 + 267. Which is smaller: -105/8 or m?
m
Let c be (2/3)/((-3)/9). Let w be ((-2)/6)/(3/(5 - -4)). Is w != c?
True
Suppose 3*r - 4*c + 0 = 100, c = -4. Let d be (4/12)/(r/18). Is 0 at most d?
True
Let b = -4 - -2. Suppose 18*n - 63 = 11*n. Let w be (-3)/b*12/n. Is w smaller than 2?
False
Let j be 1272/(-408) + 4/34 - 28. Which is smaller: j or 8?
j
Let t = 1/5886 - 3508063/41202. Let u(n) = -n**3 + 5*n**2 - 7*n - 7. Let k be u(6). Let g = k - t. Which is smaller: g or -1?
-1
Let m = 538 - 540. Let y = -5 - -4. Which is greater: m or y?
y
Let v = 30 - 26. Suppose -5*m - v = -m - 4*y, -m - 3*y - 13 = 0. Let r(j) = j**2 - j - 5. Let s be r(m). Is s greater than 15?
False
Let c(y) = -4*y**3 + y**2 - y - 1. Let q be c(-1). Suppose -2*d + 3*b = -0*d - 10, q*d = 2*b + 36. Let a = -14 + d. Is a less than -6?
False
Let z = -17282 + 51829/3. Let o = -13 + 6. Is o at most z?
True
Suppose 15 = -5*b, 4*b = -3*q + 3*b + 27. Suppose -q*y + 14*y = -36. Is -8 at least as big as y?
True
Let n = 0.03 + -1.13. Let b = -7.9 + n. Let j = -8 - b. Which is greater: -2/9 or j?
j
Let c = 266/43 - 195596/31605. Which is bigger: -1 or c?
c
Let g = 1.521 + -1.487. Let f = -8 - -7. Which is smaller: f or g?
f
Suppose -4*i = l + 113, -2*i + 392 = -4*l - 3*i. Which is greater: l or 1?
1
Let o = 7 + -3. Let d = -4.3 + o. Let g = 10 + -69/7. Which is greater: d or g?
g
Let k = 81 + -80.9. Is -51 equal to k?
False
Let w be 0 + 1 + 68/(-24). Let r be (-18)/4 - (-3 - 3/(-2)). Is w <= r?
False
Let x(j) = -2*j**2 + 13*j + 2. Let o(r) = -13*r - 19. Let a be o(-2). Let k be x(a). Let p = -15 + 11. Is k < p?
True
Suppose -4*a - 8 = 0, 4*a = s - 2 - 7. Let o be (2 + 0/(-3))/s. Suppose -o - 8 = 2*h. Which is smaller: -6 or h?
-6
Let y be -4 + (-9)/((-108)/56). Which is smaller: 1.7 or y?
y
Let w = 7.1 - 8.54. Let l = -1.3 - w. Let z = 0.19 - l. Is z <= 0.1?
True
Let g = -701 + 705. Are g and -0.35 nonequal?
True
Let t be 8/(-6) - 1/(-3). Let a(f) = -f + 17. Let s be a(9). Let u be (3/27)/((-2)/s). Is t at least u?
False
Let t = 586/1271 + -9/31. Are -1 and t nonequal?
True
Let l = -100 - 80. Let p be (-170)/l - (-1)/2. Let v = p + -196/117. Which is bigger: 1 or v?
1
Let o = 4.3 - 1.9. Let r = o + -4.4. Is -1 > r?
True
Let q be (-300)/(-90)*(-2)/50. Is q greater than or equal to 2?
False
Suppose -4*n - 2*a - 1 = n, -a + 6 = -4*n. Let f be (5/(-2) + 3)/n. Suppose -z = 3*z. Is f smaller than z?
True
Let c be ((-112)/(-12))/((-8)/(-12)). Suppose 2*w - c = -6. Let f be 3*(-1)/(-4)*4. Which is bigger: w or f?
w
Let f = 5459034518/795 + -6866711. Let z = f - -14/15. Are -1 and z nonequal?
True
Let b(z) = 3*z**2 + 13*z - 15. Let n be b(-5). Is n less than or equal to -5?
True
Let s = -5.335 - -0.395. Let n = -0.06 + s. Which is smaller: -0.02 or n?
n
Suppose 2*p = -3*x + 9, -75 + 2 = -4*p + 5*x. Let v be ((-63)/6)/(9/p). Let s = v - -13. Which is smaller: s or -13?
-13
Let x = -2.97 + 3. Let b = 2.03 - x. Let u = -1.3 + b. Which is smaller: -0.1 or u?
-0.1
Let r(n) = n**3 + 7*n**2 - 8*n + 5. Let b be r(-8). Suppose b*p = 7*p. Is 0 at least p?
True
Let d = -15 - -20. Suppose 19*c = d*c + 56. Which is smaller: c or 2/27?
2/27
Let q be ((-147)/(-14))/((-3)/(-14)). Suppose 5*w + 3*k = q, 3*k - 43 + 2 = -4*w. Let m be w/24*-3*2. Which is smaller: m or -0.01?
m
Let v = -0.0478 + 0.0078. Which is bigger: v or 5.7?
5.7
Let p(l) = -l**2 + l + 1. Let g be p(0). Let h be (-1 + (-43)/(-46))*-4. Are g and h unequal?
True
Let r be 10/(-116)*(-48336)/9. Let y = -463 + r. Let n = y + -19/29. Does 3 = n?
False
Suppose -58*w - 278 + 4396 = 0. Which is bigger: w or 61?
w
Let z(r) = r - 2. Let s be z(15). Is s <= 12?
False
Let j be (-74)/555 + 92/15. Let p(r) = -2*r - 1. Let d(b) = b + 2. Let a(u) = -4*d(u) - 3*p(u). Let c be a(j). Which is smaller: 0 or c?
0
Let s = -227 + 38. Let i be (-4)/(-14) - (-201)/s. Is i <= -1?
False
Let u = 1211 - 1213. Is 582 greater than u?
True
Let t be 81/6*6/9. Suppose t*r = 4*r - 15. Is 6 less than or equal to r?
False
Let z = -1950 + 17552/9. Is z smaller than -11.71?
False
Let m be (-10)/4*16/(-20). Suppose 3*j = 6, 4*t + 0 = 5*j - m. Let n = 0 - -4. Which is greater: t or n?
n
Let m = -0.06 - -0.86. Let x = 3.8 - m. Let h = -2 + x. Which is greater: 3 or h?
3
Let c be (4/(-30))/(3/27). Let k = 0.023 + 0.063. Let h = k + 0.014. Which is smaller: h or c?
c
Let y be (0 + 64/(-20))*(-15)/6. Let j = -9 + 6. Let i = j - -9. Which is bigger: i or y?
y
Suppose 16 = -4*o, 3*k - 5*o = -0*o + 59. Suppose 5*v = -k*v + 342. Is v less than 20?
True
Suppose l - z = 4*z - 730, 1493 = -2*l - z. 