3 + 170643/106. Is 1575 greater than or equal to k?
False
Let y = -26834 - -26834. Let v be (-1)/19*22/3. Which is greater: y or v?
y
Let z be 2/7 - 708/(-21). Suppose -91*m = -86*m - 3*b + 18, 11 = -3*m + 2*b. Which is smaller: z or m?
m
Let g be (-1)/4 + 1/4. Suppose r + 59 = 4*r - 4*v, r + 3*v + 2 = g. Let x be 18456/1800 - 4/(-50) - (13 - 2). Is r smaller than x?
False
Let p be 60*(8 - 12800/1584). Which is greater: p or -1?
-1
Suppose -3 = -5*g - 2*y + 3, -15 = 2*g - 5*y. Let b be ((-259)/273)/((-1)/(-30)). Let r = b - -26244/923. Is r at most g?
True
Suppose 5*f + 25 = 4*x, -2*f = -f + 5*x - 24. Let b(c) = -c + 1. Let s be b(f). Let h = s + 2. Is 3 greater than h?
False
Let n = 16 - 27. Let k = 196.3 - 193. Let z = -3.3 + k. Which is greater: n or z?
z
Let j = -122 - -283. Suppose -147 = 4*h + j. Let x = -79 - h. Is -3 not equal to x?
True
Suppose 4*s - 4*u + 60 = 0, -8*s - 55 = -4*s + u. Let k be (-41)/63 - 6/s. Let c = -20.25 - -4.25. Which is smaller: k or c?
c
Let x = 49 - 40. Suppose 11*w = x*w + 6. Suppose -5*h = 3*d - 53, w*h - 1 = d - 0. Which is bigger: 0.2 or d?
d
Suppose -8*r = -42*r + 2468 - 66082. Is r smaller than -1875?
False
Let q = 686 + -6166/9. Suppose -h = -0*m - 2*m + 2*h, -4*m = -h. Which is smaller: m or q?
m
Suppose 25 = 4*g - 3*y, -9*g + 12*g - 55 = -5*y. Let o be (-4 - 236/12) + g/15. Are -22 and o equal?
False
Let q(n) = 17*n**2 + 3098*n + 633. Let d be q(-182). Are -170 and d equal?
False
Let d = -6 - -18. Let g(a) be the third derivative of -a**5/60 + 7*a**4/24 - a**3/6 + 54*a**2. Let k be g(3). Which is smaller: k or d?
k
Suppose -11*q - 544 = -7*q. Let h = -134 - q. Is 4 <= h?
False
Let w = 92/5 - 17. Suppose 4*i - 2*r - 42 = 0, 2*i + 2*r - 14 = -i. Let a be (i/14)/((-14)/(-49)). Is w smaller than a?
True
Let u be (8 - 2/(-2))*(-3 - (-885)/(-45)). Is -200 bigger than u?
True
Let d = -74/3 + 394/15. Let i = 16.62 + 0.38. Let f = -18 + i. Is d > f?
True
Let p(b) = 4*b + 80. Let u be p(0). Let c be 20/((-4)/48*-3). Does u = c?
True
Suppose -3*i = -3*j - 21, 3*i - 8*i = -2*j - 41. Suppose -100 - 26 = -i*k. Is 77/5 greater than k?
True
Let j be ((-2882)/33)/((-20)/(-30)). Which is smaller: -2 or j?
j
Let n be (-94)/312 + (-6)/(-24). Let t(v) = -6*v + 63. Let u(x) = -6*x + 61. Let b(k) = 5*t(k) - 4*u(k). Let o be b(12). Which is smaller: o or n?
o
Let s(o) = 52*o - 17. Let l be s(6). Suppose 0 = 2*m - 5*q + 109, 5*m = 2*q + 3*q - l. Let a = 69 + m. Is 8 smaller than a?
False
Let y = 4222 - 88646/21. Let r = 10/21 - y. Is -33 <= r?
True
Let j = 0.0047 - 10.4047. Let p = j + 19.4. Which is smaller: 22 or p?
p
Let m(z) = -z**3 + 8*z**2 + 4*z + 40. Let u be m(10). Let o = u + 123. Suppose 0*h - o*h - 11 = c, -3*c + 3*h = -15. Is 1 != c?
False
Let t be (2/33)/((-14)/6). Suppose -1453*n - 102 = 888 + 463. Does t = n?
False
Let x = -0.085 - -160.085. Let b = x - 144. Which is greater: b or 4?
b
Let f(o) = -37*o**2 + 63*o + 43. Let g(v) = -13*v**2 + 21*v + 14. Let x(q) = -6*f(q) + 17*g(q). Let d be x(22). Do d and 24/31 have the same value?
False
Suppose 3*b = -5*c + 2*b + 376, -305 = -4*c - 5*b. Suppose -4*h + 65 = -c. Let o = -588 - -622. Is h smaller than o?
False
Let y = -2.53 - 83.27. Let z = 85.961 + 0.039. Let m = z + y. Which is smaller: m or -16?
-16
Let n(o) = 12*o - 7*o + 16*o - 7 - 9. Let k be n(-3). Let i = 93 + k. Is i > 11?
True
Let d(l) = l**2 - 26*l + 69. Let p be d(23). Let j be (3 - 1)/2 - 351/171. Is j bigger than p?
False
Let c be (1*(-3)/(-5055))/((-6)/(-12)). Are c and 0 unequal?
True
Suppose u = -7*v + 6*v + 111, 5*u - 2*v = 520. Let p = 187 - u. Is p < 81?
False
Let j be (3 - 42/14)/2. Is 482 at most as big as j?
False
Let q = 8/485 + -8863/684335. Are q and 0 non-equal?
True
Let r = -450.97131 - -0.01131. Let s = r - -451. Do s and 9/4 have different values?
True
Let x(t) = -292*t + 2714. Let i be x(12). Are i and -793 equal?
False
Let j be ((-404)/(-16))/(13/4 - 3). Let p = j + -101. Suppose p*m = 4*m + v - 6, -v = -2*m. Which is smaller: 2/69 or m?
2/69
Let w = 3910 - 3910.2. Which is greater: w or -113?
w
Let f(z) = -z**2 - 16*z + 20. Let w be f(-17). Let b(v) = 2*v - 1. Let r be b(-4). Let g be w/r*-9 - (-2 - 32). Which is smaller: g or 38?
g
Let z be ((-6)/(-8))/((-4)/(2 - 146)). Let a = 119 - 59. Let w be (-1 + 6/(-4))*a/(-6). Which is greater: w or z?
z
Let b = 79/41 - 1463/738. Let c = 21 - 22. Which is smaller: c or b?
c
Suppose -2*q = 5 - 15. Suppose -4*z - 4 = -q*z. Suppose 0*y - 5*a = 4*y + 9, z*a - 1 = 5*y. Is y greater than -6/11?
False
Let d(r) = -29*r**3 + 31*r**2 + 26*r - 20. Let m(w) = -10*w**3 + 11*w**2 + 9*w - 7. Let g(p) = 3*d(p) - 8*m(p). Let n be g(-2). Which is smaller: 178/3 or n?
178/3
Let d = -200 + 202. Which is bigger: d or 568?
568
Let u = -189.0167 - -0.0167. Let t = 193 + u. Is t >= 7/5?
True
Let b = 308 - 221. Let h(y) = 7*y**2 - 7*y + 3. Let u be h(-3). Is b not equal to u?
False
Let a = 36 - 4. Let z = -36 + a. Let h be (-2 - 1) + (z - (-782)/112). Is 1 at most as big as h?
False
Let f be 142/852*8/(-14). Which is bigger: 12 or f?
12
Let y be 21/35 - (-92)/(-10). Let b = 24 + -21. Suppose -2*n + 38 = -4*x, 0 = -b*x - 5*n - 4 - 5. Is x greater than or equal to y?
True
Suppose 22*a - 25*a + 15728 = -19*a. Which is smaller: -986 or a?
-986
Let w be 5*315/30*(-16)/(-20). Is w > 31?
True
Let m = -5.86 - 148.24. Let h = m + 154. Which is smaller: 132 or h?
h
Suppose 0 = o + 4*c - 13, -5*o + 25 = -2*o + 5*c. Let l be 5*(-9 - -4)/o. Let b be (l + 1 - -5) + 16/(-6). Which is smaller: b or -2?
-2
Let z be ((-59)/(-118))/((-11)/12). Which is smaller: -7/79 or z?
z
Let i = -39718 + 21047. Is -18670 >= i?
True
Let i = 0.307 + 147.693. Let u = i + -149. Is u > 7/11?
False
Let k = -0.05008 + -0.04992. Let j = 43 - 20. Which is bigger: j or k?
j
Let m = 163.3 - 129. Let f = m - 35.647. Let o = -0.053 + f. Are o and 0 non-equal?
True
Let p(k) = k**3 - 23*k**2 + 25*k - 56. Suppose -13*l = 87 - 373. Let j be p(l). Are j and 1 unequal?
True
Let u = -20.9 - -21.48. Let x = -0.02 - u. Is 5 at least x?
True
Let a = -8713 + 8779. Is a not equal to 39?
True
Let d = -5273 - -16177. Which is bigger: d or 10902?
d
Let i = 0.33 + 4.67. Let n = -46 - i. Let o = 50.63 + n. Is -2/5 bigger than o?
False
Suppose -5*u + 4*k = -61, 5*k + 13 + 16 = u. Let f be ((-15)/2)/(u/(-24)). Let v be (7/1 - 0)*(-56 + 59). Which is smaller: f or v?
f
Let a(j) = -22*j**2 + 35*j + 157. Let h be a(-22). Which is smaller: h or -11262?
-11262
Let r = 68 - 49. Suppose 0 = -n + r - 1. Let c = -19 + n. Which is smaller: c or -2?
-2
Let x(v) = 37*v**2 + 6*v + 18. Let p be x(8). Which is bigger: 2433 or p?
p
Let b = 28784 - 315554/11. Let u = 46076/473 - b. Which is smaller: 0 or u?
0
Let j = 857/5 + -171. Let g = 0.5 + -9.5. Let a = g - -8.94. Which is smaller: a or j?
a
Let s be 144/96 + -1 + 10485/(-6). Which is smaller: -1748 or s?
-1748
Let i = 7586 + -7114. Is i not equal to -4?
True
Let u = -17.83 - -18. Let d = -1264 - -1264.67. Let l = d - u. Is 2 != l?
True
Let j = 3015 - 3009. Which is bigger: j or -198?
j
Let o be (-880)/3 - -2*(-15)/(-10). Let s = -290 - o. Is 5/27 smaller than s?
True
Let w be 10/(-4)*(0 + (3 - 5)). Let q be (w/2)/5*44. Let v = 36 - q. Is 93/7 less than v?
True
Let f be (1976/380)/((-2)/24*-1). Let s be (6 - 2)/(2/31). Is f != s?
True
Suppose 3*d - 97 - 66 = -v, -5*v = -5*d + 265. Let a be (-6)/(-46)*((-420)/d + 8). Which is greater: 0.07 or a?
0.07
Let w be -10 + 301/28 + (-14)/8. Which is smaller: w or -378?
-378
Let c = 5/234 + 151/234. Is c bigger than 1115?
False
Suppose -r + 2*s = 450, 560*r + s = 562*r + 921. Are r and 7 unequal?
True
Suppose -4*t + 359 = -s, -3*t - 2*s = 2*t - 465. Suppose 0 = 3*d - 3*z + 8*z + t, 4*d + 5*z + 123 = 0. Suppose p + 231 = -6*p. Which is greater: p or d?
d
Let d = -6668.9 - -6335. Let t = d + 329. Which is bigger: t or 1/4?
1/4
Suppose 5*i = -5*c - 55, -c - 18 = 3*i - i. Let u be (i/10)/(1*6/(-12)). Is u at most as big as -1/7?
False
Suppose 0 = -15*k - 191 + 26. Let s be 1/((-50)/k)*(-115)/46. Which is smaller: s or 0?
s
Suppose -10508 + 2612 = -59*l - 129*l. Suppose -2*i + 0*i = 4*h - 80, 0 = -5*h. Is l greater than or equal to i?
True
Let g = 0.0881 + 0.0419. Is 107 >= g?
True
Suppose -7*z + 2*i + 740 = -2*z, 4*z + 2*i - 574 = 0. Suppose 0 = -