least t?
False
Let s(y) = 3*y**2 - y + 1. Let h(x) = -9*x**2 + 29*x. Let n(u) = -h(u) - 2*s(u). Let q be n(-3). Which is greater: 105 or q?
q
Let r be 1040/18 - 8/(-36). Suppose 29*l - 24*l = 2*g - 25, 30 = 3*g - 5*l. Suppose g*h + 20 = 0, 7*h = 3*j + 12*h - 157. Is j bigger than r?
True
Let z be -1 + (-2293)/(-29) + 598/(-8671). Is z > 73?
True
Let n = 0.018 + -0.918. Which is smaller: n or -94?
-94
Let m(y) = -4*y + 24. Let r be m(11). Let x be (-8)/r - (-68)/(-85). Which is smaller: -112 or x?
-112
Suppose -24 = 3*l + 2*l - 3*d, l + 4 = d. Let u be ((-1)/3)/(2/l). Let p be 3/(-20)*(-3638)/3638. Does u = p?
False
Let q be 2/(12*(-1)/(-4)). Let c = 4/15 - q. Is c bigger than 40?
False
Suppose -9 = 2*q + 3*y + 91, -4*q - 184 = 2*y. Let f = 2.63 - 1.63. Is f < q?
False
Let b be -425*4/(8 - 4). Let d be 2600/b - (6/(-17))/3. Which is greater: d or 0.18?
0.18
Suppose 0*z - 3*o + 41 = 5*z, -o = -2. Let k be ((-4)/34)/((-216)/(-32) - z). Are k and 0 nonequal?
True
Let b be 1/3 + (-70)/(-42). Suppose -b*h = 5*h + 28. Which is smaller: h or -7?
-7
Let n be 10/254*(-3223)/1465. Is 2 less than or equal to n?
False
Let y = -135.91 + 216.13. Which is smaller: 2 or y?
2
Let g = -177/7 + 701/28. Let u = -12 - -36. Which is bigger: g or u?
u
Let q be -18*(-2)/4*(-2450)/(-735). Is 1305/43 smaller than q?
False
Let l be (-4)/(-10) - ((-2266)/10 - -8). Let p = l + -221. Which is smaller: p or 0.16?
p
Let d be (-8 - -13) + 15964/(-36). Is -439 greater than or equal to d?
False
Suppose -2*i - 7*a + 56838 = -4*a, -15*i - 4*a = -426174. Are 28410 and i unequal?
False
Suppose 4*k - 52 = -3*r, -2*k + 29 = 4*r - 7. Let c be k/44*((-14)/(-10))/(-1). Let o = 115/154 + c. Which is smaller: o or 0?
0
Let k be 9/(-51) - (-314118)/1748790. Suppose 0 = x - 0*f + 2*f - 2, 2*f - 2 = 4*x. Which is greater: x or k?
k
Let v = -196476 - -954676880/4859. Which is smaller: -1 or v?
-1
Suppose 1111*k = 3*m + 1114*k - 168, -5*m + 250 = -k. Let y(t) = t**3 + 4*t**2 - t - 6. Let s be y(-4). Is m at most as big as s?
False
Let r = -23249 + 327443/14. Let w = r + -723/7. Let t be 21/(-27 + (-8937)/(-324)). Is w >= t?
True
Let u(y) = y**3 + y**2 - 24*y + 37. Let q be u(3). Is -3/1181 at most q?
True
Let a(r) = 2*r**2 - 113*r + 1272. Let j be a(45). Is 237 smaller than j?
False
Suppose j = -0*j + 5. Suppose -858 = j*c - 3*w, 2*c + 340 = -0*w - 2*w. Let b = c - -1541/9. Which is smaller: 0 or b?
0
Suppose 0 = -t - t. Suppose -l + 1 + 0 = t. Let u = 101/273 - 5/14. Which is bigger: l or u?
l
Let z be (-436)/18 - (-104)/468. Suppose -5*r + 2*h = 3*h + 97, -4*h + 87 = -5*r. Is z bigger than r?
False
Let u = -6/2803 - 27592/204619. Which is smaller: u or -1?
-1
Let p be 12/15*48/(-212448). Is p != 1?
True
Let r(j) = j**2 + 6*j + 5. Suppose -8 - 12 = 4*a. Let v be r(a). Suppose v = 2*b - 10, -5*m = -7*b + 3*b + 25. Does -6/35 = m?
False
Suppose -k - 46 = 26. Let x = -72 - k. Let n be 81/(-80) + 1/1 + x. Is n at most 1?
True
Let v(o) = 2*o + 39. Let a be v(-19). Let k be (48/60)/(42/45 - a). Let b be 0 + 0 - (12 - 3). Which is smaller: k or b?
k
Let r be 34974/174*(-1)/3. Which is greater: -61 or r?
-61
Let z = 859.2 + -894.29. Let m = -35 - z. Let w = 1.09 - m. Which is greater: -22 or w?
w
Let w = 131.3 + -131.2. Is 0.053 at least as big as w?
False
Let t = -1545/29 - -2937103/55129. Is t at least -1?
True
Let q(f) = -10*f**2 + 1. Let c be q(-1). Let d be (4/6)/((-8)/c). Suppose 2*b - 15 = -t - 10, 0 = 2*t + 3*b - 8. Are t and d equal?
False
Suppose -2 = i - 25. Let u be 12 - (-104)/(24 + -11). Is u at least i?
False
Suppose 12 = 4*v, -5*v + 21 = -0*w + 2*w. Suppose 4*m - m - 6 = w*y, -5*y + 3*m = 2. Suppose -7*j - y = -8*j. Is j smaller than -3?
False
Let k be 8 + -3 + 4/(108/(-201)). Let c be (-14)/(-6)*(1 + 2). Suppose -5 = 5*m - 2*z, -5*m - 3*z = -c*z - 5. Which is smaller: m or k?
m
Let n = 3837 + -1229. Which is greater: n or 2606?
n
Let d = -44 - -47. Suppose -6*i = -3*i + d. Let f = -327 + 9484/29. Which is smaller: i or f?
i
Let i be 42/8 - 2/8. Suppose 31*j - 109*j + 806 = 26. Is j at most i?
False
Suppose 2*x - 15 = 3*x. Let l be -10*(5 - -1)/(-6). Let q be (1 + x/l)*-4. Which is smaller: q or -1?
-1
Let z = -0.08 - -8.08. Let y = -104.63 + -6.27. Let v = 111 + y. Which is bigger: v or z?
z
Let r(x) = -2*x**3 - 32*x**2 - 14*x - 17. Let j be r(-13). Let c be (-16)/28 + j/(-1155). Which is smaller: c or 0?
0
Let u be (-135)/2*200/(-125). Suppose 54 + u = 18*c. Is 12 at most as big as c?
False
Let o be 4 + 2 - 42/8. Let h = -88 + 89. Is o at least as big as h?
False
Let s be (3 - 3)/((-3)/3). Suppose 0*q + q = s. Suppose -297*o = -259*o. Is q < o?
False
Let k be (-22 + 27)*8/120. Let s = -87 - -125. Is s at most k?
False
Let l = -239 - -149. Let t be (72/l)/((-2)/15). Suppose -10*z + 30 = -4*z. Are t and z equal?
False
Let p be ((-14)/(-8))/((-1)/(-302)). Let k be (-93153)/(-174) + 1 - (-160)/(-20). Let c = p - k. Which is smaller: -1 or c?
-1
Let k(f) = 11*f + 5. Let b be k(-3). Let m(i) be the second derivative of i**5/20 - 7*i**4/12 + 2*i**3/3 + i**2 - 4*i. Let y be m(5). Is b < y?
False
Let f = -555 + 778. Let p(u) = 4*u**3 - 470*u**2 + 235*u + 106. Let h be p(117). Is h <= f?
True
Suppose 2*j + 3*t = -58, 5*j + 13*t + 145 = 10*t. Let o(b) = -b**2 - 14*b + 21. Let v be o(-15). Let i be 2/v - 1002/36. Which is smaller: i or j?
j
Suppose -2 = f - 0*f, -4*o + 3*f + 26 = 0. Suppose 4*s + o + 21 = -2*z, z - 2*s + 17 = 0. Let n be 4/(-3 - z)*(1 + 0). Is 1 greater than or equal to n?
True
Let i be (-1222)/(-352) + 455/(-65). Let g = -7681015/528 + 43643/3. Let w = i - g. Which is smaller: w or -3?
w
Let c be (4 + -3 + 4)*3/57. Suppose 0 = 3*d, 0 = 5*k - 0*k - d + 25. Let l = k + 4. Is l <= c?
True
Let w be -4 + (12 - 48)*-1. Is w < 48?
True
Let s = -2261.34565 + 2261.4. Is -2 != s?
True
Let o = -5.75 + -0.25. Let s = 25 + o. Let m = s + -17. Which is smaller: 0.02 or m?
0.02
Let v be 1*22*(7/(-2) + 5). Suppose 2*m - 2*k + 7 = v, -5*m + 57 = 3*k. Let p = m + 4. Is 16 equal to p?
True
Let c = 404.50917 + -0.10917. Which is greater: -0.3 or c?
c
Let h be (1/(-769))/(1092/5616 + (-1)/(-18)). Do h and 1 have the same value?
False
Let k = 544 + -407. Which is smaller: 130 or k?
130
Let u = -484 + 993/2. Let n(y) = y**2 - 4*y. Let w be n(4). Let t = 12 + w. Do u and t have different values?
True
Let d(l) be the third derivative of -l**5/60 - 7*l**4/12 - 7*l**3/6 - 5*l**2. Let a be d(-13). Suppose -37 = s - 45. Are s and a unequal?
True
Let i(k) = k**3 + 18*k**2 + 23*k - 11. Let r be i(-17). Let l(h) = -2*h**3 + 5*h**2 - 2*h - 14. Let x be l(5). Let t = r - x. Is 35 at least as big as t?
False
Suppose -150*w - 5*n = -153*w + 419, 5*n + 133 = w. Let u be 6/(-10) + 723/5. Which is bigger: w or u?
u
Let z(k) = 9*k - 10*k + 6*k + 47. Let v be z(-17). Which is smaller: v or -37?
v
Suppose -k + 5223 = 213*y - 218*y, y - 5211 = -k. Do k and 5211 have different values?
True
Let t(i) = 42*i - 2016. Let h be t(48). Let o = 36/7 + -143/28. Which is greater: h or o?
o
Suppose -k = 3*z + 2, k = -0*z + z + 2. Let i be (-5*(-8)/(-5640))/(-1)*1. Are z and i non-equal?
True
Suppose -2*s + 4*s + 3*b = 0, -2*s + b = -8. Suppose 0 = -7*d + s*d. Is d < -107?
False
Let f(y) = 15*y**2 + y. Let t be f(-1). Let q(v) = 3*v - 17. Let o be q(t). Let d be o/3 - -9*(-5)/135. Which is bigger: d or 43/5?
43/5
Let l = -74/183 - 27106/549. Let f = l + 50. Do f and 0.7 have the same value?
False
Suppose 0 = 7*t - t + 24. Let j be (-2230)/2952 + ((-26)/8 - t). Which is bigger: -1 or j?
j
Let u(r) = 2334*r - 14004. Let y be u(6). Does y = -141/106?
False
Let n be 6432/11805936*((-1)/(-1) - 9*-1). Which is smaller: n or 0?
0
Let u = 435946/25 + -87192/5. Let j(k) = -k**3 - 5*k**2 - 4*k. Let l be j(-4). Is l greater than u?
True
Let c be 32/(-14) + 2 + (-5928)/(-20454). Let g = c + -645/38473. Do g and 3 have different values?
True
Let j = 86 - 83. Suppose 3*x + 21 = -4*i, j*x - 8*x - 30 = 5*i. Suppose 3*l - l - 3*a + 11 = 0, -5*l - 3*a + 4 = 0. Is l greater than x?
True
Let t(y) = y**3 - 5*y**2 - 20*y + 3. Let b be t(8). Let u = b + -37. Let a be (195/4)/5*4/u. Is a at most as big as -19?
True
Suppose 4*m - 2540 = 3*i + i, -i - 4*m - 630 = 0. Let h = i - -618. Is -16 greater than or equal to h?
True
Let u = 315.922 - -0.078. Let 