e 0 = -2*f + 4*w, 2*w - k = 4. Which is greater: f or 5?
f
Let w be 1*2*(13 - 11). Suppose 0 = 2*k - 4, -3*v - k + 2*k = -w. Is 7 equal to v?
False
Suppose 2*m + 0*m = 8. Suppose -4*u - 30 = u. Let n be (-45)/(-6)*m/u. Which is bigger: n or -4?
-4
Let x be (1 + 1 + 1)/1. Suppose -x*f = 2*f. Let y be -4 - ((-200)/(-13))/(-4). Is y >= f?
False
Suppose -31 = -3*w + 89. Suppose d + m + 7 = 0, d - 4*m + 2 = -0*m. Let p be (36/30)/(d/w). Which is greater: -5 or p?
-5
Let x = -2 - -17. Let t be 2 + (-1 + 4)/3. Suppose -45 = -t*k - 0*k. Do x and k have different values?
False
Suppose 3*d = -q + 86, -5*q - 150 = -10*d + 5*d. Suppose -m + 88 = 4*k, m = -3*k + 3*m + 55. Let w = d - k. Is w smaller than 8?
False
Let c be 12/(-2)*144/27. Let f be 4/3*144/c. Let x be 48/126 + f/9. Which is bigger: -35 or x?
x
Let h = -3 + 0. Let l be h/2 + 15/6. Let u be (-48)/(-26) + -3 + l. Which is smaller: u or 0?
u
Suppose -5*i + 21 = -4. Suppose 0*b - 3*y = -i*b, -2*b + 3*y = 0. Suppose 3*m - 8 = -3*x + 10, 4*m = -5*x + 25. Is x >= b?
True
Let m be (-16)/318*(-18)/(-24). Which is bigger: m or 10?
10
Suppose -23 + 3 = -5*n. Suppose -4*x = -2*x - n. Suppose -2 = -z + g, -x*z = 3*g - 2*g + 8. Which is smaller: -0.1 or z?
z
Let g = -163.21 - -163. Is g at most -1?
False
Suppose -k = -5*x - 1873, -k + 4*x + 1583 = -295. Let f = k + -168924/89. Let u = f + 99/445. Which is smaller: u or -1?
-1
Let v(z) = 106*z - 6. Let g be v(-3). Let u be (g/(-140) - 3) + (-2)/(-3). Which is bigger: u or 0?
0
Let a be (4 - 120/14) + (-6)/14. Let c be -1*((-4)/(-16))/(a/(-4)). Which is smaller: -1 or c?
-1
Let g(t) = -t**2 - 67*t + 627. Let h be g(-77). Which is smaller: h or -2?
h
Let r = 435 + 279. Which is greater: r or 715?
715
Let s be 6*(592/(-132) - 4/22). Is -28 bigger than s?
False
Let m(p) = -p**2 - 6*p + 3. Let s be m(-6). Suppose -s*n + 31 = -4*i, -2*n + 3*n = i + 9. Let g be (12/(-10))/((112/(-40))/(-7)). Which is smaller: g or i?
i
Let t = -1.2 + 0.7. Let n = 5.23 - 0.43. Let z = n + -5. Is z greater than t?
True
Suppose 4*d - 23 = 81. Suppose 3*h - h + d = 0. Let z = h + 12. Is z > -6/7?
False
Suppose -3*r + 7*r + 4 = 0. Let k = 0.45 + 29.55. Let i = 24 - k. Which is greater: i or r?
r
Let s = -3454 - -13961/4. Let k = 690433/12 - 57574. Let q = k + s. Which is greater: q or -2?
q
Let a = 684 - 2056/3. Is a equal to 2/29?
False
Let d(l) = -2*l**2 + 41*l + 25. Let s(z) = -z + 19. Let q be s(-2). Let w be d(q). Is 26/5 smaller than w?
False
Suppose 4*u + 24 = 4*m, 5*m + 0*u - 14 = u. Let j(f) = -f**3 + f**2 + f + 3. Let t be j(m). Which is bigger: t or -3/11?
t
Let u = -36.09 + 34.6. Let s = -0.49 - u. Is s at least 2?
False
Let k(i) = -i**2 - 7*i - 3. Let s be k(-8). Let m(d) = -4*d**2 - 3*d - 2. Let z = 7 - 9. Let a be m(z). Which is smaller: a or s?
a
Let l = 0.3227 + -0.0227. Which is smaller: l or -0.033?
-0.033
Let d be (1 - -1)*5/2. Suppose -a + u - 2 = a, 3*a + 10 = d*u. Which is smaller: a or 2?
a
Let g = -183 + 182. Is 0.31 at most as big as g?
False
Let x = -685 - -719.28. Let p = 34 - x. Is 1 greater than or equal to p?
True
Let l be (-8772)/(-255) + 2/(-5). Is 33 greater than l?
False
Suppose 0 = 2*p - 4*p - 2*g + 32, -3*p + 16 = -5*g. Is 3 at least as big as p?
False
Let z = -61 + 116. Suppose 6*q - q = -z. Is -13 not equal to q?
True
Suppose -54*h + 58*h - 16 = 0. Suppose 0 = -h*s - 4*s + 152. Which is smaller: s or 20?
s
Let f = -74 - -73. Let l be (f - (-4 + 1)) + (-198)/121. Is l greater than 0?
True
Let a = -218 + 11989/55. Let x(q) = q**3 - 3*q**2 - q + 4. Suppose 3*u - 8*u + 35 = 5*i, 0 = -5*u - 2*i + 23. Let h be x(u). Which is greater: a or h?
h
Let l = -1.74 + -117.26. Let s = l - -134. Is -0.1 equal to s?
False
Suppose 2*d + 12 = -4*p - 8, 0 = 3*d + 3*p + 15. Let h = 175 + -298. Let i = h + 489/4. Which is bigger: d or i?
d
Let n be 3/(-10)*19/((-20520)/75). Do n and 0 have the same value?
False
Suppose 0 = -19*d + 6042 - 779. Suppose g - 4*x + 190 = 3*g, d = 3*g + 4*x. Which is smaller: 88 or g?
g
Let n(s) = -s**3 + 12*s**2 + 379*s - 37. Let f be n(25). Is 1313 >= f?
True
Let a = -5.331 - -2.331. Is 0.253 greater than a?
True
Let r = 542090 - 16269629/30. Let o = r - -231. Which is greater: 0 or o?
o
Let f = 2 - 1.7. Let i = 2.3 + -1. Let k = f - i. Is 2 greater than or equal to k?
True
Suppose 747*t - 750*t + 93 = 0. Is t less than or equal to 336/11?
False
Let n(h) be the first derivative of 3*h**2/2 + 10*h - 2. Suppose 6*p + 5*u - 5 = p, 0 = 5*p - 2*u + 30. Let q be n(p). Do -6/7 and q have the same value?
False
Let w = 1588 + -1296. Is 289 not equal to w?
True
Let k(r) be the third derivative of r**5/60 + 5*r**4/12 - 4*r**3/3 - 5*r**2. Let j be k(-11). Suppose 0 = v + 2*v - j. Which is bigger: 1/11 or v?
v
Suppose 7*k - 45 = 2*k. Let z be ((-2)/2)/(-23 + 24). Let m be (-2 + 1)/(z/k). Which is bigger: m or 8?
m
Let b = 96521/154 + -12267/14. Let l = b - -250. Let x = -0.2 + 1.2. Is l > x?
False
Let l = -268 - -1347/5. Let y be (8/(-70))/(8/20). Which is greater: y or l?
l
Let a = 0 - 1. Let c = -2863/94 + 27/470. Let n = 30 + c. Is a greater than n?
False
Let g(v) = v**3 - 8*v**2 + 3*v - 52. Let n be g(9). Is 55 less than n?
True
Suppose 5*k + 2*o = 4*o + 5, 0 = 2*k + 2*o - 2. Let v = -33 - -51. Let a be v/(-210) - 2/10. Which is greater: k or a?
k
Let p(u) = -7*u - 41. Suppose 1 = -3*a - 17. Let v be p(a). Which is smaller: 2/7 or v?
2/7
Let b be (2 - 0) + 0 + (-198)/126. Let a = 4 - 2. Suppose 0 = p + c - 1, a*c - c = 0. Which is smaller: b or p?
b
Suppose 10*j + 4 = 12*j. Suppose 0 = 2*p - 2, -j - 3 = 2*h - 3*p. Which is bigger: h or -1/10?
-1/10
Let a = -535 + 938. Which is smaller: 402 or a?
402
Let a = 2959 + -2771. Is a at least as big as 188?
True
Let r = -6 - -6. Let v be (-90)/(-16)*(-5)/25. Let o = -7/8 - v. Is o > r?
True
Let j = -3 - -15. Let q be (j/(-39))/(25 - (3 - 0)). Which is greater: 0 or q?
0
Suppose 3*x = -0 + 6. Let y be -2 + (x - 1 - -1). Let t = 1 - y. Which is smaller: t or 0.01?
0.01
Let n be (-1)/3 + (-16859)/(-69). Is n greater than or equal to 242?
True
Suppose 0 = -0*j - 3*j + n + 11, -2*j = -n - 9. Let v be 8/j - (0 - 1). Suppose -v*t - 26 = -3*h - 3, 20 = -5*t. Which is greater: h or -1/20?
h
Let o = -947/130 - -37/5. Suppose -10*z = -77*z. Is z at most as big as o?
True
Suppose n = 4*n + 144. Suppose 1922 + 1966 = -81*c. Is n at most as big as c?
True
Suppose -5*k - 54 = -8*k. Suppose -3*d = -5*c - 22, 0 = -2*d - 4*c - k - 4. Which is greater: -3/44 or d?
-3/44
Let q(s) = 2*s**3 - 10*s**2 + 5*s + 12. Let c be q(4). Which is greater: -4/131 or c?
c
Let s = -193 - -587/3. Which is greater: s or 3?
3
Let a = -24.3 + 23. Let y = -1.3 - a. Let c = 2 + y. Is c <= -1?
False
Let r = 1076 - 1531. Which is smaller: -454 or r?
r
Let d(g) = -g**3 + 17*g**2 + 36*g + 47. Let y be d(19). Is y greater than or equal to 9?
True
Suppose u + a + 5 = -u, -2*u + 3*a + 15 = 0. Let l be 1*((-264)/(-63) + -4). Which is bigger: l or u?
l
Let n be 73/413 - (-1)/(-7). Suppose 0 = 3*l + 4*i - 13, i - 3*i + 11 = -3*l. Is l less than n?
True
Suppose 6*j = -2*j - 24. Let f be (j + 2/(230/347))*-5. Which is smaller: -1 or f?
-1
Let z = 141394/5083 - 640/23. Let g = z - 874/1105. Are g and -2/3 non-equal?
True
Let j be (-12)/39*(68/144)/(-17). Is -1 greater than j?
False
Let s be (-7)/35 - 517/(-35). Let k = s - 932/63. Let q be 1/(-3) + 12/9. Which is greater: q or k?
q
Let k(z) = z**2 - 14*z - 36. Let i(h) = -h**2 + 14*h + 37. Let q(a) = -5*i(a) - 6*k(a). Let u be q(16). Let f = -167/1590 - 3/106. Which is greater: u or f?
f
Let d = 2371 + -26206/11. Which is greater: d or -10?
-10
Let i be 43/204 - (-2)/(-8). Is -1 at least as big as i?
False
Suppose 0 = 15*b + 269 + 361. Which is greater: -41 or b?
-41
Suppose -16 = -2*x - 0*x - 5*t, 3*t = 3*x - 3. Let v(u) = -u**x - 3*u + 14*u + 8*u**2 + 7 + 3*u**2. Let m be v(12). Which is greater: 1 or m?
1
Let o = -78/155 + 1793/3255. Let q = -0.1 - 1.9. Let l = -2 - q. Which is bigger: l or o?
o
Let p(g) = -g**3 + 22*g**2 + 14*g + 43. Let i be p(23). Is -164 greater than i?
False
Let g be -4 + 16 + -5 + 549/(-81). Are -1 and g equal?
False
Suppose -z - 5*r + 89 = -100, -5*z + 4*r = -945. Which is smaller: z or 190?
z
Let l = 12 + -6.1. Let h = -6 + l. Let m = h + -0.1. Which is bigger: 0.3 or m?
0.3
Le