*t. Let f(z) = -4*z - z**2 - t*z + 3*z + 0*z. Let p be f(-5). Is p < 4?
False
Let j = 6/5 + -1. Is j at least -1/2?
True
Let i be 23/(-4) - 4/16. Let w(g) = 2*g**3 - 25*g**2 + 11*g + 4. Let x be w(12). Which is smaller: i or x?
x
Let j be (34/(-8) + 5)/((-36)/32). Which is bigger: 5/32 or j?
5/32
Let w be (-210)/56*((-36)/39)/(-3). Which is greater: w or -2?
w
Let z(p) = p**3 + 2*p**2 - 4*p + 5. Let r(t) = t**2 + 1. Let o(x) = -2*r(x) + z(x). Let w be o(2). Suppose 0 = -3*i - w*i. Which is greater: i or 1?
1
Let x = 20787 - 62353/3. Suppose -28 = a + 3*a. Let c = -5 - a. Which is bigger: x or c?
x
Let n be ((-2)/(-4))/(2/(-6)). Suppose 1 = x + 7. Let b be 3/(-6) + 3/x. Does n = b?
False
Let b be 9/(-3) - (-1792)/8. Let p = b - 15473/70. Which is smaller: p or -1?
-1
Suppose 4*f - 138 = -6*v + 8*v, 3*v + 189 = -3*f. Is v bigger than -64?
False
Let a = -2093 - -2092. Which is smaller: -6/125 or a?
a
Let y = -8 - -8. Let o = -699/14 + 50. Is y > o?
False
Let r be 15*3/(30/16). Let n be 4 + (-102)/r*8/6. Which is bigger: n or -2?
n
Let b = -6/4805 - -21628/9624415. Is b != 0?
True
Let p = 0.1 + -0.1. Let q = 34 + -41. Let a(o) = o**3 + 9*o**2 + 16*o + 1. Let z be a(q). Which is bigger: p or z?
p
Let r be (-6)/(-33) - (-332)/(-11). Do r and -28 have different values?
True
Let r = -9 + 3. Let f = 0.8 + -0.8. Which is bigger: r or f?
f
Let g(m) = -3*m**3 - m**2 - m - 1. Let j be g(-1). Suppose j*k - 5*x = -k + 20, x + 4 = 4*k. Let u be 0 + -7*(-16)/(-1176). Which is greater: u or k?
k
Let n be (-48)/(9 - 5) - 0. Is -23/2 < n?
False
Suppose 4*p - 2*z = 202, -2*p - 116 = -4*p + 4*z. Let t = p - 41. Suppose 3 = 2*w - 5. Which is smaller: t or w?
w
Let z be 131/(-210 - (-6 + 6)). Let m = -12237/70 - -1224/7. Let f = z - m. Does f = -0.04?
False
Let t(r) = -2*r + 4. Let d(l) = -l - 1. Let m(f) = -2*d(f) - t(f). Let u be m(5). Suppose -u - 6 = 2*p. Which is bigger: p or -10?
-10
Let z be (3 + -5)/(2 - 0). Let x be 1 - ((0 - 0) + 2). Is x greater than z?
False
Let n(c) = c**3 + 8*c**2 - 35*c + 42. Let w be n(-11). Which is smaller: w or 63?
63
Let h(b) = -b**2 - 6*b + 17. Let t be h(-8). Does t = -1/179?
False
Suppose 3*g = -8 + 20. Suppose 2*q = 4*q - g. Let k(p) = 2*p**2 - p + 2. Let l be k(q). Which is smaller: l or 6?
6
Let h(f) = f**3 - 12*f**2 - 17*f + 20. Let y be h(13). Let l = -6306/197 - y. Are -0.1 and l equal?
False
Let j(p) = -p**3 + p**2 + p + 1. Let t(g) = 3*g**3 - 14*g**2 - 5*g - 13. Let w(y) = 4*j(y) + t(y). Let z = 331 - 341. Let i be w(z). Is i at most -2/5?
False
Let v = 1.337 + 0.563. Which is smaller: v or -1.3?
-1.3
Let u = 137 - 78. Let f = -88 + u. Which is bigger: -1 or f?
-1
Let q = -7 + 5. Let l be q/7 - (-20)/(-28). Let p(d) = 4*d - 3. Let x be p(-1). Are x and l equal?
False
Let v be 2 + -1 - (-7 - -8). Is 1/333 bigger than v?
True
Let z = 0.091 + -0.091. Let r = 11 + -18. Which is bigger: z or r?
z
Let o = 279 + -271. Let w(p) = -p**3 - p**2 + 8. Let y be w(0). Is o at least y?
True
Let g = -45 + 46.3. Let k = g - -0.2. Is 1/3 >= k?
False
Suppose 0 = 2*j - 3*d + d - 10, 0 = 3*j - 2*d - 11. Let i = 61/68 + 1031/1428. Let z = i - 2/7. Is j at least z?
False
Let a = -330 - -330.2. Is 161/2 greater than a?
True
Let z be (2 + 0)*(-8)/(-56). Do z and -1505 have the same value?
False
Let s be (-1*5)/(2 - 3). Suppose -s*q = 9 - 4. Let a = 0 - q. Which is smaller: a or 3/8?
3/8
Let c = -103 - -91.9. Let y = 11 + c. Which is bigger: 1/2 or y?
1/2
Suppose 5*w - 4 = q - 18, 4*q - 3*w = 5. Let h = 21 - 6. Suppose -2*r + h = 3*r. Which is bigger: r or q?
r
Let v(b) = 79*b + 486. Let m be v(-5). Are m and 98 equal?
False
Let d = -1.1 + 1. Let p = 2.31 + -0.41. Let j = p + -5.9. Which is greater: d or j?
d
Let r be 2898/(-330) + 4 - (-6)/10. Let d = r + 1128/275. Is d greater than 0?
False
Suppose 0 = -4*k - 281 - 83. Let m = 89 + k. Let c(t) = t**3 - 7*t**2 + 5*t + 6. Let w be c(6). Are m and w unequal?
True
Let z be (-16)/192 - (-1)/12. Let j be 16/(-28) + 1 - 1. Which is greater: j or z?
z
Let z = 2990 + -355807/119. Is z equal to 0?
False
Let m = -2568/103075 - 4/775. Which is smaller: m or -1?
-1
Suppose 6*r = 48 + 30. Suppose -4 = -r*k + 15*k. Which is smaller: -5 or k?
-5
Let h = 378144/5 - 75215. Let a = -412 + h. Let s(j) = -j + 4. Let k be s(3). Which is bigger: k or a?
a
Let j be 0/4 + (-4)/(-14). Let u be (-5)/(-20) + (-195)/(-4). Let z = -197/4 + u. Does j = z?
False
Let t = 3033.1 - 3033. Suppose -3*f - 2*k = -116, 109 = 4*f + 5*k - 55. Let h = f - 217/6. Is t at least as big as h?
True
Let q = -736 + 736.1. Which is smaller: q or -442/5?
-442/5
Suppose -85 = -3*g + 86. Is 57 smaller than g?
False
Let o = 0.27 + 0.11. Let g = 0.4 - o. Let u be 10/(-3)*(-3)/35. Which is smaller: u or g?
g
Let b = 10 - 12. Let n be 2/(b/((-40)/35)). Is n less than 2?
True
Let w = -8 + 5. Let a be (12/15)/((-12)/30). Which is bigger: w or a?
a
Let s = -5 + 2. Let b be (-8)/(-10) - (-3)/15. Let k = b - 5. Which is greater: k or s?
s
Let n(d) = 5*d**3 - d**2 + 2*d + 2. Let k be n(-1). Let w be -3 - (k + 3)*4. Let t be ((-6)/(-82))/(w/(-6)). Which is greater: t or 1?
1
Let b = 0.103 - 0.203. Let w = 11 + -39. Let q be (-39)/w - (-1)/(-4). Which is bigger: q or b?
q
Let o(x) = -36*x**3 + x. Let a be o(1). Let s be a/48 - (-26)/39. Let h = -19/48 - s. Is h at most 3?
True
Let g be 6*(-4 + (-45)/(-10)). Suppose 3*w - g = 2*w. Which is smaller: w or 4?
w
Suppose -213*v = -196*v - 17. Is v equal to 1/264?
False
Suppose -72*k + 402 = -4854. Is 74 less than or equal to k?
False
Let v(k) = k**3 + 15*k**2 + 13*k - 15. Let y be v(-14). Let q be y/3*(-747)/92. Let m = q + 1/23. Which is bigger: 3 or m?
3
Suppose 12*u + 139 = 7. Let o be 1 - 0 - (10 - 1). Which is greater: u or o?
o
Let m be 24/(-60) - 12/70. Let o = -8 + 10. Suppose 0 = -o*v + 4*v + 4. Which is bigger: m or v?
m
Suppose 3*o - 3 = 0, 0 = -5*l + l + 5*o + 175. Suppose 4*q = -2 - 18, -5*f + 4*q + l = 0. Suppose 3*m - 2 = f*y + 12, -4*m = -y - 13. Which is bigger: -3 or y?
y
Suppose -7*p = 1309 + 14. Let x be (-150)/p + (-12)/21. Is -1 > x?
False
Let t = 1 - 7. Let q(x) = x**3 + 5*x**2 - 12*x + 1. Let f be q(t). Which is smaller: f or 38?
f
Let j(t) = 13*t - 4. Let q be j(-2). Let c = q - -61/2. Suppose 6*z = 2*z + 5*u - 5, -5*z - 1 = -u. Is z at most c?
True
Let l = 822/5 + -1209/10. Which is bigger: 43 or l?
l
Let c be (-31305)/(-55) - 30/165. Is 569 greater than c?
False
Suppose -p - 5*l + 20 = 0, -4*l + 11 = 4*p - 5. Suppose p = 4*f - 0*f - 6*f. Is f at most -3/29?
False
Let o(p) = 5*p**2 + p. Let g be o(-1). Suppose -4*n = -3*n - g. Suppose 3*b - 34 = -2*r, n*r + 57 = 5*b + 7*r. Is b at most as big as 12?
True
Let m be ((-1)/(-20))/(3 + (-25)/(-40)). Let v = m - 171/1885. Which is smaller: -1 or v?
-1
Let r = -9.8 - -3.8. Are r and 2.3 non-equal?
True
Suppose -54*a - 10*a = 256. Which is bigger: a or 11?
11
Let x be 7/35 - (-49)/5. Let l(h) = -h**3 + 2. Let p be l(0). Suppose -5*k + 62 = -3*c, p*k + 3*c = 8 - 0. Are x and k equal?
True
Let n = -32 + 95/3. Which is bigger: n or -4/17?
-4/17
Let m = -10 + 10. Let k = 44 + -43. Is k at least as big as m?
True
Let y(t) = -t**2 - 8*t + 7. Let n(u) = u**2 - 9*u - 4. Let v be n(9). Let h be y(v). Suppose p - h + 24 = 0. Is -2/111 smaller than p?
False
Let q be -7*3/(-9)*(4 + -1). Are q and 68/9 equal?
False
Let x be ((-38)/57)/(2/519) + -1. Is -175 greater than x?
False
Suppose -2*b - 201 - 59 = 0. Let o be b/192 + 6 + 80/(-15). Is -1 >= o?
False
Let l(f) = 5*f**2 - 6*f - 6. Let n be -3 + (-2 - 1) + 12. Let i(t) = -t**2. Let a(p) = n*i(p) + l(p). Let c be a(-4). Is 9/4 smaller than c?
False
Let f be -36 + ((-2)/(-6)*0)/3. Let p be (-27)/f + (-22)/8. Which is bigger: p or -3?
p
Let y(j) = -25 + 20*j + 0*j**2 + 0*j**2 - 7*j - j**2. Let m be y(11). Is m bigger than -3?
False
Let m = 58 + -53. Let c be ((-3196)/(-1060) - 3)*m. Is c < -1?
False
Let n(o) = -33*o**2 + 28*o + 8. Let d be n(4). Is -408 > d?
False
Let v be -8 - (1 + (-2 - 1)). Let c = 16 + v. Let f be 2/((-4)/(-14))*(-10)/(-7). Does f = c?
True
Let n(m) = m**2 - 19*m + 87. Let x be n(12). Which is bigger: -4 or x?
x
Let p(c) = 3*c + 2. Let b be p(2). Suppose -22 = -n - 4*n - 3*o, 3*o - b = 2*n. Is 3 at most n?
False
Let h = 11 + -1. Let k = 9.8 - h. Is k >= -9?
True
Let u = -3 - -16. Let s