)/(2097/(-51) + 0). Which is greater: 0 or k?
k
Let q(z) = 138*z**2 - 7*z - 5. Let w be q(6). Let m = w + -3313. Let n = -155978/97 + m. Do -1 and n have different values?
True
Let n = 1286/9 - 1292/9. Which is smaller: -3390 or n?
-3390
Let y = -1.1 - 27.9. Let d = y - 29. Let f = d + 57.883. Which is bigger: f or -1/3?
f
Suppose 17 - 204 = 11*d. Let o be (1 + d/9)/(228/36). Is -1 greater than o?
False
Let j be (0 + 1)/((-3)/(-57)). Let i = -31 + j. Let m be (3/(-9))/(4/6)*i. Is m not equal to -2/9?
True
Let a = 147.76 + -147. Let p = -0.86 + a. Which is greater: 50 or p?
50
Let z(l) be the first derivative of 3*l**2/2 + 25*l + 17. Let b be z(9). Let x = b - 55. Which is smaller: -8/3 or x?
x
Let u = 59 - 59.692. Let w = -0.69 - u. Which is smaller: w or -0.1?
-0.1
Suppose 5*b = 3*c + 12, 0 = -3*b - 0*c + c + 4. Is 2/7309 less than or equal to b?
False
Let y = 59 - 51. Let n be (-10)/(-40) + (-2)/(y/(-31)). Let z be (-16 - -26) + 1/2*2. Is z greater than n?
True
Let a be (-2 - -2)/(34/(-357)*-21). Let y be (-2 - (-69)/15) + -3. Is a greater than or equal to y?
True
Suppose -13*b + 2411 = -917. Let n be b/140 - 2/5. Is 2 smaller than n?
False
Let g = -289.9 - -289.9. Is 0.049 smaller than g?
False
Let a = -2.421 - -2.621. Suppose -4*h - 3*p - 191 = -8*p, 4*h + 201 = 3*p. Is a greater than h?
True
Let k = -163/2799 + -51/311. Is k bigger than -1094?
True
Let g = -46996 - -46995. Let d = 5.5 + -0.5. Let l = d + -9.9. Is l less than g?
True
Let g = -4980 - -5000. Are g and 20 unequal?
False
Suppose 0 = 2*c - 4*f + 18 - 688, 2*c - 5*f = 671. Let x = -478 + c. Are x and -147 nonequal?
True
Suppose -3*h + 4*d = -3 - 6, -3 = -d. Suppose -35 = -5*t - h*b + 4*b, -4*t = 5*b - 41. Suppose -t*n - 100 = -136. Is n < 28/3?
True
Suppose -90*t - 9 - 11 = 70. Let i(f) = f**3 + 11*f**2 + 8*f - 9. Let r be 4 - 2 - 36/3. Let y be i(r). Is t bigger than y?
False
Let g = -181 + 193. Let n be ((-128)/g)/8 - -1. Which is smaller: 34 or n?
n
Let v(a) = -25 - 3*a + 2*a - 2*a + 4. Let b be v(-10). Let s(q) = 5*q**2 + 16*q + 21. Let h be s(-2). Do h and b have the same value?
True
Suppose 18 = -y + 20. Suppose -7*q = -5*q + y. Let t be 51 - (-1 + q + -2). Is 55 <= t?
True
Suppose 68*p - 66*p - 2*h = 1356, 0 = -p + 4*h + 660. Which is smaller: 674 or p?
674
Let s(y) be the second derivative of y**4/12 + 7*y**3/3 + 13*y**2/2 + 3*y - 15. Let r be s(-12). Let d be (-41)/3 + 4/6. Which is greater: d or r?
r
Let m be 14/(-28)*(-2518)/(-7). Let p = m + 1038661/5775. Do p and -1 have the same value?
False
Let d = 2633/7860606 - 7/14638. Is -1 at least d?
False
Let l be (1 + 4 - 10) + 3. Let i be 21/(-672) + (0/2)/l. Which is smaller: i or 0.2?
i
Let a(d) = 3*d**3 + d**2 - 3*d + 2. Let v be a(1). Suppose -675 = -v*s - 3*r, 0*r = 2*r. Is 226 <= s?
False
Let b be (-8)/4*131130/2945. Which is smaller: -88 or b?
b
Suppose 0 = z + 5*k + 216, -4*k + 960 = -5*z + z. Let q = -221 - z. Which is smaller: 8 or q?
8
Suppose -4*q - 231 + 11 = 0. Let p = 46 + q. Let h be 12/p*1/9. Do -1 and h have different values?
True
Let s be 26074/34 - (36/234 + (-540)/1989). Does 758 = s?
False
Let l(r) = 2*r**2 + 3*r + 77. Let i be l(-10). Let o = i - 87. Is o at least 0?
True
Let a = -121.649 + 122. Let j = a - 0.051. Are j and -2 equal?
False
Let h(b) = 17*b**2 + 12*b - 9. Let s be h(-5). Suppose -3*a - 12 = 0, -134 = -2*f - 4*a - s. Are f and -102 unequal?
True
Let c = 1.8 - 1.8. Suppose 0 = a - 6*a - 40. Let f be (a - -5)*(-22)/(-3). Is f > c?
False
Let u = 1196.35 - 1144.467. Let a = u - 52. Which is smaller: 1 or a?
a
Let i be (-8)/32 - 1446/8. Suppose 3*g = -22*l - 4011, 51*l - 49*l = -3*g - 351. Does l = i?
False
Let k = -39725 - -3614881/91. Which is smaller: -1 or k?
k
Let d = 2.001 - 0.001. Let k = -7 + d. Let y = k + 4. Is y at most -1/51?
True
Let q = -9416.38 - 21.62. Which is smaller: 0 or q?
q
Let q = -41 + -149. Let l = q + 189.4. Which is greater: 2/35 or l?
2/35
Let c(p) = p**3 - 8*p**2 + 11*p - 140. Let g be c(9). Is g greater than or equal to 6?
True
Let f = -187.4824 - -0.5224. Let o = f - -187. Let v = -13 + 9. Is v <= o?
True
Let z be ((-330)/(-1012))/((27/(-4))/(-3)). Let t be (-652)/690 + 4/(-10). Let h = t + z. Do h and 0.2 have different values?
True
Let m(w) = -11*w**3 + 2*w**2 - 4*w - 1. Let i be m(3). Let r = i - -3206/11. Suppose 25*p = 19*p - 6. Are p and r unequal?
True
Let d = -1/17556 - -1117/739860. Is d <= -1?
False
Let y be 67/(-1139) - ((-2484)/9860 + 0). Is y < 2/5?
True
Suppose 3*k = 7*q - 3*q - 1430, -3*k - 1435 = -5*q. Let g be (474/k + 1)*5. Which is greater: g or -1?
g
Suppose -33*h - 45 = 21. Let y be (1/(1 - h))/((-1311)/(-18)). Suppose -3*w - 5 = r, 0 = -3*w + r - 1. Which is greater: y or w?
y
Let v = 173 + -271. Let i = -169 + 165. Let m(d) = -4*d**2 + 10*d + 5. Let o be m(i). Is o != v?
True
Let x = 4457 + -4455. Which is bigger: x or -3.65?
x
Let p = -315.901 + 315.65. Is p greater than or equal to -0.4?
True
Let h = -8.8 + 8.7. Is h greater than or equal to -1.898?
True
Let h be 8/((-616)/(-247415)) + -1*2/11. Which is smaller: h or 1?
1
Suppose 16*x - 784 = -13*x + 21*x. Is x != 1072/11?
True
Let h(u) be the first derivative of u**4/4 - 10*u**3/3 + 7*u**2/2 + 29*u + 16. Let p be h(9). Suppose -5*w = -6*w + 10. Which is greater: p or w?
p
Let u = -339 + -7267. Is u less than -7606?
False
Suppose -2*i + 698 = -3*w - 261, 5*w - 4*i = -1599. Let a = -398 - w. Is a >= -80?
True
Let t be (-2)/(-1) + -4 - -2. Let k = 37.06 - -3.14. Let s = k - 59.2. Is t < s?
False
Let g = 1955833527770/173552973 - 379704/276799. Let i = g + -11268. Which is greater: 1 or i?
1
Let z be 9016/(-82) - 102/2091. Which is smaller: -64 or z?
z
Let q = 2735 + -2877. Is -1 less than or equal to q?
False
Let a be ((-7)/(-734))/((-1362)/(-1842)). Let g = -3/734 + a. Are -1 and g equal?
False
Let s be (0 - -1 - (-390)/26)*1. Let w be (-36)/28 - s/(-56). Is 2/491 equal to w?
False
Let k = 44 + -43. Let h be -1*((-3 - -6) + -1). Let b be (k - h)/(42/224). Is b smaller than 16?
False
Let g = 0.04077 - 6.45177. Let q = g - -6.4. Let m = -0.011 - q. Are m and -0.4 nonequal?
True
Let j = -3437 + 374630/109. Let m = 233 - 234. Is j less than or equal to m?
False
Let i = 0.6293 - 44.6293. Which is bigger: -0.31 or i?
-0.31
Suppose 5*o = -2*k + 2473, -2*o - 3697 = -3*k - 7*o. Which is greater: 1225 or k?
1225
Let p(y) = y**2 + 12*y - 1306. Let d be p(40). Is 778 equal to d?
False
Suppose 3*x + 9*v - 426 = 10*v, -2*v = 0. Suppose 2*l = x - 106. Which is greater: l or 13?
l
Let k(h) be the first derivative of h**4/4 + 19*h**3/3 - 39*h**2/2 + 47*h - 70. Let i be k(-21). Are i and -63/4 unequal?
True
Let v(y) = -73*y**3 - 2*y**2 - 2*y + 3. Let q(h) = 147*h**3 + 5*h**2 + 5*h - 7. Let u(g) = -2*q(g) - 5*v(g). Let o be u(1). Are o and 141/2 non-equal?
True
Let m be (3/15)/((-37381)/116). Is m != 0?
True
Suppose 0*k + 24 = -4*k. Let r = -63 - -309. Let q = r + -249. Which is smaller: k or q?
k
Let m = 9742 - 9742.06. Which is greater: 69.6 or m?
69.6
Suppose 4*d + 16 = 2*f, -7*d = 4*f - 9*d - 8. Let g be (-4087)/16380 + (-3)/(-12). Let u = g + -857/77805. Does f = u?
False
Let i = -51 - 17. Let y = i - -74.9. Let x = 7 - y. Is x <= 0?
False
Let h = 62/19835 - 8151017/12317535. Let a = -57208/23 + 2488. Let c = h + a. Which is bigger: 0 or c?
c
Let b = -185 - -911/5. Let j(u) = u**3 + 29*u**2 + 27*u - 27. Let v be j(-28). Let r be ((-6)/(-33) - (-72)/(-33))*v. Is r at most as big as b?
False
Let g be 34/4*(-1 - 1). Let n(s) = -s**3 + 682*s - 16*s**2 - 1358*s + 693*s + 0*s**3. Let l be n(g). Which is smaller: l or -14?
-14
Let u = 23572 - 23579. Let l be ((-1)/14)/(2/8). Is l equal to u?
False
Let l(q) = q**2 + 24*q + 42. Let p be l(-17). Which is smaller: p or -9?
p
Suppose -2*i + 8*l = 11*l + 70, -5*l - 35 = i. Let m be (i + 39)/((-2)/39). Are -1 and m equal?
False
Let s = 0.26 + -0.16. Let n = 95/47 - 3529/188. Which is greater: n or s?
s
Let j(o) = -o**3 + 6*o**2 + 6*o + 7. Let a be j(7). Let x = -14677/11 - -1333. Let r = x + 59/55. Are r and a equal?
False
Let o = 317/1236 - 2/309. Let j = -59.4 + -9.6. Is o bigger than j?
True
Let h = 14685 + -14684. Is 7073 not equal to h?
True
Suppose 696*s - 18411 - 26133 = 0. Suppose -11 - 51 = -y. Which is bigger: y or s?
s
Let g = -24272 + 23714. Which