 z = 128.7 + -135. Let b = -0.163 - 0.537. Let m = b + z. Which is greater: -0.1 or m?
-0.1
Let g be (9/888)/((-1)/4). Which is greater: g or 1?
1
Let s(j) = -j**2 - 8*j - 6. Let y be s(-7). Let u = 3 - y. Suppose -f = -u + 1. Which is smaller: 2/7 or f?
2/7
Let g be 3220/(-49) + 10/(-35). Which is greater: g or -67?
g
Suppose -17*o = -22*o - 800. Let i be 13480/o - (3/4)/(-3). Is -83 at most i?
False
Let y = -82 - -85. Suppose -y*g - 265 = 5*z, 2*z - g = g - 106. Is z >= -53?
True
Let z = -46/65 - -30/13. Which is bigger: z or 1?
z
Let o(t) = -t**3 - 21*t**2 + 28*t + 144. Let d be o(-22). Is 36/7 less than d?
True
Let f be (21/(-2))/(-1 + 202/208). Which is smaller: f or 363?
363
Let j = -2 - -1.88. Let c = j + 4.12. Let d = 4.1 - c. Which is bigger: 0.5 or d?
0.5
Suppose -2*r + 5*k - 76 = 2*r, -5*r + 5*k - 100 = 0. Let n be ((-6)/r)/(1/8). Which is smaller: n or 12/5?
n
Suppose -l = 2*u + 488 - 119, -2*u + 5*l - 399 = 0. Is 0 not equal to u?
True
Let k = 439 - 446. Do k and 56 have the same value?
False
Let m = -0.74 - 0.26. Let a = -0.087 - -2.227. Let r = -0.14 + a. Which is bigger: r or m?
r
Suppose 0 = -238*c + 230*c + 3840. Which is smaller: c or 479?
479
Let d = 7.82 + 0.18. Let l = -2.62 + 2.52. Which is smaller: d or l?
l
Let k = 30 - 144. Let s = k - -114. Is -36 less than s?
True
Let v = 1/13226802 - 2336736731/22631058222. Let g = v + 8/87. Is g greater than -1?
True
Let l = 0.596 - 1.396. Which is smaller: 2.7 or l?
l
Let z be (513/6)/(2/12*15). Let a = z - 34. Is 0.3 not equal to a?
True
Let s be ((-2)/6)/(6/(-234)). Let m be s/5 + 6/(-10). Suppose m*c = -2 - 6. Are c and -6 unequal?
True
Let u(y) = 11*y. Let i be u(1). Let f be ((-10)/50)/((-2)/50). Suppose i + 24 = -f*g. Which is smaller: g or -5?
g
Suppose 4*a + 533 = -9*a. Let z be (0 - (-2)/(-6)) + a/3. Which is bigger: -15 or z?
z
Suppose 3*l - 4*q - 36 = q, 4*q = -2*l + 2. Let k(w) = w**3 + 5*w**2 - 7*w - 2. Let m be k(-6). Suppose 3 + m = t. Are l and t equal?
True
Suppose -5*g - 5*q + 1036 + 649 = 0, 2*g = 4*q + 656. Let x = -2687/8 + g. Let h = x + 29/24. Which is greater: h or 5?
5
Let i be -7 + 4 + 6 + 37. Let q = i - 37. Which is smaller: 13 or q?
q
Suppose -14*s + 18*s = 20. Suppose 3 - s = q. Which is greater: -2/13 or q?
-2/13
Let s = 890 + -1464. Let p be s/(-42) + (-4)/6. Which is smaller: 14 or p?
p
Let k = 13/49 - -59/147. Is 157 at most as big as k?
False
Let l = -2942/9 - -8361155/25578. Which is smaller: 0 or l?
l
Let v = -57773 - -520837/9. Let p = 98 - v. Which is smaller: -13 or p?
-13
Let w = 340 - 369. Is -1/4 at least as big as w?
True
Let b(r) = -r + 18. Let d be b(0). Let x be (-1)/(1 + d/(-15)). Let t be (364/8)/13*8/98. Are t and x unequal?
True
Let r be (-127)/(14/(-217) - 58/62). Is 124 greater than or equal to r?
False
Suppose 3*k = 2*x + 202, 4*k + 176 = 3*x + 447. Suppose 2*g - k = -6*g. Let z = -5 + 4.9. Is z greater than g?
False
Suppose 5*f - 4*a - 25 = 0, 0*a + a - 50 = -5*f. Let o be (198/(-55))/((-6)/15). Is f at least o?
True
Suppose 0 = 5*u - 0*u + 15. Let l be (u/(-2))/(15/4). Suppose -18*a - 5 + 23 = 0. Is l smaller than a?
True
Suppose 4*s - 4 = 100. Suppose 4*l - 260 = -6*l. Is s at least as big as l?
True
Suppose 51 = 5*w + 6. Suppose w - 3 = 2*l. Suppose -2*n + l = -5*n. Is 0.1 at most n?
False
Let d be ((-15)/4)/((-12)/(-1152)). Let y be -3*(-2 - -1) - d/20. Is y less than 22?
True
Let p(x) = -x**3 - 5*x**2 - 3*x + 3. Suppose 5*w = w + 24. Let b be (-26)/w - 6/(-18). Let r be p(b). Do r and 1 have different values?
True
Let b be ((-5)/(-10))/((-1)/4). Let c be (-4)/336*-14 + (-26)/12. Is c less than or equal to b?
True
Let s = -1114/3 + 371. Which is smaller: s or 1/2?
s
Let h = -28/3 + 26/3. Is h greater than or equal to -1?
True
Suppose u + 4*w = -u - 234, -5*w = 5*u + 560. Let y = 227 + u. Let h be 118/(-210) - (-16)/y. Is -3/4 > h?
False
Let o(l) = -l**3 + 2*l. Let q be o(-1). Let j = 67525/61 + -1107. Which is smaller: j or q?
q
Suppose -2*p + 18 = b, 5*p - 4*b = b + 45. Suppose 4*w + p = -5*x - 0*x, 1 = -w. Which is smaller: -1/6 or x?
x
Suppose 13*p + 15 = 8*p. Let y(w) = -w + 3. Let x be y(5). Which is bigger: p or x?
x
Let h(p) = -p**3 - 3*p**2 + 3*p - 4. Let f be h(-4). Let u be (-69)/44*36/(-171). Let o = 8/19 - u. Which is smaller: o or f?
f
Let c be 1 + 10*2/(-4). Is c equal to -35/8?
False
Suppose -4*o + 0*m = -4*m, 3*o - 4*m + 5 = 0. Suppose -3*q = -6*q + o*d - 220, -5*q - 371 = -4*d. Which is greater: q or -74?
-74
Suppose 0 = a + 3*l - 6, -36*a + 34*a + 10 = 5*l. Let k = 5429 + -1319249/243. Which is greater: a or k?
a
Let q(n) = n - 2. Let b be q(2). Let s = 1.28 - 0.64. Let y = 0.44 - s. Is b <= y?
False
Let h be (-330)/(-60) + (-1)/2. Are h and 63/11 unequal?
True
Let k(n) = 3*n**3 + n**2 - 2*n + 1. Let o be k(1). Let i be (140/54)/(o/9). Let t = i + -508/63. Which is smaller: -0.2 or t?
t
Let s be 3/(15/(-2))*1. Let a = -163 - -160. Which is smaller: s or a?
a
Suppose -2*w + 49 = -h - 801, -4*w + 1698 = -h. Let k = -7206/17 + w. Let d = 0 + 1. Which is smaller: d or k?
k
Let s be -523*(-8)/(-2104) - -2. Which is smaller: 1 or s?
s
Let g(q) = -q**2 + 7*q - 8. Let l be g(5). Which is bigger: 9/8 or l?
l
Let v = -4 + 10. Let a be ((-21)/v)/(40/(-16)). Suppose 0 = -3*x - 0*x + 5*p - 9, 0 = x - 3*p + 7. Is x at least a?
True
Suppose -11*j + 3 - 14 = 0. Let t(m) = m**3 - 2*m**2 - m - 1. Let c be t(3). Suppose r = c*r + 8. Which is smaller: r or j?
r
Let c = 3 - 104. Let z = c + 100.9. Is z != -3/7?
True
Suppose -r - 84 = -13*r. Suppose 3*i - 3 = r*i + 3*f, -i - 3*f = 3. Let h = 326 - 2288/7. Is i at most h?
False
Suppose -47 = 2*h - 0*i + 3*i, 2*h - 2*i + 32 = 0. Let z = -4 - h. Which is bigger: z or 13?
z
Let m = 7 - 13/2. Let z be (-1 - -1)*3/48*8. Which is smaller: m or z?
z
Let r = -136 - -130. Does r = -47/7?
False
Suppose 17*m - 12*m = 55. Let f = m + -21. Which is smaller: -9 or f?
f
Let t(q) = -3 + 11*q - 8*q**2 + 14 - 21*q**3 + 20*q**3. Let j be t(-9). Suppose -2*p - 16 + 2 = 0. Does j = p?
True
Let k = 2/17 + -27/85. Let p = 12487.5 - 12487. Which is smaller: k or p?
k
Let g(f) = f**2 - 7*f + 12. Let v be g(5). Let b(r) be the second derivative of -r**4/12 + r**3/2 - 3*r**2/2 + 2*r. Let y be b(v). Is y bigger than 19/2?
False
Suppose 0 = 96*k + 38370 - 1122. Which is greater: k or -389?
k
Let n(u) = u**3 + 6*u**2 + u - 4. Let k be n(-2). Let y = k - 5. Which is smaller: y or 7?
y
Let d = 1738 + -302. Which is smaller: d or 1437?
d
Let l = 9271248/25 - 370621. Suppose i - 229 = -0*i. Let m = l - i. Which is bigger: -1 or m?
m
Let a be 2 + 0 + -1 - 24/3. Suppose 0 = -2*h + f + 8 - 22, 2*f = 0. Is a < h?
False
Let k = -32 + 33. Let u = -3/16 - -11/144. Which is smaller: u or k?
u
Let s = 78 - -51. Let m = 128 - s. Let g be 2 - (-16)/(-7) - 0. Which is bigger: m or g?
g
Let q = 304 - 431. Let c = -1903/15 - q. Let p = 3 + -2. Is p greater than c?
True
Let i be ((-3)/(-4)*-1)/(786/(-32)). Which is smaller: 1 or i?
i
Let d be 7 + -29 + -3 + 10. Is d at most -31/2?
False
Let g be (-1 - -2)*1 + (-1162)/1666. Let w = -2/119 + g. Which is greater: -1 or w?
w
Suppose 0 = 5*m - k - 24, -m + 26 = 4*m + k. Suppose 0 = -m*y + 94 - 29. Which is bigger: y or 14?
14
Let r = -1082 - -1086. Which is smaller: -2/205 or r?
-2/205
Let h = 3.09 - -0.31. Let o = h + 0.6. Let s = o - 4.3. Which is bigger: s or 1?
1
Let o = 4.832 + 0.168. Is o >= 4?
True
Let k = -3 + 1. Let o = -0.0233 - -0.0233. Which is greater: o or k?
o
Let m be 1/(-2*(-21)/(-12) - -6). Suppose 62 = 3*p - 184. Is p <= m?
False
Let x(a) = -2*a**2 - 6*a + 263. Let c be x(10). Is c at least 66/23?
True
Let c be (-20)/16 - (-2)/8. Let t be (-12)/(-81)*-6 - c. Let k = 2/9 + t. Which is bigger: 3 or k?
3
Let m = 423 - 415. Which is bigger: -49 or m?
m
Let h be (-64)/48 + 6/(-9). Is h < -14?
False
Suppose -5*s - 2*f = -2, s + 4*f = -4*s + 4. Let g = -3 - -4. Suppose -b - b = -w + g, -b + 4 = 4*w. Are b and s nonequal?
False
Let l(s) = 5*s - 21. Let v be l(4). Let u be 12/(-369)*3*v. Is 0 less than u?
True
Let u = 60330/17 + -1282298/357. Let n = -130/3 - u. Let j = -0.2 - 0.1. Which is greater: j or n?
n
Suppose -264*r + 257*r = 2982. Is -426 < r?
False
Let o be (55/10 + 10)*(-2)/3. Is o greater than 2/7?
False
Let y = -43 + 84. Let u = 9 - y. Is -32 <= u?
Tru