= -1337/2 + 652. Let q = -18 - r. Which is bigger: q or -0.3?
-0.3
Let r(z) = 10*z - 10. Let j be r(2). Is j > 1?
True
Let p be (-86)/6 + (-2)/3. Let t(y) = -2*y - 16. Let x be t(-11). Let w be (x/9)/(10/p). Is w smaller than -1/4?
True
Suppose 2*q = 3*q - 18. Suppose -2*x + 82 = q. Let z be (3/x)/((-3)/2). Which is bigger: 1 or z?
1
Let u be 40/45 - (2 - 2). Let i be 2 - 1 - (-7 - -6). Are i and u non-equal?
True
Let h = -37 - -34. Let o be 1/((-12)/(-195)) + h/12. Which is bigger: o or 17?
17
Suppose -2*i - h - 50 = 0, -6*i = -i - h + 111. Do -19 and i have the same value?
False
Let b = 693 + -999. Let s be b/(-11) + 30/165. Let g = s + -27. Is -1/3 at least g?
False
Let c = -21.48 + 21.78. Which is smaller: 230 or c?
c
Let m = -0.18 - -0.08. Let r = m - -2.1. Which is smaller: r or -9?
-9
Let h = -6875 - -3293126/479. Let q = -3839/3353 + h. Which is smaller: q or -2?
-2
Let o = 524 - 348. Let b = o - 5457/31. Let h = 280 - 281. Which is smaller: b or h?
h
Let x(a) = a**3 + 9*a**2 + 8*a + 6. Let d be x(-8). Let g be ((-66)/(-11))/(d/(-4)). Let l be 1/g - 65/(-20). Is l at most 0?
False
Let p = -9 + 19. Let g be (2/5)/((-2)/p). Let t be ((-68)/35 - g)*5. Is t at most 0?
False
Let w = -8.96 - 0.14. Let x = -0.1 - w. Let o = -9.2 + x. Is o less than -1/5?
False
Let m = -0.024 - 1.976. Which is smaller: m or 251?
m
Let v = -18431072/31 + 86958205067/146258. Let h = v - -1/2359. Let m = 7/2 - h. Which is greater: 1 or m?
1
Let f = 20 - 21.1. Let d = -278.9 + 279. Is f <= d?
True
Let v = 2 - -11. Let a = 13 - v. Which is bigger: a or 5/12?
5/12
Let x = -528 + 525. Which is bigger: x or -35?
x
Suppose -x = 5*m - 60, -5*x = -5*m - 0*x + 90. Let g = -62 + 76. Is m less than or equal to g?
True
Let d(s) = 2*s**3 - 2*s**2 + 3*s - 1. Let o be d(2). Let u = -40/3 + o. Which is bigger: 7/5 or u?
7/5
Let i be 780/100 - (-1)/5. Let a be ((-12)/i)/(1/2). Is -3 less than a?
False
Suppose 106*y = 101*y + 20. Suppose -y*t = -t + 3. Is t smaller than 1/19?
True
Let d = -3/781 - -31249/2343. Let b = d - 317/24. Let a = -0.0879 + -0.2121. Is b >= a?
True
Let u be 12/(-120) - (-2305)/50. Which is smaller: u or 471/10?
u
Suppose -13*n + 15*n = -3*c - 30, 45 = -3*n - 5*c. Is n < -18?
False
Let r = 211.42 - 174. Let c = r - 37. Which is greater: 1 or c?
1
Let x = -346/11 + 52894/1683. Which is smaller: x or 1?
x
Let s(o) = -o + 3. Let w be s(-3). Let j be 21/(-2)*w/(-9). Let p be j/(-9) - 2/(-2). Which is smaller: -2 or p?
-2
Let c be (-3)/(105/38) + 12/(-60). Let j = 9 + -4. Suppose -10 = 4*i - 5*i + 2*g, 2*i - g - j = 0. Which is bigger: c or i?
i
Let w = -21 + 6. Which is smaller: 1/2 or w?
w
Let v = -141 + 143. Suppose 4*b - 6 = -v*b. Suppose 0 - 1 = k. Is b less than k?
False
Let l be 746/(-130) - 13/(-65). Is l equal to -6?
False
Suppose -36*h = -22*h + 224. Is 7 not equal to h?
True
Let w = -26.5 + 26.415. Is w at most -2/3?
False
Let u be 3*(-53 - 4)/(-3). Let d = u + -57. Is d at least as big as -1/28?
True
Suppose -2*t = 11*t + 26. Which is smaller: -0.053 or t?
t
Let q = -1356/91 + 164/13. Let l(h) = -h**3 - 4*h**2 + 2. Let u be l(-3). Let z be u/9 + (-2)/9. Which is bigger: z or q?
z
Let n be (803/66 - 12)/(1/(-4)). Which is smaller: 115.6 or n?
n
Let l = 1055/18 + -176/3. Which is greater: l or 1?
1
Let n = -3 - 4. Let f = -301 - -291. Which is bigger: n or f?
n
Let j = 0.0451 - 0.0271. Is j >= -0.2?
True
Let z(b) = b**3 - 18*b**2 - 65*b + 41. Let t be z(21). Are 2/5007 and t non-equal?
True
Suppose -12 = -4*s - 4*z, 0*s - 2*z = s - 1. Suppose -2*g + s*g = 0. Suppose 0*q = -5*q + l + 22, 2*q - 5*l + 5 = g. Which is smaller: q or 6?
q
Let d = 792 + -790.54. Which is smaller: d or 2?
d
Let d = 2070 + -1395. Is -2/3 < d?
True
Suppose 72*g + 1 = 71*g. Let u be g*(4/(-6))/((-14)/21). Which is smaller: u or 1/27?
u
Let x = -167 + 167. Which is bigger: x or 537?
537
Let j = 19 - 47. Let b = 28 + j. Do b and 3/58 have the same value?
False
Let l(p) = p**3 - 9*p**2 + 8*p + 2. Let n be l(8). Let t be 4/(n/(-3) - 0). Let u be (-8)/(-10)*t/32. Is 0 smaller than u?
False
Let g = -1202.528 - -1203. Which is smaller: g or 1/2?
g
Let x = -38 + 84. Let b = x - 3. Are b and 0.2 non-equal?
True
Let j be (-2)/(-6) + (-29)/(-21). Suppose -y = 2*l - 11, 4*l - 24 = -8. Which is smaller: j or y?
j
Let t = -247 + 421. Let z be 1 + 0 + (-1 - (-36)/t). Which is bigger: z or 0?
z
Suppose -10 = 2*r - 4*h, -4*r + 2*h + 1 = h. Let b = -266 + 270. Let i be ((-1)/b)/(-1) - (-33)/108. Which is greater: i or r?
r
Let k = 0.09 - 0.19. Let o = -0.5 + 0.2. Let a = o + 0.4. Which is bigger: a or k?
a
Suppose -4*y - 1 + 7 = 5*v, 0 = 5*v - 10. Let x be (6/(-13))/((-6)/(-8)). Which is greater: x or y?
x
Suppose 0*g = -2*g + 3*t + 43, 3*g - 47 = t. Let z = -5310 - -5325. Which is bigger: z or g?
z
Let n = 22.9 + -22.9. Which is greater: n or 148?
148
Let o be (-4)/8 - 3/(-14). Suppose 5 + 16 = 3*q. Let s be 3/q*-3 + 1. Is s at least as big as o?
True
Let z(k) = -2*k - 55. Let c be z(-28). Is 71/29 <= c?
False
Let l be ((-4)/(-58))/((-212)/(-6)). Let h = -3269/99905 + l. Let g = 43 + -43. Which is smaller: h or g?
h
Let y = 17 + -17. Let w = 6 + -6. Is y bigger than w?
False
Let r = -20.615 + -1.045. Let z = 0.34 - r. Let d = -2/3 + 7/6. Is z <= d?
False
Suppose 5*t - 8 + 2 = -4*u, 0 = 3*t + 2*u - 4. Suppose -5*i = -58 - 92. Let j be (8/i)/(2/6). Are j and t equal?
False
Let s = 1042318/91307 + -468/41. Is s at least as big as -1?
True
Let s = 7 + -13. Let y(a) = a**3 + 8*a**2 + 12*a + 1. Let r be y(s). Which is greater: -4/9 or r?
r
Let c(p) be the first derivative of -p**4/4 - 16*p**3/3 - 8*p**2 - 6*p - 1. Let g be c(-15). Is g less than 13?
True
Let g = 26 + -27. Let d = 18 + -12. Let c be (-28)/54 - d/(-9). Is c smaller than g?
False
Let f(l) = 6*l + 6. Let k be f(-2). Are k and -63/10 nonequal?
True
Let u be ((3 + -4)/5)/(11/(-110)). Which is greater: -8 or u?
u
Let d = 6831806/3091 + -18456/281. Let g = 2146 - d. Which is smaller: 2 or g?
g
Let i be -8 + 570/10 + -2. Do i and 48 have different values?
True
Let h be 1/1 - ((-306)/22)/9. Is h < 2?
False
Let l(f) = -4*f**2 + 6*f - 13. Let k be l(2). Suppose 36 = -0*s + 2*s. Let j = k + s. Are 4/5 and j unequal?
True
Suppose 6 = s - 4*u, -s + 0*u = 3*u + 1. Suppose 3*a - 4 = -5*x, -2*a - a - 4*x = -8. Let o = -7 + a. Is s less than or equal to o?
False
Let n = 828 - 831. Let o(q) be the third derivative of -q**4/6 + q**3/6 - 3*q**2. Let l be o(1). Are n and l non-equal?
False
Let l(j) = -j**3 - 11*j**2 + 12*j + 22. Let p be l(-11). Is -2 < p?
False
Suppose -4*n + 203 = -717. Is n at least 230?
True
Let v(q) = 3*q**2 - 30*q - 15. Let m be v(11). Is m at least 12?
True
Let y be (-636)/10 - (-7 - (-222)/30). Which is greater: 1/2 or y?
1/2
Suppose -145 = 4*n - 5*w, 2*n + 4*w + 66 = -0*n. Let v be 6/21 - (-150)/n. Is -3 greater than v?
True
Let s = 76 - 73. Suppose -3 = -a + s. Suppose -23 = -4*m + 5. Which is bigger: m or a?
m
Let n = 219979/887 - 248. Which is bigger: 1 or n?
1
Let h(t) = 46*t**2 - 17*t**2 + 11*t + 9 - 23*t**2. Let n be h(-4). Is n != 60?
True
Let o(x) = -x + 6. Let g be o(0). Let h = g + -6. Which is smaller: -2/15 or h?
-2/15
Let g = 36/29 - 4097/3277. Are g and 1 unequal?
True
Let y = -8 + 9. Let u = -2921/308 + 11/28. Let n = u - -766/77. Is n at least as big as y?
False
Suppose -5*p = 4*q - 15, p + p = 2*q + 6. Suppose h = 5*i + 29, q = 3*i - 3*h + h + 23. Let g = -6.4 + 6.7. Is i at most g?
True
Let p(b) be the second derivative of -b**5/20 + 11*b**4/12 + 2*b**3 + 3*b**2 - 12*b. Let i be p(12). Do 6 and i have the same value?
True
Suppose -70*d + x = -74*d - 1090, -d - 274 = x. Is d equal to -270?
False
Let z = 1144 + -1163. Is z at most as big as -16?
True
Suppose 3*b - 2 = -4*f - 0, 3*f - 15 = 0. Let z = 11 - 13. Let q be (z - 3 - 1)*1. Is q > b?
False
Let h = 3 - 2. Let v = 66 - 66.8. Which is bigger: v or h?
h
Let w be (-2931)/(-1023) + (-14)/154. Is w greater than or equal to 4?
False
Let h = -1.678 - -1.39. Which is smaller: h or 0.1?
h
Let p be 9700/3535 + 6/21 + -3. Is 1 less than p?
False
Let m(t) = 3*t - 2*t - 8*t + 0 - t**2 - 5. Let i be m(-7). Are i and -5 equal?
True
Suppose 19*k = 41 - 27 - 52. Let g be (6/9)/((-1)/3). Let p be (-2 + (1 - g))/2. Is k > p?
False
Let h = -43860/517 - -936/11. Which is bigger