. Let o be k(4). Let j be (-2)/o + (-4245)/(-24). Let z = j - 703/4. Which is bigger: z or -1/4?
z
Let n(f) = -f**3 - 12*f**2 - 20*f + 14. Let w be n(-10). Suppose -2*r = -0*r + w. Suppose 3*g - 3*c = -7*c - 5, -4*c = 2*g + 6. Which is bigger: r or g?
g
Let l = -767 - -768. Which is smaller: l or -4/87?
-4/87
Let t = -0.14 - 3.36. Let h = -36.5 - t. Let u = h - -37. Which is greater: -3 or u?
u
Suppose -3*u + 25 = 4. Suppose 0 = -m - 2*f + 5, -24 = -m + 4*f - u. Let j = m + -5. Is j <= 7/2?
False
Suppose -3*i + 5*p = 25, -1 = -12*p + 13*p. Is 14 bigger than i?
True
Let l(g) = -g**3 + 3*g**2 - g - 1. Let o be l(1). Is 3/13 at most o?
False
Let r be (-1 + -6)*(-4 - -3). Suppose 4*g + 7*s - 30 = 5*s, 5*s = -5. Which is smaller: g or r?
r
Let d be -6 - (-4 + (-6)/(-6)). Do d and -3 have different values?
False
Let v be (-3)/(-60)*8/18. Let r be (42/9 + -4 - 0) + (-12)/18. Which is greater: r or v?
v
Suppose 5*q - 24 = 16. Let h = -116 + 119. Which is greater: h or q?
q
Let j be (3 - 7) + (0 - -6) + -2. Which is bigger: -3/248 or j?
j
Suppose -7*q = -4*q - 42. Suppose 3*a = 3*h - 48, -2*h = 2*a - 2 - q. Let d be ((-6)/(-20))/(h/(-16)). Is 1 < d?
False
Let o = -11 - -13. Suppose -o = 4*r - 2*r. Let q = r - -2. Which is smaller: 1/37 or q?
1/37
Let s(n) = 22*n + 3. Let r = -16 + 13. Let v be s(r). Let w be v/49 - (-2)/7. Which is bigger: -2/11 or w?
-2/11
Let k = -20/11 + 2/11. Are k and -2 unequal?
True
Let q(r) = r**3 + 3*r**2 + 2*r + 3. Let m be q(-2). Let t(n) = -2*n - 1. Let b be t(-1). Let o = b + 0. Is m greater than o?
True
Let z = 44 - 32. Are -11 and z equal?
False
Let y = -140 + 1258/9. Suppose 0 = -3*v - 3*l + 3, v - 1 - 2 = l. Suppose 0 = 7*f - 9*f - v. Is f < y?
True
Suppose -6 = 11*l - 12*l. Suppose 0 = 5*r - u, -u + l = -r + 2. Which is smaller: r or 2/7?
2/7
Let a(u) = 6*u**2 - 112*u + 9. Let t be a(19). Is t at most as big as 50?
True
Let a be 11/(-33) - 33/(-9) - -3. Are 7 and a unequal?
True
Suppose 32*z + 1063 - 71 = 0. Let n = -72 - -41. Is z <= n?
True
Let x = 707/18 - 79/2. Let y = 1.1 + -0.5. Let r = -2.6 + y. Does x = r?
False
Let m = 327364/95 + -3446. Is m < 0?
True
Let q = -251 + 279. Which is greater: 4 or q?
q
Let m = 20/13 - 73/39. Let c = -37 + 37. Suppose -u + 0*u - 1 = c. Which is bigger: u or m?
m
Let i = -94 - -126. Let f be 2/(i/(-468))*3/(-9). Which is smaller: f or 11?
f
Let o = 0.848 - 0.848. Which is bigger: o or 5/7?
5/7
Suppose -3*h - 5*c + 24 + 31 = 0, 0 = -h - c + 15. Is 7 >= h?
False
Let t = 95168772 + -380389583975/3997. Let x be 0 + -1*1/571. Let w = x - t. Which is smaller: w or 1?
w
Let b(z) = z**3 - 12*z**2 + 10*z + 8. Let d be b(11). Let g be 14/(-4) - d/6. Let u be (-4)/(-6)*g/7. Is 1 equal to u?
False
Let f = 2.8 - 2.8. Let i = 0.19 + f. Let r = 0.01 + i. Which is greater: r or 4/5?
4/5
Let m(j) = j**3 - 44*j**2 - 2*j + 82. Let a be m(44). Let t be (-2)/(-3) - 88/(-12). Suppose -t*l = -3*l + 30. Are a and l nonequal?
False
Let l = 296 + -298. Which is bigger: -4/15 or l?
-4/15
Let s be (4/(-4))/((-10)/(-2810)). Which is smaller: s or -279?
s
Suppose 5*q = 15, 4*y + 4*q - 195 = -q. Let v = 44 - y. Which is greater: v or 2/31?
2/31
Let b = -1.694 - 0.306. Is -3 smaller than b?
True
Let p be ((-36)/(-108))/(448/(-6)). Which is smaller: p or -1?
-1
Suppose x + 3*y + 11 = 0, -4*y + 9*y + 19 = -2*x. Which is smaller: 318 or x?
x
Suppose -25 = t - 5*t - u, 2*t - 3*u - 23 = 0. Let v be 15/(-7) + (-78)/91. Are v and t equal?
False
Suppose -5*h - 3*z - 6 = -2*h, 4*h + 3*z = -5. Which is greater: -1/184 or h?
h
Let x be (-4)/(-15)*(-3)/(-2). Suppose 2*r + 8*f - 4*f + 18 = 0, r - 2*f + 5 = 0. Which is greater: x or r?
x
Let w = -131/3 + 45. Let u = -98.7 + 103. Let x = 4.4 - u. Which is smaller: w or x?
x
Let d(l) = -2*l + 46. Let i be d(21). Let b(z) = z**3 - z**2 + 2*z + 3. Let f be b(6). Let w be f/(-364) - 2/(-8). Which is bigger: i or w?
i
Let y(x) be the first derivative of 2*x**2 - 53*x + 32. Let u be y(12). Is u at most as big as -7?
False
Let o = -344 - -343.9392. Which is greater: 2/7 or o?
2/7
Let f = 0.657 + -12.717. Let d = -12 - f. Let c = -0.04 - d. Which is smaller: 0.4 or c?
c
Let t = -18 - -18.2. Suppose -5*f = -3*g - 47 - 41, 20 = -5*f. Let n be 8/g - (-19)/45. Is t bigger than n?
False
Let w = 17 + -16.96. Let a = w - 0.14. Let i = 144 - 1294/9. Is i at most as big as a?
False
Let s be -8*3/(-24)*-4. Let i be s/26 - 117251/(-364). Let l = i + -322. Is -1 less than or equal to l?
True
Suppose 30 = 21*u - 24*u. Let t = u - 10. Which is bigger: -22 or t?
t
Suppose -4*t + 10 = -2*r, -2*r + 14 = -6*r + 5*t. Let s be (10/1025)/(r/(-5)). Do s and -1 have different values?
True
Let y = -733/2 - -359. Let z be 2 - 0/(3/((-6)/(-4))). Suppose 5*c - c + 4 = 0, z*b + 4*c + 20 = 0. Which is smaller: b or y?
b
Let o be (10/(-8))/5 - (-84)/(-48). Which is smaller: -2/9 or o?
o
Let y = 2476/29393 - 10/133. Let f = 8844 - 8844. Which is smaller: y or f?
f
Let v be (66/44)/((-6)/80). Let a be -9 - (1 + v/5). Which is bigger: a or -4?
-4
Let c be 9 + 3941/(-420) + (-1)/(-4). Which is smaller: c or -1.4?
-1.4
Suppose -2*y + 240 = 2*y. Let k be ((-10)/(-4))/(25/y). Which is greater: 0 or k?
k
Let i(v) = -2*v**3 + v**2 - 1. Let c be i(-1). Let f = 15 + -10. Does c = f?
False
Let w = 3.1 + -3.41. Let t = 0.19 - w. Let f = 1.5 - t. Is -14 bigger than f?
False
Let q = 100 - 101. Do -8/19 and q have the same value?
False
Suppose -o + 12 - 3 = 0. Let h(t) = -2*t + 8. Let u be h(o). Let f(l) = 2*l - 24. Let d be f(7). Is u bigger than d?
False
Let b be (-280)/(-210)*27/2. Suppose -4*f = 3*d - 59, 0*f = 3*f + 5*d - 36. Which is smaller: f or b?
f
Let q = -1537 + 1649. Which is bigger: q or -2/7?
q
Let h = -43.946 - -44. Let i = h + 0.046. Is i < -0.9?
False
Suppose 0 = 114*v - 105*v - 36. Is v < -86?
False
Let f be ((-406)/35)/(2*(-1)/(-20)). Is -118 equal to f?
False
Suppose 0 = 5*k - 7*k + 8. Let j(i) = -i**2 + 2*i + 1. Let s be j(2). Let c = 3 - s. Which is bigger: c or k?
k
Let v = 0.17 + -0.1652. Do v and 0.1 have the same value?
False
Let l be ((-3)/12)/(20/(-720)). Let z = -4 + 0. Are z and l non-equal?
True
Suppose -3 = -p + 4*p. Let m(s) = -2*s**3 - s**2 + 10*s - 3. Let b(v) = v - 1. Let w(j) = p*m(j) + 6*b(j). Let d be w(-2). Which is smaller: d or -2?
d
Let f be ((-7)/3)/((290/(-60))/(-29)). Is -15 greater than f?
False
Let z(f) = -16*f**2 - 2*f. Let j be z(2). Let h = -8469 - -8401. Is j <= h?
True
Let r be (-189)/42 - 7/(-2). Is 1/447 > r?
True
Let b = -78 + 79. Let y = 95 - 51. Let d = -745/17 + y. Which is greater: b or d?
b
Let f be (-536795)/(-1583325) + (-16)/36. Let j = 21/227 + f. Which is smaller: j or -1?
-1
Let q = -48.06 - -33.2. Let v = -15.3 - -0.3. Let l = v - q. Is 1 at least as big as l?
True
Suppose -4*l + 8 = 5*h, 4*h + 0 = -2*l + 4. Is l at most -0.004?
False
Let f = 1503 + -3065/2. Let y = f - -28. Let x be ((1 - -2) + 0)/(-1). Which is bigger: x or y?
y
Suppose 0 = -4*x + 5*a + 47, 4*x + a = -4*a + 57. Let l = x - 20. Which is smaller: -8 or l?
-8
Let y = -2.79 - -9.88. Let w = 56.01 + -56.1. Let z = y + w. Which is smaller: z or 1?
1
Suppose 0 = 2*a + 8, -p - 3*p + 4*a + 16 = 0. Suppose 4*g = -3*o + 13, -5*o - 5*g - 5 + 25 = p. Is o bigger than 7?
False
Let a = 1.354 + 0.416. Let o = 0.13 + a. Let l = -0.9 + o. Is 0.19 equal to l?
False
Let n = 4.4 + -1.9. Let a = n - 2.5. Is -14 > a?
False
Let f = 29.05 - 30. Let m = f + -0.05. Is m > 46?
False
Let z(q) = q**2 - 33*q + 40. Let l be z(32). Which is smaller: l or 10?
l
Let a be (-3)/(-15) + 301/595. Which is bigger: -3 or a?
a
Let u be 7/14*(-6 + 4/(-2)). Let l be (2 - 7 - -4)*1/u. Suppose 5*c - 11 = 3*d, 4*c + 5 = 3*d + 15. Which is greater: c or l?
c
Let f(j) = 3*j**2 + 10*j - 5. Let u be f(-7). Is 72 <= u?
True
Let a = 1110 + -1025.8. Which is bigger: a or 1/3?
a
Let k(b) = 2*b**2 - 55. Let d be k(0). Which is greater: d or -52?
-52
Let d = -0.208 + 0.118. Is -6 not equal to d?
True
Let l = 409 - 354. Is l less than 2?
False
Let q(j) be the first derivative of 5/3*j**3 + 12*j + 1/4*j**4 - 1 - 3*j**2. Let u be q(-6). Is 12 smaller than u?
False
Let z(i) = -i**3 + 6*i**2 - 12*i + 73. Let x be z(6). Let v be (-136)/(-126) - 2/9. Is x <= v?
False
Let z(n) = 7*n**2 - 1. Let o be z(-1). Suppose 0 = -3*d + 5*d + o. Suppose 3*u - 4*j 