Let z = y - 3. Which is smaller: z or t?
t
Suppose 4*r = 2*h - 20, 1 - 16 = 3*r. Is 2/569 >= h?
True
Let d = 651 + -33211/51. Let v = d - -682/357. Let x(p) = -p**3 - 8*p**2 + 84*p + 3. Let q be x(6). Which is bigger: q or v?
q
Let j = 519 - 718. Is j less than or equal to -197?
True
Let b be (-13 + 28)*(-4)/558. Which is greater: -1 or b?
b
Let p be (-22)/(-121) - 40/(-22). Let m(t) = -t**2 + 68. Let k be m(0). Suppose -p*z - 28 = -s, -5*z - k = -s - s. Is -12 greater than z?
False
Suppose -507 = -5*n - 0*d + d, -9 = -3*d. Let b be (3 - n/36)*(-2)/(-4). Suppose z - c = 2*z - 2, 1 = 2*z + c. Is b > z?
True
Let f = -580/13 + 4434/65. Let q be (-165)/42*456/(-75). Let m = f - q. Which is bigger: m or 1?
1
Suppose b - 5 = -4*x, -2*b - 5*x + 2 = -5*b. Which is smaller: b or -5?
-5
Let r be 1*4 - (-1)/(-1). Let d = r - 10. Let c be 13886/(-2385) + (55/45 - 1). Is c <= d?
False
Let f be 5 - -5*2/(-2). Suppose -2*p - o - 32 = 1, f = 3*p - 5*o + 56. Are 3 and p nonequal?
True
Let u = 51.7 + -100.7. Is 1 greater than u?
True
Suppose 0 = 3*h - 2*f - 16, 2*h = 7*h + 4*f + 10. Which is smaller: 11/4 or h?
h
Suppose 5*j - 4*b = 31, -4*j + 5*b - b + 28 = 0. Suppose -3*t = 3, j*s + 5*t = t - 1. Is s at most as big as -1/50?
False
Let w be (-10)/25 - 4476/60. Which is bigger: -77 or w?
w
Let q = 109 + -100.1. Let x = -9.1 + q. Is 0.05 <= x?
False
Let n = 107.061 + -107. Let k = n - 0.061. Is -0.72 at most as big as k?
True
Let i(g) = g**3 + 5*g**2 - 4*g + 5. Suppose 13*v + 100 = 9*v. Let z = v - -19. Let s be i(z). Is -7 < s?
False
Let m = 1.5 - 1.5. Let l(g) = g**3 + g**2 - 6. Let f be l(0). Let j be 2/f + (-6)/9. Which is smaller: j or m?
j
Let j be 262/13 - 84/546. Let s(l) = l - 4. Let t be s(8). Suppose t = -3*g + g, 0 = -5*c - 5*g + 95. Which is smaller: j or c?
j
Let t(f) = 5*f - 3*f - 6 + 11 + 7. Let v be t(-9). Is -9/2 less than v?
False
Let p = 230.8 - 240. Is p less than or equal to -1?
True
Suppose 0 = -b + 2*a + 11, -4 - 21 = -3*b + 4*a. Let c = 72 - 70. Suppose -c = -10*u - 2. Which is greater: b or u?
b
Let f = -4 + 9. Suppose -4*h - 9 = -41. Do h and f have different values?
True
Let n = -26 + 27. Let i = -143 - -2719/19. Which is greater: n or i?
n
Let c(v) = v**3 - 3*v**2 - 3*v + 4. Let i be c(4). Suppose -i + 0 = 4*b. Is b >= -1/32?
False
Let c = -7042 - -7042. Let m = 521 - 21362/41. Are m and c unequal?
True
Let i(a) = -a**2 - 15*a - 14. Let s = -44 - -38. Let u be i(s). Is 39 less than u?
True
Let i = 2 + 0. Suppose -9*s - 32 + 50 = 0. Suppose -4*r + 4 = -2*m + 10, 4*r + s*m = -i. Do 1 and r have different values?
True
Let i = -64573351 - -86980309637/1347. Let u = i - 1/449. Which is smaller: 3 or u?
3
Let t = 41850/7 + -5925. Which is smaller: 53 or t?
53
Suppose 91*m - 82*m = -9. Is m < -16/65?
True
Let g = -444.3 - -444. Are -3/16 and g nonequal?
True
Let c = 23489/1393 + -118/7. Which is greater: c or 0?
c
Let j be (-1 + 1 + 1)*(-25 + 26). Which is smaller: -20/59 or j?
-20/59
Suppose 2*z - 21 = w + 1, 4*w + 44 = 4*z. Let l = z + -7. Which is smaller: l or -1?
-1
Let m = -38 + 39. Let i = -2/1221 - 3551/68376. Is i < m?
True
Let a = -3 - -7. Let z(c) = -c**2 + 5*c - 2. Let i be z(a). Suppose -5*l + 2 = -2*l + 2*r, -2*l + 5*r = -14. Is i smaller than l?
False
Let l be ((-220)/77)/((-2)/7). Is l <= 48/5?
False
Suppose 0 = -78*c + 86*c + 128. Which is smaller: -13 or c?
c
Let g be (-12)/(-2)*4/8. Let f be (-1 + 28/29)*(-4 + g). Which is bigger: f or 0?
f
Let r(y) = y**2 - 10*y + 2. Let g be r(9). Let t(o) = -o**3 - 6*o**2 + 8*o + 8. Let q be t(g). Let j be (-28)/(-21)*(241/122 - 2). Is q < j?
False
Let g be 0 - -2*(-2)/(-24). Is 1 <= g?
False
Let j = -128.9 + 131. Let l = -4.984 - 0.116. Let u = l + j. Is -1 at most as big as u?
False
Let i be (43 - (11 + -4))/2. Is i <= 113/6?
True
Let a = 0 + 0. Suppose 5 = 2*b - 5*s, -3*s = -b - a*s + 1. Let u = 284 - 285. Does u = b?
False
Let u(x) = x**3 - 15*x**2 - 11. Let n be u(15). Is n smaller than -5?
True
Let u = -175491/121 - -4351/3. Which is smaller: u or 1?
u
Let p = 0.112 + -0.412. Let n = -0.7 + p. Which is bigger: 0.17 or n?
0.17
Let m(d) = 2*d**2 - 2*d - 1. Let p be m(2). Suppose -20 = 8*g - p*g. Suppose -3*j + j = 2*a + 14, a = -3*j - 13. Which is smaller: j or g?
g
Suppose 40 = -3*c + 4. Let y = 16 + c. Let n be 35/28*y/(-10). Is -1 less than n?
True
Let r = 4 - -1. Let u(l) = -15*l - 178. Let g be u(-12). Let v be 2/((r - g) + -5). Is v less than or equal to -0.1?
True
Let j = -1.3 - -0.3. Let z = 0.8 - -1. Let s = -8.8 + z. Which is smaller: j or s?
s
Let g(v) be the second derivative of -v**3/2 - 6*v**2 - v. Let w be g(-5). Let n(m) = -2*m + 3. Let z be n(w). Is z less than -3?
False
Suppose 21 + 89 = -5*z. Let l be (z/(2/(-1)))/(-1). Let g = l + 3. Is -7 != g?
True
Let c(v) be the third derivative of -v**6/120 - v**5/15 + v**4/4 - 2*v**3/3 - 6*v**2. Let d be c(-5). Let y = d + 10. Which is smaller: 0 or y?
0
Suppose -i - 5 = -6. Are i and 1/48 nonequal?
True
Let m = 2/49 - 761/637. Which is bigger: m or -1?
-1
Let a = 48827/5 - 9813. Is a > -47?
False
Let c(q) = -12*q - 72. Let k be c(-4). Are k and -24 unequal?
False
Suppose 0 = 3*v - 3. Let g(u) = u**2 + 2*u - 2. Let a be g(1). Let p be a/(3 + v + -7). Which is smaller: -1 or p?
-1
Let g be (-11)/(-3) + 8/24. Let l = -4 - g. Which is smaller: 2 or l?
l
Let f(p) = -9*p - 180. Let k be f(-20). Is k at least 1/33?
False
Let g = -0.895 - 1.105. Which is greater: -58 or g?
g
Let m(y) = -3*y**2 - 10*y. Let v = 56 - 61. Let n be m(v). Which is smaller: -26 or n?
-26
Let k(i) = -7*i**3 + 12*i**2 - 3*i - 3. Let v(g) = -4*g + 4 - 5 + 4*g + 6*g**2 - 4*g**3 - g. Let o(b) = 3*k(b) - 5*v(b). Let t be o(4). Is t smaller than 13?
True
Suppose 15*z + 166 + 374 = 0. Which is bigger: z or -260/7?
z
Let v be 369/984 - 202/(-16). Let l(g) = 11*g**2 - g. Suppose 0*f - 3 = 3*f. Let c be l(f). Which is greater: v or c?
v
Let u = -10 + 37. Let s = u + -25. Is s at least as big as 5/2?
False
Let z = 2.1 - 0.1. Let b = 4 - z. Let i = b + -2.1. Is 2/13 less than or equal to i?
False
Suppose 12*f = 1513 - 529. Is 85 at most f?
False
Let i = 98 + -90. Let w be (4 - i) + -2 + 1. Which is smaller: -7 or w?
-7
Let n be (-1)/((-4)/(-6))*-2. Suppose -2*c - 3*c - 26 = k, -3*c - n*k - 18 = 0. Let l(x) = x**2 - 16*x + 44. Let p be l(12). Which is greater: c or p?
p
Let p(f) = 9 + 10 - 4*f + 3 + f. Let j be p(7). Suppose 2*c - 4*i = 5*c - 9, -3*i = 2*c - 6. Which is bigger: j or c?
c
Let c(f) = -f**3 - 14*f**2 + 52*f + 7. Let g be c(-17). Do -27 and g have different values?
True
Suppose 2*j - 16 = j + 5*f, j + 4 = f. Let a = j + 8. Do 1/8 and a have the same value?
False
Let v = -17596 - -228473/13. Does -22 = v?
False
Let l = -134751/76 - -1773. Which is smaller: 1 or l?
l
Let n = 88.4 - 83. Let m = 1.6 + n. Which is greater: m or 4/9?
m
Let l be 2 + 17484/16 - (-21)/(-28). Which is bigger: 1095 or l?
1095
Let j(p) = 8*p**2 - 17*p + 17. Let g be j(1). Which is smaller: 5 or g?
5
Let c = -42677/41 + 1041. Suppose -2*l - 3 = -5*l. Which is smaller: c or l?
c
Let n = -0.36 - -0.85. Let x = 0.29 - n. Is x != 5?
True
Let u = -17 - -15. Let y be ((-84)/(-104))/(u/2492). Let i = y + 1007. Which is bigger: i or 2?
2
Let k = 7246/11 + -660. Which is smaller: k or -2?
-2
Let l be 80/(-966) - -1*10/35. Do l and 1 have different values?
True
Let l = -0.03 - -0.11. Let r = l + 0. Let o = r - 0.38. Do -2 and o have the same value?
False
Let g = 14729/28 + -2396/7. Is g greater than or equal to 185?
False
Let v(z) = 5*z. Let m be v(1). Suppose p - 2 = -u, -m*p + 21 = -u - 19. Let y be 1/p - 6/(-3). Is y at most as big as 3?
True
Let o(l) = -22*l + 273. Let s be o(10). Let i(p) = p**3 + 8*p**2 - 8*p - 12. Let b be i(-8). Is s at most b?
False
Let l be -16 + -8 - 3*-1. Are -5 and l equal?
False
Let d be -3 + -3 + (3 - -4). Let c = -31 + 61. Let u = 27 - c. Which is smaller: d or u?
u
Let b = -19/28 - -701/868. Which is greater: b or -1?
b
Let k = -103 + 104. Which is smaller: k or 137?
k
Let j = 0.1 - -0.1. Let g = -4601.1 - -4601. Which is smaller: j or g?
g
Let r = -256 + 254. Which is smaller: r or 0?
r
Suppose -4*r + 7*r - 6 = 3*s, -2 = 4*r + s. Which is greater: r or -2/1543?
r
Let m be -1 + (-1 - (1 - 12)). Let s(i) = 41 + 2 - 2*i - 1. Let d be s(17). Which is greater