. Which is smaller: 409 or h?
h
Let y be 2*1/(-2) - -15. Let q = y - 13. Let f(p) = -p**3 - 9*p**2 - p - 7. Let d be f(-9). Is d less than q?
False
Let f = -2.39 + 1.89. Which is greater: f or -1.5?
f
Let p(m) = m**2 + m - 6. Let g be p(4). Let i be (-1 - -6)/(-2 + 3). Suppose 14 = i*y - 51. Is y at least g?
False
Let z be (-6 - -1)*-18 + -27 + 30. Let s be 2 - (0 + 192/z). Suppose -2*n + 2*l + 3*l + 5 = 0, 5*n - 2*l = 2. Which is bigger: s or n?
n
Suppose 0 = -2*m - 0 + 8. Suppose -h + 0*h + 21 = 4*k, -1 = m*h - k. Are h and 1 nonequal?
False
Suppose -10*t - 32 = 28. Let h = t - -7. Let s be 9/(-66)*(-4)/3. Which is smaller: s or h?
s
Suppose -5*x - 6*c = -c - 5, -3*x + 5*c = 5. Which is smaller: -9/52 or x?
-9/52
Let n = -9929/5 - -1994. Let l = n - 282/35. Which is smaller: 0 or l?
0
Let p = -18.14 + 0.14. Let d = -319.9 - -319.9. Is d >= p?
True
Suppose 6*i - 14 = -2. Suppose -6*x + 4*x = i. Let w = x - 0. Is w bigger than -2?
True
Let z = -11 + 46. Suppose -z*u + 40*u - 30 = 0. Suppose -n = -5*g - 65, 68 = -u*g + 2*g + 4*n. Is -13 greater than or equal to g?
False
Let w be (-778)/(-15)*(-369)/33. Let v = 580 + w. Which is smaller: v or 0?
0
Suppose 5*u - 12 = 4*f + u, 0 = -f - u + 5. Is f smaller than -4/141?
False
Let n = 24721/160 - 309/2. Are 0 and n non-equal?
True
Let x be 3/(-12) - (-1)/4. Suppose -7*b + 4*b - 4 = 4*n, -6 = -n + b. Suppose n*i = 4*y + 6, -3*y + 6*y = -3*i - 18. Which is greater: i or x?
x
Suppose 0 = 16*y - 127 - 1. Let z(k) = -k + 1. Let f be z(-5). Which is bigger: f or y?
y
Let b = -61 - -62. Which is smaller: b or -326?
-326
Suppose -4*j = 1269 + 655. Is -480 greater than or equal to j?
True
Let w(x) = -x**3 - 3*x**2 + 13*x + 7. Let a be w(3). Let f(t) = -t - 7. Let o be f(0). Is a <= o?
True
Let k(s) be the first derivative of -4*s**2 + 16. Let c be k(2). Is -15 less than or equal to c?
False
Let o(u) = 2*u - 32. Let q be o(13). Let l be q*(2 + 118/(-58)). Is l greater than 0?
True
Let u(s) = -s**3 - 8*s**2 - 8*s - 5. Let b be u(-7). Let a be (-5)/(b + -2 + 1). Let n be 1*(-1)/115*a. Which is smaller: -1 or n?
-1
Let k = -7 + 6. Let c = 72/13 - 71/13. Which is greater: k or c?
c
Suppose -2*x = 3*v + 39, 0 = 3*x - v - 2*v + 51. Suppose -9*a + 12*a = -12. Let m(y) = -y**3 - 6*y**2 - 12*y - 33. Let t be m(a). Is x not equal to t?
True
Suppose 0 = 3*m - 24*m + 2121. Is m less than or equal to 101?
True
Let u = -2 - -1. Let t = 706071/32 + -22065. Which is smaller: u or t?
u
Let x(i) = -8*i**3 - i**2 + 1. Let w be x(1). Let g = w + 8. Suppose g = -2*y - 0 + 2. Which is bigger: y or 4?
4
Let c(j) = -3*j + 16. Let d be c(12). Let o be (d/12)/(1/(-15)). Let b be ((-10)/(o/(-5)))/(-2). Which is smaller: -4/19 or b?
b
Suppose 4*n + 20 = -20. Let m be (4/n)/((-8)/6). Suppose 102*g + 2*f + 6 = 105*g, -9 = g + 3*f. Which is greater: m or g?
m
Let i be ((-1)/10*52)/((-2)/10). Which is smaller: 31 or i?
i
Let u = 35.14 - -0.86. Let f = -36.7 + u. Which is bigger: 1 or f?
1
Let u = 1097.18 + -1097. Suppose -2*t + z + 3 = 8, 5*t = z - 11. Which is smaller: t or u?
t
Let v = -314 - -313. Is v <= 5/94?
True
Suppose 0 = x + 4*x + 265. Is -53 at most as big as x?
True
Let d = 1026/7 + -146. Let r(l) = -27*l + 405. Let g be r(15). Is d <= g?
False
Suppose 5*q = 3*o + 24, -o + 4*q + 0 = 1. Let i be -2 + 1 - o/3. Suppose -51 = 7*f - 65. Is i less than f?
False
Let o(j) = 35*j - 427. Let c be o(12). Let v(g) = -g**3 - 5*g**2 - 5*g - 2. Let x be v(-4). Suppose -5*q - 7 = 4*i + 7, -2*q - 20 = -x*i. Is q >= c?
True
Let s = -24 - -36. Let q be (s/(-225))/(1/(-3)). Which is bigger: 1 or q?
1
Let t = -9.265 + 0.165. Let z = 9 + t. Is 2 greater than or equal to z?
True
Let q = 15 + -14. Let l be 0/(3/1) + q. Which is bigger: l or -2/7?
l
Let w be 6/27 + (-5597)/36. Let k = w - -156. Let j = -0.06 - -3.06. Which is bigger: j or k?
j
Suppose -2*s + 18 = -0*q + q, 0 = -q - 5*s + 33. Suppose q = -3*z + 7*z. Let c be -1*((-1)/(-1) - 2). Which is bigger: z or c?
z
Let p = 1121 + -1120. Let u be ((-1)/(-15))/(2/35). Which is smaller: u or p?
p
Let t be (-2)/3 - 2/(-2). Let g = 56 + -39.6. Let m = g + -15. Which is greater: t or m?
m
Let j = 0.13 - 0.045. Let p = -14.485 + j. Let i = -2.4 - p. Is -1 greater than i?
False
Let q be (-2)/(3 + (-33)/9). Suppose q*r + 2*a - 6 = 13, -5 = -a. Let y be r/(-4)*-4 - 3. Are 0 and y equal?
True
Let k(w) = 4*w + 22. Let z be k(-12). Let i = -23 - z. Let c be (i - 0)/(21/(-35)). Which is smaller: -1 or c?
c
Let w be ((-3)/(-4))/(7 + -3 - 2). Is -1 bigger than w?
False
Let u be (1 - -1 - -78)*164/205. Which is greater: u or 67?
67
Suppose 37*m = 5 - 116. Is -24 < m?
True
Let f = -9 + 13. Let k = -1819/3 - -14071/21. Let q = k + -64. Which is greater: f or q?
f
Let x be 265/2*(-64)/(-16). Is 529 equal to x?
False
Let d be (3 - (-3679)/(-1227))*-3. Which is smaller: d or -1?
-1
Let i be (18/33)/(1 - 0). Let h(d) = 2*d**3 - 2*d**2 - 3*d + 2. Let g be h(2). Suppose 11*x - g*x = 0. Which is smaller: x or i?
x
Let u = -0.2 - 9. Let a = u - -0.2. Let h = 10 + a. Is h < -10?
False
Suppose -c + 31 = 14*m - 15*m, -5*c + 153 = -3*m. Is c at most as big as 29?
False
Suppose 3*u + 16 = 4*x, -x + 3*u + 7 = -6. Is x at least 20/19?
False
Let x = -129 + 110. Is -15 bigger than x?
True
Let a(g) = -43*g + 2. Let h be a(1). Suppose 5*q + 139 + 66 = 0. Are h and q non-equal?
False
Suppose -2*c + 122 = -0*c. Suppose -3*a - a = -q - c, 4*q - 26 = -2*a. Suppose 0 = 2*w - 3*n - a, -2*w + 4 + 13 = -n. Which is smaller: w or 8?
8
Let o be (-92)/(-50)*(-106 - -311). Which is bigger: o or 377?
o
Suppose -10 = -5*r + 5. Let p be (1/(-3))/(14/(-112)*12/15). Is p equal to r?
False
Let z(f) = f**2 + 4*f + 4. Let s be z(-3). Let d = -187204/123 - -1522. Which is smaller: s or d?
d
Let k = -289 - -288. Which is bigger: k or -2/865?
-2/865
Let o(w) = -w**3 + 4*w**2 - 3*w + 5. Let q = 5 + -2. Let p be o(q). Let j(g) = g**2 - g + 2. Let d be j(0). Are d and p equal?
False
Suppose -3*v = -2*v. Suppose 5*d + 3*x + 645 = 0, x + 52 + 207 = -2*d. Let c be 1/3 + (-4)/d. Is v bigger than c?
False
Let y = 0.55 + -16.95. Which is smaller: y or 2?
y
Let u be (-18)/12*(-1104)/18. Is 91 > u?
False
Let i be 0*(-3)/6 - 0/(-2). Which is bigger: 9/46 or i?
9/46
Let f(o) = o**3 + 3*o**2 - o + 1. Let j be f(-3). Suppose -n = 2*g + 1, -j*n = -7*n + 3*g - 39. Which is greater: n or 1?
1
Let p = -2193680 - -10062410240/4587. Let r = p - -6/139. Is r at least -1?
True
Let q(s) = s**3 + 5*s**2 - 6*s. Let i be q(-6). Let o be ((-12)/(-27))/((-1)/2). Is i > o?
True
Let t = -10.97 + 10.87. Is -15 not equal to t?
True
Let o(y) = -y**2 + 15*y + 4. Let x be o(15). Suppose 0*t + x*t - 4 = 0. Which is bigger: t or -3/29?
t
Let g = -48 + 58. Let w be 4/g + 172*(-6)/2730. Which is smaller: 0 or w?
0
Suppose 15 = -3*w - 5*s, 3*s = -2*w + s - 6. Which is smaller: 3/32 or w?
w
Let w = 3 + -8. Let v be -1*(-1)/(w/(-21)). Let t = -28/15 + v. Is t less than 2?
False
Let g = -60316905 - -301825790405/5004. Let z be 1*((-8337)/(-1668) + -5). Let x = g + z. Is 0 != x?
True
Let g = -2401/12976 + -2/811. Which is greater: -12 or g?
g
Let n be ((-3)/9)/((-2)/16*-4). Is 16 < n?
False
Suppose c + 6 = -0*s - s, -5*c = 3*s + 26. Let i be (-27)/21 - (c - -3). Do 1 and i have the same value?
False
Suppose -1040 = -93*g + 109*g. Is g at least as big as -64?
False
Let h = 8347/23436 - 1/756. Is 0 at least as big as h?
False
Let m = 5 - 8. Let g(u) = u**2 - 15*u - 18. Suppose -68 = -4*t - 2*b, 0*t + 2*t - 5*b = 22. Let f be g(t). Is f less than m?
False
Let h(x) = 6*x - 20. Let i be h(4). Suppose i*n = -3 - 1. Is 5/4 greater than or equal to n?
True
Let a = 91159/143 + -6466/13. Let z = a - 141. Is z != 0?
True
Let n be 139/270 - 1/2. Let p be (-2 - (-12)/8)*10 - -4. Is p <= n?
True
Suppose 0 = -l - 1. Let v = -10 - l. Suppose -15 + 5 = q. Which is smaller: v or q?
q
Let q be 76 + (0 - (-1 - -1)). Let z = q + -85. Is -9 > z?
False
Let j = -0.08 - -0.14. Let r = -83 + 82. Is r smaller than j?
True
Let a be ((-7)/(-9219))/((-2)/30). Let z = a + 9703/3951. Is z bigger than 3?
False
Let k = 437 - 424. Which is bigger: 11 or k?
k
Let l be 8/(-20) + 339/(-15). Let z = -10 - l. Is 13 <= z?
True
Suppose -6*b + 3*b - 33 = 0. Let o = -327.9 + 328. Is o less than b?
False
Suppose 5*t + 4*y = 9*t + 8, 28 = t + 