-14989. Is v less than -594?
False
Let t be 1/4*(-16)/(-4). Let m = -1/88486 + 88617/11591666. Which is greater: m or t?
t
Let k = -768163/1530 + 9037/18. Suppose 4*i = -2*y - 10, -i - 25 = 4*y + y. Is i greater than k?
True
Let x(o) = 1100*o + 2259. Let j be x(-5). Which is greater: -3242 or j?
j
Let r(i) = -i**3 + 75*i**2 - 1062*i - 127. Let m be r(56). Do m and -357/23 have the same value?
False
Let x = -3/22876 - 20747/190671460. Which is smaller: x or 1?
x
Suppose r + 15 = -4*r. Let p = r + -8. Let n = 54 + -64. Which is greater: p or n?
n
Let j = 427 + -315. Let s be 1/2*(22 - j). Which is bigger: -46 or s?
s
Let c be (-3 + (1 - (0 + -2)))/2. Suppose c = -3*s + 8*s. Let b be (-3)/(-10)*(-1 - s - -2). Are b and 0 unequal?
True
Suppose -65 = 8*u - 97. Let a be (-74)/3 + (-12)/(-18). Let w = 29 + a. Which is bigger: w or u?
w
Let d(j) = -3*j**2 + 87*j - 630. Let u be d(15). Is 4/1427 <= u?
False
Let i = -104.06 - -104.08. Is 0.14 at least as big as i?
True
Let y = 0.82 + 56.18. Let p = 56.67 - y. Let a = p - -0.43. Is -2/77 != a?
True
Let n = 899 + -904. Is n greater than -43?
True
Suppose -60*a + 27*a + 34*a = -2088. Are a and -2089 non-equal?
True
Suppose -2*r - 6*w - 258 = 0, 4*r + 5*w = 305 - 807. Which is smaller: -122 or r?
r
Let c = -1706 - -2212. Is c < 499?
False
Let a = 5 - -30. Let o = 42 - a. Suppose 2*v - o*v = 5*f, 9 = -2*f + v. Is f greater than or equal to 3/5?
False
Let t = 1 - 1. Let r = -7790/39 + 54527/273. Is t < r?
False
Suppose -5*b - 17*t + 39222 = -15*t, 7838 = b + 2*t. Which is smaller: b or 7848?
b
Let i be ((-24)/(-16))/(6/16). Suppose -3*a + i*w = -170 + 33, 0 = a - 5*w - 42. Let o = 31 + 16. Is o less than a?
False
Let f = -333 + 102565/308. Suppose -2*o + 2*s = -0*s, 3*o - 4*s = -1. Which is greater: o or f?
o
Suppose -4*a = -8573 + 214493. Let o be -2*(-1)/(-9) - 10816/a. Is 1 smaller than o?
False
Let n(g) = -2*g - 12. Let d be n(-9). Let t be ((-66)/(-12) - d)*0. Let c = 0 - 0. Is t < c?
False
Let p(h) = -5*h**3 + 14*h**2 + 5*h - 5. Let r be p(3). Let f = -106510/4953 + 1448/127. Let k = 31/3 + f. Is r at most as big as k?
False
Let j = -2487 + -515. Which is bigger: j or -1/3?
-1/3
Let m(c) be the second derivative of c**7/1260 + c**6/360 - c**5/10 - 13*c**4/12 - 25*c. Let j(u) be the third derivative of m(u). Let o be j(-4). Is 11 < o?
True
Let l = -0.11 + -2.89. Let r = l - -3.2. Let j = 1575 - 1574.92. Which is smaller: j or r?
j
Let y = -3792 - 1444. Is -5237 less than or equal to y?
True
Let d(j) = 3*j**2 - 46*j + 23. Let a be ((-6)/(-30))/((-948)/190 - -5). Let m be d(a). Which is greater: 233 or m?
233
Let q be -1 - -3 - 0/(-1). Let o = -538 + 537.4. Which is smaller: o or q?
o
Let o = -2 + 0. Let k be (0 + 12)*o/4. Let p = -67286.1 + 67286. Which is bigger: p or k?
p
Suppose -3*j + 0 = -n - 8, 0 = -2*n - 5*j + 28. Suppose n*g = -p - 36 - 17, 3*g = -p - 49. Let d = p - -48. Is d < 10?
False
Let a = 1060.6 + -1047.6. Do -848 and a have the same value?
False
Let k be 2*2/(-468)*(6 + -4). Suppose -29*q + 165 - 20 = 0. Suppose 4*o - 1 = 5*w, -o - 9 = 3*w - q. Is o greater than k?
False
Let y = 1705 - 1704.8. Which is smaller: y or -96?
-96
Let w = 174 + -178. Let y = 1076/3 - 364. Which is smaller: y or w?
y
Let x be (-8212)/(-1640) + -2 - 3. Let f(y) = 2*y**3 + 10*y**2 - 15*y - 17. Let h be f(-6). Is x greater than or equal to h?
False
Suppose i + 7 = -2*y - 5, 4*y = -3*i - 26. Let z be ((-146)/(-10))/(5 - (-24)/y). Is 72 >= z?
False
Let q(c) = -4*c - 29. Let f be q(-7). Let a(o) = o**2 + 4*o - 6. Let i be a(-7). Let u = i - 17. Which is smaller: u or f?
u
Let c = 1339/8 + -167. Let t = -1.24 - -5.14. Let g = t + -4. Is g smaller than c?
True
Suppose 3*f - 6 = 0, -83*x + 82*x + 2 = f. Which is bigger: 1/270 or x?
1/270
Let f(n) = n + 3. Let x be f(0). Let a be 7/x*16 + 1/(-3). Let u = a - 63. Is u bigger than -25?
False
Let l = -148 + 115. Let o be 11/l + (-519)/9. Is o < -56?
True
Suppose 0 = 4*y + 160 - 900. Let n = y + -73. Let k = 79 - n. Is -33 at least k?
True
Suppose -l + 5 = -3*v + 15, 5*l + 28 = 4*v. Let b be 7 + (v - (13 - 5)). Is 2 >= b?
True
Let w = -32035 + 32034. Is -30/1261 equal to w?
False
Let q = -13146 - -13146. Which is smaller: -9/760 or q?
-9/760
Let j = -35.704 - -36. Let v = j + 0.054. Let g = v + -15.35. Is -3 less than or equal to g?
False
Suppose 6*x = 233 + 307. Let p be (63/(-24))/(x/40). Which is bigger: 0.05 or p?
0.05
Suppose 2*y - 41 = -w, 0*y + 86 = 2*w + 3*y. Let z be 20/35*w/14. Which is greater: z or 6.4?
6.4
Let c(v) = -29*v**3 - 65*v**2 + 54*v - 5. Let x(r) = 11*r**3 + 22*r**2 - 18*r + 2. Let d(p) = 3*c(p) + 8*x(p). Let z be d(18). Is z > -1/210?
True
Let d be 3 - (-3 - -5) - (-1 - 13243)/14. Which is greater: d or 954?
954
Suppose -1712 = -148*l + 952. Which is smaller: 25 or l?
l
Let c be -2*((-18)/3930)/(221/(-65)). Does 1 = c?
False
Let v = -0.33287 - -7.58287. Which is smaller: 0.5 or v?
0.5
Let s be (864/14320)/(4/((-400)/3)) - -2. Let d be (-1)/(-3 + 2 + 2). Is s > d?
True
Let q = 30 + -12. Let w be ((-24)/5)/((q/(-20))/(-3)). Let k be 3/5 - w/(-24). Which is greater: k or 0?
0
Let k = -7505 - -247675/33. Let n be 74/220 + (-2)/10. Let l = k - n. Does 0.4 = l?
False
Let i be 4/(6/(-4) + 12 + -11). Let t(u) = 2*u**2 + 34*u + 135. Let x be t(-10). Which is smaller: x or i?
i
Let d = -828351 + 828349. Let q = 11 - -26. Are d and q nonequal?
True
Let w be (-662)/40 + (24/(-10))/(-3). Suppose -37 = 2*i - j, -j = -6 + 1. Which is bigger: i or w?
w
Let x = 32.2 + -5.2. Let l = 27 - x. Let s be 0 + (-13)/(-3) - (-32)/(-24). Is l at least as big as s?
False
Let v = 8643 + -8644. Do v and 1/4507 have the same value?
False
Suppose 34*w = 31*w - 3, -2*w = -4*x - 106. Let t(n) = n**2 - 11*n + 9. Let f(p) = -1. Let k(a) = 5*f(a) + t(a). Let g be k(5). Which is bigger: g or x?
g
Let w be 68/(-442) - (-1)/(39/6). Does w = 11/40?
False
Let o = 900 - 607. Let n = o + -295.64. Which is smaller: -1 or n?
n
Let k(n) = 6*n**2 + 2*n. Let o be k(2). Let z be ((-4)/o)/((-2)/4). Let l be (-2)/168*17 - (-12)/(-1296)*9. Is z at most as big as l?
False
Let h = 0.167 + 0.083. Let w = -0.0386 + -0.9614. Which is smaller: w or h?
w
Let a be 4 - (-8 - -17) - 142/(-2). Let l be (-6)/a + (-4 - (-532)/132). Let f = 0 + 0. Do l and f have different values?
True
Suppose -4*m - 3486 + 3494 = 0. Which is smaller: m or -292?
-292
Let g = 16 - 19. Let o = g + -2. Let b = -45.3 - -34.3. Which is smaller: o or b?
b
Suppose 37*l - 34*l + 240 = 3*f, 0 = -4*f + 3*l + 322. Which is smaller: -26 or f?
-26
Let m = -42 - -32. Let y be (-2 - 36/m)/(2/10). Let i be y/(-20)*15/(-33) + 0. Is 11 bigger than i?
True
Let r(k) be the second derivative of k**5/20 + 2*k**4/3 + 17*k**3/6 + 11*k**2/2 + 26*k - 2. Let b be r(-5). Which is smaller: 548 or b?
b
Suppose -3*j + 5*j - 6 = 0. Let h(f) = f + 3. Let z be h(-1). Suppose -3*b + 36 = -z*p, 0 = 4*b - j*p + 25 - 74. Is b >= -0.2?
True
Let h = -10243 + 10937. Is -2 != h?
True
Let k be 2/11 + 0 + (-24336)/(-99). Let z be (-9)/(-18)*2*5. Suppose -3*c + z*u = -6 + 185, k = -4*c + 3*u. Which is bigger: c or 0.1?
0.1
Let y be 6/10*620/12. Suppose -5*m - 3*d = 114, 5*m - y*d + 126 = -28*d. Are m and 0 equal?
False
Let b be -5 + 5415/18 - 22/66. Which is smaller: b or -2/3?
-2/3
Suppose 4*s = -h + 7, 116*h - 108*h - 27 = -3*s. Which is smaller: 11/678 or s?
11/678
Let f be 1/(-2*109/36). Let j = 897/7412 + f. Which is bigger: 0 or j?
0
Let d(q) = -83*q - 741. Let l be d(-9). Is l less than or equal to 116/17?
True
Let q = -69 - -71. Let r = 2 - -1. Suppose 1 - 19 = r*c. Which is smaller: c or q?
c
Let z = -330011/206 + 1602. Let b = 91/2472 + z. Suppose -4*y = -10*y. Which is smaller: b or y?
y
Let i = -1153 + 1167. Which is bigger: i or -1/3?
i
Let s = -0.4786 + 48.4786. Is -61 at least as big as s?
False
Let p = -121 + 103. Let u be 25/(-200) - p/16. Is u < 3/29?
False
Let u = 1.7 + -0.8. Let g = u - 1.1. Let x be (-45)/6*2*(-1)/18. Which is smaller: g or x?
g
Suppose -i + 23 = 3*p + 3, i + 12 = 5*p. Let f be (-13)/(-1118)*i/2. Which is smaller: 0 or f?
0
Let i = 11685 - 1039976/89. Which is smaller: i or 0?
i
Let q(t) = t**2 - t - 99. Let c be q(-10). Let n be (2/6)/(2/71). Are c and n non-equal?
True
Let m(h) = h**3 + 48*h**2 + 253*h + 67. Let r be m(-42). Are r and