et s(v) = -v**2 - 33*v - 80. Let c be s(-30). Let b = 12 + 1. Is b at least as big as c?
True
Let j(z) = -7*z**3 + 1. Let r be j(1). Let o be (-23)/2 + (-9)/r. Let d be (-4)/o*15/4. Is d at least 3?
False
Suppose 15*p + 25 = 20*p, p = 4*q + 117. Which is smaller: q or -1?
q
Let c = -770 - -8457/11. Which is greater: 0 or c?
0
Suppose 0 = 4*c - 2*c + 16. Let k be c/124*2/3. Is 1 bigger than k?
True
Suppose -n = -l + n - 9, 4*l - 3*n = -56. Is l >= -16?
False
Let v(s) = s**3 - 11*s**2 + 24. Let l be v(12). Suppose -4*q = 3*q + l. Which is greater: q or -2?
-2
Suppose p + 3*o + 259 = 2*p, 0 = 3*o. Let m be (2/p)/(5/35). Which is bigger: m or 1?
1
Let w = 52 - 40. Suppose -16*b = -w*b. Let u = 0 - -0.3. Which is greater: b or u?
u
Let p(q) = -2*q + 9. Let s be (-4)/(-3)*(24/6 + -7). Let t be p(s). Do 16 and t have different values?
True
Let t = -0.8 - 0.2. Let p = -14 + 61. Let a = p - 54. Are a and t non-equal?
True
Let p(f) = -f**3 + 8*f**2 + 20*f - 2. Let q be p(11). Do -144 and q have the same value?
False
Let y = 9 - 6. Let q = -3.1 + y. Let v be ((-14)/10 - -1)/(-3 - -2). Which is greater: q or v?
v
Suppose -t + 203 = -0*t - r, 3*t + 5*r = 625. Does t = 1?
False
Let t(r) = -6*r**3 - 3*r - 2. Let b be t(-1). Let q be (-4)/b + 306/119. Is 4 less than q?
False
Let p be (-33)/4 - (-6)/(-8). Let q be 33/(-27) + (-2)/p. Which is greater: q or 0?
0
Let z = -91/6 - -27/2. Let y(t) = -t**2 + 12*t + 4. Let x be y(12). Suppose -x*n + 3*n - 3 = 0. Is n bigger than z?
False
Suppose 2*i + 9*t - 4*t - 28 = 0, -5*t = -20. Let y(u) = 1 + 3 + 5*u**3 - 3*u**2 - 1 - i*u - 4*u**3. Let j be y(4). Which is smaller: j or 13/3?
j
Let f = 1044 + -1227. Which is bigger: f or -185?
f
Let t be ((-18)/4 + 2)*-2. Let v = 7 - t. Suppose -x + 0*x - 6 = v*k, 0 = 5*x - k - 3. Which is smaller: -4/9 or x?
-4/9
Let f be 10/15 + 2/(-3). Let l be (0 - 1 - -2)*1. Let p be l/(-2) + -3 + f. Which is smaller: -4 or p?
-4
Let g be 5*((2 - 0) + -1). Suppose 2*a - 10 = -3*a - 2*c, 0 = 3*a - c - 17. Suppose 6 = 4*o - 3*p - 27, a*p + 24 = 2*o. Which is smaller: g or o?
g
Let o = 13 - 11. Suppose 0 = 3*b + 4*y + 14, -b + 13 = -2*b - 3*y. Let r be (o + 0)/(1/b). Is 5 bigger than r?
True
Let h = -13/44 - -197/704. Let r(q) = q**2 + 17*q + 73. Let k be r(-8). Which is smaller: h or k?
h
Let z(i) = 2*i**2 + 2*i + 1. Let c be z(-2). Let k(s) = -6*s**2 + s + 2. Let y be k(2). Let u = y - -24. Is u != c?
True
Let c = -185 - -234. Is c at least as big as 48?
True
Let u = 0.21 + 0. Let p = u - -2.29. Let n = 2.4 - p. Which is greater: -6 or n?
n
Let w be 0 + 250/(-20) + (-10)/(-4). Is -150/17 bigger than w?
True
Let v(k) = -k**2 + 6*k + 3. Let p be v(6). Let i = -1550328/7 - -221846. Let l = i + -369. Is p smaller than l?
False
Let w = -41 + 41.064. Let s = -0.164 + w. Is 30 equal to s?
False
Suppose 3*v - 6 = 24. Suppose -5*o + l + 22 = 2*l, -3*o = -l - v. Let q be 18/(-30)*5/o. Which is smaller: -1 or q?
-1
Let o = -85 + 85. Let r be 3 + -3 + 4 + -4 + o. Which is smaller: 36 or r?
r
Let h = -0.0095 + -62.6905. Let g = -63 - h. Which is greater: g or 0?
0
Let x(r) = -r - 3. Let o(p) = -3*p - 8. Let s(q) = 3*o(q) - 8*x(q). Let n be s(0). Let h = -1021 + 1022.6. Which is greater: n or h?
h
Suppose -4*j = -5*v - 24, -j + 2*v + 11 = 2*j. Let l = -9 - -10.6. Let o = -1.73 + l. Are j and o nonequal?
True
Suppose -5*j - 6*f = -4*f - 218, 0 = -j - 3*f + 41. Let r(w) = -85*w**2 - 2 + 40*w**2 + 3*w + j*w**2. Let v be r(2). Is 0 at most v?
True
Let l = -13 - -13. Suppose -6*t + 6 = -c - t, l = 5*c - 5*t + 70. Let g = 26 + c. Is g greater than 10?
False
Let b be (-24)/3 - (1 + -2). Let i(w) = -w**3 - 6*w**2 + 6*w - 5. Let m be i(b). Suppose 0 = 3*y + 4*k + 16 - 5, -4*y = -m*k. Is -4/7 less than or equal to y?
False
Let r = 120.7 + -132. Let t = -2.7 + r. Let y = 14.22 + t. Which is bigger: 0 or y?
y
Suppose 4 - 5 = -o - 2*i, -i - 4 = 5*o. Let j be 5 - o - (-10 - -12). Let r be 2/j*10/(-25). Is -0.2 at least as big as r?
True
Suppose 0 = 34*x - 36*x + 4. Let d be (-22)/(-77)*(-1)/x. Do d and -2/9 have the same value?
False
Let k be (-24)/(-108) + (-286)/(-9). Suppose -34*s + k*s - 4 = 0. Let y be 54/(-12) + 1/s. Is y greater than or equal to -5?
True
Let i = -333 + 1663/5. Let q = 0.28 - -0.82. Is i >= q?
False
Let k be -2 + 4 + 33/44. Suppose 12*i - 7*i + 90 = 0. Let n = 20 + i. Is n < k?
True
Let r(t) = -9*t**2 + 9*t + 2 - 5 - 5 - t + t**3. Let n be r(8). Suppose -40 = 3*o + 2*o. Is o smaller than n?
False
Let y be (92/16 + -5)*24. Suppose 0*r + 2 = r. Let l be (r/(-26))/((-3)/y). Are l and 0 equal?
False
Let n(t) = t**2 + 9*t + 3. Let j be n(-7). Let c = -119 + 119. Let y be ((-154)/28)/(c - (-2)/4). Is j greater than y?
False
Let v(p) = 4*p. Let o be v(2). Let z be ((-18)/15)/(o/40). Is -7 greater than z?
False
Let y = 3.8805 + 0.1195. Let b = -0.28 - 0.82. Let g = 1 + b. Is y >= g?
True
Let p = -244 - -221. Are p and -246/11 non-equal?
True
Let b be ((-9676)/(-1916) - 5)*(-428)/306. Let c = -4/479 + b. Which is greater: 0 or c?
0
Let f be 78/(-273) + (540/28)/1. Does f = 73?
False
Let k = -195.246 - -195. Is -2/7 not equal to k?
True
Let v be 8/(-4) + 1996/996. Let c = 2497/1743 - v. Which is bigger: 2 or c?
2
Suppose 15*v - 3549 + 1059 = 0. Does v = 329/2?
False
Let p be 5 + 6/(-15) + 1133/(-330). Suppose 2*k = 4*k. Let v be -2*(k - 1) + 0. Which is smaller: v or p?
p
Let w be (-1)/(-5) + (-532)/35. Let g(x) be the second derivative of x**4/12 + 4*x**3/3 - 2*x. Let v be g(-4). Which is bigger: w or v?
w
Let d(b) = -b**3 - 5*b**2 - b + 14. Let n be d(-5). Is n equal to 6?
False
Let y = -186.4 - -207. Let o = y - 21. Which is bigger: 0.1 or o?
0.1
Let z = -78.3 - -77. Which is bigger: z or 2/3?
2/3
Let x = -324 + 895. Which is bigger: x or 570?
x
Suppose -3*j + 14 = -3*x + j, 0 = x - j + 6. Let k be (-2178)/(-330) + (-2 + 1)*7. Which is bigger: k or x?
k
Let t = -36 - -42. Suppose 27 = t*f - 3*f. Let c = 10 - f. Is 3 < c?
False
Let u(j) = -j**3 - 6*j**2 - 9*j + 9. Let m be u(-5). Suppose -3*b = -15, 3*x + 4*b = -9 + m. Is -2/13 equal to x?
False
Let f = -60 - -62. Which is greater: 3/2 or f?
f
Suppose 353 = -12*n + 1073. Is n < 58?
False
Suppose -5*c - 194 = -79. Let l = -103 - -209. Let i = 84 - l. Which is smaller: c or i?
c
Let d(v) = v**2 - 4*v + 4. Let h be d(3). Let c be h/4 + 1/(-4). Let n = 267 - 2935/11. Is c equal to n?
False
Let n = 0.267 - 0.037. Let r = -3.66 - -4.66. Is n < r?
True
Let r(f) = -5*f**2 + 11*f - 3. Let k be r(-5). Is k > -183?
False
Let p = -253 + 258. Let w be -1 + 6/2 + 2. Suppose -w*d = 2*b - p*d + 3, -5*d = 5*b. Which is smaller: b or -2/35?
b
Let r = -17821/18 - -991. Is r greater than or equal to 0?
True
Let w = -595/11 + 54. Let m be (-6)/3 + (-208)/(-20). Let d = -8 + m. Is w at least d?
False
Let w be (4 - 608/164)*(-104)/32. Which is smaller: w or -1?
-1
Let x(u) = 4*u**2 - u - 7. Let h be x(2). Do h and 2 have different values?
True
Let g = 59 + -70. Let q(u) = 7*u + 79. Let n be q(g). Suppose -2*h + 12 = f, 17 + 13 = 5*h - 3*f. Which is greater: h or n?
h
Let o(t) = -2*t - 10. Let n be o(-8). Suppose 2*j + 4 = n. Is j greater than -6/31?
True
Let v = -727 + 734. Suppose -5*x + 77 = 22. Is x at most as big as v?
False
Let z be (-4)/10 - (-221)/(-85). Is z > -0.18?
False
Let f = -181/75180 - -6/1253. Is -1 >= f?
False
Suppose 85*s + 12437 + 398 = 0. Which is bigger: -149 or s?
-149
Let z = 243 + -124. Suppose s + z = 4*w - 50, 2*s - 166 = -4*w. Let y = w - 253/6. Is 1 at most as big as y?
False
Let s = -356 - -251. Let p = 103 + s. Let h = 5 - 10. Are h and p unequal?
True
Let j be (-2 - 25)*(-4)/(-12). Let l = j + 7. Let c be (l - -2) + (-5)/65. Is c <= 0?
True
Let j(b) = -b**2 + 8*b. Let s(l) = -2*l**2 - l. Let a be s(1). Let p(d) = -d**2 + 7*d - 1. Let g(t) = a*p(t) + 2*j(t). Let i be g(4). Are i and 4/11 non-equal?
True
Suppose -2*b - 7 = -h, -8 = -3*h + 5*b + 16. Suppose -5*x = -h*x - 88. Is x equal to -0.1?
False
Let y = -43 - -59. Which is smaller: 3 or y?
3
Let l be 4/(-10)*(-165)/(-31317). Which is smaller: l or -1?
-1
Let i(y) be the second derivative of y**5/20 + 3*y**4/4 - 14*y**3/3 - 11*y**2/2 + 22*y. Let p be i(-11). Is p > 1/2?
True
Let i = -17 - 7. Let k = i + 23. Is 2 <= k?
False
Suppose -9381 + 34708 = -31*l. Which is bigger: l or -818?
l
Let y =