at most as big as 1/472?
True
Let b = 14 + 4. Let z be (0 - (-3)/2)*(-20 + b). Let k be (-2)/(1*(z + 24/9)). Is k bigger than 20/3?
False
Suppose 2*y + 2*o + 2 = 0, -4*o - 7 - 3 = y. Suppose -y + 6 = h. Let k(x) = x + 6. Let n be k(-3). Do h and n have different values?
True
Let x = -0.19986 + 0.19986. Do x and -7033 have different values?
True
Let c = 110 + -48. Suppose -8*h + 10 + c = 0. Which is greater: 5 or h?
h
Let y be 9/4*(-208)/39. Let m be ((-90)/y - 8)*36. Suppose -2*o + 4*p = 20, -2*p + 4*p - 58 = 4*o. Are m and o non-equal?
True
Let k = -488 - -492. Suppose 20 = 6*x - k. Do 0.23 and x have different values?
True
Suppose -184 = -g - 3*g - 4*h, 5*g - 246 = -h. Suppose 2*y = 7*y - g. Let r be 2*(0 + 1/2). Is y at least as big as r?
True
Let a = 78 - 77.75. Which is bigger: a or 0.9?
0.9
Suppose 2*b + 8 = 0, t - 2*b - 23 = -b. Let r(h) = 5*h - 72. Let m be r(t). Is m < 26?
True
Let x = -198 + -99. Let d = -305 - x. Suppose 2*y + 14 = -0*y. Which is bigger: d or y?
y
Let w be (-1106)/550 - 16/24*-3. Let j = 206/6325 - w. Is j at least 0?
True
Suppose 13*o + 3*o - 16 = 0. Suppose -u - 105 = 4*q, -u = -0*u + o. Do q and -27 have the same value?
False
Let w be 16/(-10)*(208 + 97)*(-2 + 1). Let f(a) = -243*a + 1. Let t be f(-2). Do w and t have different values?
True
Let t be (-14)/21*(13 + -1). Let o be (-808)/576 + 3/t. Let h = 58 - 520/9. Is h equal to o?
False
Let x be (0 - 0)/(312 - 310). Let i = 23.02 + -0.02. Is x at most i?
True
Let j be 70939799/2739210 + -26 + (-1)/(-10). Which is smaller: j or -1?
-1
Let f be 8/(-32) - (-2382)/(-8). Let z = -199 - f. Let x = z - 144. Are x and -46 nonequal?
True
Suppose 0 = 3*a + 2*a - 95. Suppose -4*b = 5*c - 8 - 7, -3*b = -4*c - a. Suppose 19 - 5 = 2*l - 2*p, 0 = -b*l - 2*p. Is -3 at most as big as l?
True
Let b = 31 - 34. Let x be (-48)/11 + (1 - b). Let a(d) = 6*d + 216. Let h be a(-36). Which is smaller: h or x?
x
Suppose 4*r - 19457 = 2*q - 1951, -r - 5*q = -4349. Are r and 4373 non-equal?
True
Suppose -9*n = -36*n - 65*n - 62100. Which is bigger: -677 or n?
n
Let x = 30.3 - 29. Let n = -1.4 + x. Let j(y) = 3*y**3 - 7*y**2 - 5*y + 6. Let o be j(3). Which is smaller: o or n?
n
Let z = -36087 + 35747. Which is smaller: z or 3.3?
z
Let k(o) = 3*o**3 + o**2 + o - 1. Let p(y) = 4*y**3 - 10*y**2 - 6*y - 19. Let t(m) = 2*k(m) - p(m). Let b be t(-5). Are b and 22 unequal?
True
Let u = -208 - -207. Does 2/19 = u?
False
Let j = -8373 + 8381. Is 36.1 <= j?
False
Suppose 6 = -6*s + 30. Suppose 0 = -s*m + 3*d + 18, 18*m - 8 = 16*m + d. Is -2 at most as big as m?
True
Suppose -h = h - 5*k - 21, 2*k = 4*h - 2. Let t = h + 1. Let q be (20 - 1533/77) + (-1 - (-3064)/3322). Is t < q?
True
Let z = 102971/61 - 1688. Let m(u) = u**2 - 29*u - 29. Let d be m(-1). Does z = d?
False
Let d be -3 + 0 + (-351)/(-114). Let q be (524/(-70))/(1*76/(-5)). Let f = d + q. Is -1/2 at least f?
False
Suppose 3*j = 2*k + 27, 5*k + 35 = 3*j - 2*j. Let r(s) = -s**3 - 6*s**2 + s + 6. Let b be r(k). Let m be -3 - (b + 1)*356/(-124). Is m at most 1?
True
Suppose -2*i = 2*w - 33 - 69, 0 = 3*i + 2*w - 157. Let x = 71 - i. Let z be 4/x + (-137)/4. Is -34 greater than z?
False
Suppose 11*x = 3*l + 27538, -12 + 13 = -x. Which is bigger: -27550/3 or l?
l
Let f = -6705.02992 + 6705. Which is bigger: 1/2 or f?
1/2
Let h(i) = i**2 - 38*i - 189. Let s be h(43). Suppose 0 = -s*y + 20 + 6. Is -24 at most y?
True
Let r(q) = 9*q - 132. Let i = -132 - -149. Let h be r(i). Which is bigger: h or 23?
23
Suppose 78 = -5*v - 2*x, 0 = 36*v - 35*v - 5*x - 6. Let s = -3/38941 + -52765046/116823. Let n = s + 439. Which is bigger: v or n?
n
Let p = -107819150 - -13046036925/121. Let h = -663 - p. Let c = -1 - -1. Which is bigger: c or h?
h
Let k = -8645 + 6182. Is -2463 != k?
False
Let m = 74 - 89. Let h be (-10208)/60 + (-2)/m. Let b be (-99)/((-4)/(-14) + h/(-140)). Which is greater: b or -67?
b
Suppose 0 = 5*j + 5, 0 = 7*x - 9*x - 5*j + 3. Let l be (-441)/(-105) + x/5. Suppose 20 = -l*s, -13*b - s = -8*b - 1. Is b bigger than 1/73?
True
Let g = 11085 + -11085. Is -19/1321 greater than g?
False
Let z = -2973/8 - -35/24. Suppose -3*p + 2*a - 1102 = 0, 0 = -a - 1. Let j = z - p. Which is smaller: -3 or j?
-3
Suppose 5*p = 4*w + w - 230, p + 242 = 5*w. Let o = -96 + 112. Let j = o - -32. Which is smaller: j or w?
j
Let v = 4789 - 4714. Let c = 73 - 0. Let i = v - c. Is i != -0.1?
True
Let i = 437.97 + -604.918. Let b = i - -167. Is 3/4 greater than or equal to b?
True
Suppose 0 = 2*f - 4, -2*k + 724 - 74 = 5*f. Let y = k + -285. Let w(l) = 8*l**2 + 2*l - 1. Let j be w(2). Is j greater than y?
False
Let o be 178/(-890)*22/2*-5. Which is smaller: -6 or o?
-6
Let l be 3/2 - (-76)/(-8). Let m = -126 - l. Which is smaller: m or -117?
m
Suppose 2*a - 2*d = 2, 2*d - 28 = -3*a - 0*d. Let z be 1/(21/a) + (-3924)/14. Let c be 3/(-2)*(z/21)/10. Is 3 equal to c?
False
Let r(d) = 39*d + 234. Let g be r(-6). Is g at least as big as 5/1004?
False
Suppose 5*p = p. Let i = 878/345375 + 129198428599/463493250. Let g = i - 3066/11. Which is greater: g or p?
g
Suppose -p = -15 - 0. Let z = 1057 + -1619. Let f = z + 561.9. Is p at least f?
True
Let a(k) = k**3 + 23*k**2 + 24*k + 44. Let p be a(-22). Suppose p = -2*s + 11 - 3. Let r be ((-212)/24 - -5) + s. Is -0.5 >= r?
False
Let u(s) = -s**3 + 8*s**2 + 4. Let y = 46 - 38. Let m be u(y). Let t be (-4)/(12/(-8) - m). Are t and 1 equal?
False
Let w = -21340 - -21340.1704. Which is greater: 0.2 or w?
0.2
Let g be 0 + 5 + -10 + 442/(-36). Is -17 smaller than g?
False
Let h be (48/(-40))/(10/(-25)). Suppose 0 = s - 3*z - 34, 4*s - h*z + 2*z = 158. Is 42 smaller than s?
False
Suppose 39*c + 7*s = 43*c + 14312, 0 = -4*c - 5*s - 14408. Which is greater: -3599 or c?
c
Suppose -51016 + 14434 = 273*l. Which is greater: -20 or l?
-20
Let q = 6193 - 6191. Which is greater: 109/33 or q?
109/33
Let j be ((-3)/30)/((-4)/(-30)). Let m(g) = g**3 - 82*g**2 + 851*g - 771. Let h be m(70). Is j greater than h?
True
Suppose 4*h - 5*a = -127, 5*h - 9*a + 8*a = -164. Let z be ((2/(-51))/2)/((-110)/h). Is -1 > z?
False
Let k = -324 - -323. Let g = -1523572/383 + 3978. Are k and g nonequal?
True
Let q be (-2356)/38 - -34 - -18. Suppose 3*g = 5*g + 8. Let s be (-1)/2 + 38/g. Is q bigger than s?
False
Let u(v) = 68*v - 1225. Let g be u(18). Which is smaller: g or 11/295?
g
Suppose -1738*t + 1758*t = -25980. Which is smaller: t or -1295?
t
Let w = 0 - -241. Let y = -241 + w. Is 5/7 >= y?
True
Let x = 5 - 174. Let f = x + 205.2. Let t = f - 36. Which is bigger: -3 or t?
t
Let j = 1194 + -1194.01. Are -26 and j equal?
False
Let q be 6/63*18/(-32). Let w(f) = 2*f**3 + 28*f**2 + 27*f + 17. Let p be w(-13). Suppose 4*y + s + p + 1 = 0, -9 = 5*y + 4*s. Which is smaller: q or y?
y
Let f(t) = -4. Let s(v) = 18*v - 331. Let g(y) = 2*f(y) - s(y). Let q be g(18). Is q less than -1/332?
True
Let s be (-3)/(-2)*(-2)/(-3). Suppose -479 = 2*m + 5*f - 425, -81 = 5*m - f. Let j be s/(-1) + (-34)/m. Which is bigger: -3/40 or j?
j
Let r = -272 + 508.5. Let x = 235 - r. Which is greater: x or 2/5?
2/5
Let f(o) = 9*o**2 - 14*o - 24. Let x(q) = -25*q**2 + 43*q + 71. Let s(v) = -11*f(v) - 4*x(v). Let p be s(19). Do p and 2/73 have the same value?
False
Let r(d) = 5*d - 5. Let b be r(-5). Let g = -300.1 + 230.7. Let z = 67.4 + g. Which is smaller: b or z?
b
Suppose 28 = 55*a - 60*a - 4*f, a - 7 = -5*f. Let l be (a + 3409/427)*1. Let h(x) = -x + 6. Let s be h(5). Is l smaller than s?
True
Let s be 1 + 1/(-1) - 23*2. Let y = -47 - s. Let v = 52.32 + 6.68. Are v and y nonequal?
True
Suppose -22 - 6 = -4*m. Suppose -11*h + m*h = 0. Let b(f) = -f**3 - 2*f**2 - f - 1. Let n be b(h). Which is smaller: -1/4 or n?
n
Let j = -15112 - 3828. Which is greater: -18941 or j?
j
Let m be 2/(-12) + (-1628)/168. Let j = m - -9. Let l be (1 - -1)*-1 + (-7)/(-7). Is j at least as big as l?
True
Let v be 0 + 2/6 + 240/36. Let m be v*(-5)/(-245)*9. Is m at least as big as 0?
True
Let f be ((-4368)/130)/(4/(-240)*9). Let o be 2/12 + (-9359)/(-42). Is f greater than o?
True
Let i(m) = 2*m**3 - m**2 + 2*m. Let h(o) = -13*o**3 + 12*o**2 - 10*o + 17. Let p(j) = -h(j) - 6*i(j). Let n be p(7). Which is smaller: 13 or n?
13
Suppose 3*v - 5*v + m + 17 = 0, -2*v = m - 19. Let z = 3067 - 3076. Let x be (1 + -