*v + 29564. Are v and 776 non-equal?
True
Let n = -19370 - -19369. Let s = -2250/7 - -542252/1687. Which is smaller: s or n?
n
Let a be 50257/(-151032) - (-1)/3. Is 0 bigger than a?
False
Suppose -113*k - 43636 - 24733 = 37173. Is k greater than -940?
True
Let q be ((-1 - -1) + -63)*-1. Let l be 3/q*(-3)/8. Let x(d) = d**2 - 2145*d - 60843. Let w be x(-28). Is w at most l?
False
Suppose 15*l - 2164 - 2848 - 1063 = 0. Is l at most 400?
False
Let g = -106 - 304. Let c = g - -410.103. Let u = 4 + -4. Is c greater than or equal to u?
True
Let w = 14045 - 14044.9. Let q = 89 + -34. Is q at least w?
True
Let r(t) be the third derivative of 2*t**5/5 - 4*t**2. Let v be r(1). Let p = 2029/82 + -10/41. Which is smaller: p or v?
v
Let q(a) = 11*a**2 - 575*a - 21. Let d be q(53). Which is bigger: 0.6 or d?
d
Let y = 1193/3 - 384. Is 2 <= y?
True
Let l(i) = -i**3 + 34*i**2 - 11*i - 31. Let v be l(34). Let n be (-1)/(v/(-101) - 4). Is -101 greater than n?
False
Let u = 7426 + -7426. Is u bigger than -18/61?
True
Let u = 1154 + -806. Let y = u - 351. Which is smaller: y or 40?
y
Let k = 1.9 + -466.9. Let t = -467 - k. Which is greater: t or 0.09?
0.09
Let t be 12/(-636)*691 - -13. Do 0 and t have the same value?
False
Let q = 1/42 + 1/42. Suppose -5*f = -2*w + 1400, 3*w + 4*f - 2095 = 9*f. Let p = -694 + w. Which is smaller: q or p?
q
Let d be (21/35)/(2/20) + 10 + -14. Which is greater: -396 or d?
d
Let d(h) = -h + 13. Let b be d(28). Are -16 and b nonequal?
True
Let l = -121 - 4. Is l equal to -12?
False
Let x be 133/(-76) + 20/(-16). Is -52/21 less than or equal to x?
False
Suppose -19*a - 103597 - 407308 = 276018. Is a equal to -41417?
True
Suppose 2*u - 17 + 23 = 0. Suppose 9*f + 18 = 11*f. Let g be f/27*3/(-8)*15. Is u at most as big as g?
True
Let w be (-15)/4560*12*-8. Let o = -2 - -2. Let m = o - 1. Which is greater: m or w?
w
Suppose -7 + 35 = a. Suppose 0 = i - 158 + a. Let j = i - 1299/10. Which is smaller: -1/4 or j?
-1/4
Suppose 3*u + 3*a = 6, 3*u + 6 = 4*a + 33. Suppose 3*h - 16 = 5*l, 7*l + 8 = 3*l. Suppose h*g - 9*v - 18 = -13*v, 0 = -3*g - 3*v + 24. Which is bigger: g or u?
g
Let q be 2 + (-16851)/15 - 21/35. Let t be (0 - 292923/q)/(1/(-14)). Let x = t + 3655. Is 0 greater than x?
True
Let m = 309 + -838. Let h = 603 + m. Which is smaller: h or -0.4?
-0.4
Let a be 55 + -43 + -5361 + -6 + 1. Which is smaller: -16066/3 or a?
-16066/3
Let x = 31.51 + -32.51. Does -1968 = x?
False
Let x = -5/5872 - 57305/1661776. Is x at least as big as -1?
True
Let i(m) = -m**3 - 4*m**2 - 3*m + 1. Let h be i(-3). Let n = 113 + -210. Let j = 114 + n. Is h >= j?
False
Let d = 7843 + -7843.2. Is d less than or equal to 1589?
True
Suppose h + 5 = 3889. Let c be (4/h)/(5/(-10)). Which is greater: c or 0?
0
Let r be 28/6 + 9638/(-948). Is r greater than or equal to -321?
True
Let o(n) be the second derivative of n**4/12 - n**3/2 + 3*n**2 - 2*n - 10. Let p be o(3). Which is greater: 9 or p?
9
Let b = -154 - -133.4. Let s = b - -17. Let n = 0.41 - 0.51. Is s at most n?
True
Let d = 11103 - 11098. Is d equal to -170?
False
Suppose 25 = 4*z + 5, -2*z + 31 = 3*h. Suppose -6*r - 6*r - 108 = 0. Let j(x) = 22*x + 206. Let w be j(r). Which is smaller: h or w?
h
Let w = -388.9703 - 0.1297. Let q = w - -389. Which is bigger: q or -91?
q
Let c = 37517197/1748760 + -3261/152. Which is smaller: c or 0?
c
Let h be (228/(-190))/((-2)/(-15)). Suppose 4*a - 2*t = t + 9, 10 = 5*a - 4*t. Which is smaller: a or h?
h
Suppose -5*o + 5*l = -10*o + 35, -o - 2*l + 14 = 0. Which is smaller: o or 1676?
o
Let g(r) = 2371*r + 2837. Let o be g(-2). Is o bigger than -1908?
True
Suppose 23 = -4*v - 29. Let r be 0 + 1 + 1*46. Let a = 33 - r. Which is bigger: a or v?
v
Suppose 11*f + 15*f - 21*f = -17*f. Which is bigger: 11/134 or f?
11/134
Let j = -452 - -456. Let b be 255/(-495) + j/22. Is b greater than 2/53?
False
Suppose 0 = -3*r, -r + 87 = 3*k + r. Suppose 5*i = 4*q + k, -2*i + 3*q - 17 = -6*i. Is 35/6 greater than i?
True
Let s = 1254523/144 - 8712. Let a = -3/16 + s. Is a > 0.46?
False
Let g be 28/(-16) + (-557292)/2032. Let f = -276 - g. Which is smaller: 3 or f?
f
Let w = 6208 - 6356. Is -733/5 <= w?
False
Let j = -52.53921 + 0.10921. Let b = j - 2.57. Which is smaller: b or -1?
b
Let n = 1864 - 1809.3. Let p = 56.28 - 1.28. Let i = p - n. Which is greater: i or -4?
i
Let y(w) = 89*w**3 - w**2 + 11*w - 10. Let r be y(2). Let x = -5070/7 + r. Is x smaller than -4?
True
Let t = -277 + 421. Suppose 141 = 3*i + t. Is i at most -3/88?
True
Let p be ((-5)/(-6))/(1119/(-675)) + 27/54. Is p at least 1?
False
Let z(k) = -50*k - 556. Let o be z(-24). Which is bigger: o or 642?
o
Let g = -0.0636 - -0.1196. Let y = -22.256 + 22. Let z = y + g. Do z and 19 have different values?
True
Let v be (-4)/6*-9 - -303. Let t = 313 - v. Which is smaller: t or 48/11?
t
Let h be (-15)/(30/22) - (-644)/14. Suppose 5*x - 2*x + o = 107, 4*o = -2*x + 68. Which is smaller: h or x?
h
Let t(k) = 2*k**3 + 6*k**2 + 9*k + 6. Let s be t(-3). Which is greater: -4.1 or s?
-4.1
Let x be 32/102 - (-17)/51. Suppose -23*j - 9 = -36 - 19. Which is smaller: x or j?
x
Let h be (-24)/(-18)*30/(-4). Let f = -11 - h. Let z = 265/221 - 23/17. Is f at most as big as z?
True
Let u be 2/7*(-2)/(-4) - 462/(-539). Are u and 5/602 unequal?
True
Let o be (-6)/4 + (-6)/4. Let j(l) = -l - 3. Let i be j(o). Let t be (-54)/6 - (4 - i). Which is smaller: -12 or t?
t
Let x be ((-3)/(-12*1))/(13/(-52)). Let y = 44/71 + -10462/17111. Is x < y?
True
Let n = 70 - 121. Let p be (3 + 6)*-1 + 7. Let a be (-416)/1092 - p/3. Is n smaller than a?
True
Let n = -6188 - -6435. Which is bigger: 240 or n?
n
Suppose 8805*m = 8768*m - 52059. Which is smaller: m or -1408?
-1408
Suppose -4*p + 5*p = 0. Let k be (-2)/17 - (332/68 + p). Let h = -71/56 + -31/8. Is k at most h?
False
Let r be 47/7 + (-12)/(-42). Let s = 43 + -38. Suppose 0 = 5*g + 2*x - 10 - 22, s*x + 7 = 2*g. Is r at least g?
True
Let a(w) = 23*w**2 - 255*w + 25. Let l be a(11). Is 0.64 >= l?
False
Let c = -1869.41 - -1870. Let d = 29 - 28.59. Let r = d + c. Which is bigger: -2/5 or r?
r
Let r be (-68)/51 + 6/(-18)*-4. Is r greater than -14?
True
Suppose 7*w - 2*w = 60. Let s(o) = -23*o + 1277. Let m be s(55). Is w < m?
False
Suppose -4*v - 126 = p, 5*p + 3*v - 4*v + 546 = 0. Let m = p + 119. Which is smaller: 16 or m?
m
Let s = 0.01722 - 0.01722. Are s and 339.5 equal?
False
Suppose 1173*n = 1183*n - 1610. Is n >= 128?
True
Let w be 2508/5434*(-2)/6. Is w greater than or equal to 1/9431?
False
Let p be (-2 + (-1824)/18)/(4/(-6)). Let z = 138 - p. Suppose 34 = 4*d - 6*d. Is z smaller than d?
False
Let n be 2*((-174)/36 + (-15)/9). Let g be (-3)/(-6)*(n - -13). Are g and 21 equal?
False
Let u(c) = -2*c + 4. Let i be u(2). Let l(a) = -a**2 + 64*a - 1155. Let x be l(31). Does i = x?
False
Suppose -2*j = 2*j - 68. Let r(p) = 3203*p - 25619. Let i be r(8). Which is bigger: i or j?
j
Let k = -42.7 + 42. Let i = k + 0.5. Let f = 8 - 7.86. Which is bigger: f or i?
f
Suppose 945 = 13*b + 893. Does b = 11?
False
Let w(h) = -2*h**2 - 30*h - 29. Let x be (-1)/18*-12*-21*1. Let t be w(x). Which is smaller: t or 22?
t
Suppose 240 = 5*q - q. Let n = -194 - -308. Let b = -53 + n. Is q > b?
False
Let h = 0.107298 - -0.192702. Let o be (-205)/(-3) - 2/6. Is h bigger than o?
False
Suppose -7*n + 130 = 6*n. Suppose n*s = -4 + 14. Is -1.7 at most s?
True
Let v = -16107893 + 724892497/45. Let k = 829 - v. Which is greater: k or 1?
1
Let s = 3636 - 3655. Is -131/7 smaller than s?
False
Let w = 21.07838 - 0.07838. Which is bigger: -2/41 or w?
w
Let h be 20/((6/(-231))/((-11)/77)). Which is bigger: h or 109?
h
Let b = -337.566 - 0.434. Let o = b + 336. Which is smaller: -44 or o?
-44
Let p be 400775/200 + (-6)/(-48). Is p at least as big as 2007?
False
Suppose 4*s + 3*n - 24 = 0, -3*n - 1 = 5*s - 7*n. Suppose s*v + 304 - 106 = 0. Let x be 22/v*(0 + 0). Is x > 1/83?
False
Let j = 4 + -2. Let w = 51.78 - -1.22. Let a = -58 + w. Which is bigger: j or a?
j
Suppose -q = s - 74, 2*s = 5*s + 6. Let r be -3*12/(-9) - q/(-2). Suppose -o = 3*a - 35, -2*a + 168 = 4*o - 4*a. Is o at least r?
False
Suppose 349*c = 352*c - 162. Is c bigger than 47?
True
Suppose 0 = 8*r + 5*g + 103, 4*r - 4*g + 52 = 2*r. Is r less than -140?
False
Suppose 