uppose -s + 5*u = -126, u = s + x*u - 140. Is s <= 135?
False
Let s be (198792/(-1782))/(4/(-42)). Is s at least 1170?
True
Let y(a) = -2433*a - 4866. Let x be y(-2). Which is smaller: -54/83 or x?
-54/83
Let m(v) = v**2 - 6*v + 396. Let h be m(18). Are h and 610 unequal?
True
Let n be -126 + 135 + 806/(-86). Which is smaller: -2 or n?
-2
Let n = -284 - -268. Let k be n/(-120) + (-788)/(-30). Which is greater: k or 26?
k
Suppose -5*z + 4 - 24 = 0. Let c be -1 - z - (-141)/(-39). Let t = -1316 - -1316. Is c greater than t?
False
Let n = -39288 - -117863/3. Let v = 0.188 + -77.188. Are n and v nonequal?
True
Let l = -22 + 22. Suppose l = 8*o - 7*o - 4. Let p be (-100)/450*(1 + (-70)/o). Is p equal to 4?
False
Let q = 2 + -1. Let o = -1114037/88 - -12660. Let d = o + -4/11. Which is bigger: d or q?
q
Let m = -23 + 23. Let i = -51.97 + 52. Let w = i + m. Which is smaller: w or 1?
w
Let c(y) = 23*y - 26*y + 2*y - 4. Let n be c(-14). Let f(m) = -4*m - 4. Let d be f(-3). Is n <= d?
False
Let p be (2/5)/((-12)/((-2)/(-1) + 8)). Is p < 0.0742?
True
Let n = 16.8 - -1.2. Let r = -12 - n. Let v = -32 - r. Does v = 0.06?
False
Let u = -1922931371/53138 + 72375/2. Is u < 1?
True
Let v be 425/20 + (-4)/16. Suppose -5*z + 0*z = g + v, -5*g - 3*z = -5. Suppose h - 5 = -g. Is -3/20 at least as big as h?
False
Let b be ((-18444)/(-18))/(4/(-6)). Is -1531 smaller than b?
False
Suppose 0 = 5*l - 7*j + 12, -5*j = -5*l - 0*l - 10. Is -1/329 smaller than l?
False
Suppose -g = -2*l - l + 345, 2*l - 223 = 3*g. Let w = 122 - l. Let b be (w/(-5))/(9/(-210)). Which is smaller: b or 29?
b
Let n(l) = 333*l - 29. Let i be n(-1). Let h = 359 + i. Is h > -11?
True
Let k = -32329/79086 - -1/1614. Let t = -1462/1421 - k. Is -2 less than t?
True
Let q = 5052.176 + -5050. Which is greater: q or 0?
q
Suppose -b - 3*n - 10 = 0, 0 = -2*b + 4*n + 31 - 1. Suppose -b*q + 92 = 87. Is q at least 2/59?
True
Let q(r) = 2*r**2 - 10*r + 20. Suppose -4*u + 10 = -2*u. Let c be q(u). Let m be ((-3)/(-2))/(36/480). Is m bigger than c?
False
Let s(y) = -4 - 111*y**3 + 5*y - 105*y**3 + 218*y**3 - 6. Let a be s(2). Is a >= 16?
True
Let c = 4 + 22. Suppose 28*g - 1 = 29*g. Which is smaller: c or g?
g
Let h = 0 - 0. Let x be -14*(-2)/6224*6898/24143. Which is greater: h or x?
x
Suppose 0 = -3*b + i - 1389, 4*b + 1916 = -3*i + 77. Which is smaller: 0.2 or b?
b
Let d(m) = 11*m + 286. Let i(c) = -25*c**2 - 4*c + 3. Let y be i(1). Let p be d(y). Which is smaller: 232 or p?
p
Let t = -66 + 68. Suppose -h + 46 = -t*d, 0*d - 3*d = 5*h - 295. Suppose 0 = 4*j + 188 - h. Is j != -33?
False
Suppose -5*r = -10*r + 15. Suppose 4*v = -3*t + 24, r*v - 6*v + 1 = -2*t. Let k(q) = q**3 - 6*q**2 + 8*q + 4. Let p be k(v). Which is smaller: p or -3/8?
-3/8
Let c(t) = t**3 - 5*t**2 - 144*t + 593. Let j be c(4). Are j and -2/14995 equal?
False
Suppose -3*c + 0*c = -6. Let j be (-376)/(-272) + 1/c. Is j less than or equal to 1?
False
Suppose -3156 - 6494 = -10*n. Suppose 556 = 9*k - n. Is 167 less than or equal to k?
True
Let g be (-224308)/(-210) + 1*2/(-15). Suppose 8*r = 10*r + g. Let d be 1584/r - (3 + -6). Which is bigger: 1 or d?
1
Let t be (-1)/(-4) - (-1007)/212. Suppose 3 = a - l - 12, -t*l = -15. Let j(p) = -p**2 - 4*p - 1. Let x be j(-3). Is x at least a?
False
Let h(v) = 2*v**2 - 12*v + 18. Let q be h(6). Let t be (-12)/30 + (0 - (-54)/10). Suppose -t*u + 371 = 281. Is u at least as big as q?
True
Let w be (-10)/(-14)*(-8 + (-16614)/(-51)). Let j = w + -227. Which is bigger: 1 or j?
1
Suppose -w = -4*w. Suppose -o + 23 = -w*i - 4*i, -19 = 2*i - 3*o. Let v be 30/12*3/i. Is -2 bigger than v?
False
Let o = -50 - -45.1. Let w = o + 3.9. Which is bigger: w or -208?
w
Let i be (1*122/6)/(58/348). Suppose 26*j = i + 450. Is 29 at most as big as j?
False
Suppose -4536 = 3*r + 3*c, c + 1530 = -r - 3*c. Is r > -1507?
True
Suppose 2253 + 207 = 10*q. Let h = 245 - q. Are h and -1/128 equal?
False
Let u = -0.287 - -0.687. Let m be 1*0/1 + 5. Suppose -v = 4, 2*v + 0*v = -m*c + 7. Is c smaller than u?
False
Let s be 11 + -21 - (-16 + 311). Let i = -44 + -261. Is i less than or equal to s?
True
Suppose -19*u + 29 = -48*u. Are -11/381 and u non-equal?
True
Let o be (-5 - -17)/((-27)/(-18)). Suppose 19*p + 11 = -o. Which is bigger: p or -5/7?
-5/7
Let r(a) be the third derivative of -a**4/12 - 8*a**3/3 - 7*a**2. Let x be r(0). Let y be -1 + 842/1370 + x/(-40). Which is greater: -2 or y?
y
Suppose 11142 = -26*n + 10960. Suppose -r = 1 + 12. Which is smaller: r or n?
r
Let a = -0.6144 + 0.48158. Which is smaller: -0.1 or a?
a
Let p be (0 + -2)*(-2)/(-4). Let k be 3 - (24/4 - (-366)/6). Let b be (-12)/k*-4*24/(-279). Which is bigger: p or b?
b
Let w be (4/(-92))/(13/312). Let m = -14617/14030 - w. Are m and -1 nonequal?
True
Let y = 1770/7 - 8829/35. Is -45/37 at least y?
False
Let s = 104 - 105. Let f be 4 + (-5)/s + -2. Suppose -f*x = x - 120. Which is bigger: x or 10?
x
Let p(y) = 8*y - 20. Let c be p(15). Suppose 0*a = -5*a - c. Let v = a - -25. Is -1 bigger than v?
False
Let b(n) = n**3 + 15*n**2 + 27*n - 26. Let q be b(-13). Let f(o) = 12*o + 235. Let a be f(q). Which is greater: a or -234?
a
Suppose -36*s + 259 - 344 = 1211. Is s greater than or equal to -29?
False
Let d(f) = 27*f**2 - 1. Let v be d(-1). Let j = 363 + -338. Which is bigger: j or v?
v
Let g = 15 - -1. Let t be g/20*210/(-4). Let h be -4*924/(-110)*(-50)/40. Is t less than h?
False
Suppose 2*i = 51*i + 12*i. Is i at most as big as -12/217?
False
Let g = 307 - 115. Suppose 22464 = -120*o + 237*o. Is g greater than or equal to o?
True
Let m = 156935/7686 - 365/18. Is m greater than 1?
False
Let g = -72119/37926 - 13/774. Which is greater: g or -3?
g
Let o = 1797826/13091 - 2616/19. Let s = o - 14/53. Suppose -2*p + 2 = 0, -z = 2*z - 5*p + 5. Which is smaller: z or s?
s
Let z = -16.65 + 16.55. Is z at most as big as 1/261?
True
Let t be 15*(((-12)/9)/4)/(15/(-27)). Is t <= 143/15?
True
Suppose 5*f = i + 6, -4*f + 6*i - 3*i = 4. Let j(x) = -x**2 + 3*x + 11. Let q be j(f). Which is greater: 10 or q?
q
Suppose -328 = 3*d - 5*f, -444*f + 522 = -5*d - 448*f. Is -101 at most as big as d?
False
Let f be ((-4)/6)/(8/(-204)). Let r(o) = -5*o - 23. Let q be r(-10). Suppose 5*t - 117 = -q. Is t != f?
True
Let q = -50 - 243. Let x = 280 + q. Which is bigger: x or -16?
x
Suppose 5*y = -k - 459, -9 = -4*y - 2*k - 381. Let u(b) = -b**3 + 13*b**2 - 13*b + 14. Let n be u(12). Is n < y?
False
Suppose -192*o + 304*o = -24528. Do o and -1535/7 have the same value?
False
Let o be (-831)/(-15) + (-4)/(-20)*-2. Is 63 <= o?
False
Let x = -26.5 - 5.2. Let i = 30.7 + x. Which is smaller: i or 0.35?
i
Let a = 361484/3089443575 + 2/196467. Do a and 1 have different values?
True
Let g = 1217 + -1215. Let b be (g/2)/((-5)/(10 - 5)). Let r = 1065/203 + -36/7. Which is greater: r or b?
r
Let u(h) be the second derivative of h**4/12 + 7*h**3/6 + 3*h**2 + 2*h - 4. Let q be u(-6). Is q != 2/193?
True
Suppose -2*j + 0*j = 20. Let n be (j/(-175))/(24/56). Is -3 greater than n?
False
Let y = -16.1 + 15.1. Is -163 less than y?
True
Suppose 251*j + 207 = 207. Let l = 11227/1171780 - -1/5716. Do j and l have the same value?
False
Suppose 46*x = -10*x. Which is smaller: 12/43 or x?
x
Let r = -10569457/15052 - -129975/284. Let m = r + 489/2. Suppose -2*d = 6, 3*v = -0*d + 5*d + 18. Which is smaller: v or m?
m
Let b = 59.96 + 0.04. Let v = -3.3 - 56.5. Let j = b + v. Is j smaller than -6?
False
Let w be (-2080)/(-306) + (-36)/81. Which is bigger: w or 0.1?
w
Let o = 19610/500253 - -2/4953. Let s = 220 + -221. Do o and s have the same value?
False
Let f = 9480 - 9480. Is -4/2383 greater than or equal to f?
False
Suppose 4*z = 2*j + 12, -j - 6 = -z + j. Suppose z*o + 63 + 1 = 0. Which is smaller: -31 or o?
o
Let s = 23246/2946153 + -16/1761. Let w(a) = a + 11. Let h be w(-11). Which is greater: h or s?
h
Let u = -1 - 0. Let z be (-93620)/180 + (1 - 2). Let r = z - -520. Do u and r have different values?
True
Let r = -6.2 - -6.7. Let u = -0.92 - 0.08. Let y = u - 4. Which is smaller: y or r?
y
Let g be (-2)/(-1) - (-6 + 3). Suppose 21*h + g = 22*h. Suppose -y + 0*k - 15 = -2*k, h*y = -5*k - 150. Which is smaller: y or -26?
-26
Let g be (2/4)/(7/(-14)). Suppose 2*b = 2*t - 107 - 79, -2*t = -3*b - 181. Let z