e 6 = 3*d - x. Is 3 at most d?
True
Let j = 0 + 1. Let m = 45.9 + -46. Let z = m + 1.1. Is z smaller than j?
False
Let h be 44/6*(-6 + (4 - 4)). Let g = -44 - h. Let n = 25790/31 - 832. Is g greater than n?
True
Let r(w) = 14*w + 93. Let g be r(-7). Let m = 21 - 27. Which is smaller: m or g?
m
Let h(k) = -2*k**2 - 3*k - 2. Let q be h(-2). Suppose -13*w = -5*w - 96. Suppose 0 = -6*c - 0*c - w. Is q bigger than c?
False
Let a be 3 + -12 + -11 - 2/2. Does a = -23?
False
Let f be (-5566)/(-1122) - (0 + 5). Which is bigger: 1 or f?
1
Let z = -1.39 - -92.39. Let y = z + -90. Which is greater: y or 2/21?
y
Let n = -196.2 + 197. Is n >= -9?
True
Let c = 352 - 250. Let w = c + -104. Let a be (0/1)/3*-1. Which is bigger: w or a?
a
Let h = -4 + -4. Let w be 2/(0 + h) - (-21)/252. Which is greater: w or -1?
w
Let r be 174/(-87) - (-25)/7. Which is greater: 1 or r?
r
Let b = 61.3 + -11.3. Let z = b - 52.7. Let i = 2.7 + z. Which is greater: -1 or i?
i
Let d = -1.8 + 2. Let o = 2521 - 2522. Is d at most as big as o?
False
Let o = -62 - -42. Let x(b) = -b**2 - 20*b + 25. Let z be x(-22). Is o greater than or equal to z?
False
Suppose 5*z - 23 = -4*c + 7, 5*z - 30 = 5*c. Let w be 0 - z*6/4. Is -8 >= w?
True
Let y be 13 + (2 - (2 - -2) - -7). Let d be ((-30)/(-4) - -1)*2. Which is smaller: y or d?
d
Let c be (-1)/7 + 880/(-700). Suppose 5*r + 7 = 4*n, 0 = -r + 3*r + 2*n + 10. Let s = -3 - r. Are c and s unequal?
True
Let r = 72 - 73.22. Let g = 0.22 + r. Let v = g + -4. Which is bigger: 2/7 or v?
2/7
Let s = -13 + -7. Let n be (s/15)/((-2)/(-39)). Is -27 < n?
True
Suppose -3*l - 6*x = -5*x - 7, -x = 5*l - 11. Let c be 3 + (-6)/l + -4. Let q be 1 - (-20)/c - -26. Is q less than 22?
False
Let b = 1647.924 - 1648. Is 0.11 at least b?
True
Let r = 31 - 25. Let t = r + -7. Let h = 18/5 + -201/35. Is h greater than or equal to t?
False
Suppose -23*q + 8 = -19*q. Suppose -5*i - 2*p + 153 + 102 = 0, 2*i = -q*p + 108. Which is smaller: 48 or i?
48
Let b(y) = -29*y**3 + 3*y**2 + y - 1. Let z be b(-1). Let j = -27 + 56. Let n = z - j. Is 1/25 not equal to n?
True
Let a be ((-1)/2)/(6/516). Let b = -173/4 - a. Which is bigger: -12 or b?
b
Let m(w) = -w**3 - w + 32. Let o be m(0). Suppose -2*s - o = -6*s. Let l be (-6)/s*4/(-6). Which is smaller: 1/4 or l?
1/4
Suppose 7*p + 6*p = 5*p. Suppose p = -w + 2*h - 9, -5*w - h = 4*h - 15. Let s = -1 + 0. Is w > s?
False
Let c(v) = v**2 + 3*v + 13. Let k be c(-13). Suppose k = -4*o + 47. Let z be (o/(-30))/((-2)/(-5)). Which is smaller: z or 3?
z
Let k be 10/15 - 5/6. Let b(y) = 2*y**3 - 35*y**2 + 16*y + 18. Let n be b(17). Is k greater than n?
False
Let c be ((-46)/(-115))/(6/(-15)). Is c < -1?
False
Suppose 0 = -8*w + 4*w - w. Does 28/97 = w?
False
Suppose -4*g = -2*g - k - 2, -4*g = 2*k - 20. Let y(n) = n - 4. Let a be y(g). Is a greater than 2/83?
False
Let k = 7.53 - 7.53. Is -60/41 at least as big as k?
False
Let p = 0.49 - 0.9. Let y = -2.71 - p. Let t = -2.3 - y. Are t and 1/3 equal?
False
Let u = -0.0951 - -72.0951. Is u not equal to 0?
True
Let k(h) = -3*h**2 - 21*h + 4. Let m be k(-7). Suppose 4*c = -2*n + 18, 3*n = -c - m + 51. Which is greater: n or 0?
n
Let x = -265 - -1847/7. Let r = 4.63 + -4.73. Which is smaller: r or x?
x
Suppose 5*m = -3*w - w + 22, 0 = -5*m + 10. Suppose r + 2 = w*z - 1, 4*z - 6 = r. Let l be r/(-10) + (-406)/(-710). Which is greater: l or -1?
l
Let c = 0.877 + -19.957. Let s = -19 - c. Which is greater: s or 1?
1
Let z(f) = f**2 + 8*f - 6. Let n be z(-7). Let c(v) = -v - 3. Let a be c(-8). Let k = a - n. Is k greater than 18?
False
Suppose -2*l - 78 = 2*x, 5*l - 2*x + 38 = -150. Is -40 not equal to l?
True
Let k(t) = t**2 + t + 4. Let f be k(-3). Suppose 4*h - 2*h = -f. Let b be (-2 - h/1)/3. Is b less than 1?
False
Suppose 2*a - a - 2*d = 12, -5*a + 20 = -2*d. Let u be ((-12)/(-42))/(a/(-3)). Which is smaller: u or 0?
u
Let q = -102 - -1538/15. Let y = q + -14/15. Which is smaller: y or 5?
y
Let z = 90 + -91. Is 6.5 equal to z?
False
Let g(j) = 6*j**2 + 2 - 2*j**3 + 5*j**3 + 13 - 2 - 7*j. Let u(v) = -v**3 + v**2. Let l(a) = g(a) + 2*u(a). Let s be l(-9). Is -5 <= s?
True
Let n = -42 + 26. Let b = -16 - n. Which is smaller: -3/5 or b?
-3/5
Let r(t) = -4*t - 1. Let c be r(-1). Suppose -2776 = -c*g - g. Let k = 4868/7 - g. Which is bigger: k or 1?
k
Suppose 25 = -4*z - 23. Let l be 44/(-40) + z/8. Is -4 greater than or equal to l?
False
Let u = 692729/71 + -9757. Is u bigger than 1?
False
Let u = 20 + -14. Let c(t) = t**3 - 4*t**2 - 11*t - 16. Let w be c(u). Which is smaller: -15 or w?
-15
Let f = 1054 - 897. Which is greater: f or 154?
f
Let u = 1.2 + 0.7. Let o = u - 1.38. Let j = -0.28 + o. Which is greater: j or -0.1?
j
Let v = 98 - 690/7. Which is smaller: v or -50/9?
-50/9
Let t = 35 - 30. Suppose t*n - 2*c - 4 = 0, -4*n = n - c - 2. Let m(s) = -s**2 - 6*s. Let i be m(-6). Is i bigger than n?
False
Let h be (1/(-2))/(36/(-8)). Let i = 49/12 - 40/9. Let v = i + h. Which is greater: v or -1?
v
Let j be 3/4*(-12)/(-90). Let t = -3/10 - j. Which is smaller: t or -5?
-5
Let o = -0.188 + -20.212. Let g = o + 19. Let p = g + 4.4. Is p bigger than 0.3?
True
Let z(l) = l**2. Let s(p) = -14*p - 5. Let r be -2*(0 - (-1)/2). Let i(k) = r*z(k) + s(k). Let b be i(-13). Are b and 9 nonequal?
True
Let j be 15/21 + (-2)/(-7). Let g = -494 + 3457/7. Is j equal to g?
False
Let o be (-5)/((-50)/(-42)) + (-12)/15. Which is smaller: -112/19 or o?
-112/19
Let o(i) = 3*i - 140. Let z be o(0). Is -140 > z?
False
Let n be 224/(-28) + (-34)/8. Which is bigger: n or 8?
8
Let g = 3 + -23. Let z = g + 22. Let b be -1 - -3 - (-2 + z). Is -4 < b?
True
Let j(a) = -19*a - 1. Let c be j(-1). Let h = c + -16. Let x be h/16 + (-355)/(-40). Is 9 > x?
False
Let d = 37 - 17. Let v = d - 39/2. Suppose 3 = 3*t + 6, r - 4*t - 4 = 0. Is r > v?
False
Suppose 0 = -5*s + a + 31, 3*a - 39 = -4*s + 1. Suppose 0 = -x - 4 + s. Let c be 12 + (x/(-1))/3. Is 12 at most as big as c?
False
Let r = -0.5 + 2.4. Let k = r + -2. Let b(y) = -y**3 + 3*y**2 - 2*y. Let i be b(2). Is i at most k?
False
Let t = 2898 - 3249. Which is smaller: -352 or t?
-352
Let r(n) = -86 + 88 - 9*n**2 + 2*n**3 + 2*n + 10*n**2. Let d be r(2). Which is smaller: 28 or d?
d
Let d = -14 + 294. Suppose -f - 446 = -5*y, f + 162 + d = y. Let v be (-798)/f + (-1)/7. Which is greater: v or -0.2?
v
Suppose 0 = -j + 4*j + 4*w + 7, w = 5*j + 4. Are -2 and j nonequal?
True
Suppose 4*g = k - 149, 19 = -g - 2*k - 7. Let q be -3 + (-9)/(g/80). Let b = -18 + q. Which is bigger: -2 or b?
b
Suppose -38 = -2*s - 44. Suppose 4 = 2*d + 16. Let g = d - -5. Is g at least s?
True
Let y = 40 - 38. Let j be -1*((-1)/y)/(9/72). Is j > 0.4?
True
Let v = 110 + 65. Suppose 4*y = v - 27. Which is greater: 38 or y?
38
Let l = 271 + -290. Is -14 equal to l?
False
Let f = -280 - -280.38. Is -0.6 less than f?
True
Suppose 7*v + 996 = 114. Let o be 5 + 413/v - 2/9. Is o smaller than 3/2?
False
Let q(y) = -y - 14. Let a be q(-15). Let w(g) = 7 - g + 0*g + a. Let f be w(7). Which is smaller: 0.08 or f?
0.08
Let u(z) = -16*z + 1. Let x be u(1). Let c(h) = h + 15. Let i be c(x). Suppose 0 = 5*f - 3*q - 15, -2*f - 20 = -i*f + 4*q. Is f equal to -2/9?
False
Let q(u) = -68*u + 68. Let a be q(2). Is a != -66?
True
Let u(h) be the third derivative of -h**4/8 + h**3/3 - 2*h**2. Let i(t) = -t**3 - 13*t**2 - 13*t - 11. Let j be i(-12). Let d be u(j). Which is smaller: 0 or d?
d
Let z be (-30)/(-9)*9*(-24)/10. Is -71 < z?
False
Let n = 0.17 + -0.87. Let c = n + 0.78. Let s = c + -0.08. Which is smaller: s or 5?
s
Suppose 0 = 2*b - 6 + 2. Let z be 0 + -3 + b + -3. Let a = 6 + -9. Which is smaller: a or z?
z
Let x(l) = l**3 - l**2 - l + 2. Let c be x(0). Suppose 6 = -0*g - c*g. Let t(u) = u**3 + 15*u**2 - u - 17. Let a be t(-15). Which is greater: a or g?
a
Let d = 915 + -914. Is d at most 252/11?
True
Let y be (-27675)/(-7908) - (-119)/(-34). Is y less than or equal to -1?
False
Let c = 126 + -116. Which is greater: -2/19 or c?
c
Let d = -4/21 + 107/231. Let k be 0 - (0 + 4/24). Is d at most as big as k?
False
Let m = -357/304 - -14/19. Let q be (13/390*15)/((-2)/(-4)). Are m and q equal?
False
Let j = 1918 + -2012. Which is greater: -91 or j?
-91
Let p = -651 + 1985/3. Which is smaller: p or 10?
10
Let y = -0.2512 -