. Does -8 = n?
False
Let a be 29/2 - (210/(-20))/(-21). Let t be a*12 + (-10 - -9 - 2). Which is smaller: t or 166?
t
Suppose 0 = 6*v + 154 - 274. Suppose 5 - 5 = v*b. Are 1/197 and b non-equal?
True
Suppose j = 4*j + 4386. Let n = -14969/2 + 125215/14. Let c = n + j. Is c less than -4?
False
Suppose -4*z - 8 = 0, -182 - 101 = 5*y + 4*z. Let h = y - -40. Which is smaller: -21 or h?
-21
Let k(b) = -77*b + 124. Let a be k(7). Let p = 413 + a. Which is smaller: p or -27/17?
p
Let y(h) be the first derivative of h**4/4 + 7*h**3/3 - 3*h**2 - 15*h + 3. Let z be y(-7). Let s be -3 - z/(7 - 4). Which is bigger: s or -11?
-11
Let p(l) = -l**3 - 7*l**2 + 53*l - 35. Let u be p(4). Which is bigger: 10264 or u?
10264
Suppose 63*w - 1014090 = -267*w. Which is greater: 3071 or w?
w
Let p be (-2)/10 - 689/80. Let q = -187/112 - p. Suppose s + 12 - 18 = 0, 0 = -2*a + 2*s. Is a smaller than q?
True
Let a = -3844.63 - -79.63. Is 0.1 smaller than a?
False
Let a(s) be the third derivative of -s**6/120 + s**5/4 + 9*s**4/4 - s**3/6 + 74*s**2 - 1. Let x be a(18). Which is greater: x or -32/23?
x
Let v be (1008/21 + -38)*2/45. Let f = -43/4 + 25/2. Which is smaller: v or f?
v
Let b = 1/103 - -80/2369. Let g = -21090 - -21090.2. Is g <= b?
False
Let l = -1928 + -11800. Is -13727 not equal to l?
True
Let n = 1.03741 - 0.03741. Are 107/9 and n non-equal?
True
Let t be 7/(-1134)*-12*1/(-3). Suppose -2*v - 8 - 84 = 0. Let r = v + 46. Is r less than t?
False
Let z be (0 - -12)/(-2 + (-1856)/(-980)). Is z less than or equal to -113?
True
Let v(h) = -3*h - 22. Let u be v(-8). Suppose -4*a + u*b + 64 = 0, 5*a - b = 21 + 53. Let f be (-2)/3*3*14/(-2). Is a smaller than f?
False
Let s(i) = -1214*i**3 - 2*i**2 - 44*i - 85. Let r be s(-2). Which is bigger: 19415/2 or r?
19415/2
Let d(q) = -q - 44. Let j be d(-51). Let l be 0/(2/(6 - j)). Are l and 124 equal?
False
Let q = -10078 + 12136. Which is bigger: q or 4?
q
Let k(l) = 2*l + 6. Let t be k(6). Suppose -320 + 92 = -12*x. Which is smaller: t or x?
t
Suppose n - 179 = -21. Suppose 0 = d + 5*v - n, -790 = -5*d - 29*v + 28*v. Is d <= 158?
True
Let h be ((-60)/288)/((-5)/3) - 59/(-8). Suppose -4*d = 3*v - 0*v - 22, 0 = 5*v - 4*d - 26. Let p = v - -3. Which is bigger: p or h?
p
Let o = -3066 - -15328/5. Is o at least -342/29?
True
Let i = 469033 - 469032.3. Suppose -l = 4*l - 10. Let t be l/3 + (-4)/3. Which is smaller: i or t?
t
Suppose 0 = -3*z - z - 4. Let h = -261197/100 - -2612. Is h >= z?
True
Let l = 173 + -295. Let w = -123 - l. Which is bigger: -1/25 or w?
-1/25
Let c = 9 + -38. Let r = c + 43. Suppose -x + 3*w + 13 = -w, 2*w = 0. Which is smaller: r or x?
x
Suppose a + 15*a + 15504 = 0. Let h = a - -3895/4. Which is smaller: 3 or h?
3
Let m(r) = 943*r + 14143. Let l be m(-15). Suppose 0 = -4*q + 3*q - 2. Is l at most q?
True
Let u(q) = 2*q**2 + 10*q - 16. Let x be u(-8). Let v = 47 - x. Is v at least -11?
True
Let w = -2399/5 - -16803/35. Is -2.059 at least w?
False
Let i = 2.531 - 4.531. Are 1183 and i equal?
False
Let g = -96 + 172. Let k = -46 - g. Let v = k + 111. Which is greater: -2/5 or v?
-2/5
Let v(u) = 9*u + 22. Let o be v(-11). Let f = -128 - -51. Is o at least as big as f?
True
Let u be 14/35 + (528/20)/4. Let a(f) = -16*f + 111. Let c be a(u). Is c <= -3/64?
True
Let u = -125 - -127. Let a be 0 + (-3)/u + 2. Is a at least as big as -5/2?
True
Let c(g) = -4*g - 36. Let m be c(-9). Suppose -5*b = -3*f - 32, b = -2*f - 4 - m. Let h(r) = -r**2 + 7*r + 9. Let s be h(8). Which is smaller: s or f?
f
Let n be (1256/(-5))/((-46)/115*7). Is 2 <= n?
True
Let a = 47 - 106. Let c = 59 + a. Let v = 1 + -1.6. Which is bigger: v or c?
c
Let o be -3*(-138)/24*-4. Let q be o + (-8)/(-2 - 6). Are -68 and q equal?
True
Suppose -7 = 5*v + 3. Let t = 180 + -182. Let c be 495/(-121)*t/(-5). Is v at least c?
False
Let f = 21 + 61. Let t = f - 146. Let k = t + 54. Which is bigger: 1/7 or k?
1/7
Let q(a) = a**3 + 25*a**2 - 3*a - 38. Let w be q(-25). Which is smaller: 94 or w?
w
Let j be 16/24*12/8*3. Suppose -3*l - j*c - 3 = -0*l, 0 = -5*c - 10. Which is bigger: -1/531 or l?
l
Let z be (-2)/(-4) + 102/4. Let j = -1000 + 1004. Suppose o - 3*o = j*g - 64, -o - g = -29. Is o greater than z?
False
Suppose 3*f - 754 = -76. Let g = f + -58. Is g != 168?
False
Let w = 12765 + -12679. Do 1638/19 and w have the same value?
False
Let z(l) = 10*l**2 + 4. Let n be z(3). Suppose 4*b - 6726 = -2*d - 6718, 2*b + 12 = 3*d. Is b less than or equal to n?
True
Let k be (354*24/48)/789. Which is bigger: 0 or k?
k
Let a(w) be the first derivative of -w**4/2 - w**3/3 + 2*w**2 + 8*w + 4. Let m be a(-2). Suppose 8*z - m = -4. Which is bigger: -3/17 or z?
z
Let p = -30.1 + 38.1. Which is smaller: -0.18 or p?
-0.18
Let q be (72/27)/(2/9). Suppose -3*z - 50 = 5*f - 8*z, 3*z - q = 0. Let u = -1.9 - -2. Do f and u have different values?
True
Let u = 5.7 - -1.3. Let n = u + -7.017. Let l = -0.083 + n. Which is bigger: 10 or l?
10
Let m = 457/5 + -92. Let g be (50/(-35))/(10/(-105)*3). Do g and m have the same value?
False
Let o = 355 - 537. Let c = o - -181.8. Which is greater: -3/2 or c?
c
Let x be ((-21)/(-13))/(-4*(-1)/8). Suppose 2*t = 12 - 2. Suppose 3*o + 11 = 2*o + t*g, 4*o - 4 = 4*g. Is o greater than or equal to x?
True
Let i be (-55)/(-132) - 4/6. Let t(c) = -c + 24. Let u be t(21). Suppose 2*l + 307 = -u*g, 2*g = -3*g + 5*l - 520. Is i at least g?
True
Let p be ((-8)/(-20))/((-2)/(-50)). Suppose -3*k = -p*k + 28. Suppose k*v - 8 = -20. Is v <= -1?
True
Let d = 19313715/17 + -1135787. Let t = d - 314. Let j = t + 55/34. Is j less than or equal to 1?
False
Let a(s) = s**2 - 3*s + 47. Let w be a(-26). Let k be (w/36)/((-1)/4 - 0). Which is smaller: -91 or k?
-91
Let y = 0.0407 - 34.0407. Let f = 26 - -10. Let k = y + f. Is -12 bigger than k?
False
Suppose 210 - 18 = -6*n. Let o be (78/12 + -4)*n/(-5). Suppose 4*x - 23 - 37 = 0. Which is smaller: x or o?
x
Let w(f) = -12*f - 16. Let h be w(-12). Suppose r = -3*r + h. Let c be 4*4/16*-2 + r. Which is bigger: 28 or c?
c
Let l = -127.4 - 8.6. Let i = l + 136.1. Is i bigger than 4.5?
False
Let m = -36.407 - -37.98. Let q = 0.573 - m. Is -19 greater than q?
False
Let w be (6/(-4))/((-6)/80*-5). Let t be (-1)/((-8035)/(-2010) + w). Let j be t/(-12) - 9/(-3). Is j <= -31?
False
Suppose 5*x - 1 = 76*c - 75*c, -2*x - 5*c + 22 = 0. Is 36/623 < x?
True
Let l = 2/109 + 204/763. Let q = -98 + 103. Which is smaller: q or l?
l
Let x = -2255 - -1362019/604. Let f = 19 + -18. Are f and x unequal?
True
Let k be -1 + 2358 + (-66)/(-11). Is k greater than or equal to 16536/7?
True
Let r(o) = o**3 + 10*o**2 - 600*o - 4. Let u be r(-30). Suppose 5*a - 2*k + 11 = 0, 2*k = 4*a - 0*k + 8. Which is greater: u or a?
a
Let q = 3612.91 + -3573. Let y = 40 - q. Let u = 0.39 - y. Which is smaller: 0 or u?
0
Let z be 1*(((-176)/(-110))/((-4)/(-10)) + -4299). Do z and -4294 have different values?
True
Let q be (2 - (-8)/164) + -2. Let j be (286/(-39) + 7)/((-2)/(-6)). Which is bigger: j or q?
q
Let p be 740/(-666) + (-420)/1323. Let i be (-4)/6 + 64/6. Which is smaller: i or p?
p
Let j = -4014 - -4019.066. Let t = -1.566 + 1.5. Let g = t + j. Is g greater than or equal to 7?
False
Let b = -60 - -61. Suppose 2*d + 5 = b. Let z be d/10 - 18/(-15). Is z smaller than 3/20?
False
Let p(s) = s**3 + 14*s**2 + s - 192. Let u be p(-13). Let q be 218/(-6) + (-2)/(-6). Is u < q?
False
Let v be (2*9/(-8))/(6 + (-184)/32). Is v not equal to 288?
True
Let i = -1536 - -2205. Which is smaller: 673 or i?
i
Let c = -129 + 106.2. Let d = -19.8 - c. Which is smaller: 22/7 or d?
d
Let j be ((-2)/6)/((-13)/39). Suppose 124 = 4*d - 60. Let a be 1 - d/(-14) - 8/28. Which is greater: a or j?
a
Let v be 7/2072*12/(14 - 38). Is 1 equal to v?
False
Let y = 19/419 - 190207/4213045. Is y bigger than 1?
False
Let l = 1/17 + -155/2057. Let d(a) = -a**2 - 6*a - 3. Let u be d(-5). Let n = u + -2. Does n = l?
False
Let y = 0.05066 + -2.05066. Are y and 17.1 equal?
False
Suppose 3*h - 8 = 1. Suppose h*u = -5*z - 121, -4*z + 9*z + 109 = 3*u. Let k be 1 + 2/(-14) - (-19304)/(-798). Is k greater than or equal to z?
False
Let f be -7 + 4 + 41/(533/2652). Which is smaller: f or 202?
f
Let x(t) = -t**3 - 5*t**2 + 12*t - 12. Let r be x(-7). Suppose 0 = 22*o - 18*o + 12, -5*o = 