6 smaller than m?
False
Let w(q) = -13*q**2 - 4*q + 37. Let a(s) = 10*s**2 + 5*s - 38. Let m(y) = 4*a(y) + 3*w(y). Let l be m(-12). Which is greater: l or -5?
l
Let f = -381329 - -381188. Let b be 6/9 + 2/(-12). Which is smaller: f or b?
f
Let j = 104.09 - 104. Let b = 122.09 - j. Let g = -122.3 + b. Is g at most as big as 19?
True
Suppose -4*n = 5*b - 3, -2*b + 3 = -b + 2*n. Let i be -5 + (-2832)/2820 + 11 + -5. Is i < b?
False
Let t = 0.48 + -6.72. Let k = 6.41 + t. Which is smaller: -0.7 or k?
-0.7
Let j be -13 + 5 - -352 - (-1 + 2). Is j <= 16?
False
Let z = -132/4919 + -36960706/24595. Is -1502 <= z?
False
Let s be ((-222)/9 - -2)/((-1240)/(-1500)). Let q = -877231/31992 - s. Which is smaller: -1 or q?
-1
Suppose -2*w - 3*a - 613 = 0, 397 + 529 = -3*w + 2*a. Let y = -314 - w. Does -37/5 = y?
False
Let i(w) = 518*w - 9886. Let l be i(-12). Are -16103 and l non-equal?
True
Suppose 4*c = y - 2*y + 231, -292 = -5*c + 2*y. Let j be c/16 - (-15)/40. Suppose -5*w + 5*m - 5 = -25, w - j*m = 19. Which is smaller: -3/14 or w?
w
Suppose 2*a - 4*u + u = 13, -3*a = 2*u. Let z be (-19656)/(-3978) + -4*(-2 + 3). Is z < a?
True
Let d(z) = z + 3101. Let q be d(-49). Which is smaller: q or 3051?
3051
Let q be 1 + -12 + (57 - 45). Let x be (-12)/(-54) - (-38)/(-63). Do x and q have different values?
True
Let f = 2896 + 2152. Is 5048 >= f?
True
Let i be (1 + 164/48*3)*-4. Let w be 308 + 5/(i/(-54)). Which is bigger: 312 or w?
w
Let k(s) = 193*s - 72 - 393*s + 198*s. Let j be k(0). Let g be (j/14)/((6 + -4)*-1). Which is smaller: -3/5 or g?
-3/5
Let l = -163 + 60. Let d = -64 - l. Let r = d - 38. Is r at least 1/2?
True
Let c(t) = 2*t**2 + 16*t + 6. Let l be c(-7). Let o = -168 - -154. Which is bigger: o or l?
l
Let i(x) = -15*x + 30. Let k be i(10). Let u be (-2354)/(-920)*(-32)/k. Let j = u - 16/23. Which is smaller: -1 or j?
-1
Suppose -5*o = -5*o + 15*o + 15. Let f be (-21)/(-28)*8/(-73). Is o smaller than f?
True
Let i = -101.4 + 103.05. Which is bigger: i or -2/3?
i
Let f be (2/8)/((-24)/(-480)). Suppose -f*x - 13*x - 1674 = 0. Is x equal to -92?
False
Let k = -0.19702 - 0.00298. Which is smaller: 458 or k?
k
Let i(g) be the third derivative of g**5/15 + 3*g**4/2 + g**3/6 - 2*g**2 - 132. Let t be i(-5). Do -81 and t have different values?
True
Let u = 216.1 - 40.1. Let a = -247 + u. Which is bigger: a or -2?
-2
Let f(u) = -2*u**2 + 91*u - 6. Let m be f(10). Is m at least 705?
False
Let i = -114.86 - -96. Let r = -11.558 + 12.418. Let q = i + r. Is -2 greater than q?
True
Suppose 3*z + 729 = -1473 - 531. Which is smaller: -914 or z?
-914
Let v = -302 + 2423/8. Suppose 10*g = 61 - 161. Let l be (1*4 - (11 + g)) + -1. Which is smaller: v or l?
v
Let s = 16804.13 + -16804. Is -47 <= s?
True
Let z = -6653 + 6583. Let p(o) = -23*o + 1. Let v be p(-3). Let q = v - 139. Do q and z have the same value?
False
Let p(k) = 8*k**2 + 7*k + 1. Let m be p(1). Let s be -21 + m - (-138)/16. Which is greater: 4 or s?
4
Let p = 2279.5 - 2280. Which is bigger: 53/4 or p?
53/4
Let m(c) = -c + 2. Let i(k) = -35*k + 28. Let z(h) = i(h) - 28*m(h). Let s be z(-4). Are -4/331 and s equal?
False
Let v = -202 - -222. Let u(q) = -q**3 + 19*q**2 + 18*q + 41. Let i be u(v). Is i >= -2/237?
True
Let b be 56/126 + (-550)/(-18). Suppose 25*f + b = -94. Is f equal to -5?
True
Suppose -3*x + 6*x + 14 = -4*a, 0 = -3*x + 3*a + 21. Suppose 242 = 2*m - 4*v, -x*m + 2*v + v = -242. Is 121 <= m?
True
Suppose -61*l = -63*l - 788. Let d = l + 429. Is d equal to 34?
False
Let w(x) = 21*x**2 + 4*x - 4. Let z be w(-3). Let j = 172 - z. Is j less than or equal to -15/7?
False
Let a = -24 + 26. Suppose -12 = 4*d, 0 = -0*o - 2*o - d + 7. Suppose u + m = -u + o, 5*u - 3*m + 15 = 0. Which is smaller: u or a?
u
Let i(d) = 4*d - 1. Let x(u) = -66*u - 20. Let c(v) = i(v) - x(v). Let y be c(-5). Which is smaller: -330 or y?
y
Let d = -4387 + 4372. Is d > -0.079?
False
Let q be (-52)/130 - 44/(-10). Let k(o) = -12*o - 5 + q*o + 23*o. Let y be k(2). Is 25 at least as big as y?
True
Suppose n + 10*l - 8*l = 368, -4*l - 386 = -n. Let s = n + -365. Which is smaller: s or -1?
-1
Suppose -3*m = -3*x - 1508 + 512, 0 = -4*x - 4*m - 1328. Are x and -334 unequal?
True
Let w be 2/(-11) + (-34)/(-187). Suppose w = 5*t - 12 - 28. Is t bigger than 102/11?
False
Suppose -f + 197 = 3*d - 236, 3*d - 437 = -5*f. Suppose -2*h + d = -5*h. Let t = 684 + -732. Is h at least t?
True
Let a = -115.54 - -114. Let n be (-12)/21 - 56/(-98). Are n and a nonequal?
True
Suppose 2*l + 0 = -4. Suppose -7*t = -4*j - 9*t + 48, 5*j = 3*t + 38. Suppose j + 14 = -8*r. Which is greater: r or l?
l
Let d(q) = 9*q - 1. Let n be d(-4). Suppose -52 = -b + g, 10*g - 220 = -5*b + 5*g. Let c = 10 - b. Is c < n?
True
Let t = -72 - -147/2. Let z be (-1)/(-4) + 137 + -126 + (-139)/12. Which is bigger: z or t?
t
Let a(m) = -m**3 - m**2 + 13*m - 3. Let w be a(3). Let g = -11/20 + 159/380. Is g bigger than w?
False
Let y = 2.06 - 2.26. Let m be ((-427)/(-21) - 3)/6. Are y and m equal?
False
Let z be (-12)/8*(-352)/12. Suppose -4*b - z = 5*r, -b = -2*b + r - 2. Let m be (-71)/(-20) + -1 + b/(-30). Which is smaller: -2 or m?
-2
Let d(s) = 37*s - 959. Let u be d(25). Do u and -33 have the same value?
False
Let x be (669 + 0)/((-57)/(-19)). Suppose -1548 = -7*g + 20. Is g >= x?
True
Let i(p) = -p**3 + 8*p**2 + 3*p - 22. Let g be i(8). Let a = 6 - 4. Suppose 0 = -b + g, -4*c - 14 = -a*b - b. Which is smaller: c or -4/7?
c
Let s = -0.8802 + -45.9298. Let k = 1.19 - s. Let h = k - 47.3. Which is smaller: h or 0.8?
h
Suppose -123*y = -144*y + 4935. Let m be 4/30 - (-4 - y/(-75)). Which is greater: m or 3.05?
3.05
Let d(o) = o**3 - 23*o**2 - 24*o + 35. Let g be d(24). Suppose 3*f - g = -8. Let y be 27/(-14) - 4/((-24)/f). Which is smaller: y or 1?
y
Let j = 71567/6 - 11917. Do 11 and j have different values?
True
Let x = 86 + -91. Let w = -11 - x. Let a = 5 + w. Which is smaller: a or 3/41?
a
Let a = 44.099 + -0.099. Let l = a + -44.62. Let b = -0.32 - l. Is 2 >= b?
True
Suppose -3*r + 2*d + 3 = 0, -r + 3 = -5*r + 5*d. Suppose -3*y - 4*w = -15, -r*w = -y + 8 - 3. Suppose y*a + 3*g = -10, 6*a + 2*g + 5 = 3*a. Is -6 < a?
True
Suppose 0 = u + 3 + 6. Let p be (6/u)/(1 + -18). Let m = 33 + -34. Which is smaller: p or m?
m
Let y = 50.9 - 261.9. Let h = y - -210. Which is bigger: 2 or h?
2
Suppose -k + 457 = -4*d, 3*d - 10*k = -9*k - 342. Are d and -106 unequal?
True
Let k(s) = s**3 - 33*s**2 - 119*s + 283. Let b be k(36). Which is bigger: -95 or b?
-95
Let q be 124/(4 - 5*(-4)/(-6)). Suppose 43*a = 37*a + q. Which is greater: 32 or a?
32
Let n = 43 + -48. Let y be (-3)/(5/(-125)*n). Suppose 8*p - 7*p + 15 = 0. Is y greater than p?
False
Let q = 3 - 4. Let j = -345.7 - -56.7. Let m = 352 + j. Is q greater than or equal to m?
False
Let a(x) = -6*x**2 + 10*x + 197. Let t be a(7). Is 37 < t?
False
Suppose -2 = 224*i - 1 - 1. Which is bigger: i or 18688?
18688
Let m be (-42)/(((-12)/8)/1). Suppose m*n - 2926 = 42*n. Is n greater than -208?
False
Let u be (-1451242)/(-4180) - 1 - (-10)/(-95). Let q = u - 346. Is q greater than or equal to 0?
True
Let t(g) = -76 - 78 + 150 - 2*g. Let u be t(-5). Suppose 164 = u*v - 262. Is 72 at least v?
True
Let j(q) = q**3 + 3*q. Let c be j(0). Let y be -73 + (2 - (2 - c)). Let x = y - -70. Which is smaller: -1 or x?
x
Let m = 4.4685 - 5.4685. Let f = -1.22 + 0.02. Let n = -0.2 - f. Is n greater than m?
True
Suppose 17*g + 311 - 2147 = 0. Let q be (1/3)/(5580/g). Do 0 and q have different values?
True
Let i = -3.2 - 0. Let s = -1579.9 - -1580. Which is bigger: i or s?
s
Suppose 0 = 3*a - 9, -55 = 4*c + 2*a - 209. Suppose 3*x + 1915 - 425 = 4*s, -s = 3*x + 1480. Let d = x - -530. Do d and c have different values?
True
Suppose -s - 12208 - 2461 = -5*m, 0 = 3*m - 5*s - 8819. Is m >= 2932?
True
Let c(x) = -x**3 + 4*x**2 + 11*x + 6. Let w be c(-2). Which is smaller: w or 89/11?
w
Let f(w) = -w + 40. Let d be f(33). Suppose z + 100 = 6*z. Which is greater: z or d?
z
Let c = -165 - -166. Let n be 736/1212 - -1*10/(-15). Is c less than or equal to n?
False
Suppose -5*p + 5*k = -15, -3 = -p + 2*k + 2. Let f = p + 0. Let o = 12648421/49 - 258131. Is o greater than or equal to f?
False
Let g = 22 + -12. Suppose 6*t + g = -2. Let r be (-315)/77 - -7 - 4. Do