reater than or equal to j?
False
Let l be (-15)/(1650/64) - (-12)/66. Let n = -1.4 + 1. Let x = 19.4 + n. Is l greater than x?
False
Let j = -22 - -39. Suppose 286 = 2*y - 4*v + 66, -5 = -v. Suppose -j*s - y = -13*s. Are s and -29 nonequal?
True
Suppose -3*n + 2 = 5*u - 25, 0 = -2*n - 5*u + 13. Let f be (-9)/(-3) + (0/4)/2. Let z be (-7 + 101/n)/(f/(-20)). Which is bigger: z or -1?
-1
Let h(l) be the third derivative of -3/8*l**4 + 0*l - 7/6*l**3 + 0 - 1/60*l**5 + 17*l**2. Let n be h(-8). Are n and 1/49 unequal?
True
Let k be -6*((-8)/6)/(-2). Let w be 70/(-6) + 4 + (-6)/18. Let t be 14/(1232/30)*w. Does t = k?
False
Suppose 3*f - 75 = 5*i + 8*f, 0 = -f - 1. Let v be 50*-1 - (i + 9). Is -48 less than v?
True
Let w = -0.54 - -6.54. Suppose -x = 2*v - 49, v - 2*v + 38 = -4*x. Let q = v + -27. Is w less than q?
False
Let t be 21/(-6)*4*(45411/(-11352) + 4). Which is bigger: t or 0?
t
Let n = 46.3 + -50.3. Let g = -47 + n. Is -0.1 greater than g?
True
Let g = -8 - -15. Let x = -4/505425 + 35548793/71770350. Let n = -1/213 - x. Do n and g have the same value?
False
Let j = -171 + 146.4. Let b = j + 24.2. Which is smaller: b or 5/3?
b
Let l(w) = -3*w**3 + 2*w**2 + 11*w - 3. Let h be l(-3). Suppose -3*z - 585 = 6*z. Let k = h + z. Which is bigger: k or 18?
18
Suppose -3*c + 4*r - 524 = 0, -182 = c + 113*r - 118*r. Which is smaller: -2244/13 or c?
-2244/13
Let w(m) = 4*m**2 - 235*m - 550. Let f be w(61). Is f < 2/15933?
True
Let i = 1176 + -1477. Let u = -85 + 85.1. Are i and u non-equal?
True
Suppose -2*f = -5*p + 360 - 105, 5*p - 3*f - 255 = 0. Let k = -49 + p. Let c be (3 + 2)/1*k/16. Is c greater than 0?
True
Let i be ((-28)/(-140))/((-2)/4). Let g(t) = -2*t**3 - t**2 + t + 1. Suppose 1 = 3*l + 4. Let o be g(l). Which is greater: o or i?
o
Suppose 0 = -2*k - x + 8, -3*k = -3*x - 0*x - 21. Let f be (35/25)/((-3)/k). Let q(p) = -p**2 + 18*p + 172. Let s be q(-7). Is s less than f?
True
Suppose -t = -2*v + 2*t + 5, 2*t + 1 = -v. Let b = 171099/2 - 256646/3. Which is bigger: v or b?
v
Let x = -29.2 + 29. Suppose -3*v + v = -4, -l = -2*v. Let j be (l/(-16))/(1 - (-14)/(-32)). Which is smaller: x or j?
j
Let n = 0.02 - 0.22. Let g = -1763 + 1769.118. Let u = g + -0.118. Is u <= n?
False
Let q(u) = 33*u**3 + 2*u**2 - 4*u + 3. Let v be (-66)/(-78) + ((-4)/26)/(-1). Let t be q(v). Which is smaller: t or 2?
2
Let o = 1.662 + -5.602. Which is smaller: o or -1?
o
Let l be -3 + 3 + -2 + 4407096/2260048. Let z = l + -1/2374. Which is greater: -1 or z?
z
Let k = -4599/20 + 230. Let z be 43/(8600/150) + 1/4. Which is smaller: k or z?
k
Let z = 123.41 + -124. Let u = -0.49 - z. Let n(a) = -9*a + 4. Let x be n(3). Is u > x?
True
Let k = -5611 + 16834/3. Which is greater: k or -0.0381?
k
Suppose m + 11*d - 35998 = -4*m, -3*m + 4*d = -21673. Is 7214 at least m?
False
Let m(f) = 1439*f - 116. Let w be m(-11). Let x be w/(-132) + 60/(-110). Is 121 smaller than x?
False
Let x(t) = -t - 17. Let p be -20 + (9 - (-30)/(-6)). Let a be x(p). Is -9/5 > a?
False
Suppose -5*g + 44 = -9*a + 13*a, 5*a + 3*g = 29. Which is smaller: -5/2443 or a?
-5/2443
Let y = 9811 + -18511. Is y >= -8700?
True
Let q be ((-16)/132*-11)/4. Which is smaller: 0.62 or q?
q
Let u be (-34 - -20) + (-539)/(-38). Which is greater: -0.05 or u?
u
Let w(y) = 2*y**3 + 9*y**2 + 2*y - 4. Let d be w(-4). Suppose -2*h + d = 0, -4*u = -3*u - 5*h + 349. Is -340 at least as big as u?
False
Let g = -1835 + 6313. Let i = -4479.943 + g. Let a = i - 0.057. Which is bigger: a or 1?
1
Suppose 5*u = -x - 97, 19*x - u = 16*x - 179. Which is bigger: x or -42?
-42
Let y = -7 - -7. Suppose -5*n + y*n - 20 = 0. Suppose -3*j = -4*v, -9*v + 6*v = 4*j. Which is bigger: v or n?
v
Suppose 273*t + 116*t - 60*t = -192*t. Let m = 226/11 + -15274/737. Is m greater than t?
False
Let w = -84 + 245/3. Let z = -13 + 11. Let h = 0 + z. Which is greater: h or w?
h
Let r(b) = 28*b + 141. Let k be r(-5). Is k less than 2/11099?
False
Let r = -3622.91 - -3623. Is 591 less than or equal to r?
False
Let l(i) = -5*i - 5. Let u be l(8). Let f = u - -47. Suppose -y - 3 = f*y. Which is smaller: -2.4 or y?
-2.4
Let o be 4*(2 - 115/(-20)). Let i = 27 - o. Let h be 2/i - (-3)/6. Which is smaller: h or 1?
h
Let o = -21 + -24. Let h = 65 + o. Let r = -20 + h. Which is bigger: r or 11?
11
Let a be (-76)/(-13) + -2 - 10/(-65). Suppose -13*v + 17*v = -a. Does 0.19 = v?
False
Let h = -8804981 - -96720094/11. Let b = 12237 + h. Do -8 and b have the same value?
False
Suppose 75*p = 73*p - 18. Let i be (-3 + p)/3 - 21/(-3). Suppose 2*b + 3*o = -35, 27 = -i*b - 5*o - 25. Is b > -20?
True
Suppose 3304 + 1064 = -13*h. Are h and -336 non-equal?
False
Let s be 14700441/79695 + -1*(-2)/(-3). Let f = -2022/11 + s. Which is smaller: f or -1?
-1
Let k be -24 + (0 - (-1 - 23)). Is -1/47324 at least k?
False
Suppose 0 = 13*c + 2 - 2. Let s(w) = 0*w - 16 + 2*w + 66 - 3*w. Let n be s(17). Which is greater: c or n?
n
Let b be 1 - (2/5 + (-2)/5). Let a(z) = -b - 3 + 7 - 6 + 41*z. Let r be a(-1). Is r at least as big as -44?
True
Suppose 6916 + 3932 = 24*l. Which is smaller: l or 2259/5?
2259/5
Suppose -2*u + 4*u - 50 = 5*o, -5*o + u - 45 = 0. Let b(x) = -3*x - x**2 + 9*x + x**3 + 10*x**2 - 15. Let v be b(o). Which is greater: 2/17 or v?
v
Suppose 11*l - 15*l - 339 = -w, 3 = w. Let d be l/(-9)*9/(-3). Is d > -136/5?
False
Let c = 10783 + -248020/23. Is 1 >= c?
True
Let o be (-11 + -128632)*2/(-15) - 12/30. Is o at most as big as 0.1?
False
Let z = 17515118781/1892 - 9257462. Let s = 1/172 + z. Which is smaller: s or -1?
-1
Suppose 5*g = g - 164. Let x = g - -45. Suppose -3 = x*w - w. Which is greater: w or -4?
w
Let x(v) = v**2 - 21*v + 84. Let t be x(16). Let n(f) = f**2 + 4*f + 10. Let k be n(t). Is 213/5 < k?
False
Let d = -0.69 - 47.81. Let h = -48 - d. Which is smaller: 15 or h?
h
Suppose 9*r + 122 = 7*r - 4*k, -2*r - k = 113. Which is smaller: r or -60?
-60
Let i = -417 - -495. Let r(d) = -d**3 - 4*d**2 + 8*d - 12. Let k be r(-7). Which is greater: i or k?
k
Let d = -3166 + 3202.14. Is d at least as big as -1?
True
Let d = -13/3560 - 141597/24920. Let q = d - -28/5. Is q < 0?
True
Let l = 792601670/10551 - 75121. Which is smaller: l or -1?
-1
Let l = -57412 + 860768/15. Is -26 at least l?
True
Let v = -6.2 + 5.71. Let c = -8049 - -8048. Which is smaller: v or c?
c
Let s(u) = -217*u - 27. Let p be s(-2). Let k = p + -373. Are k and 104/3 nonequal?
True
Let u = 9159/14 + -663. Which is smaller: -10 or u?
-10
Let a be (-7 + (2 - 2))/(-2 - -1). Suppose -5*h = a*h - 2*h. Suppose h = 4*v + 10 - 14. Which is greater: 1/132 or v?
v
Let x(s) = s + 1. Let m(p) = -16*p + 7. Let a(z) = z**2 + 9*z + 9. Let f be a(-8). Let k(i) = f*m(i) + 4*x(i). Let d be k(1). Which is greater: -3/68 or d?
-3/68
Let s(f) = -2*f**2 + 28*f - 979. Let i be s(0). Which is smaller: -6852/7 or i?
i
Let r(z) = -22*z - 60. Let f be r(-14). Suppose 16*t + 1368 = f. Are 1 and t equal?
False
Let x be 5/(-15) + (-434)/(-6). Suppose -2*d + 8*d + x = 0. Let s be (-4 + (-44)/d)*0. Which is bigger: 2/9 or s?
2/9
Let d = -18095054/149 - -121444. Let q = d + 24412/1341. Is q greater than or equal to 19?
False
Let g = -7/2 + 39/10. Let v = -115.6 + 120. Is g less than or equal to v?
True
Let h = 55.4 - 6.4. Let w = h + -50.6. Let i = 1.3 + w. Is 3/13 less than i?
False
Let q be 35/(-70) + 2/((-8)/(-18)). Let a(x) = -x**3 + 4*x**2 + 3*x - 7. Let p be a(q). Suppose p*c = 4*k + 1, 0 + 2 = 3*c - k. Are c and 1/44 equal?
False
Let c(v) = -v**3 - 5*v**2 - 10*v - 30. Let t be c(-4). Let m be (-96)/(-128)*(-8)/t. Which is smaller: m or -1/21?
-1/21
Let k(s) = -10 + s - 6 - 12 + 25. Let j be k(4). Let o be ((-2)/44)/((-12)/(-16) + j). Which is smaller: 1 or o?
o
Let w = -5782 - 7503. Is w <= -13284?
True
Let l(h) = 3*h + 15. Let k be l(-5). Is -2/10091 greater than k?
False
Let t = -28386 - -28454. Which is bigger: t or -7/2?
t
Let m(b) = -b**2 - 11*b + 33. Let v be m(10). Let q = v - -2303/13. Which is greater: q or 0?
q
Let l = -2571 - -2570.9. Is l at most as big as 772/5?
True
Let t = 467 + -465. Suppose z - 3*z - 6 = -t*a, a = 5*z + 11. Which is smaller: a or 48?
a
Let p be ((-40)/(-44) - 1)*(-8 - (0 - 11)). Which is greater: p or 34/11?
34/11
Suppose -6*y = -213*y + 209538 - 1157805. Is -4578 at least y?
True
Let o(i)