= -t**2 + 3*t - 1. Let b be d(4). Let m = 77 - 74. Suppose 3*z + 24 = -m*z. Which is smaller: z or b?
b
Let v be 0/(((-3)/3)/1). Let z = -435 - -41. Let f = -4328/11 - z. Is f < v?
False
Let o = -158 - -66. Let x = o + 63. Let g = -2/13 + -7/39. Is g >= x?
True
Suppose -4*c = 5*a - 182, -5*c - 19 = 2*a - 3*a. Suppose 0 = a*k - 29*k. Is k > 0?
False
Suppose 2 = 5*j - 3. Let a be 1/(j/(-2)) - 1. Which is greater: a or -5?
a
Let h = -56.02 - -56. Let a = -0.12 - h. Let j = -6 - 3. Which is bigger: j or a?
a
Let s be 28655/(-390) - (1 - 4). Let r = s - -141/2. Let w = r - -53/975. Is w bigger than -1?
True
Suppose -4*j - 473 = 399. Which is smaller: j or -221?
-221
Let a = -0.19 - 1.81. Let b = a - -1.9. Which is bigger: -4 or b?
b
Let n be (-1 - 1)/(6/(-15)). Suppose 0 = -3*a + 3*j - 6, j - n = -1. Let z be 2/4 + 1/a. Which is greater: 0.2 or z?
z
Suppose -8*c - 746 = -4*i - 13*c, 3*i = 2*c + 548. Is i >= 184?
True
Let h(m) = m**2 - 5*m. Let q be (-8)/(-2) + 1/(-1). Let z be h(q). Let t = 3396 - 3402. Is t at least z?
True
Suppose 4*o - 4*v = 6*o - 22, 0 = 5*o - 3*v - 3. Suppose -60 = o*r - 0*r. Let t be 102/15 - 4/r. Which is bigger: t or -0.2?
t
Let h = -0.1074 + 0.0074. Which is greater: h or -115?
h
Let z = -715 - -715. Which is smaller: z or -487?
-487
Let b = 0.6 - -1.4. Let g = -16.82 + -0.18. Is b at least g?
True
Let n be ((-39)/3)/(3/18). Let k be (160/n + 2)*(0 - 2). Which is greater: 1 or k?
1
Let u = 6 - 3. Suppose u*k - k = 2. Let w = -2786 + 2773. Is k at least w?
True
Let a(r) = -r - 6. Let v be -1*(-2 + (0 - -2)). Let w be a(v). Let z be 0 + (-2 - 9/w). Is z < 0?
True
Let a be -6 - -2 - (2 - (4 + 1)). Let m = -584 + 13434/23. Are m and a non-equal?
True
Let t(p) = 2*p**3 + 21*p**2 - 8*p + 3. Let h be t(-11). Is -28 less than h?
False
Let u be 18/(-117) + 645/(-117). Is -7 less than or equal to u?
True
Let s = -0.42 + 0.24. Let a = -2.28 - s. Let b = a - -2.1. Which is smaller: 0.1 or b?
b
Let c be 351/(-21) - (-2)/(-7). Let a = 137 + -116. Let x = a + c. Are 3 and x nonequal?
True
Let d = 2 + -2. Suppose d = -4*j - 0*j + 3*j. Which is greater: j or 1?
1
Let b be 1242/(-30) + 16/40. Which is smaller: -39 or b?
b
Let r = -1 - -1. Let q = -7/4 + 1. Is q >= r?
False
Suppose -25*f = -30*f + 15. Let w(s) = -s**3 + s + 8. Let n be w(f). Which is bigger: -12 or n?
-12
Let s be 9/(-21) + 1020/(-21). Let p be (2/2)/((-7)/s). Suppose -4*n + 21 = -l, -5*l = -n + 5*n - 39. Which is bigger: n or p?
p
Let v = -64 + 68. Let i = 0.03 - -3.97. Let x = i - v. Is 2 >= x?
True
Suppose -11 = y + 3*u, 5*y - 2*y - 2*u + 22 = 0. Let x(q) = q**3 + 7*q**2 - 9*q - 3. Let d be x(y). Suppose -d*r - 4 = -r. Which is smaller: 1 or r?
r
Let m = 72/35 + -6/7. Is 1 at least m?
False
Let p(y) = -y**2 - 2*y - 1. Let o be p(-1). Let u be (72/(-42))/(-1) - 12/6. Which is greater: u or o?
o
Suppose -2*p - p = -5*b + 9, b + 4*p - 11 = 0. Suppose -12 = -4*m, 0 = -2*k - 5*m - b + 24. Is k greater than 4?
False
Let d be 465/(-5166) - (-4)/42. Do d and -1 have different values?
True
Let l = 91272 + -822520/9. Let x = -119 - l. Let r = 10 + -11. Is x greater than r?
True
Let g be (2/(-4))/((-3)/9). Let d = 731/65 - 57/5. Which is greater: d or g?
g
Let d be (-648)/(-11421)*((-501)/(-492) + -1). Is 0 < d?
True
Let w be ((-99)/90 - -1)/(4/70). Suppose 4*a + 8 = -8. Let h = a + 1. Do h and w have the same value?
False
Suppose -w = w - 4. Let i = -5/2 - -4. Is i bigger than w?
False
Let g(l) = l**2 - 8*l + 10. Let h be g(7). Let m be -2 - (-716)/330 - h/15. Which is greater: 1 or m?
1
Let q be 1*(-2)/2 + -5. Let k be -2 + (4 - -4) + -3. Suppose k*l + l + 28 = 0. Do q and l have the same value?
False
Let b = -0.53 + -27.47. Let d = b + 30. Which is smaller: -1/2 or d?
-1/2
Let n = -37 - -25. Let p = n - -12. Is p smaller than 0.01?
True
Let j = -283 - -303. Is 15 less than j?
True
Let k be 2/8 - 2/8. Suppose k = -2*d + 6*d + 40. Let h be (-2 - 12/d) + 2. Are h and 0 equal?
False
Let w = 352 - 160. Is w bigger than -2/5?
True
Let x be 1 - 57906/47 - 1. Let l be 1 + (14798/(-12) - 8/(-48)). Let v = x - l. Is v at most -1?
False
Suppose -5*g - s - 4 + 14 = 0, 3*g - 6 = -3*s. Let a be g + -1 - (4 + -4). Let f = -1/4 + 3/8. Which is smaller: a or f?
f
Let x(r) = 3*r**2 - 8*r - 1. Let n be x(3). Which is smaller: n or 4?
n
Let y = 0.06 - 0.56. Let h = -18 + 18.5. Let r = h - y. Do -0.1 and r have the same value?
False
Let g be (-12)/7*((-15)/(-9) + -2). Let p = 10 - 9.9. Which is smaller: g or p?
p
Let r = -16.8 - -2.8. Let q = -141 - -150. Let d = q + r. Which is bigger: 0.2 or d?
0.2
Let w = 89/6 + -955/66. Let m be 1/(-2) - 75/(-10). Let j = m + -7. Is j less than w?
True
Let v = 48.2 - 47.2. Which is smaller: 10 or v?
v
Let r be 3/(-5 - -1076)*3. Which is greater: 1 or r?
1
Let w = 0.065 - 55.065. Let t = w - -58. Is t at most -11?
False
Suppose 0 = -4*y - j - 364, -3*y + 3*j + 48 = 321. Is y at least as big as -92?
True
Let k(w) = -w**2 + w - 14. Let c be k(0). Let g be (1 - -2)/(-1)*13/(-3). Let a = g + c. Which is smaller: 1 or a?
a
Let h(n) = -n**2 - 16*n + 3. Let i be h(-16). Suppose 0 = -i*v - 6, -v + 28 = -3*o - 0*v. Is o < 2?
True
Suppose -3*w - 3*u = -17 - 1, -5*w + 4*u + 3 = 0. Suppose 3*m + r = 8, 2*m - 3*r - 1 = -w. Suppose -4*x = -0*x. Which is smaller: m or x?
x
Let k(h) = -44*h + h**2 + 3 + 40*h + h**3 + h**2. Let r be k(-4). Which is smaller: r or -14?
-14
Let p(x) = -x**2 + 12*x + 12. Let c be p(13). Let d(i) = -4*i + 5. Let b be d(1). Is b at least as big as c?
True
Suppose 0 = -4*n + 2*r - 14 - 12, 5*n + r = -29. Let b be 7 + n + 45/(-43). Which is bigger: b or -2/7?
b
Let l(m) = 2*m + 2. Suppose 0 = 2*c - 4*a + 4, -3*a + 8 = -4*c + 2*a. Let o be l(c). Let u be 1/o + (-6)/(-4). Is u at most -2/5?
False
Suppose -3930 - 3330 = 12*t. Is t > -604?
False
Suppose v - 34*b - 525 = -36*b, -3*v - 5*b + 1576 = 0. Is v not equal to 528?
True
Let y be ((-2)/6)/(4 + (-41)/9). Let v(h) = -7*h - 1. Let w be v(-1). Suppose 4*z + s = -3, -3*z + w*z + s = -3. Is z bigger than y?
False
Let v = 296 + -567/2. Let u = v + -103/8. Let r = u + 1/8. Which is greater: 1 or r?
1
Let f be (-18)/33 - 45264/264. Which is smaller: f or -169?
f
Let a = -391411/3164 - 3/452. Let x = -124 - a. Is -2/31 >= x?
True
Suppose 6*k - 98 = -8*k. Let q(m) be the second derivative of -m**5/20 + m**4/2 + 4*m**3/3 - 7*m**2/2 - 2*m. Let r be q(k). Is 1 bigger than r?
True
Let l = -4516 - -1241898/275. Which is smaller: 1 or l?
l
Suppose 3*w - 9 - 3 = 0. Suppose 0*g = -w*g + 112. Let r be (-22)/(-28) - 8/g. Is 0.02 >= r?
False
Let r = 5181 + -98394/19. Let b = -2/57 + r. Which is greater: 2 or b?
b
Let s(w) = w**3 - 6*w**2 + 2*w + 4. Let a be s(6). Let c = 13 - a. Suppose 2*l + 3*f - 2 = 5*f, 0 = 3*l - f + 3. Is l smaller than c?
False
Let j be (-6)/(-21) - 2/7. Let p(m) = m**3 - 3*m**2 + m - 6. Let f be p(3). Let t be (-76)/57*2/(-92)*f. Is t at least j?
False
Let w = 101 + -94. Suppose -w*z + 14 = 35. Is -5 smaller than z?
True
Let l = 363 - 360. Which is smaller: l or -0.026?
-0.026
Suppose 82 = -5*q - 78. Let w = q + 25. Suppose -7 = b - 1. Which is bigger: w or b?
b
Suppose -u - 2 - 9 = -2*m, 5*u = 4*m - 25. Suppose 0 = z + 3*i + 36, i = -2*z - i - 68. Let y be (-93)/z + -3*1. Which is smaller: y or u?
u
Suppose -2002 = 102*c - 113*c. Is 183 >= c?
True
Let i = 347/5 - 1046/15. Is -133.6 at most i?
True
Suppose 0 = -4*s - 0*s + 76. Let b be (38/8)/(21/(-12) - -2). Is s less than or equal to b?
True
Let r = -2213 - -196955/89. Is r smaller than -1?
False
Let w = 25 - 23. Suppose -3*k - 4*i - 22 = 0, w*k = k - i - 6. Is -1 at least as big as k?
True
Let g(d) = d**3 - 11*d**2 + 13*d - 12. Let r be g(10). Suppose r = -3*a - 6*p + 3*p, -2*p = 0. Let c = -10 + 4. Is c < a?
False
Let o = -72 - -85. Let v(b) = 2 - 3 + 9*b + 4*b. Let k be v(1). Which is smaller: k or o?
k
Let f be (13/((-91)/(-42)))/(2/5). Suppose 12 = 5*w - 2*w. Is w >= f?
False
Let p be (-2)/(-54)*3 + 245/63. Let c be 2*(-1)/(-4)*0. Suppose c*h + p*h = 0. Which is bigger: h or 1?
1
Suppose -17 + 5 = 4*h. Let f be ((-126)/(-15))/(-3) + h + 2. Is f less than or equal to -3?
True
Suppose -140*x = -115*x + 75. Let i be (12/9)/((-13)/15). Is x smaller than i?
True
Let z be (-9)/6 - (-102)/12. Let q be z + (0 + 2)*-1. Is q smaller than 8?
True
Let