14 + w. Is q <= -19?
True
Suppose -6*s + 2*s + 28 = z, -3*z + 40 = s. Let w be 3*35/(-7)*z. Is w equal to -179?
False
Suppose 2*b + 61 - 47 = 2*x, 3*x - 4*b - 29 = 0. Is 72/397 greater than x?
True
Let p = 2944 - 4108. Is p != -1166?
True
Suppose -5*r - 63 = -4*o - 66, 3*r + 9 = 6*o. Which is greater: 13 or o?
13
Let v(t) = -t**2 + 8*t + 154. Let o be v(-9). Suppose -117 = -5*d + 23. Let z be ((-30)/d)/(20/(-35)). Are z and o equal?
False
Let u(a) = 706*a**2 + 17*a + 12. Let l be u(-1). Are 2102/3 and l equal?
False
Let y = 34 - 25/3. Suppose 65*b = 63*b + 52. Are y and b non-equal?
True
Let t = 9165.285 + -8.285. Is t at most as big as 1/3?
False
Let t = 1 + -1. Let f = 0.56765 + 0.00235. Is f greater than or equal to t?
True
Suppose 90*m = 134*m + 5896. Which is greater: -131 or m?
-131
Suppose 4*h = -3*p - 3, -27 = -2*h + 4*p - 23. Is 192/421 bigger than h?
True
Let l = 82 - 81.729. Let z = -4042 + 4043. Which is smaller: z or l?
l
Let u = 135.9595 + 0.0405. Which is smaller: u or -0.16?
-0.16
Suppose 23*h - 22*h = 34. Let o be 170/h + (-7 - -1). Which is greater: 30/91 or o?
30/91
Suppose -9 = b - 2*a, -4*b - 4*a + 5*a - 1 = 0. Let z be (-5453)/1813 + -2 + (0 - -5). Is b equal to z?
False
Suppose 63*v + 18*v = -38*v. Do v and -2363 have the same value?
False
Let n = -181736 - -181736.7. Let j = 16 - 27. Let m = j - -8. Is m bigger than n?
False
Let g(x) be the first derivative of x**4/6 - 2*x**3 + x**2/2 - 41*x - 24. Let a(q) be the first derivative of g(q). Let p be a(6). Is 2/69 >= p?
False
Let k(r) = 2*r + 1. Suppose 7*x = -4*x - 33. Let a be k(x). Are -21 and a equal?
False
Let n = 0.543 - 364.543. Let o = n + 230. Which is greater: o or 0.1?
0.1
Suppose -7*d - 5*t + 1520 = -420, 3*t = 3*d - 816. Are -7 and d unequal?
True
Let n = -726 + 709. Is -0.1 equal to n?
False
Suppose 3*q - d - 159 = 4*d, -305 = -5*q - 5*d. Let m = q - 871/15. Which is smaller: m or 0?
m
Let p = -76 - -118. Suppose -5*k + 10 = 0, -4*k + k + p = 4*s. Which is smaller: 55/7 or s?
55/7
Suppose 0 = -5*y + 9 - 34, 4*v - 21 = -3*y. Let t be 1*(54/v)/(-1770). Is t at most 1?
True
Let s(o) be the third derivative of o**6/24 - o**4/12 - o**3/6 + 39*o**2 - 1. Let x be s(-2). Which is smaller: -36 or x?
x
Let m(w) = 19*w + 1. Let p(h) = 58*h + 4. Let x(c) = -7*m(c) + 2*p(c). Let z be x(2). Let y = 206.502 - 206.602. Are z and y equal?
False
Let p = 1116.23 + -1168. Let k = -53.2 - p. Which is smaller: 1 or k?
k
Let w be (31/62)/(-1*(-1)/68). Suppose 8 + w = 3*j. Are 16 and j equal?
False
Let g = -11215 - -11216. Is -10/241 at least as big as g?
False
Let x = 277.652 - -0.348. Let f = x - 278.1. Which is bigger: -2/145 or f?
-2/145
Let y(l) = l**2 - 4*l + 4. Let p(g) = g**2 - 4*g + 4. Let f(d) = -2*p(d) + 3*y(d). Let i(b) = 324*b + 4213. Let q be i(-13). Let z be f(q). Is 1/90 at most z?
True
Let q be (-4 - 56481/(-9)) + (-38)/57. Which is smaller: q or 6270?
6270
Let n(m) = -m**3 - 9*m**2 - 3*m + 13. Let d be n(-8). Let i be 3 + (-2)/((-2)/d). Let a be (-87)/i + (-6 - -4) + -2. Is 1 equal to a?
False
Suppose 0 = -4*p - 28 + 8, -4*n - 17 = p. Let i be 3 + 0 + (n - -2). Let t(a) = 2*a**3 + 4*a**2 - 5*a + 5. Let m be t(i). Which is bigger: m or 26?
m
Let a = -4 - -6. Let s be a/9 - 705/135. Suppose -2*l = -17*l - 75. Is s bigger than l?
False
Let g be ((-40)/(-15))/(72/27). Is 3/1799 != g?
True
Let f = 258109/95 - 13711/5. Is -25 at least as big as f?
True
Let d(r) = -58*r + 453. Let v(j) = -59*j + 457. Let n(c) = -6*d(c) + 5*v(c). Let b be n(7). Which is bigger: -59 or b?
-59
Let d = 27450 - 24177. Do d and 3273 have the same value?
True
Let w be 0 + 2/2 + ((-460)/20)/(-23). Is w > 123/212?
True
Let g(u) = 7 + 2 - 8 + 5 + 3*u. Let f be g(-2). Suppose -5*t + 6*t = f. Which is smaller: 2/161 or t?
t
Suppose 108 = 16*u + 44. Suppose -4*y = -4*q + 440, -u*q = -22*y + 20*y - 218. Which is smaller: -110 or y?
y
Let a(w) be the third derivative of w**6/360 + 3*w**5/40 - 9*w**4/8 + 27*w**2. Let g(q) be the second derivative of a(q). Let o be g(-4). Is o >= -2?
True
Let c = -14.97 + 10.87. Is c >= 24?
False
Let f = -220102/53 + 4153. Let w = -449 - -449. Is w >= f?
False
Let q = -9960.98 - -9961. Is q at most 27/2?
True
Suppose 11*j - 60 = 5*j. Let s be 16/j*43/(-4). Let x = -65 - -49. Which is greater: x or s?
x
Let o = -2.19 + 0.924. Let m = o - -0.266. Is m at least as big as 4?
False
Let q = 2 + -1. Let r be 99664/96 - 1*q/6. Let k = 67472/65 - r. Which is smaller: k or -1?
-1
Let t be (-1 + -3)/(-24)*-2 - (-11308)/(-6). Are t and -1886 non-equal?
True
Let s be (-6)/24*6/(-10). Let a(c) = 798*c + 3991. Let i be a(-5). Which is greater: i or s?
i
Let t = 0.14 - -0.15. Let g = -0.043 - 0.297. Let h = g + 0.24. Is t < h?
False
Suppose -z = 274 - 209. Let t be (-21)/(-20)*z/26. Is t greater than -4?
True
Let v(m) be the third derivative of 5*m**4/24 - 7*m**3 + 9*m**2. Let c be v(13). Let p be 15/(-10)*(c/(-15) - -1). Which is bigger: p or -0.2?
p
Suppose -4*c + 59*d - 15 = 62*d, 2*c = d + 5. Is 284/33 greater than c?
True
Let u be (24/(-20))/((-8)/20). Suppose -3*w = u*f + 498, 699 = -f - 3*f + 3*w. Let y = 87 + f. Is 0.1 at most as big as y?
False
Suppose -5*k = -10, 0 = -2*q - 344*k + 347*k + 76. Is 27 less than q?
True
Suppose -2*t = 3*k + 948, 0*t = -3*k + t - 957. Let p = -6357/20 - k. Is 0 smaller than p?
True
Suppose 0 = 58*y - 50*y + 48792. Let j = -42771/7 - y. Which is smaller: -11 or j?
j
Suppose 3*c - 2*c + 3 = 0. Let a = c + 1. Let v = -837/5 + 164. Is v equal to a?
False
Let x = 8 + -9. Let u be 2 + 3 + -6 - x. Let j be ((-156)/144)/(-13) - (-2)/6. Is j less than or equal to u?
False
Suppose 2*j - 62 = -184. Let h = 57 + j. Which is smaller: h or -7/5?
h
Let l = 4955 - 4878. Is l at least 95?
False
Let x be ((-9)/(-5))/(2/(-10)). Let u be 1/x - 2*(-607)/72. Which is smaller: u or 17?
u
Let o = -62 + 40. Let g = o - -23. Let n = 61/441 + 2/441. Are g and n equal?
False
Let m be 168849/(-117) + 23/((-1196)/(-8)). Are -1440 and m unequal?
True
Let h = -860 + 865. Suppose -3*q = s - 4*q - 415, s = -h*q + 433. Is 419 less than s?
False
Let x = -599744 + 16655490626/27771. Which is greater: -1 or x?
x
Let i(n) = 2*n**2 - 28*n + 81. Let o be i(4). Do 4/2989 and o have different values?
True
Let h = 1820 + -1809. Let u = -1.5 + 2.1. Is h greater than or equal to u?
True
Suppose 11*r - 18 = 3*l, 4*r - 10*l + 6*l - 24 = 0. Which is smaller: r or 2/689?
r
Let q(l) = -2*l**2 - 17*l + 15. Let j be q(-9). Let g be (0 + 111/j)*78/39. Is 1/7 <= g?
True
Let k be (-90)/8*360/(-75). Let g = 32 - -24. Do g and k have the same value?
False
Let m = -1091 - -1714. Let o = m + -615. Let x be (-2 - 32/(-18))*1. Is o greater than x?
True
Let q be -14*9/(126/(-20)). Let y be ((-1)/q)/(3/(-15)). Is y > 31?
False
Let h = -185988.007 + 186067. Let y = 0.007 + h. Let q = y - 100. Which is greater: q or -2?
-2
Let d = -228.90316 - 0.29684. Which is greater: 1/5 or d?
1/5
Let p be (-2 - -2)/(-16 - -17 - -1). Are -1/336 and p non-equal?
True
Let p = 4787/1232 - 63/16. Let v = p + -155/1463. Which is smaller: 4 or v?
v
Let i(w) = -w - 1. Let s be i(1). Let b be 1/(s/((-10)/(-15)))*-57. Is b at least as big as 27?
False
Let v = -4414 - -4405. Is v > 304?
False
Let z = 24 + -28. Suppose 0 = 6*c + 31 + 17. Let a(n) = n**3 + 8*n**2 + n + 3. Let m be a(c). Is z != m?
True
Let d = -414454/115 + 3604. Which is smaller: d or 0?
0
Let l be ((-1)/3)/((-22)/(-330)*55). Is -112/11 at least l?
False
Let o = -1/731 + -4379/5117. Is -0.4 < o?
False
Suppose 52 = 45*m - 61 + 23. Which is smaller: m or 38/31?
38/31
Let q = 275 - 228. Let o = q + -44. Suppose 0 = 2*b + 2*b + 8. Which is smaller: o or b?
b
Let h be 5 - (3 + -7) - 4. Suppose -145 = h*w - 2*p, -2*w - 29 = -w + p. Are -30 and w equal?
False
Let a(w) = -w**3 + 3*w**2 + 79*w - 340. Let v be a(5). Suppose -4*o - 5*z + z = -116, -5*o = 3*z - 135. Let s be (4/o)/((-1)/(-4)). Are v and s unequal?
True
Let t(m) = -5*m**2 - 10*m + 4. Let l be t(-2). Let h be (1 + -1)/(-1) + 8. Suppose w - h = -l*n + 9, -3*n - 108 = -5*w. Is w < 16?
False
Suppose -14*v = -2652 - 582. Suppose -5*n + i = v, -5*n - 5*i = -i + 226. Is -47 bigger than n?
False
Suppose -3*x - 3*i - 17 = -8, -x - 5*i - 15 = 0. Which is smaller: 2/2497 or x?
x
Let c be 172/138 - 8/6. Suppose -5*l + 2*a +