s smaller: l or 2598/11?
l
Let i be (-32)/(-7)*((-245)/230)/(-7). Let w(k) = k + 6. Let f be w(-5). Is f > i?
True
Let a be (133164/(-2778))/3 - -16. Which is bigger: a or 0.1?
0.1
Let z = -102397/10 - -10240. Is z < -286?
False
Let m = 0.045 - 5.545. Is m at least -5.2?
False
Let t(j) be the first derivative of -j**3/3 - 9*j**2 - 40*j + 296. Let a be t(-20). Do -80 and a have different values?
False
Let l = 2124 + -1680. Which is smaller: l or 443?
443
Suppose -l = -5*b - 225, 205 = -5*b + 6*l - l. Let h = -46 - b. Which is bigger: 1/44 or h?
1/44
Let l be ((-177820)/2329)/5 - -16. Is l greater than -2/7?
True
Let x = -85 - -85. Let g = 1327759/92 + -14432. Do x and g have the same value?
False
Let s = -11838 - -7591. Is s at most -4247?
True
Let a be 6 + 2 - (2 - -1). Suppose -3*s + a*s = -38. Let z(f) = f**2 + 26*f - 47. Let r be z(-27). Which is smaller: s or r?
r
Suppose 15235*k - 15239*k = 68. Is k > 13?
False
Let l = 86.33 - 1.34. Let x = -31 + 116. Let i = x - l. Which is smaller: -0.1 or i?
-0.1
Suppose 4*o = 2*o - 4, -d - 3*o + 40 = 0. Suppose -5*u - d = -36. Which is bigger: -4 or u?
u
Let y(k) = -2*k + 18. Suppose 7*s = 3*s - 4*t - 36, 3*t + 9 = 0. Let b be y(s). Suppose 31*x = b*x. Is x at least 2/51?
False
Let x be 3/(-9)*(-66 - -9). Suppose -z - 4 = -3*p, x = -3*p + 16. Is z != -37/5?
True
Let n = -72 + 200. Suppose n = 5*k + 608. Suppose -299 = -2793*p + 2796*p - c, 0 = p + 4*c + 65. Which is greater: k or p?
k
Let c = -3504460427/315 + 11125254. Let d = c - -154/9. Let p(y) = -y**3 - 4*y**2 - y - 5. Let v be p(-4). Is d equal to v?
False
Let u(s) = 24*s + 1006. Let g be u(-32). Which is greater: g or 242?
242
Let c be 9 + (-228)/(-133)*(-9352)/(-12). Is c smaller than 6?
False
Let c = 11291/13 + -869. Let q = 230 - 14946/65. Let l = c + q. Does 0.18 = l?
False
Let v = -137 + 346. Let p = 283 - v. Which is greater: p or 0?
p
Let d = -3.6 - 0.4. Let m = -597 + -102. Let r = m - -688. Which is greater: d or r?
d
Let m be 7 + (-71 - -13125) + (-1 - 0). Is m smaller than 13061?
True
Let y(j) = -251*j + 669. Let m(t) = 90*t - 223. Let q(k) = -11*m(k) - 4*y(k). Let v be q(16). Let n be (3/22)/(6/40). Which is smaller: n or v?
n
Suppose 8*b = 213 - 197. Let z be (0 - 14/(-126))/(b/(-20)). Which is smaller: 11 or z?
z
Suppose -3870*m = -3892*m - 27720. Is -1260 smaller than m?
False
Let l(x) be the second derivative of x**5/20 + 4*x**4/3 - 5*x**3/6 - 81*x**2/2 + 59*x + 1. Let w be l(-16). Which is smaller: -2/961 or w?
w
Let t be 25364/(-1224) - 1/(-2). Let x = t - 94/9. Which is smaller: x or -32?
-32
Let m = -48779/6 + 8178. Let l = m + -87/2. Is l <= 6?
True
Let o = -91897 + 641299/7. Is o at least -284?
True
Suppose 54*w - 40367 = -12503. Are 1547/3 and w equal?
False
Let f be ((-4)/8)/(3*(-38)/(-266142)). Let h = 1167 + f. Let y = 259/1026 + h. Which is smaller: y or 1/2?
y
Suppose 5*y - 27835 = -5*z, -8*z + 11130 = -6*z + 4*y. Which is bigger: z or 22275/4?
z
Suppose -792*c - 654 = -795*c. Suppose 112 + c = -6*w. Which is smaller: w or -2?
w
Let k = -20860 - -20944. Is k greater than -6/5?
True
Let s = -90 - -91. Is s < -3/347?
False
Suppose -2*r = 3*r + 15. Suppose -c - 1 = 3*m + 6, 5*m + 7 = -4*c. Which is bigger: c or r?
c
Let v = 182.2 - 177. Let x = v - 7.2. Which is bigger: x or 124?
124
Let r be (-2)/(-8)*2*(0 + -180). Let z be (-324)/r + (14/10 - 2). Suppose -3*c + 3 = -l, -3*l + 2*c + 3*c = -z. Which is greater: 8 or l?
8
Suppose 11*p - 14*p - 189 = 0. Let y be 2/(-3)*p/14. Let c be (6/(-8))/((-1)/8). Is c >= y?
True
Let y = -40435 + 66192097/1637. Is -1 < y?
True
Suppose 19*y + 12*y + 98*y + 11739 = 0. Is y not equal to -1011/11?
True
Let j = 42.6 - 47. Let m = j + 4.6. Suppose -7 = -3*h + 5*h + a, 25 = -5*a. Which is bigger: m or h?
m
Let u be (5 + (-1410)/(-20))*(1 + 1). Let m = 158 - u. Are 6 and m non-equal?
True
Let o be 1*10/(-3)*(-642)/(-107). Let s be (o/(-12) - 4)*(-4)/38. Which is bigger: s or 0?
s
Suppose 70*l - 44 = 59*l. Suppose 5*j + l*u = -15, 2*j + 5*u = -3*j - 20. Is j at least 3/131?
True
Suppose -14*r + 17*r + 9 = 0. Let l be 1 + (-10 - r) - 169. Is -174 greater than or equal to l?
True
Let v = -3409/4 - -852. Let o = -141 + 129.8. Let r = o - -13. Is r at most as big as v?
False
Let f(k) = 14*k**2 - 40*k + 88. Let x be f(18). Is x greater than or equal to 3904?
True
Let u = 225897/5 - 45758. Is u at most -578?
True
Let b = -14477 - -19922. Is 1/2 <= b?
True
Suppose 0 = 5*j - 4*d + 144, -2*d - 2*d + 116 = -4*j. Let v = 6767/6 - 34657/30. Which is smaller: v or j?
j
Let d = -0.192155 + 2.192155. Suppose 382 = -5*g - 398. Let f = 1406/9 + g. Is f greater than d?
False
Let t = -191 - -270. Let c(b) = -b**2 - 90*b - 9. Let k be c(-89). Do t and k have the same value?
False
Suppose 2*l - 3*w - 3 - 4 = 0, -2*w = 2*l - 22. Let u be -3*(2 + 9)/((-6)/l). Which is bigger: u or 45?
45
Suppose 5*i = 543 - 3178. Let y = 499 + i. Which is smaller: y or -30?
-30
Let i be 47/141 - (1 - 2220/2871). Is -1 > i?
False
Let a be 1568/1372 + 2/(-14). Is -8/223 bigger than a?
False
Let p be 13/(26/28) + 4/1. Suppose -20*i + 30 = -p*i. Let t be (-117)/i + -1 + 0. Does -8 = t?
False
Let v be 2/(-3)*-6*(27 - (-862)/(-32)). Let y be 11/10 - (-2)/4. Which is greater: v or y?
y
Let x = -188/33 - -1/33. Suppose -8*j - 320 + 576 = 0. Suppose 5*t + 3 = 4*t + 4*g, j = -5*t + 3*g. Which is greater: t or x?
x
Let k = 13.662 - -0.028. Let r = 18.3 - k. Let n = r - 5. Which is smaller: 2/9 or n?
n
Suppose 0 = -18*w - 29*w + 5*w + 38808. Which is greater: 925 or w?
925
Let j(v) = 4*v + v**3 + 17 - 752*v**2 - 13*v + 750*v**2 + 0*v**3. Let d be j(3). Let q = -134 - -940/7. Which is smaller: q or d?
d
Let p(d) = -4*d**3 - 53*d**2 - 17*d - 2. Let f be p(-13). Is 86 not equal to f?
True
Let s(a) = a**2 + 8*a - 25. Suppose 2 = -2*y - 20. Let w be s(y). Suppose 0 = 7*g - 3*g - w. Which is greater: 5/6 or g?
g
Let y(m) = -8*m**3 + 20*m**2 + 31*m - 64. Let a(v) = 7*v**3 - 19*v**2 - 29*v + 61. Let k(t) = 7*a(t) + 6*y(t). Let p be k(14). Is 60.2 less than or equal to p?
False
Suppose -44*i + 46*i + 2700 = 4*s, 4*s = -5*i - 6624. Which is greater: -1340 or i?
i
Let f = -4499.96 - -4500. Which is smaller: -5.3 or f?
-5.3
Let a = -326 - -1609/5. Let p(u) = -u**3 - 5*u**2 + 2*u + 11. Let g be p(-5). Let y be (18/(-12))/((4/g)/8). Is y not equal to a?
True
Let q(l) = -l**2 - 27*l + 57. Let w be q(-29). Let v be 101/858 - 4/22. Which is smaller: v or w?
w
Suppose -5*u - n + 11 = 13, -8 = 4*n. Which is greater: u or 1/7156?
1/7156
Let j = 140.193 + -0.193. Let b = j - 126. Is 1/4 greater than b?
False
Let u = 252 - 132. Let f be (-12)/(-72) - (-628)/u. Which is bigger: 1/3 or f?
f
Let u = -3907 + 4932. Do u and 1024 have the same value?
False
Let y(j) = 207 - 349 + 0*j + 9*j + 285. Let k be y(-16). Which is bigger: -4/135 or k?
-4/135
Let u be (1/(4/(-57)))/((-42)/112). Let n be 37 + (6 - 1)*6/10. Are n and u non-equal?
True
Suppose 4*p = -4*b - 220, 4*p = 2*b - 239 + 37. Let y = -56 - p. Let i be (y/(-42))/((-1)/3 - -1). Which is smaller: 1 or i?
i
Let h = 63 + -58. Let n be 100/30*1/h*9. Let t be 520/(-15) + (-8)/n. Is -37 at least t?
False
Let f be 573/(-382)*(-49440)/(-9). Is -8242 at most as big as f?
True
Let q = -0.22 + 0.15. Let p = -704.2 + 79.2. Let x = p - -625.05. Are q and x equal?
False
Let g = -104 + 104.51. Let c = g - 6.51. Let x = 2 - 5. Which is bigger: c or x?
x
Let g = 19415 - 19616. Is -248 bigger than g?
False
Let k = 2376 + -2383. Are k and -4/143 nonequal?
True
Let s = 39 - 40. Let o = s - -7. Suppose -3*v = -o, 7*g - 2*g = v - 47. Which is greater: -23/3 or g?
-23/3
Let y = -0.562 + -65.438. Let c = 52.4 + 13.6. Let w = y + c. Which is smaller: -8 or w?
-8
Let p = 24 - 26. Let h be (2 - -10)*(-8)/(1360/30). Is h greater than p?
False
Let y = -12.6 + -209.4. Suppose -150*c + 123 + 27 = 0. Is c > y?
True
Suppose 0 = -0*l - 3*l + 5*k - 19, l + k + 1 = 0. Let s be 2*((-5)/(-2))/(-5). Which is greater: l or s?
s
Let i(d) = -d**3 - 17*d**2 + 3*d + 4. Let u = 70 - 73. Let l be (u/(-9))/((-5)/255). Let c be i(l). Which is smaller: -49 or c?
-49
Let v = 110 - 104. Suppose v*t + 75 = -45. Are t and -21 nonequal?
True
Suppose -4*m = -41 - 71. Suppose 0 = 2*p - 2*d, 5*p - 3*p - d = 1. Which is greater: m or p?
m
Suppose -2*n + 772 = -3*p,