 -4*q - 44 = 2*f + 20, 10 = -2*q. Let c = -45/2 - f. Let w(j) = -j + 4. Let g be w(4). Which is bigger: g or c?
g
Let b(o) = 16*o**2 + 3*o + 3 - 8 - o**3 - 2*o - 8. Let p be b(16). Is 12/7 smaller than p?
True
Let o(p) = -p**3 + 3*p**2 - p. Let i be o(3). Let d be 5 + (3 - (4 + 0)). Suppose 2*r + 6 - d = 0. Is i greater than or equal to r?
False
Suppose 4*s + p = 1069, -374 = -4*s + 5*p + 665. Which is greater: s or 265?
s
Suppose -3*z = 0, 0 = -d - 3*z + 2 - 1. Suppose 3*p + 2 = -d. Let a be p/(10/(-4) - 0). Which is greater: a or 0.3?
a
Let b = 9/2 + -6. Let r = -54 - -40. Let f = 11 + r. Are b and f equal?
False
Let u be 4 - 1 - (-3455)/(-1098). Let x = -8/61 + u. Is x less than 0?
True
Let i be (-35)/3 + (-75)/(-45). Suppose -3*m + m = -30. Let a = 5 - m. Is i != a?
False
Suppose 18 + 10 = 7*y. Suppose 1 = -5*m + y*m. Let c(g) = g**3 - 7*g**2 + 7*g - 5. Let l be c(6). Are m and l nonequal?
True
Suppose 16 = 2*r + 5*a, -2*r = r + 3*a - 24. Let f = -2 + r. Which is greater: f or 3?
f
Let b = -77.093 - -0.093. Let p = b + 76.7. Suppose 2*f + 4 = -4*i, -5*i + 0*i - 3 = 3*f. Do p and f have the same value?
False
Let d = 7/696 - 7069/80040. Is d greater than 1?
False
Let a(c) = -2*c**3 + 7*c**2 - 3*c + 10. Let l be a(4). Which is smaller: -19 or l?
-19
Let n = 246/11 - 5680/253. Let i(g) = -2*g - 3. Let r be i(-3). Let k be 3/9 + (-4)/r. Which is smaller: k or n?
k
Let i be 22*-4*5/(-40). Let x = i + -12. Suppose -y = 3*w + 5, -w - 4*y - 20 = -3*w. Is x equal to w?
False
Let h = -37/539 + 9/154. Which is greater: -0.1 or h?
h
Suppose 5*b = 21 - 6. Let c be b/(-4) + (-525)/(-12). Suppose 5*k = -47 - c. Is -17 at least k?
True
Let m be 7/(-1)*(2 + -3). Let q(a) = -4*a + 0*a**2 + a**2 - 4 - 4*a. Let k be q(m). Which is bigger: -12 or k?
k
Let c = 26 + -27. Are c and -30 non-equal?
True
Let d(j) = -j**2 + 23*j - 18. Let p be d(20). Let y be (-22)/78 - (-14)/p. Is 1 smaller than y?
False
Let m = 398 - 4372/11. Let r = 1065 - 1065. Which is greater: m or r?
m
Let g = -797 - -800. Let x = -21 + 22.3. Is x less than g?
True
Let i = -2 + 2. Let r = i - 0.2. Let m = -612 + 610. Is r less than or equal to m?
False
Let x = 2/23 - 33/115. Let b = 7 + -10. Let c = 1 + b. Which is smaller: c or x?
c
Let t be 3 - (3 + -1 - 0). Let y(v) = -v - 4. Let d be y(-7). Which is smaller: t or d?
t
Let g = 0.0073 - -1.9037. Let l = 0.089 + g. Which is smaller: l or 3?
l
Let b(k) = -8*k - 32. Let r be b(-4). Let a be -34 + 0 + 2 + r. Are -33 and a equal?
False
Let i = -12 + 26. Let f be (84/49)/(2/i). Let q be f/6 + 1/(-3). Which is smaller: q or 1?
1
Let s(d) = d**2 - 6*d + 9. Let u be s(3). Suppose -5*a = o + 40, 2*o + 0*o = 5*a - 50. Let v be 1/(-5) - (-84)/o. Are u and v nonequal?
True
Let x be (2 - (-25)/(-15))*18. Suppose -x = 3*p + 6*r - 3*r, -3*p - 2*r - 2 = 0. Suppose 2*i - 2 - 2 = 0. Is i less than p?
False
Let w be ((-14)/(-4) - 3)*0. Let f be 2/(-2) + w + 19. Let y be (-8)/36 + (-266)/f. Is -14 bigger than y?
True
Let u = -121 + 126. Let z be 156/(-21) + u + 0 + 2. Let c = -0.2 - -0.4. Is z >= c?
False
Let b be (-4)/14 - (-2483)/91. Let j = b + -33. Let m be (-2)/j - (-6)/2. Which is greater: m or 3?
m
Let l = -0.423 + 0.073. Let h = l + 0.55. Is -2.5 greater than or equal to h?
False
Suppose -5*a = 2*s - 45, -2*a + 96 = 5*s - 6*a. Suppose 3*w - 5*t - 2 = -25, -5*t = -s. Which is greater: 1/61 or w?
1/61
Suppose -3*n = -7*v + 2*v - 409, 3*v = -n - 251. Let o = 86 + v. Which is smaller: 2 or o?
2
Let f(z) = z**2 - 6*z. Let w be f(5). Let a(q) = -34*q**3 + q**2 - 1. Let k be a(1). Let y = 29 + k. Is w smaller than y?
False
Suppose 5*b + 21*u + 161 = 22*u, -b - 37 = -5*u. Which is bigger: -13 or b?
-13
Let m = -11.01 + 11. Let l = -0.25 - -1.13. Let s = -0.12 - l. Is m at most as big as s?
False
Suppose 4*i + 4*a - 860 = 0, i = 5*a - a + 225. Let n = i + -10202/47. Do n and 0 have different values?
True
Suppose s - 3*x + 338 = 0, 2*s + 669 = 4*x + 3. Let r = s + 1273/4. Which is bigger: r or -6?
r
Let n be 7/49 + (-216)/(-56). Let q be 0/1 + 8 + 0. Is n at most as big as q?
True
Let p(j) = -j**3 - j + 5. Let b be p(0). Suppose -4*a + 16 = k, 4*k = b*a - 6*a + 19. Suppose 0 = -r + 4*r + a. Is r <= 1/7?
True
Let i(y) = -y. Let z be i(-1). Let t = 650 - 8448/13. Which is smaller: z or t?
t
Let c be 36/9 + (72/(-51) - 3). Which is bigger: 1 or c?
1
Let v(a) = a**2 + 5*a. Let g(q) = -q**3 - 7*q**2 - 4*q + 7. Let s be g(-6). Let d be v(s). Do 2/63 and d have different values?
True
Let w be -1 + 9/3 + -2. Let j = -458130/137 - -3344. Which is greater: w or j?
w
Let r(u) = -u**3 - 4*u**2 + 5*u + 5. Let f be r(-5). Suppose f*y - 9 = -34. Let q be (-23)/4 - (-1)/(-4). Is y at least as big as q?
True
Let c(a) = -a - 1. Let t(p) = -3*p - 5. Let b be t(-2). Let o be c(b). Which is bigger: o or -1?
-1
Let d = 1184.53 + -1160. Let m = 2.13 - d. Let r = m + 21. Is r <= 1?
True
Let n be (37/(-148))/((-698)/(-232) - 3). Do n and -28 have the same value?
False
Let l = -11/3504 - -12979/6366768. Which is smaller: l or 0?
l
Let g be (96/(-9))/(-2 - 5/(-3)). Suppose 11*i - g = 3*i. Suppose -8 = -2*x - 0*x. Is x != i?
False
Let j = -1431 + 1437. Which is smaller: 13/2 or j?
j
Let d = 39 - 39.07. Let s = d - 0.03. Is -4 smaller than s?
True
Suppose -2*s = -7*s + 150. Suppose s = -v + 4*g, -g + 2*g = -v - 15. Which is smaller: v or -19?
-19
Let r = 52 - 19. Let p be (1 + 1)/((-159)/r + 5). Which is smaller: 9 or p?
9
Let w = 341 + -322. Is w equal to 29?
False
Let b(w) = -3*w - 15. Let i be b(-8). Let f(t) = t**3 - 9*t**2 + 14*t + 10. Let n be f(7). Is n >= i?
True
Let o be (-60)/(-14)*(-3)/6. Suppose -2*l + u = 6, -2*u - 8 = 4*l - 4. Which is bigger: o or l?
l
Let h be -4 - (0/(-3) - 3). Is 25.2 at least h?
True
Let y = -278 - -517. Which is smaller: y or -2?
-2
Let k = 74 - 74. Which is greater: k or -1/30?
k
Let w(z) = 5*z**2 - 2*z - 113. Let l be w(11). Which is smaller: 472 or l?
l
Let x = -3/1856 + -8581/1856. Is -4 less than x?
False
Let l be (-132)/(-21) + 1*4/(-14). Suppose -l*x + 3 = -3. Are -2 and x equal?
False
Suppose 5*s + 0 - 14 = u, -3*s + 14 = -2*u. Suppose 3*w + 2*g - 6 = 2*w, s*w - 5*g - 39 = 0. Is w smaller than 11?
False
Let i = -473 + 486.05. Let d = -13 + i. Let r = -1 - -1. Which is greater: d or r?
d
Let q = -2.1 - -106.1. Let s = 128.4 - q. Let c = -26 + s. Which is greater: 1/3 or c?
1/3
Let k be (-19)/(684/24) + 320/(-114). Is -2 <= k?
False
Let a(k) = -2*k**2 - k + 75. Let q be a(0). Is q not equal to 78?
True
Let g(m) = 5*m - 35. Let c be g(7). Suppose c*d - 63 = -4*r + 3*d, 2*r - 5*d = 35. Suppose -30 = -2*o + 2*z, 4*o - 60 = -5*z + 2*z. Is o smaller than r?
False
Let h = -13 + 39. Let m = h + -26.05. Let j be -2 + 6*8/27. Which is smaller: m or j?
j
Let v = -892 - -1783/2. Which is smaller: v or -105?
-105
Suppose 5 = 5*i, 2*i = -m - 0 + 3. Is -2/229 greater than m?
False
Let n = -5/21 - 10/7. Which is greater: n or -3?
n
Suppose 3*z - 34 = -7. Suppose -46 = 2*v - 62. Are v and z unequal?
True
Suppose -4*o - 60 = 2*c + 38, 0 = -3*c + 3. Let i = -25 - o. Is i > 1/11?
False
Suppose 0*y + 4*i + 7 = y, 4 = -2*y + 2*i. Let h be (5/(y/(-2)))/1. Suppose 0 = h*l - 5*l + 45. Do l and 15 have the same value?
True
Let s = -0.0205 + 0.5215. Let r = s - 0.101. Is 0.02 <= r?
True
Let g(o) = -o**3 + 5*o**2 + 8*o - 5. Suppose 2*y + 2 = 0, 4*y + 6 = n - 4. Let u be g(n). Let d = 0 - -6. Is d less than u?
True
Let c = -699805 + 117567673/168. Let r = 5/56 + c. Let x be (-24)/(-7) - 6/14. Is r less than x?
True
Let l(f) = 2*f**3 - 2*f**2 - f - 2. Let p be l(2). Let n be -2*(p - (-75)/(-10)). Suppose o - 3*a - 2*a - 21 = 0, -5*o = -4*a - 42. Is o greater than n?
False
Let p be (3 - (-9 - -2)) + 1. Suppose -k + 2*h - 10 = k, -3*k = -5*h + p. Let r(t) = -3*t + 5. Let l be r(4). Is l at most as big as k?
True
Let u = 325/662 - -3/331. Does -0.29 = u?
False
Let n be 0 + 2/(-8) + 1530/40. Which is smaller: n or 42?
n
Suppose y = 3*t - 62, -4*t = 5*y - 10 - 41. Let z = t - 19. Let j = -3 + 2. Which is smaller: j or z?
j
Let y be ((-2)/(-2))/(47/(-12) - -4). Suppose -3*j + 22 = -f - 0*f, -3*f = -5*j + 58. Let n be (y/f)/(15/12). Do n and -2 have different values?
True
Let y = 5039 - 5034. Let v = 29/33 + -1603/1749. Let o = 473/106 - v. Is y != o?
True
Let t = -1 + 5. Let y = -