. Let g be j(-21). Is g greater than or equal to 14?
False
Let l = -109 + 465. Let x = l + -288. Is 68 at most as big as x?
True
Let n = -2313 - -20897/9. Which is smaller: n or 10?
n
Let z be (-189)/(-98)*-1 + 16/(-28). Which is greater: z or -2?
-2
Let d = -66.69 + -2987.31. Which is bigger: d or -1/4?
-1/4
Let o = 29 + -136/3. Let k be 1 - (36/30)/(6/(-20)). Let z(y) = 3*y**3 - 18*y**2 + 11*y + 5. Let x be z(k). Is o at most x?
True
Let f = 1746 + -2727. Is f less than -979?
True
Let j(a) = 9*a**2 - 10*a - 44. Let p be j(-4). Is 141 bigger than p?
True
Suppose 0 = 62*b - 35*b + 1296. Is b <= 7?
True
Let h = 32540 - 32541. Let r be 3/12 - 133/20. Is r < h?
True
Let a = 4 + -4. Let d = -409/64804 - 8/953. Does d = a?
False
Let n = -13 - -120. Let y = 61 - n. Let f = -43 - y. Which is smaller: 1/6 or f?
1/6
Let u(m) = m**3 + 10*m**2 + 10*m + 6. Let h be u(-8). Suppose 45 = -19*c - 145. Let f be -1 - (0 + (h/c - 0)). Which is greater: f or 3?
f
Let h = -1141/438 + 23/219. Which is smaller: h or 173?
h
Let c(o) = -119*o**2 + 33*o - 60. Suppose -3*p + 44 = 38. Let f be c(p). Which is smaller: f or -471?
-471
Let v = 11 - 37. Suppose 0 = 2*h - 6*h + 20. Let y(p) = p**2 - 6*p + 6. Let s be y(h). Is s < v?
False
Let s = -1687 - -3799. Is -0.1 at most s?
True
Let s be (-22)/33 - 64/(-6). Suppose d + 5*p = 2*d + 11, 22 = 4*d + 2*p. Suppose q + 3*g + g = -7, d*q - 3*g = s. Is 1 > q?
False
Let b be 6/(((-135)/10)/(-9)). Suppose 5*t + b*v = 25, -2*t - 2*t + 11 = 5*v. Suppose -t = 13*q - 12*q. Are q and -4 equal?
False
Suppose r + 320 = -3*q, -3*r + 0 = 15. Let u = q + 95. Which is greater: u or -15?
u
Suppose 2*q - 16 - 62 = 0. Suppose -q*b + 6 = -38*b. Let l be 1/(-8)*-4*b. Which is greater: l or -2/5?
l
Let s = -1526 + 1526.2. Let l = 2296/27 - 36299/297. Let h = l + 37. Is s not equal to h?
True
Suppose -6*m + 1 - 131 = 146. Which is smaller: m or -1/182?
m
Let q = 68 + -68.192. Let u = q + 0.392. Is -72 less than u?
True
Let c(p) = 11*p - 13. Let f(d) = 12*d - 13. Let k(y) = 5*c(y) - 4*f(y). Let g be (-22)/(-297)*18*3/2. Let j be k(g). Which is bigger: 3 or j?
3
Let v be ((-44)/550)/(10880/50). Which is smaller: v or -1?
-1
Let u = 53 - -8. Let j = u - 84. Let f = 19 + j. Which is smaller: f or -1?
f
Let u(j) be the second derivative of j**5/20 + 2*j**4/3 + 8*j**3/3 + 11*j**2/2 + 53*j. Let r be u(-7). Is -52 bigger than r?
False
Let f(y) = -y - 6. Let j(t) = -4*t - 29. Let x be j(-4). Let v be f(x). Suppose h = 8 - v. Is -2/7 <= h?
True
Let x be 10001121/4242 + (-16)/14. Are x and 0 nonequal?
True
Let z = -11 - 58. Let w = z + 79.8. Let h = -1.8 + w. Which is greater: -1 or h?
h
Let a = 43.5 - 73.8. Let l = 30.4 + a. Do l and 255 have different values?
True
Let g = 0.10935 - 2.60935. Does 168 = g?
False
Let o(h) = -340*h - 372. Let a be o(-1). Which is bigger: -30 or a?
-30
Let n(h) = -6*h**2 - 147*h + 25. Let i(c) = -3*c**2 + c - 1. Let g(o) = 3*i(o) - n(o). Let x be g(51). Is -181 != x?
False
Let h = 0.128 - 0.278. Let k = 1.15 + h. Which is smaller: k or -1/11?
-1/11
Let p(l) = -21 - l**3 - 3*l + 0 + 22. Let b be p(0). Let c be (-2)/(-6) - 8/18. Is c less than b?
True
Let i be (7/(70/(-16)))/((-4)/(-9)*(-684)/380). Let k be (-14)/(-3) + 1/3. Which is smaller: k or i?
i
Suppose -z = -s - 13, 3*s - 63 = -5*z + 6*s. Suppose -6 = 7560*b - 7566*b. Are z and b equal?
False
Suppose -2*t + 3 = 2*n + 7, -2*t + 16 = -2*n. Let g be (1 + t/(-6))*(-72)/2. Let c = -29/10 + 5/2. Which is greater: c or g?
c
Let l = 1841780/3 - 613928. Let y = -3 - -6. Let w = 2 - y. Which is greater: w or l?
w
Let b be 2 + (-192)/104 + 3447/(-13). Which is greater: b or -43?
-43
Suppose 4*n = -n. Let k be -27 + (20 - 11) - (-6)/1. Let y be 50/(-15) + 0 - k/3. Which is smaller: y or n?
n
Let x = 22349962/65 + -1772254/5. Let p = -10686 - x. Let l = 28298/351 + p. Which is greater: l or 1?
1
Suppose 15 = k + 4*l, 0*k - 5*k = l + 20. Suppose -6 - 2 = -2*h. Suppose 4*c = -3*b - 6 - 15, 9 = c - h*b. Which is bigger: c or k?
c
Let u = 5521.2 - 5521. Which is greater: 21/55 or u?
21/55
Let o be ((-18)/4)/((-212)/(-424)). Is o greater than or equal to -41/5?
False
Let q(m) = m**2 - 13*m - 264. Let g be q(24). Are g and -24/61 unequal?
True
Suppose -24 = 30*q - 32*q. Suppose q*r = -1134 - 1338. Is -204 greater than or equal to r?
True
Let v = 15 - 26. Let u = -679.99 + 683. Let n = u + -2.81. Are v and n unequal?
True
Let m be (0 + 2 + -2)/3. Suppose -l + 5*n + 43 = 8*n, 4*l + 2*n - 192 = 0. Let y = l + -45. Is m != y?
True
Let z = -20/849 - -153160/14433. Let i = z + -60986/5763. Is -2 not equal to i?
True
Let h be 870/72*(-14058)/330. Is h at most -514?
True
Let c(i) = -i**3 + 11*i**2 - 12*i + 13. Let w(j) = -j**2 + j - 2. Let z(g) = -c(g) - 5*w(g). Let l be z(5). Are l and 2 unequal?
True
Let r be 233 + -12 + -1*2. Let c = r - 659/3. Is 1/27 equal to c?
False
Let q be (95 - 96)/((-6)/8). Suppose -2*p + 4*p + 8 = 0. Let w be (2/p)/((-26)/(-4)). Which is smaller: q or w?
w
Suppose 0 = 3*o - 2*o - 72. Suppose -33*h + 24*h = o. Let n be 4/16 - 0 - (-434)/h. Is n greater than -1?
False
Let h = 193/315 + 33/35. Suppose 3*m = 2*n - 25, 5*n + 4*m + 3 - 8 = 0. Suppose -4 + 13 = 5*v - x, 5*v - n*x = 5. Which is smaller: v or h?
h
Suppose 80 = 4*t + 12*t. Suppose 22*d + t*k + 113 = 25*d, -2*k = 4*d - 142. Which is greater: 38 or d?
38
Let n = 9876 - 9832. Suppose -3*h + 141 = -0*q - q, 0 = 5*h - 2*q - 235. Do n and h have different values?
True
Suppose -31*a - 27948 + 206632 = 0. Is a at least 5763?
True
Let f = -72 - -31. Let z = -39 - f. Suppose 4*g - 19 - 5 = 4*k, -z*k = 4. Which is greater: 8/3 or g?
g
Let v be 11 - (28 + (4 - 27)). Suppose 3*i - 5*i + 4*t = 42, -2*i + 2*t = 32. Which is bigger: i or v?
v
Let c = -11 + 16. Let l be 1/(-6)*(-7028)/6. Let s = -195 + l. Which is smaller: s or c?
s
Let n be ((1 - -2) + -6)/(-1). Let b = -51 + 51. Suppose b = -n*c + g - 2, 5*g - 12 = -4*c - 40. Which is smaller: -10/9 or c?
c
Let d be (-3 + 2 - (-40)/(-6))*-24. Let v = d + -178. Which is smaller: -2.3 or v?
-2.3
Let a be (1/2)/(3588/80 - (-12 - -19)). Which is smaller: -1 or a?
-1
Let b be 6/12 + ((-111)/24 - -7)*516. Which is greater: 1223 or b?
b
Let f be (-55)/(-33) - (-30)/(-45). Is f >= 10/19?
True
Let q(a) = -18*a**2 + a + 1. Let h be q(-1). Let f = 15 + h. Let c be (f/(-6))/(20/64). Which is smaller: 1 or c?
1
Let m = -11845 + 11975. Is 3/7 >= m?
False
Let r = 7366 + -7249. Is 126 equal to r?
False
Let g = 207 - 198. Let h be ((-5181)/(-264))/(2 + g/(-4)). Is h at most as big as -80?
False
Let g be (12/8)/((-30)/3280). Are -166 and g non-equal?
True
Let g = -0.34732 - -165.27732. Let x = 165 - g. Which is smaller: x or 4?
x
Let b(r) = -17*r + 63. Let j be b(11). Let o = j + 127. Suppose m - 5*m - 22 = -h, 0 = -o*m - 15. Which is smaller: h or 4?
h
Suppose 4 = -w, -5*w + 10*w = -2*q - 14. Suppose -9*n + q = -12*n. Which is smaller: n or 1?
n
Let t = 48/37 - 1415/777. Let i = -1/7 + t. Let h = 132 - 116. Which is greater: i or h?
h
Let h(n) = -n**3 - 38*n**2 + 84*n + 181. Let p be h(-40). Is 76 at most as big as p?
False
Let k = -860 - -1126. Is k equal to 264?
False
Let z be -2*4*3/12 - -1. Let d be 515/20 - ((-2)/(-8))/z. Suppose d - 4 = 11*i. Are i and 4 equal?
False
Suppose -q - 28 - 10 = 0. Let y = q + 36. Let v be 5 + -8 + 3 - (-2)/y. Which is smaller: 2/73 or v?
v
Let c be 3246/(-1090) + (-74 - -77). Which is bigger: 0 or c?
c
Let z be ((-45)/25)/(-3)*-5. Let n(i) = -3*i - 22. Let v be n(z). Which is smaller: v or -6?
v
Suppose -3*d - 18 = -6*d. Let v be (4/d)/2*(-1 + -2). Let i be (-6)/99*(13 + v). Which is bigger: i or 2?
2
Let i(s) = -2*s**2 - 710*s + 17. Let y be i(-8). Is y < 5569?
False
Let b = -1479/2 + 739. Suppose 16*z + 433 + 351 = 0. Is b equal to z?
False
Let n = -295 - -338. Suppose -2*o + 8*g - 11*g - 47 = 0, -2*o + g - n = 0. Is o at least as big as -15?
False
Let h = -2874.2 + 2871. Which is bigger: h or -112?
h
Let k(w) = -3*w**3 - 35*w**2 - 12*w - 123. Let b be k(-12). Which is smaller: b or -21?
-21
Let y(t) = 3269*t - 6800. Let d be y(4). Do d and 6276 have the same value?
True
Let m be (-153)/(-6)*2/(-3). Let i(s) = s**3 + 8*s**2 - 12*s - 23. Let l be i(-9). Let b(j) = j**3 - 5*j**2 - 2*j + 7. Let a be b(l). Is m less than a?
False
Let y(n) = -145*n - 1451. Le