2*q - 27*u + 631. Is q != 1608/5?
True
Suppose -5*q - 10 = 3*z - 75, 4*q - 4*z = 84. Let a be 2 + (-4)/q*-20. Suppose -v = 2*u - 2, -3*v + 2*v = -3*u + 8. Which is bigger: u or a?
a
Suppose 5*l + 24 = 4*s, 4*s - 13 = 3*l + 3. Let b be (4 + 3 - 6) + 18 + s. Which is smaller: 59/3 or b?
59/3
Let f be -7 - 1/((-3)/(-366)). Let a = 142 - f. Is 271 smaller than a?
False
Let w = -107 - -109.56. Let s = w + -158.56. Let r = -90 - s. Are 2/3 and r equal?
False
Let g be (-2)/18*-2 + 234098/(-198). Let l = -1183 - g. Suppose -5*r = 5 - 0. Is l != r?
True
Let s = 16668 - 16669. Let f = -9 + 9.09. Is s at least as big as f?
False
Let w = 3437 + -4612. Which is smaller: w or 0.1?
w
Let z be (111/(-105) - -1)*18/36. Are z and -1/4 equal?
False
Let y = 195 - 197. Let d = 0.32 + -0.82. Let a = 14.5 + d. Do y and a have the same value?
False
Let r be 1/(3/291) + (4 - 8). Suppose 96*m - r*m = 543. Is m less than 182?
True
Let r = -3177 - -3178. Let i(y) = -49*y - 5. Let d(h) = h. Let t(q) = -6*d(q) - i(q). Let c be t(r). Is 47 > c?
False
Let f = 22349/4 + -73505885/13156. Are -1 and f equal?
False
Suppose 0 = 4*x - 2*a + 16, 24 = -3*x - 2*a - 2. Let m be 38/x*(-45)/(-15). Which is bigger: m or 2/9?
2/9
Let f = -1363 + 80415/59. Suppose 0 = -7*c - 8*c + 15. Is c smaller than f?
False
Let o(q) = q - 11. Let k(n) = 1. Let x(r) = 6*k(r) + o(r). Let y be x(8). Suppose 41 = 3*c - g, -y*c - 4*g = -c - 46. Are 15 and c unequal?
False
Let z be (2/(10/(-985)) - 0) + -1. Let y = -197 - z. Is 14/11 bigger than y?
True
Suppose 3*h + 6 = 0, 0 = 4*f - h - 273 - 557. Let p be f/(-46) - (-1)/(-4)*-2. Let j be (-3)/(-6) - (-10)/p. Which is smaller: j or -3?
-3
Let d = -339 + 345. Suppose -d*a + 968 = -9*a - 5*h, 4*h - 1638 = 5*a. Which is smaller: -327 or a?
-327
Let g = -1014 - -926.4. Let i = g - -71.6. Is 1/9 equal to i?
False
Let v be (4500/40)/(-45) + (-61)/(-2). Let x be ((-2)/6)/((-2)/12). Suppose 8 = -x*r + 62. Which is smaller: v or r?
r
Let u = 42 - 40. Suppose 5*h - b = -5*b + 3, -4*b = u*h + 6. Suppose -98 = -h*d + d. Which is greater: 48 or d?
d
Let l = 7589559/21364 + 1/10682. Let o = 355 - l. Which is greater: o or -131?
o
Let i(x) = x**3 + 2*x**2 - 7*x - 10. Let u be i(-3). Suppose -y + u = -0*y. Suppose 2 - y = 6*b. Which is smaller: b or -2/11?
-2/11
Let x(d) = -d**2 + 8*d + 269. Let c be x(-11). Which is greater: 53 or c?
c
Suppose -14 = -2*u - 0. Suppose -1 = 5*a - g, u*g - 2*g - 5 = -2*a. Let d(f) = -f**2 - 2*f + 27. Let r be d(a). Is 25 >= r?
False
Let w = 0 + -14. Let z be 4/14 - 10/w. Let l be (6/(-60))/(20/(-600)). Are l and z non-equal?
True
Let w be ((-86)/(-172))/(1/2). Which is greater: -2/4515 or w?
w
Let n be (-2)/((-2)/(-3)*87/116) + 5. Is -4/7039 bigger than n?
False
Let p = -0.00797 - 1.99203. Is p != -3/16?
True
Let q = -2813 + 14117/5. Let y = 54/5 - q. Is 323 at least as big as y?
True
Let c = -434577 + 434576.5. Let b = -11.9 + 11. Let r = -0.1 + b. Which is smaller: r or c?
r
Let x be (15 + 550/(-30))/(1 + 1/(-3)). Is x >= 27?
False
Let t = 29303 + -319402701/10900. Which is greater: t or 0?
0
Suppose 9599*u = 9572*u. Is u <= -2/26487?
False
Let t = -8/753 - -809/5271. Is 226 >= t?
True
Let u(k) = -167 + 88*k**2 + 76*k**2 + 4*k - 163*k**2. Let q be u(0). Which is smaller: q or -166?
q
Let s(w) = -w**3 + 13*w**2 - 10*w - 31. Let a be s(13). Let m = 157 + a. Is m greater than -4?
False
Let l = -243815/26603 - -339/37. Suppose -2*i = -25*i. Is l at least as big as i?
False
Let i = 355 - 355. Suppose 0 = 3*h + 4*x + 62 + 53, i = -5*h - 5*x - 185. Which is greater: h or -30?
-30
Let z = -1.3781 - 1.0219. Is z < 173?
True
Let r = 7594 + -6835. Which is smaller: 761 or r?
r
Let a = -2592 - -2609. Let p = 39 - 22. Is a less than or equal to p?
True
Let y(p) = 266*p + 1583. Let x be y(-6). Is -623/43 less than or equal to x?
True
Suppose 7650 = 55*v - 53*v. Suppose 12*f = v + 951. Is -0.1 greater than f?
False
Let i(f) = 539*f + 6465. Let s be i(-12). Is 127 at least s?
True
Let c = -248 - -233. Let v(s) = 12*s. Let m be v(-1). Let h be (-16)/m*84/(-8). Which is smaller: c or h?
c
Suppose -t = 3 + 2, 5*t - 2605 = -2*s. Which is smaller: 1321 or s?
s
Let t be (-26)/(-72) + 1/(-4). Let n = -12856 + 12855.9. Which is greater: n or t?
t
Let o = 28 - 18. Let y = 4 + -38. Let k = y - -44. Is o at most k?
True
Let f = 31.0036 - 0.0036. Let b = -221 - -1103/5. Which is bigger: f or b?
f
Suppose 0 = 65*i - 79*i. Which is smaller: 34/89 or i?
i
Suppose -2*i = -i + 10. Let h be (17/2)/((-5)/i). Suppose 14*q = h*q - 24. Which is smaller: 6 or q?
6
Let r = 0 + 14. Suppose 8 = 4*i + 4*k, -5*i = -2*k + 4*k - 10. Suppose 0 = 4*o + 2*b + b + 16, r = -i*o - 3*b. Is 2 bigger than o?
True
Suppose -3*h + 24 = -3*o, o = 4*h + h - 44. Suppose 5 - h = g - 3*s, -5*s + 20 = g. Which is greater: -1 or g?
g
Let m = 48/13 - 349/91. Suppose -18 = 85*r - 94*r. Let p be 4 - (6 + -6 - -6)/r. Is p equal to m?
False
Let d be (272/6)/(34/51). Let g be (3037/2)/(3*d/88). Let l = 655 - g. Which is smaller: l or 1?
l
Suppose 0 = 11*z + 859 + 1528. Let h = z + 206. Which is greater: -21/2 or h?
-21/2
Let h be 532/66*1488/868. Are h and 13 unequal?
True
Let b = -3/23 + 22371/115. Which is smaller: 193 or b?
193
Let t(s) = 6*s - 29. Let o be t(5). Let v be o*-3 - -6*(-6)/(-12). Suppose 5*n = 5*a - 190, 0 = 5*a - 2*a + 12. Which is smaller: v or n?
n
Let f = -118 - -231/2. Let k = 0.043 - -21.957. Let t = 22 - k. Is f < t?
True
Let t = -0.3604 - -0.383. Let i = 0.0726 - t. Which is smaller: 10 or i?
i
Suppose j + 28 = -j - 2*k, 4*k - 24 = 4*j. Let d = j - -11. Which is greater: d or 2/143?
d
Let l = -44.96 - -43.37. Is l greater than 35?
False
Let h = 24537 + -24333. Let n = 0.1 - 0.2. Which is greater: h or n?
h
Let q be 4/30 + (5488/(-15))/(-1) - 7. Which is smaller: 363 or q?
q
Let c be 4/(-18) + 22/297*3. Let z be 14/(0 + c - (-3210)/(-15)). Which is smaller: 0 or z?
z
Suppose 2*t = -4*q + 3338, -4*q - 3322 = 2*t - 4*t. Let z be 545/t - 3/9. Let n = z + 680/2331. Which is bigger: 1 or n?
1
Let f = -5151 - -5158. Are -2/5 and f non-equal?
True
Suppose 0*f + 30 = 5*f. Suppose -66*z - f = -69*z. Which is smaller: z or 29/10?
z
Let r = -64 + 56. Let n be (-387)/(-21) + r/(-14). Let o = 28 + -9. Is o <= n?
True
Let p = 230 - 220. Let g be 2/p + (-48)/(-10) + 0. Suppose 5*a - 9 = -5*r + 26, 4*a = -2*r + 16. Is g equal to r?
False
Suppose u - 1070 = 25*y - 24*y, 0 = -2*u - 4*y + 2104. Do u and 1060 have the same value?
False
Let w = -3817 - -4538. Is w greater than 2887/4?
False
Suppose 0 = -2*f - r, -5*r = -3*f - 7*r + 1. Which is smaller: f or 3/2861?
f
Let a = 3275 + -9926. Are a and -6651 nonequal?
False
Let p = -1806706/55107 - 60/2041. Which is smaller: p or -33?
-33
Let z(o) = o**2 - 11*o - 6. Let q be z(5). Let a be (-22)/(-99) + (-505)/q. Suppose 21 = 3*u - 3*r - 18, -5*u = 4*r - 74. Which is smaller: u or a?
u
Let s be 3*(-6)/108 + 1117/78. Which is smaller: 15 or s?
s
Suppose -2*a + 93 = 2*a + 5*v, 0 = 3*a - 3*v - 90. Suppose -1442 = -34*d + a*d. Is 207 greater than or equal to d?
True
Let r = -1.43 - -0.03. Let x = 3.5 + r. Let f = x + -1.1. Which is bigger: -0.1 or f?
f
Let x(u) = u**3 - 9*u**2 + 17*u - 71. Let o be x(8). Is -9/776 greater than o?
False
Let o = -425955 + 425894. Let d be (9/(-2))/(2/24). Are o and d non-equal?
True
Let t = 117.98 - 117. Let d = -1.905 + 2.685. Let a = d - t. Do a and -22 have the same value?
False
Let j = -146/201 - -4/67. Which is bigger: j or -6283?
j
Let f be 85 + -67 + 343905/(-19105). Which is smaller: -1 or f?
-1
Suppose -36*p - 35*p + 1167 = -14879. Does p = 228?
False
Let z = -9 + 18. Let w = z + -8.9. Let j = 0.1381 - -1.0619. Is j >= w?
True
Suppose -b + 4 = -4*v + 1, -4*b = -3*v - 25. Let m(s) be the first derivative of 2*s**3/3 - 7*s**2 + 3*s - 2. Let k be m(b). Which is smaller: k or 6?
k
Let b be 15 - (-3 + 6 + -4). Which is smaller: -6 or b?
-6
Let i(n) = -n + 5. Let z be i(5). Let v = 3619/43 - 6976343/82818. Let y = v - -2/107. Is z less than y?
False
Let k = 14468 + -14380. Is 266/3 != k?
True
Let n(c) = c**2 - 11*c + 11. Suppose -o - 5*b + 50 = -b, o = -2*b + 40. Suppose 0 = -17*s + 14*s + o. Let f be n(s). Which is smaller: f or -1/30?
-1/30
Suppose 0 = -0*h + h + 4*o + 350, 4*h - o = -1400. Which is smaller: -357 or h?
-35