2) + (-1 - 2). Suppose 0 = -4*j - 2*f - 522, 5*f = w*j + 262 + 149. Let p be (-2)/9 + j/(-108). Are 6/5 and p unequal?
True
Let u = -143 - -293/2. Let j = u - 3. Is 0 at least j?
False
Suppose 0 = -4*r - 4*m - 24, 2*m = 5*r - 3*m + 20. Let n(p) = p**2 + 6*p + 4. Let a be n(r). Which is smaller: -22 or a?
-22
Suppose -68*m + 444 = 104. Let q = -22209/8 - -2781. Does m = q?
False
Suppose h = -h + 4. Suppose -5*u - h*l = 6, 4*l = l - 9. Let p = 1902/25 - 76. Which is bigger: p or u?
p
Let j = 2 - 3. Let w be (-195*5)/(6/4). Let q be w/234 - 4/18. Are j and q nonequal?
True
Let h be (-3456)/(-132) + 2*(-1)/11. Are 1 and h unequal?
True
Let m be 186/14 - (-9 - -14). Which is bigger: m or 7?
m
Suppose -5*z - 2 = -a, -2*z - 12 = -5*a - 2. Let x = a + 2. Suppose -x*f + 5*w = -5, 4 = -2*f + 2*w - 6*w. Which is smaller: f or -4/7?
-4/7
Let g = -6 + 9. Suppose 0 = -2*i - g*i. Is i less than or equal to 3/23?
True
Let r = -0.15 - -0.12. Let v = r - 9.97. Let s = v - -9.94. Is s less than 0?
True
Let k = 0.9 + -2.7. Let u = 1.9 + k. Which is smaller: u or 4?
u
Let m be 114/(-171) + 1021/(-3). Is m greater than -342?
True
Let k be (-366)/4 - (-4)/(-8). Let q be 4/16 - k/16. Suppose 1 = 7*z - q*z. Which is bigger: -1/5 or z?
z
Suppose -20 = -5*q - t, 0 = -t - t. Suppose 13 = h + 3*h + u, 2*u + 14 = 2*h. Let m be 2*(-2)/h - -3. Is q > m?
True
Suppose -o = 2*s + 39, -3*s - 2*o - o - 66 = 0. Which is smaller: -6 or s?
s
Suppose 3*c - p + 419 = 0, 4*c - 5*c = -2*p + 138. Which is smaller: -142 or c?
-142
Suppose -s - 2*s = -0*s. Suppose 4*u + 2*x + 128 = s, -2*u = -2*x + 39 + 25. Which is greater: -31 or u?
-31
Let u = 572 - 573. Which is bigger: u or 2/1237?
2/1237
Suppose 0*h + 6*h = 42. Suppose 51 = 2*j + 5*a + 18, -3*j + a = -h. Let c be (3/j)/(114/(-48)). Is 1 at most as big as c?
False
Let k(f) = -f**2 + 3*f - 3. Let i be k(3). Let g(m) = m**2 + 4*m - 6. Let z be g(i). Which is bigger: z or -10?
z
Let i = -191 - -190. Which is greater: i or -2?
i
Let k = 228 + -408. Let n be (-4)/(64/(-6))*16/k. Which is smaller: 0 or n?
n
Let k = 569 - 19343/34. Let n(c) = -14*c - 84. Let f be n(-6). Is k <= f?
False
Let b = -2 + -12. Let k be (-7)/b + (-26)/(-4). Which is bigger: k or 8?
8
Suppose -r - 3*z - 2*z = 20, -20 = -3*r + 5*z. Is 3/139 bigger than r?
True
Suppose 2*l + 2*q - 30 = 0, -13*q + 47 = 3*l - 9*q. Do l and 12 have different values?
True
Let p = -2196 - -2144. Which is smaller: -56 or p?
-56
Let q(w) = w**2 - 3*w - 5. Let l be q(-2). Suppose l*u = -4 - 6, 4*v - 4*u = 0. Which is greater: -7 or v?
v
Suppose -t + 5*h - 773 = 0, -5*h + 3781 = -5*t - h. Let m = t + 3778/5. Which is greater: 2 or m?
m
Suppose -41*u = -58*u. Which is smaller: -3/34 or u?
-3/34
Let s(n) = -3*n + 31. Let p be (-33)/(-77) + 144/7. Let r be s(p). Which is greater: r or -31?
-31
Suppose 0 = -5*q + 1 + 9. Suppose 2*p + 4 = -q*p. Let g = 53/3 - 259/15. Is p greater than g?
False
Let m = -10 + 165. Let w = 126 - m. Let i = -2 + 2. Do i and w have different values?
True
Let v be -47 - 9 - (1 - 4). Let o = -4 + 3. Is v greater than o?
False
Let p be ((30/(-855))/(-2))/(22/6). Let j = -347/5 - -69. Are j and p unequal?
True
Let p = 1.972 + 0.028. Let y = 1 - p. Is -1/6 < y?
False
Suppose -k - 2*k + 67 = -5*y, -5*y - 105 = -5*k. Suppose 4*v + 39 = k. Let b be -7 - (1 - 1 - 1). Is b greater than or equal to v?
False
Suppose -4*n - 27 - 9 = 0. Let j be 14/4*(-5 - n). Let i be j/6 - (-3)/(-9). Which is smaller: 1 or i?
1
Let q(g) = -3*g**2 + 5*g + 75. Let y be q(7). Is y < -37?
False
Let t(n) = -3*n - 5 + n**2 + 10 - 6. Let s be t(3). Which is smaller: s or 3?
s
Let s(m) = -m + 20. Let x be s(0). Let j = 18 - x. Let z = j - -15. Is z bigger than 13?
False
Let y(l) = -l**3 - l**2 + l + 2. Suppose -8*r = -4*r + 48. Let q = 10 + r. Let u be y(q). Is u bigger than -0.1?
True
Let g = -0.14 + 0.02. Let b = 0.42 + g. Let f = b - 1. Is 0 smaller than f?
False
Let i = -1006 + 1003. Are 32 and i equal?
False
Let m = 0.052 - -0.018. Let d = -0.27 + m. Which is smaller: 16 or d?
d
Let v(w) = -w**2 + 13*w - 68. Let h be v(6). Suppose -4*i + i = -12. Suppose i*p = 3*p - 27. Which is smaller: h or p?
p
Let w be 1566/(-8) + (-2 - -6). Let u = -190 - w. Which is smaller: u or 3?
u
Let y = -18 - -24. Suppose -i + y*i + 110 = 0. Are -22 and i unequal?
False
Let q = -0.2 - -5. Let v = q + -6.8. Which is smaller: v or -18?
-18
Let n = -2 - -3. Suppose 0 = 3*o + n - 7. Let v be o/((-4 + 0)/4). Which is greater: v or -0.2?
-0.2
Suppose -58*g + 62*g = 3*p - 17, 4*p - 18 = 3*g. Which is bigger: 88 or g?
88
Let k = -0.1 - -0.3. Let r = 0.0555 - -1.0445. Do k and r have the same value?
False
Suppose -6 = -2*d - 0. Suppose d*p - 2*p = 4. Let o = p - 7. Which is bigger: -2 or o?
-2
Let x = 8 + -8. Suppose 0 = -2*y - h - 14, 7*y - 2*y + 2*h + 34 = x. Let c be 1*y*(-3)/(-6). Is c less than or equal to -4?
False
Suppose 9*k = -5*k - 1680. Let g be (28/(-210) - 526/k) + -3. Let w = 2 + -2.2. Which is bigger: w or g?
g
Let x(o) = 35*o + 22. Let m be x(-13). Let v = m + 4759/11. Suppose 0 = 2*n + n. Is v less than n?
True
Suppose -5*k + 2*m = m + 3, -4*k + 5*m - 15 = 0. Let v be 82/55 - 22/55. Is k bigger than v?
False
Let s = 1456 - 24761/17. Which is smaller: s or -1?
-1
Let y be 231/49 - 2/(-7). Suppose 8*f = 3*f. Suppose -2*i - 3*i + y = f. Is i at most -1/7?
False
Let s be -3 - (-12)/(-5) - 8/(-20). Let x be (-1 - 0) + (6 - 10). Is x != s?
False
Let x(y) = 8*y - 202. Let c be x(25). Which is smaller: c or -7?
-7
Suppose k + 22 = 2*k. Suppose t + 3*d - 2 = 0, 0*t + 5*t + 3*d = k. Suppose -t*s + s = 0. Is s < -1?
False
Let v be (-10)/45 - (-964)/(-36). Let n = 29 + v. Let f be n/5 - 28/(-5). Is 6 greater than or equal to f?
True
Let y = -1222 - -746. Does y = -476?
True
Let s be (-4 - -29) + -2 - 4. Let l = 8 - s. Let x = 149/4 - 37. Is x < l?
False
Let w(r) = -12*r + 47. Let j be w(24). Is j bigger than -242?
True
Let g be (6/(-45))/((-32)/10). Let u = -2936/9 + 326. Which is smaller: g or u?
u
Let v(l) = -32*l + 609. Let u be v(19). Is u < -781?
False
Suppose t + 5 = -0*t. Let z = t + 4. Let p = 208/1017 + 2/113. Is z smaller than p?
True
Suppose -49 = 4*j + 2*w + 53, 0 = 4*j + w + 99. Let n = j + 51. Is 28 greater than or equal to n?
True
Suppose -3*g + 0 + 42 = 0. Suppose -8*r = -r - g. Which is smaller: 4 or r?
r
Suppose -7*g = -6*g - 2. Let p = -1261/43 + 140188/4515. Let z = p + -2/35. Is z >= g?
False
Let p = 1142 + -1273. Is p less than or equal to -130?
True
Suppose -312 + 1182 = -29*h. Which is greater: h or -342/11?
h
Suppose f - 5 = u - 1, 4 = 5*f - u. Let z be 3058/(-5226) - 2/(-3). Let x = 10/67 + z. Is f != x?
True
Let n = 3/12071 - -14666259/24142. Which is smaller: 608 or n?
n
Suppose -2*x - 2*u - 1016 = 0, 5*u + 9 = -6. Which is smaller: -506 or x?
-506
Let f = -18 - -48. Let s = 41 - 12. Is s bigger than f?
False
Let g be 2*-5*(-12)/(-8). Let c = g + 13. Let u be (-8)/(-28) - (-1 - c). Which is greater: -1 or u?
u
Let z = -3 - -78. Let n be (z/(-10))/(-3)*4/775. Is n at most as big as 1?
True
Let j = 6/485 - 22807/970. Is -1 at most j?
False
Let n = -5.91 - 18.85. Let j = 25 + n. Let y = -6.24 + j. Is y > 3?
False
Let h be 46/11 + 20/(-110). Let w(k) = -k**3 + 5*k**2 - 8*k + 16. Let q be w(h). Which is bigger: q or 2?
2
Let l = 0.555 + -0.59. Let r = l + 0.035. Does r = -6?
False
Let m = 88 - 92. Let j be (4/(-24))/((-1)/4). Do j and m have different values?
True
Suppose -12*h - 4*h = -3*h. Which is smaller: -2/1553 or h?
-2/1553
Let w = -1052 + 1172. Are w and 2/5 nonequal?
True
Let o(x) = 5*x + 36. Let d(z) = 22*z + 144. Let a(g) = 2*d(g) - 9*o(g). Let j be a(14). Which is bigger: -1 or j?
-1
Let c be (9 - 10)/(1/(-16)). Suppose 3*o + c = -0*h - h, -18 = 3*h + 3*o. Let b be 25/(-280) + (-4)/14. Which is smaller: b or h?
h
Suppose -13*y + 41 = -12*y. Suppose -40 = y*l - 46*l. Which is smaller: l or 4?
4
Suppose -8*y = 69 + 51. Let o(p) = -p**2 - 17*p - 30. Let v be o(y). Which is smaller: v or -4/27?
-4/27
Let w(c) = -c**3 + 2. Suppose 0 = 3*x + 3*k + 15, -4*x + 5*k - 4*k - 5 = 0. Let j be w(x). Is j smaller than 9?
False
Let l = -85.1 + 85. Let a = -5 - -7. Is a at least as big as l?
True
Suppose d - 6206 = -28*d. Are d and 214 equal?
True
Let d be (-152)/(-1007)*12/(-8). Is d >= 1?
False
Suppose