). Let j be i(-7). Are k and j non-equal?
True
Let o = -10543.04897 + 0.04897. Is 0 at most as big as o?
False
Suppose -5*m = 5*f - 210, 5*m = -2*f + f + 54. Suppose -f = -3*z - 33. Which is smaller: z or 6?
z
Let h(n) = n + 237. Let m be h(11). Which is greater: 253 or m?
253
Let p = 63.065 + -0.065. Let f = p + -62.9. Which is smaller: f or 0.5?
f
Suppose -3*a + 3*l + 522 = -3*l, -3*a + 525 = -3*l. Are 190 and a unequal?
True
Suppose 0 = 4*g + 4*x + 32, 5*x - 51 = 3*g + 5. Suppose 0 = 6*t - 5 - 7. Suppose -4*i = -5*a + 35, i - a + 11 = -t*a. Which is smaller: i or g?
g
Let g be (-50)/100*3/4*(-32)/(-30). Is g greater than or equal to -1.1?
True
Let a(k) = 13*k + 96. Let n be a(-7). Suppose 3*u = -5*p + u + 560, 0 = -n*p + u + 545. Which is greater: 109 or p?
p
Suppose w - 2*f = -4*f - 75, -3*w - 224 = 5*f. Let a = -70 - w. Suppose 5*t - y - 8 = 0, 0*y = y + a. Is -0.07 < t?
True
Let z = 394 - 390. Suppose 0 = -5*q - 5*u - 0 - 115, z*q + 5*u = -97. Which is greater: q or -53/3?
-53/3
Suppose 7*w = 5*t - 12669, -81*t + 79*t + 5*w = -5061. Is t equal to 2539?
False
Let h = -386 - -386.2. Is -219/7 > h?
False
Let n = -308 - -314. Let d be (-24)/(-1824)*(-8)/n. Is d at least 1?
False
Let w = -0.1 + -0.6. Let y = 0.48 + w. Let n = y + 3.22. Are 1 and n equal?
False
Let t = 1014 - 1209. Which is greater: -775/4 or t?
-775/4
Let g(a) = a**2 - 23*a - 7. Let j = -173 + 192. Let z be g(j). Is z < -82?
True
Suppose -1082*i + 1113*i + 134 = -145. Suppose -18 + 70 = -4*f. Which is smaller: i or f?
f
Suppose t = -3*y + 10, 2*t + 0*y + 4*y - 14 = 0. Is 1/251 at most t?
True
Suppose 10 = -4*a - 2*c - 84, 68 = -3*a - 4*c. Which is bigger: -26 or a?
a
Let b = 352/5 + -70. Let p = -39 + 0. Let x = 29 + p. Is b <= x?
False
Let d(y) = y + 5. Let z be d(-5). Let v = -3688 + 5454. Let h = -273732/155 + v. Is h at least z?
False
Let g be (415 + -427)*(-7)/(-154). Let z = 0.89 - 0.8. Is z >= g?
True
Let t(l) = 82*l + 76*l - 153*l - 13. Let i be t(35). Is 161 at most i?
True
Let n(k) = 2*k**2 + 27*k + 17. Let j be n(-13). Let x be (0/((-8)/j))/(-1). Let w be (-4 - -1) + x - 4. Is w at least as big as -13/2?
False
Let i(p) = -p**2 + 14*p + 17. Let r be i(15). Suppose -4*m - 3 = -3*v, m + 0*m - 3*v = -12. Do r and m have the same value?
False
Let c = 84 + -82. Let f(a) = -6*a + 3*a + c*a + 0*a. Let d be f(1). Is d at least as big as 1/19?
False
Suppose -5*b = 0, -12*j - 600 = -8*j - 3*b. Which is bigger: -95 or j?
-95
Suppose 2*d - a - 14 = 0, 3*a = 5*d - 2*a - 40. Suppose 3*l = 5*s - d, 3*s - 2*l = -1 + 4. Let p be s/9*-1 + (-7)/(-42). Which is smaller: p or -4?
-4
Let c = -811 - -810.9. Are c and -380/9 non-equal?
True
Let u = 5295.9458 + -5296. Is 2/7 equal to u?
False
Let p(f) = 68*f - 4149. Let b be p(61). Which is bigger: b or -76/251?
-76/251
Suppose -4*u - 209 = 3*z - 309, -2*z = 19*u - 328. Let t(c) = -c + 21. Let i be t(0). Is z at least as big as i?
False
Let n be ((-5)/453)/((-120)/(-45)). Is n at most -1?
False
Let y(t) = -3*t**2 - 22*t + 267. Let i be y(7). Which is smaller: -43 or i?
-43
Let v be 11934/3196*(-1 + 3) - 12/2. Is v greater than 0?
True
Let a = -133 + 152. Suppose -k + 40 - a = 0. Is 22 <= k?
False
Let i = 241.3 - 59.8. Let y = i - 181. Let m(d) = -d**2 - d + 2. Let u be m(0). Which is smaller: u or y?
y
Let g = 39107 + -39108. Which is bigger: g or 3.059?
3.059
Suppose 4*i = o - 24, -3*o - 5*i + 30 = -10*i. Which is smaller: o or -5/778?
-5/778
Let i be (-2)/13*(-390)/(-60). Are i and 10/313 equal?
False
Let t(d) = d**3 - 3*d**2 + 26*d - 44. Let i be t(2). Which is bigger: 142/53 or i?
i
Let x = 282 - 283. Let d = -9 + 22. Let i = d - 12.7. Is i < x?
False
Suppose 8*q + 42 - 106 = 0. Let t be (-2)/q*48/(-242). Is t != 0?
True
Let s(i) = 18*i**2 - 1. Let b be s(1). Let o be (0 - 3)/(8 - (-67)/(-8)). Suppose -103 = -o*t + 25. Is b at most as big as t?
False
Let v = 3671/6855 + -1/457. Suppose x = -x - 0*x. Suppose -a - a - 4*r = x, -2*a + 2 = 2*r. Is v at most as big as a?
True
Let i = -1872 - -1642. Which is bigger: -231 or i?
i
Suppose -11*c = -13*c + 48. Let x be 385/42 - 4/c. Which is bigger: -0.17 or x?
x
Suppose 4*k - 9*k = 7*k + 46236. Are k and -3854 equal?
False
Let n be (0 - -2)*164934/(-2040). Which is greater: -162 or n?
n
Let w = -9 + 10. Let h be 8 - (1 + (-2)/(-2)). Suppose -4*g - 4*y = 28, -3*g - h = y + 7. Which is smaller: g or w?
g
Let z(x) = -x**3 - 4*x**2 + 11*x + 36. Let t be z(-4). Let k be (t/50)/(5/((-300)/8)). Which is smaller: -1 or k?
-1
Suppose 153 = -5*d + 663. Let r be d/(-16) - 84/(-224). Let a = -30/17 - -304/153. Is r at least a?
False
Let j(o) = 4*o**3 + 6*o**2 - 7*o - 10. Let k be j(6). Let w = -1017 + k. Suppose -u - 5*l + 30 = 0, 2*l + 1 = 5*u - 14. Is w greater than or equal to u?
True
Let i = -0.8645 - -21.8645. Which is bigger: 118 or i?
118
Let m = 47/13 - 13267/3666. Which is bigger: m or -6?
m
Let w = -2681383685209/313 - -8566729024. Let l = -7985 + w. Is l >= 0.2?
False
Suppose -35 = 5*k, -2*k + 3521 = 26*b - 21*b. Which is bigger: b or 0.03?
b
Let j = 60 - 144. Let v be (j/30)/(4/(-50)). Let u = v - 33. Is u less than -0.2?
False
Let a be (18/(-8))/(29/(-116)). Let u be (-226)/(-18) - (-4)/a. Which is bigger: u or 14?
14
Let j = 5140 + -35982/7. Is j != 240?
True
Let t be (9/21)/((-1360)/(-112) + -12). Suppose -2*w - 1 - 1 = 0. Is w less than or equal to t?
True
Let y = -37.1685 + 1.0805. Let w = y - -0.088. Let s = w - -35.76. Is 1 smaller than s?
False
Let n = 80207 + -15800687/197. Which is bigger: n or -1?
n
Let w = -14 + 72/5. Let c = -8717.89 + 8718. Is w > c?
True
Suppose 0*t + 2*t + 17 = -5*y, -2*t + y + 13 = 0. Suppose 0 = t*d + 6*d + 590. Which is greater: d or -57?
-57
Suppose 0 = -5*c + 46 - 1. Suppose c*i - 12 = 6*i. Suppose 4*u = 5*g - 21, -i*u + 24 = 3*g + 5. Is u at least -27?
True
Let k = -2.33 + 478.33. Let w = -475.76 + k. Do w and 4 have the same value?
False
Suppose 0 = -50*u - 108*u + 101711 + 119331. Is u less than or equal to 1399?
True
Let h = 32906 - 31413. Which is smaller: 1500 or h?
h
Let g(b) = 4*b + 10. Let q be g(-3). Let v be (-27)/q*170/51. Are v and 48 equal?
False
Let l be 6/5*(-6125)/80. Let c(n) = -3*n**2 - 2*n - 7. Let x be c(5). Let t = x - l. Is t smaller than 3?
True
Suppose -p = 2*p + 2*g + 37, 3*p = -4*g - 47. Let m be (44/99)/((-2)/p). Let o be m*(-4)/(24/33). Which is smaller: o or -10?
o
Let y be -5 - (4 + -7) - 43. Let x be 46*(-19 + 14 - -1*4). Is y at most x?
False
Let t = -1154 - -502. Let l = t + 41077/63. Do l and -1 have the same value?
False
Let h = 103 + -107. Let m(f) = 3*f**2 + 7*f + 10. Let o be m(h). Let s be o/9 + (-4)/(-6). Is 2 at least s?
False
Let j = -2511 + 2512. Is 11/277 <= j?
True
Let t(l) = -l**3 + 4*l**2 + 20*l - 3. Let m be -1*21/(4 - -3). Let b be t(m). Is 5/18 smaller than b?
False
Let v = 47.991 + -48. Let l = v - -0.009. Let k = -263 + 262.981. Is l at most k?
False
Let p = 400 + 4732. Is p bigger than 5133?
False
Let h be -8 + 1 + (-301)/(-43) + -8515. Is h smaller than -8515?
False
Let p(l) = -l**3 + 2*l**2 + 7*l + 6. Let u be p(4). Suppose -u*n + 0*b = -3*b - 146, -4*n = -5*b - 294. Is 75 <= n?
True
Let w = 706 + -866. Let l = 0 + 0.1. Is w bigger than l?
False
Let l = -15115 - -196491/13. Let z(v) = -v**2 + 2*v + 4. Let h be z(3). Let u be h + 1*-3 + 2. Which is smaller: l or u?
l
Suppose -2*p + b = 30, -5*p + 2*b - 73 = -0*b. Let d = p + -30. Let r = d + 48. Is 4 bigger than r?
False
Let g = 1684.8 + -1685. Does g = -3/119?
False
Let k(w) = -w + 1. Let i be k(-1). Let g(j) = j**3 + 2*j + 1. Let v be g(i). Let p be 4355/420 - (-13)/(-364) - 3*(-8)/36. Does p = v?
False
Let y = -66 - -65.946. Suppose 6*p - 86 = -32. Suppose z = 5*h + 2*z - 3, -2*h = 3*z - p. Is y less than h?
True
Let j = 475 - 473.18. Let w = 643 - 643.3. Are j and w non-equal?
True
Let h(l) = -l + 2. Let r = -35 - -38. Suppose 0 = r*v + 4 + 2. Let o be h(v). Which is greater: 3 or o?
o
Let w = -2/1005 - -7/1005. Let i = -142 - -77. Let r be 26/i + (-6)/10. Do r and w have the same value?
False
Let h = 8 + -9. Which is greater: h or -18/79?
-18/79
Let y = 130.7 + -138. Let s = y + 4.3. Let x = -109/120 + 8/15. Which is bigger: s or x?
x
Let w be 17*(4 - (1095 + -4)). Let a = w + 3307765/179. Let x = -10155/358 - a. Which is bigger: -30 or x?
x
Su