ual to u?
False
Let w be 0*((-34)/8 + 4). Suppose -2*j + 51 - 3 = w. Suppose 1 + j = 5*g. Is 5 smaller than g?
False
Let b = -3285.35 - -3271. Which is greater: b or -0.3?
-0.3
Let s = 6396751/30126 + 1/10042. Let b(o) = -73*o - 7. Let r be b(-3). Is s < r?
False
Let c be (3 - (-104)/(-39))*(-3)/22*4. Do c and 2225 have different values?
True
Let x(m) = m**2 + 13*m + 23. Let a be x(-11). Let c be (a/2)/((-15)/(-95)). Let r = c - 11/3. Which is greater: 7/3 or r?
7/3
Let w(q) = q**3 + 19*q**2 + 50*q + 36. Let r = -283 - -267. Let v be w(r). Is v bigger than -15?
True
Let y = 20405.8 + -20686.929. Let o = y - -281. Which is smaller: -1 or o?
-1
Let o = -7297.8 - -6649. Let l = o + 648. Which is smaller: 13 or l?
l
Suppose 526 = -5*y - 274. Suppose -2*p = 2*p, 0 = 5*f - 5*p - 465. Let j = y + f. Which is smaller: j or -66?
j
Suppose 2*i - z + 90 = 0, 4*i = -4*z - 2 - 202. Is i at least as big as 39?
False
Let l be ((-3)/9)/((-2)/18). Suppose 3*b + 5*s = 41, -l*s = 3*b - 42 + 3. Suppose 99 = v - 4*r + 102, 36 = -r + 13*r. Which is greater: b or v?
b
Let g be 106*-6*(6 - (-108)/(-16)). Let l = g - 956. Let i = -2384/5 - l. Which is greater: 0.3 or i?
i
Let y be ((-388)/(-6))/(2 + (-10)/15). Let l = 33 + 16. Which is greater: y or l?
l
Let r = 4539 - 4508. Is r at most as big as -24?
False
Let g(d) = -d**3 - 5*d**2 + 6*d + 7. Let w be g(-6). Let s = 7 - w. Let o be (((-80)/48)/5)/((-1)/1 - 6). Which is greater: o or s?
o
Let k = -155407/57 + 5208517/627. Let h = -5580 + k. Is h smaller than 2?
True
Suppose -w - 30 = -5*w - 2*c, 5*w - 39 = -4*c. Suppose -w*g - 25 - 31 = 0. Is g greater than or equal to -19?
True
Let c = -1.127 + 0.127. Let v = -364 - -339. Which is smaller: v or c?
v
Let f = 42942 - 42943. Are f and 1/3774 non-equal?
True
Suppose -m + v - 4*v - 4 = 0, -4*m = -5*v - 35. Suppose 0 = m*u - 29 + 34. Let g be (u*6/5)/(6/80). Do g and 3 have the same value?
False
Let g = -2943 - -3334. Which is greater: g or 393?
393
Let h = -89133/20 - -3520083/620. Suppose 2*d - 2*a = 7*d + 6103, -3*d - a - 3662 = 0. Let j = h + d. Which is smaller: 0 or j?
j
Suppose -250*r = -276*r - 42536. Which is smaller: -1635 or r?
r
Let x(m) = -2*m**3 - 15*m**2 - 8*m - 8. Let n be x(-7). Let t be 10/(-25)*(-2 - n)*55. Let d be 25 - (5 + -1 + -2). Which is smaller: d or t?
t
Let x be (-13 - -4 - -9)/(-1). Is 25/59 > x?
True
Let q be (-15 + 17)/(-1 + 3). Let r(b) = 5*b. Let z be r(q). Suppose l = l - z*l. Which is bigger: l or -1/72?
l
Suppose 0 = -84*h + 79*h + 1220. Let n = -117 + h. Let q = -638/5 + n. Is q at most as big as 0?
True
Suppose 1964711 = -16*u - 192*u - 691241. Does -12769 = u?
True
Let w = 523 + -524. Let r be 8 - 2116/252 - w/9. Let h = -0.14 - 5.86. Is h greater than r?
False
Let z be 1*(-20)/32*7/(-130). Is -1 greater than z?
False
Let o(c) = -c**3 - 21*c**2 - 23*c - 82. Let v = -540 - -520. Let i be o(v). Which is greater: i or -10?
-10
Let w = 647 + -661.6. Let p = w - -45.6. Is -0.1 bigger than p?
False
Let r be 4 + -3 - 4*10/8. Suppose 0 = k - 8 + 3. Do r and k have the same value?
False
Let a be 3*2/3 + -4. Let g be 6/21 + -2 - a. Let w = 10429 - 10424. Is w less than or equal to g?
False
Let o = -517 + 353. Let v = -144 - o. Let d = 4/7 + -34/35. Which is bigger: d or v?
v
Let n be (-54)/7 + (-4)/14. Let f be -2*(-1)/n + 6/24. Suppose -2*q - 2*w - 4 = -q, f = 2*q - 2*w - 4. Which is greater: 8/17 or q?
8/17
Suppose -2 = d - 4. Let h(k) = 2*k + 3. Let b be h(d). Suppose -61 = 5*u - 4*v, 13 + b = 5*v. Which is bigger: u or -11?
u
Let j = 89645 - 629166/7. Which is bigger: -236 or j?
j
Suppose -3*l + c + 54 = -98, l - 12*c - 74 = 0. Let v = 60 - 14. Which is smaller: l or v?
v
Let m = 352 - 353. Let d be (-304 - m)/(-11 + (-228)/(-24)). Is 203 at least as big as d?
True
Let t = -373 + -10. Let m = 382 + t. Is -1/11 > m?
True
Suppose 9 = -d - s + 5, -3*s = -3*d. Which is smaller: d or -15/19?
d
Let t(l) = -l**3 + 7*l**2 + 4*l - 27. Suppose -i - k = -10, -4*i = -0*i - 4*k - 16. Let u be t(i). Let q be u + 3 + (-6 - -7). Does q = 9?
False
Let u(c) = -14*c + 4. Suppose -3*a - 2*n + 6 = -0*a, 8 = 5*a + 4*n. Let f be u(a). Let k = 47 + f. Which is greater: -31/5 or k?
k
Let j = 0.8584 + 3.1416. Let h be -1 - (2 + -1)/(-6). Is j < h?
False
Suppose 4*k + 874 = 5*c, -34*k + 35*k = -4*c - 187. Are -214 and k nonequal?
True
Let l(c) = 2*c**2 - 76*c + 75. Let a = 196 + -159. Let j be l(a). Is j > 2/901?
True
Suppose -4 = 2*a, 4*c - 2 = a + 16. Let r be (-3745)/45250 - c/(-50). Which is bigger: r or 0?
0
Let k = -44 + 50. Let g be -1 + 1 + 0/(-13). Suppose -9*h + 63 = -k*h + 3*i, -5*h + 3*i + 145 = g. Does h = 24?
False
Let w = -62 - 983. Let b = -5172/5 - w. Let t = b + -57/5. Is t >= 0?
False
Let v = -5.1 - 26.3. Let q = v - 132.6. Do q and 2/7 have different values?
True
Let t(g) = -g**3 - 2*g**2 + 5*g - 6. Let v be t(-4). Suppose -4 = v*r + 2. Let y be (-2)/3 + 20/(-33). Is r <= y?
False
Suppose 5*a - 18*x + 17*x - 54 = 0, 0 = 5*x + 20. Suppose -4*c = -2*q + 1 - 21, -5*q + a = 2*c. Is q greater than -20/43?
True
Suppose -4*j + 22 = -2. Let a(y) = 28*y - 20. Let n be a(j). Let t be -14*10/n + 0 + 1. Which is smaller: 1 or t?
t
Let j(d) = 15*d**3 - d**2 - 5*d + 3. Let l be j(-2). Let r = l - -106. Suppose -2*g - 1 = -5*u, -g = 3*u - u - 4. Is r bigger than u?
False
Let w = -16.86 - 0.14. Let f(m) = -2*m**3 - 10*m**2 + 15*m + 3. Let v be f(0). Which is smaller: v or w?
w
Let k be -4 + (-57)/(-15) - (-4026)/30. Suppose -42 = 2*u + 2*r - 316, 5*u + 3*r = 675. Which is smaller: k or u?
u
Let d = 1974 + -1973.2. Is 308 at least d?
True
Suppose -9*t + 49*t + 5146 = -1374. Which is smaller: t or -204?
-204
Suppose -2*p + 0*o - 82 = -2*o, -5*o - 5 = 0. Let i be ((-21)/p)/(2/4). Which is bigger: i or 26/11?
26/11
Suppose 5*x + 10*r - 9*r = -22205, -4*x + r - 17773 = 0. Which is smaller: -4441 or x?
x
Let i = -6552 - -6561.302. Let n = i + -0.302. Does n = 8?
False
Let d be (1*1/(-2))/(1442/(-168)*-12). Which is smaller: -0.9 or d?
-0.9
Suppose n + 186 = v - 2*n, -3*v + 525 = 2*n. Let d = -33 + v. Is d <= -0.1?
False
Let d = -466 - -526.4. Let v = -60.6 + d. Let m = 175 + -1747/10. Is m <= v?
False
Let c(x) = x**2 - 5*x - 23. Let v be c(7). Let w be (0 - v)*8/24. Let u be (10/(-14))/((-24)/70). Is u at least w?
False
Let l(r) = 3*r**2 - 10*r - 9. Let n be l(5). Let q(s) = 2*s**2 - 40*s + 136. Let b be q(n). Is b > 154/19?
False
Let a be (-1815)/(-12474) - (-1)/(-14). Suppose -2*d = 2*d - 12. Suppose -d*m = 2*m. Is m <= a?
True
Let u = -4 + 21. Let x = 20 - u. Let s = -624 + 623. Is s at least as big as x?
False
Let n = 0.03129 - 39.12129. Let z = n + 39. Does z = -5?
False
Let q = 136106483/358 + -380186. Which is smaller: 0 or q?
q
Let u be (-21)/(-28) + (-159)/4. Suppose -2613 = 136*f - 69*f. Is u smaller than f?
False
Suppose 27*a + 182 = 20*a. Let v(l) = 2*l**2 - 5*l + 5. Let r be v(2). Suppose -5*q + 100 = -3*x, -7*x = -r*x - 3*q + 115. Is x greater than a?
True
Let q = -2885 - -3311. Which is bigger: 2136/5 or q?
2136/5
Let v(h) = -h**2 - 37*h + 2010. Let g be v(-128). Is -9636 at least as big as g?
True
Let p(w) = -w**2 - w + 522. Let r be p(-23). Is r less than or equal to 581/34?
True
Let o(c) = 26058*c**3 - 20*c**2 - 10*c + 30. Let z be o(1). Is z >= 26058?
True
Let g be 8/(-60) + (-92928)/(-360). Which is smaller: g or 255?
255
Let u = 111.3 - 111.3. Let j = 155 - 132. Which is bigger: u or j?
j
Let f = 6/19 + -292/1045. Let x(k) = 11*k - 5*k + 5*k**2 + 4*k**2 - 10*k**2. Let u be x(0). Which is smaller: f or u?
u
Let n = -87 + 87. Let t be (0 - -42)/(2/14). Let m = t + -2049/7. Is n equal to m?
False
Suppose -2*v = -5*o - 465, 3*v + 2*v - 1206 = -2*o. Suppose 20*g - 24*g = v. Which is smaller: g or -58?
g
Let q = 293/3 - 475/6. Suppose 0*m - 3*m + 55 = -2*a, -5*m = -a - 94. Which is smaller: m or q?
q
Let s(r) = 145*r + 5. Let i be s(4). Let d be i/35 - (-4)/14. Let t(l) = -l**3 + 18*l**2 - 18*l + 20. Let w be t(d). Is w bigger than 4?
False
Let g = 368/131 + 179252/917. Suppose f + 200 = -2*a, 3*a - 598 = 3*f + 7*a. Let u = g + f. Is -55 less than u?
True
Let s(n) = n - 37. Let x be s(33). Let i be (-1)/3 - 196/(-12). Let p be (56/i)/(13/(-12)). Is p < x?
False
Suppose 0*a + 2*a - 5 = -5*c, 0 = a - c - 6. Let d be (-20)/11*(72/(-16) + a). Let m be