-4056)/(-76))/6 + -4. Let b = -3333/646 + j. Is b < -1?
False
Let a = -2 - -4. Let x be a + (-1 - 0) - 22. Let y be (((-112)/(-6))/(-28))/(2/57). Is y less than x?
False
Let r = -105.7 + 120. Let o = r - 14.4. Is 96 equal to o?
False
Let i be (-14)/(-12) - 620334/1188. Which is smaller: -523 or i?
-523
Let z(r) = -3271*r + 19161. Let u be z(6). Which is smaller: u or -490?
-490
Let a be (737/(-33))/(6/18). Which is bigger: 2 or a?
2
Let p(i) = i**3 - 12*i**2 + 9*i + 19. Let s be p(11). Let b(d) = -d + 18. Let f be b(s). Is 43/2 > f?
True
Let r = 0.0532 + -0.3532. Which is greater: r or 789?
789
Let c = -6569/1877 + -1/3754. Is -1/17 at most as big as c?
False
Suppose 5*u = 25, -13 + 3 = 4*x - 2*u. Is x equal to -2/97?
False
Let b = -18 - -21.2. Let c = -48.2 + b. Let j = 44.92 + c. Is 0.2 less than or equal to j?
False
Let n be 5708*6/(-12) - 2. Let d be (-6)/(-8) - ((-33570)/n)/15. Is d > -1?
True
Suppose 4*t - 58 = 2*i - 5*i, 0 = -t + 5*i + 26. Suppose -t*p - 4*j = -19*p + 66, 4*p - 113 = -3*j. Do p and 22 have different values?
True
Suppose 24883 = 7*b + 25758. Which is bigger: 3/2 or b?
3/2
Let z = 1/571272 + 22850873/3998904. Let k(u) = -u + 2. Let d = 7 - 12. Let j be k(d). Which is smaller: z or j?
z
Let l = -168 - -168. Suppose -2*u - 5*x + 2 = l, 2 = u - 4*x + 1. Let j be 20/6*(-2)/(-8). Which is bigger: u or j?
u
Let w be 32/(-180) + (-4)/(-10) - (-128590)/(-547470). Suppose -5*d = -11 - 9. Suppose -4*c + f - 8 = 0, -3*f = -d*c + 8*c - 8. Which is smaller: w or c?
c
Let d = 1747 - 1744. Let h = -80 - -81.01. Let m = h + -0.01. Is d >= m?
True
Let o = -147 + 113. Suppose 8*w - 89 = -337. Let q = w - o. Which is greater: q or 28?
28
Let m = -28 - -39. Let k(s) = 6 - 6*s**2 + 14*s - 4*s**2 + m*s**2. Let t be k(-13). Is t > -10?
True
Suppose -2*m + 9*k - 2644 = 11*k, -2*k - 6607 = 5*m. Which is smaller: m or -1318?
m
Let l = -6.18 - -6. Let h = l + -39.82. Let q = 39 + h. Which is smaller: 2/67 or q?
q
Suppose 4*d + 138 - 122 = 0, -4*f - 5*d = 52. Is -122/15 <= f?
True
Let t be (-3)/9 + ((-20)/12 - -3). Suppose 0 = 11*f - 21 - t. Let x be f/((-202 - -1) + 2). Is 0 != x?
True
Let b(f) = f**3 + 8*f**2 + 8*f + 10. Let j be b(-7). Let h be 14 - 14 - (1 - 2)*j. Let q be 1/(-1) - 0*1/h. Is q smaller than -7?
False
Let h(y) = -y**3 + 3*y**2 - 7*y - 1. Let d be h(5). Let f(p) = -255*p - 5185. Let g be f(-20). Which is smaller: d or g?
d
Let o = 6196 - 3955. Let i be ((-46)/(-357))/((-180)/o). Let l = 1/238 + i. Is -1 less than l?
False
Let w = -99 + 155. Let p = w + -57. Let i(g) = 8*g + 6. Let j be i(p). Is j smaller than -1/4?
True
Let c be (-8)/(-48)*(-3 - (-2 + 1)). Let n(o) = 2*o - 9. Let h be n(6). Suppose -6 = -d - 5*b, d = -h*d + 4*b. Which is smaller: d or c?
c
Let k = -186.545 - -0.545. Which is greater: k or -26/7?
-26/7
Let y(v) = -8*v**2 + 17*v - 167. Let z be y(15). Is z not equal to -1707?
True
Let h = 6 + -14. Let c be ((-6)/8)/(3/h). Suppose -2*z - 3*z = c*y - 3, -2*z + 2 = 0. Is -1/4 at most as big as y?
False
Suppose -4*j + 0*j + 36 = 0. Let o be ((-4)/j)/((-24)/36). Which is smaller: 0.029 or o?
0.029
Let c be (-4)/(-14) - 8/(-14). Let o(f) = f**2 - 6*f + 3. Let v be o(7). Suppose 4*p = 2*q + q + v, 2*q - 4*p = -12. Are c and q equal?
False
Suppose 0 = -h - 28*h + 464. Suppose 18*p + 2 = h*p. Are p and 13/37 non-equal?
True
Let u = 0.667 - -0.333. Is u >= -60/83?
True
Suppose -106176 = 162*f - 156*f. Let p be f/2968 - 3*-2. Is 1 < p?
False
Let o = -0.343 + -0.126. Let i = o - -0.049. Let z = -0.32 - i. Which is smaller: z or 50?
z
Let c = 11354.777 + -11355. Which is smaller: -4 or c?
-4
Let n = 2 - 2. Let a = -1433.66 + 1474. Let l = a + -40. Is l greater than or equal to n?
True
Let x = 3/2 + -5/4. Let b = 137 - 136. Which is bigger: b or x?
b
Let x be ((-563520)/(-56))/40 - 3/(-7). Which is smaller: 244 or x?
244
Let h be -2 + -1 + (2/(-16) - (-777656)/256960). Is -1 greater than h?
False
Let j be 363/(-161) + ((-7722)/63)/(-13) + -9. Which is bigger: -2 or j?
j
Suppose 5*h = -69 - 41. Let b be (-4)/22 - 664/h. Suppose -3*y + 11*y = 0. Is y >= b?
False
Let u be 1 + 6 + 9*272/936*-3. Which is bigger: -0.028 or u?
-0.028
Suppose -q + 0*c - c - 32 = 0, 5*q + 2*c + 157 = 0. Let d = -0.0834 - 401.9166. Let u = -401 - d. Which is greater: u or q?
u
Let j = -17/2 + 25/3. Let d = -1.37 + 70.37. Let t = d + -69. Is t > j?
True
Let p be -100 - (0 - (1 + 1)). Let k = p + 92. Let q be (-4)/k - (-10)/30. Which is smaller: -1 or q?
-1
Let c = 111870 + -112005. Let a = 312 - 447. Is a greater than or equal to c?
True
Let t(m) = -m**2 - 21*m + 49. Let x be t(-23). Suppose s = x*p - 8, 3*s - 2*s = 4*p - 11. Which is bigger: s or 9/22?
s
Let v be 5 - 1/3*396/22. Let r = -298051/1314 + 2042/9. Is r bigger than v?
True
Suppose z - 11*z - 60 = 0. Let c be z/8*8/12*6. Let d be 4/(4*c) - (-80)/222. Which is greater: 1 or d?
1
Suppose -12 = -3*q + 3*x, -3*q + 7 = 2*x - 0. Suppose -2*v = 4, 2*f = -0*f + q*v + 12. Let k be 1*(0 - (-2 + f)). Which is greater: k or 4?
4
Let t = -26.95 - -23.95. Let r = 1373/380 + -1/76. Which is smaller: t or r?
t
Let q = -9.96 + 10. Let u(c) = 3*c**3 - 53*c**2 - 21*c + 49. Let y be u(18). Is q at most y?
False
Let m = 5426 - 5472. Does m = -51?
False
Let b = -0.06 - 58.94. Let w = 258 - 225. Let x = b + w. Which is greater: x or 1?
1
Let z = -5075 - -5242. Is z less than 2/7?
False
Suppose q - 2 = -2*f, -q + 0*f + 4*f + 2 = 0. Let t(y) = 104*y + 14. Let c be t(q). Which is smaller: 223 or c?
c
Let k(w) = -13*w - 1. Let l be k(10). Is l bigger than -47?
False
Let v = -71 - -70.839. Let t = v + -0.039. Is t at most as big as 0.1?
True
Let z = 5615 + -5164. Is 1809/4 >= z?
True
Let g = 31.9 + 26. Let n = 112 + -54. Let u = g - n. Is u greater than or equal to -27?
True
Suppose -5*h = -3*p - 267, 4*p = -4*h + 142 + 78. Let b = h - -1. Suppose 10*z = 15*z + b. Is -12 > z?
False
Suppose 0 = -2*m - 4*l + 30, 4*m - 21*l + 18*l - 60 = 0. Let h(o) = -3*o - 4. Let r be h(-6). Which is bigger: m or r?
m
Let j = -11515.7 - -11504. Which is smaller: j or -2?
j
Let n(c) = 59*c**2 - 1473*c - 50. Let s be n(25). Is 21/1004 at most s?
False
Let l be -267 + 5 + 1 + 5. Let r = 162 + l. Is r at least 2/5?
False
Let i be 6*(-1 - (-2)/6). Let s be (-4)/i + (-30 - -2). Is s <= -25?
True
Suppose -3*t + 67 - 146 = m, -t - 4*m = 8. Which is greater: t or -2?
-2
Suppose 10 = 5*z, p = -2*z - 19 + 23. Which is greater: p or 5/141?
5/141
Let n be 1426/186 + (-2)/3. Is n at least as big as 507?
False
Suppose 0 = -4*g - 4, -8073 = 4*v - 3*g + 1184. Does v = -2315?
True
Suppose 20*d - 61 = 339. Let q be (-3496)/(-182) - 13*(-10)/(-455). Which is greater: q or d?
d
Suppose -15 = -4*n + 9. Let o be 3 - ((-442)/8 + 11/44). Let p = -59 + o. Is n bigger than p?
True
Let l = 11147/2343985 - 4/2429. Let v = -6716/12545 - l. Suppose 2*d = -3*d. Is d > v?
True
Let l = -4.054 - -0.154. Let q = l - -3.47. Which is greater: 2 or q?
2
Let a = -823.656 - 0.344. Let i = a - -830. Which is smaller: i or 20?
i
Let s(a) = -9*a**3 - a**2 - 4*a + 12. Let m be s(3). Let o be (m/98)/(1/21). Are o and -386/7 non-equal?
True
Let q = 1.3 + -0.3. Suppose 0 = -49*w + 51*w + 282. Let x = 145 + w. Is x not equal to q?
True
Let p(q) = 7*q - 33. Let j be p(5). Let k(c) = 235*c**j + 4*c + 4 + 13 - 236*c**2. Let o be k(-3). Is o less than or equal to -3?
True
Let v be (8/3)/4 - (-3099)/9. Suppose 0 = 4*c - c - v. Let z be -2 - (-1 - c/(-45)). Is -4 less than or equal to z?
True
Let y = 21 - 12. Let i be (-58)/6 + (-10)/(-6). Let l(p) = p**2 + 13*p + 45. Let o be l(i). Which is smaller: o or y?
o
Let w = -15789.24 - -15792. Let k = 615/3443 - -1/313. Is k >= w?
False
Let l be 2627*1 - (-88 + 82). Do l and 1/2 have the same value?
False
Let r = -6363.3 + 6363. Are -588/17 and r non-equal?
True
Let m(g) = -31*g + 5. Let a be m(-1). Let v be 26 - (-17)/((-102)/a). Is 1/5 at least v?
False
Let o = 381 + -379. Suppose o*t = 5*y + 49, -2*t + 2*y = -44 + 10. Is t <= 79/6?
True
Let n be (-1)/(3 + (-8)/3). Let u = -2 + n. Suppose 4*c = 11 - 27. Which is smaller: c or u?
u
Let f(t) = -740*t - 4425. Let i be f(-6). Which is smaller: i or -0.069?
-0.069
Let h(z) = z**2 - 57*z - 117. Let o be h(59). Which is smaller: o or 2/16197?
2/16197
Let g = -145 + 144.8. Suppose -33 + 301 = 4*t. Do t 