 t, 3*r = 4*w + 6. Is w <= -5/11?
False
Let y be 0*1*(2 + -1)*-1. Which is smaller: 3/8 or y?
y
Let c be -6*33/42*(-2)/9. Which is greater: 2 or c?
2
Let q be 20/50 + (-36)/(-10). Let f = -6 + q. Let d(w) = w**2 + 2*w + 1. Let r be d(f). Is -0.1 >= r?
False
Let n = 2 - 0. Let u = n + -24. Let p = u - -16. Which is smaller: 1/4 or p?
p
Let y = -134/105783773 - -4231466503997/7736602022128. Let o = y - 3/1306. Let j = -3/112 - o. Are j and -0.1 nonequal?
True
Let c(p) = 14*p**2 + 2. Let k be c(1). Suppose 0 = -u - 2*l + 32, -u + 5*l + 48 = k. Is u != 32?
False
Let n be 2 + 0 + 6/(-3). Let i = -10 - -10. Suppose -5*d + 2*l = -i*d - 14, -3*d + 4*l = n. Which is smaller: d or 7?
d
Suppose 3*z - 191 = -4*v - 26, 57 = z + 2*v. Is 52 greater than z?
True
Let n = -433/6 + 72. Let m = n + 5/12. Is m at least 1?
False
Let n = 17/61 - 676/1769. Which is smaller: n or -10?
-10
Suppose 4*c = -3*m + 34 + 24, -2*m + 40 = 4*c. Let l = m + -11. Suppose 24 = -8*n + 12*n. Is n bigger than l?
False
Let g(w) = 3*w**2 + 14*w - 18. Let c be g(-8). Is c > 48?
True
Let h(b) = -3*b**3 - 7*b**2 - 13*b - 3. Let w be h(-2). Which is smaller: w or 22?
w
Suppose 0 = -2*m - g - 6 - 1, -25 = 5*m + 5*g. Let l(j) = -j**3 - 7*j**2 - 6*j. Suppose 27 = -5*s - 3*n, 0*s - 2*n + 20 = -3*s. Let u be l(s). Is u < m?
False
Let d(h) = -104*h + 3. Suppose -j - 12 = 5*s - 30, 5*s = 2*j + 24. Let p be d(s). Let m be -2*2 - p/105. Which is bigger: 0 or m?
0
Let d = 985 + -985.16. Is d smaller than -0.6?
False
Let n = 45 - 41. Suppose 5*c + 4*p - 30 = -p, 0 = n*p - 20. Which is smaller: c or 12?
c
Let p = -845 - -844.6. Let l = 1.51 - -0.09. Let r = 2 - l. Does r = p?
False
Let s be 1/(-14)*(-3 - 395/(-5)). Let l be (0 - 1) + 4 + (-4 - 3). Which is greater: s or l?
l
Let q = 284 - 250. Is 32 greater than q?
False
Let u = -94 + 177. Suppose 2*c = -9 + u. Which is greater: c or 38?
38
Let a be 1/((1/15)/(-1)). Let u(l) = l**3 + 15*l**2 + l + 13. Let v be u(a). Suppose -6*o + 9*o = 0. Is o bigger than v?
True
Let i be ((-1)/2 - -1)*24. Suppose 6*h - h = 75. Let r(f) = -f**3 + 16*f**2 - 13*f - 18. Let y be r(h). Are y and i unequal?
False
Suppose 8 = 4*x + 4. Let o be x/(-3 + 3 + 7). Let w be 2/6 - 8/36*6. Is w bigger than o?
False
Suppose 0 = -m - 2*y - 14, 2*m + 11 = -2*m + y. Let i = -46 - -79. Let h be ((-6)/m)/(i/22). Are h and -2/45 equal?
False
Suppose -10*a + 8*a + 6 = 0. Suppose a*l - 4*p + 58 = 0, -4*l - 89 = 2*p - 5*p. Which is greater: l or -25?
-25
Let s(x) = 9*x - 529. Let r be s(58). Let d(w) = w + 2. Let k be d(-3). Let z be (0 - k)/((-2)/14). Is z >= r?
True
Let i = 238 - 200. Which is smaller: i or 40?
i
Let l = -243798/11 - -22840. Let g = l - 676. Is 2 at least as big as g?
True
Suppose 0 = -5*g + 3*u - 8, 11*g - 3*u - 2 = 16*g. Is -30/29 not equal to g?
True
Let t = 87.09 - 87. Let i = 84 + -91. Is i not equal to t?
True
Let f(c) = 2*c**2 + 2*c + 1. Let i be f(6). Let p = 253/3 - i. Is 2 > p?
True
Let n = -129/4 + 65/2. Which is greater: -0.3 or n?
n
Let o(x) = -x**2 - 13*x + 23. Let v be o(-16). Let u be 2 - (-42)/(-18) - v/3. Which is smaller: u or 5?
5
Let f = 1 + -0.95. Let r = f - 0.1. Let k = -0.05 - r. Are k and -2 nonequal?
True
Suppose -2 = -3*d + 4. Let c = 3 + d. Suppose -2*k = 3*k - a, -c*k + 5 = -2*a. Is -3/7 greater than k?
True
Suppose 5*p = -k - 55, -2*p + 1 = -0*p + 5*k. Let d be p/72 + (-303)/18. Is d >= -17?
True
Suppose -19*d = -17*d + 2. Which is greater: -1/262 or d?
-1/262
Let d = -458 + 448. Let y = 0.3 + -2.3. Let w = 2.1 + y. Are w and d non-equal?
True
Let m(c) = c**3 - 5*c**2 - 7*c + 9. Let i be m(6). Let z be 1/4 + i/4. Let u be ((-10)/(-8))/(0 + z). Is -2/3 equal to u?
False
Let d be (0 - 20/(-11)) + -2. Let k = -0.015 - -6.415. Let u = k + -6.6. Is u smaller than d?
True
Let d be 653*(-2 - 27/(-15)). Let u = 131 + d. Which is smaller: -1 or u?
-1
Let b be ((-36)/30 - -1) + 334/20. Which is smaller: b or 17?
b
Let z = -1340 + 2466. Is 1126 < z?
False
Let z = -32/3 - -10. Let y(u) be the second derivative of -u**5/20 + 5*u**4/12 - 2*u**3/3 - u**2/2 - 22*u. Let o be y(4). Is z at least as big as o?
True
Let r = 995 - 1386. Which is greater: -390 or r?
-390
Let o = -0.55 + 5.05. Let l = -4.6 + o. Is l greater than or equal to 2?
False
Let j = 344 - 521. Is 2/3 less than or equal to j?
False
Suppose 16*f + 80 = -48. Suppose -5*p = 24 + 11. Which is smaller: p or f?
f
Let a = -87.63 + 88. Let i = a + -14.37. Which is greater: -1 or i?
-1
Let k = 607 - 635.1. Let v = 28 + k. Which is smaller: -0.9 or v?
-0.9
Let a = 165 - 264. Are a and 0 non-equal?
True
Let a = -1.345 + 2.345. Which is greater: a or -4.8?
a
Let k(c) = 13*c + 233. Let d be k(-8). Which is bigger: d or 125?
d
Let o = -3.9 - 2.28. Let l = 0.18 + o. Which is smaller: l or -2/7?
l
Let j be 124/217*(-14)/4. Let o be (272/(-6))/(1/(-6)). Let h be 3 - j/(o/(-404)). Is 0 < h?
True
Let k(p) = -8*p - 1. Let z be k(0). Let f(a) = -3*a**2 - 2*a. Let h be f(z). Which is bigger: h or 7?
7
Let h = 49 + -48.83. Let q = 0.07 - h. Is q < 67?
True
Let b = -125 + 131. Let m = -53.98 + 57. Let r = 0.02 - m. Is r at least as big as b?
False
Suppose -13 = q + y, q - y + 11 = -q. Let z(p) = p**3 + 6*p**2 + 6*p - 3. Let n be z(-5). Let o = q - n. Is o bigger than -1/6?
True
Suppose 6*c - 7*c = 2. Let o be c/(30/3)*1. Let j = 0.8 - 0.7. Which is bigger: o or j?
j
Suppose 3*t - 2 = 10. Let o be -3*(-3 + t) + 7. Suppose -i - o*i = -5. Which is smaller: i or 2/27?
2/27
Let j be (-6478)/(-30) - 16/(-40). Is 216 < j?
True
Let x(c) = -c**3 - 3*c**2 - 4*c - 2. Let m be x(-2). Suppose 0 = m*n + 4*n - 66. Let u = -8 + n. Is u less than or equal to -0.4?
False
Let d(w) = -2*w**2 + 10*w + 73. Let t be d(9). Which is smaller: t or -112/9?
-112/9
Let j(k) = 22*k**2 + 122*k - 8. Let z be j(-6). Is z at most 49?
False
Let i(s) = -s**3 + 6*s**2 + 6*s + 7. Let r be i(7). Let t be r - (105/9)/5. Suppose 5 + 5 = -5*k. Which is smaller: t or k?
t
Let d = 13369 - 1270081/95. Is 1 greater than d?
True
Let q = -58.4 + 59.4. Let g be ((-3)/(-2))/(1/10). Which is bigger: q or g?
g
Suppose 3*f + 3*x - 70 = 2*x, -4*f + x + 84 = 0. Suppose -4*j - 10 = -f. Which is smaller: j or 13/6?
13/6
Let g = 1.61 + -2.61. Which is greater: -0.15 or g?
-0.15
Suppose -f = q - 2, f = -1 + 2. Is 3/19 > q?
False
Let o = 231606/221 - 1048. Which is greater: o or -1?
o
Let p = 447 - 448. Is 5/72 at least as big as p?
True
Let a(j) = -j**2 + 3*j - 6. Let m be a(3). Let i be (1 + 18/m)/(74*1). Do i and 1 have different values?
True
Suppose 3*o + 3 = 15. Suppose h + o*t + 30 = -4*h, 3*h + t + 11 = 0. Let w be 4 + (15/(-21) - 4). Which is bigger: h or w?
w
Let d(h) = h**3 + 9*h**2 + 9*h + 3. Let c(m) = 2*m**3 + 2*m**2 + m + 2. Let z be c(-2). Let f be d(z). Let k be f/75 - 2/(-10). Which is bigger: k or 1?
1
Let l = 19 - 10. Let g be ((-1)/(-3))/((-22)/(-66)). Is g less than l?
True
Let q(m) = -7 + 4*m + 0*m - 5*m. Suppose 4*a + 4*d = -28, -2*a + d = -0*d + 14. Let x be q(a). Is x less than 1?
True
Let l = 33 + -28. Let f = l - 4. Which is smaller: f or 6/23?
6/23
Suppose -3766 = 17*x - 10*x. Which is bigger: -537 or x?
-537
Let f(u) = u - 1. Let x be f(1). Suppose -2*t = -3*i + 10, -5*t + 2*i - 3*i - 8 = x. Let r be t/4 + -2 + -5. Which is smaller: -9 or r?
-9
Let w = -12 + 36. Let t = -12 + w. Let k be ((-54)/t)/(6/(-2)). Is k bigger than 2?
False
Suppose -10*n + 816 = 7*n. Do -3 and n have the same value?
False
Suppose 7*f - 4 = 5*f. Suppose -3*b = -f*a - 1, 38 = -2*a + 6*a + 2*b. Suppose -3*z - 2*h + 7 + 4 = 0, -2*z = 5*h. Which is bigger: z or a?
a
Let u be (-1335)/12 + (-48)/16. Which is greater: u or -115?
u
Suppose -2*j = -a - 5, 5*a - 4 - 3 = 2*j. Suppose -50*g + 15 = -47*g. Suppose y = a*u, -2*y - 3*y = g*u. Is y less than -6/11?
False
Let r = -361 - -247. Which is smaller: -112 or r?
r
Let h be (12/(-152))/((-7)/(-70)). Which is bigger: h or -2?
h
Let p = 5 - -2. Suppose -72 = p*s + 40. Let g be (-8)/12*6/s. Is g bigger than -21/2?
True
Suppose -9*q = -6*q - 3*o + 18111, 0 = 2*q - 3*o + 12074. Let p = q + 917627/152. Which is bigger: p or 1?
1
Suppose 0 = -2*g + 5*g - 12. Suppose -t - 30 = g*t. Let n be (t/(-12))/((-2)/4). Is 1/7 equal to n?
False
Let n = -655/8 - -82. Let f(p) = -p**2 - 10*p - 4. Let c be f(-11). Let r be (-6)/39 + c/(-13). Whic