= 1/2546 + -114581/28006. Is d < -0.2?
True
Let g be ((-6)/4)/(15/(-70)). Let c(r) = r**2 - 8*r - 7. Let j be c(g). Let a = j - -16. Is -4 <= a?
True
Suppose -2*g = -3*a - 18, g - 5*g + 28 = -2*a. Let i be (-38)/57 + -2*(-11)/g. Which is bigger: i or 4?
4
Let l = -500 + 77. Which is bigger: -422 or l?
-422
Let f = -574/37 + 1/74. Let n = 13 + f. Is -2 at most n?
False
Let r = 417/11 + -3677/88. Which is smaller: r or -5?
-5
Let h(t) = -34*t - 9. Let j be h(-7). Let k = j - 1835/8. Is -2 less than or equal to k?
True
Suppose 0 = 5*h - 3*b + 5 - 27, h + b + 2 = 0. Let x(j) = 2*j**3 - 2*j**2 + 2*j - 1. Let c be x(1). Suppose 4*a = 2*k + c + 13, k + a = 5. Is h > k?
True
Suppose 15 = -3*p - c - 3*c, 4*p + 21 = -5*c. Let l = 21 + p. Which is smaller: l or 21/2?
21/2
Let m = -22 + 31. Suppose 0 = 2*d + m + 3. Let u be (d + 7)*16/2. Are u and 8 non-equal?
False
Suppose 21*z = 8*z - 4160. Which is greater: 0.1 or z?
0.1
Suppose -24 = -5*m - 9. Let y be -1*-6*(4 - m). Suppose 0 = y*c - 8*c + 2. Which is bigger: c or -1?
c
Suppose -37 - 96 = -7*k. Suppose 0 = -2*p + k*p - 17. Which is smaller: p or 24/11?
p
Let h = -368.8 - -299.72. Let v = -63 - h. Let d = -6 + v. Which is smaller: d or 0?
0
Let t = 298 - 298. Is t at most as big as -6/133?
False
Let u be (-18)/27 - (2/6 - 0). Suppose 5*p - m - 9 = -5, 5*m + 20 = 5*p. Which is smaller: u or p?
u
Let y be (-1)/((-1)/4) + 2. Let f(b) = b - 6. Let v be f(y). Is v not equal to 3?
True
Let h = -15.988 - -16. Let s = 24.988 + h. Is s smaller than -1?
False
Let z = 2.2 + -2.268. Let r = -329 - -328. Which is bigger: r or z?
z
Let o be (24/(-2) + 1)/(14/(-28)). Is 24 > o?
True
Let y(a) = -a**3 - 4*a**2 + 5*a + 7. Let b(m) = -m**2 - m. Let h(q) = q**2 + 2*q - 1. Let p(w) = 2*b(w) + h(w). Let d be p(-2). Let c be y(d). Is c < 7?
False
Let o = -124.05 - -124. Which is bigger: o or -101?
o
Let r be (-15)/(-1) - (-9)/(-3). Let q = r - 6. Which is smaller: q or 5?
5
Let g be (4/(-6))/(3/((-54)/(-60))). Which is bigger: 0.21 or g?
0.21
Let z = 18.624 - 0.784. Let k = z - -0.16. Let r = k + -17.3. Which is greater: -1 or r?
r
Suppose 7 = 5*n + 42. Let z = n - -5. Let u be (1 - z)/1 - 3. Is -4/7 smaller than u?
True
Suppose 0 = -5*m + 33 + 32. Let w = -12 + m. Let a = -31/2 - -15. Which is greater: w or a?
w
Let d(g) be the third derivative of g**6/120 - g**5/20 + g**3/6 - 3*g**2. Let t be d(3). Which is smaller: 0 or t?
0
Suppose 17 = 2*u + 2*w - 7*w, 0 = 3*w + 9. Which is smaller: u or -1/153?
-1/153
Let j = 15223/3970 + 26/397. Is -0.2 >= j?
False
Let x be 271/13 - (-8 + (-204)/(-26)). Let p = 4 - x. Is p smaller than -65/4?
True
Suppose 0 = t - 2*t + 4. Suppose -4*o - 41 = 4*b - b, t*b = -3*o - 22. Are o and 2/9 nonequal?
True
Let u = -47 + 46.83. Let w = u + 20.17. Which is bigger: w or 2/5?
w
Let h = 7.6 + -1.3. Let r = h + 1.7. Let s = r + -8.1. Which is smaller: s or -2?
-2
Suppose 2*o - 19 = x + 5*o, -4*x = -8*o - 24. Is x != -52/17?
True
Suppose -5 = -3*i + 1. Let g be (2 - i)*2*1/(-4). Let f = 7 + -3. Is f != g?
True
Suppose -1 - 6 = k. Suppose -32 = 3*g + 2*i, 4*g + 5*i = -0*i - 52. Is g equal to k?
False
Let h(v) = 8*v + 10. Let y be h(-5). Let l = 32 + y. Does l = 5?
False
Let n be ((-1)/(-5) - 0) + 0. Let s = 15 - -18. Let j = s + -32.9. Is j bigger than n?
False
Let f(x) = -19*x + 2. Let n be (0 - -1)*(-7 + 7) - 1. Let h be f(n). Do 20 and h have the same value?
False
Let q be 2 - 1 - (-4 - -2). Suppose 17 + q = 2*z. Let y be z/(-25) - (-2)/5. Is 2 != y?
True
Let p = 0.835 + -0.835. Which is smaller: p or -4/21?
-4/21
Let s = 183.7 - 173.63. Let c = s + -10. Let p = -0.03 - c. Is p at least -6?
True
Let c be 17/2 + 15/(-6). Is c greater than or equal to 7?
False
Suppose -4*h - 24 = -5*q, 20 = -4*h - 2*q - 32. Do -11 and h have the same value?
True
Suppose 5*j + 4*l = 5*l - 214, -26 = j + 4*l. Is -45 at most j?
True
Let i = 44 - 18. Suppose 0 = -6*r - 112 - i. Is r at least -24?
True
Let s = -76/63 - -10/7. Let u = 0.14 + 2.26. Let h = u + -2.1. Is h at least as big as s?
True
Let p be 2/14 - (-36)/(-84). Are -1/27 and p unequal?
True
Let j = 441 + -194. Is j greater than 246?
True
Let k be 3 + 2601/(-51)*16/1. Is k less than -813?
False
Let x = 20 + -117. Let z = 93 + x. Is z bigger than 14?
False
Let f = 4 - 0. Let k(b) = 2*b + 7. Let s be k(3). Suppose 0 = -3*h - 2*i - 2*i + s, -h - 3*i = -6. Which is bigger: h or f?
f
Let f(d) = 3*d**2 - 5*d. Let p be f(2). Let a = 112207/644 + 215/92. Let c = -176 + a. Is c greater than p?
False
Let x = 8265992119/1125 + -7347548. Let j = -2/375 - x. Suppose -3*a = a + 4. Which is smaller: a or j?
a
Let o be 5/1 - 135/25. Let f(g) = g**2 + g + 2. Let z be f(-3). Let s = z + -12. Which is smaller: o or s?
s
Let z = -333 + 527. Is z at least as big as 195?
False
Let t = -1.6 - -2.6. Suppose -57 = -7*n + 55. Which is smaller: t or n?
t
Suppose 2*i + 0*i + 144 = -4*j, -4*j + 374 = -5*i. Which is greater: i or -75?
i
Let h = 13/84 - -2/21. Suppose -3 + 1 = -p. Let r be p/(-5)*-5*(-2)/4. Is h at least r?
True
Let a(i) = i**2 + i - 41. Let b be a(-7). Which is smaller: -2/111 or b?
-2/111
Suppose -4*h - 9 + 4 = 5*d, -h + 10 = 5*d. Suppose -17 = 2*y + 5*b, 0*b + 9 = -d*b. Is y > 3/19?
False
Suppose 45 = 10*a - 5*a. Let u = 1194/5 + -239. Is a at most as big as u?
False
Suppose -v = -2, 5*n - 2*v = -4*v + 74. Let z = -1 + n. Let h be (0 + -4)*z/4. Is h less than -14?
False
Suppose -185 = -8*a + 3*a. Suppose -p = -3*y - a, 0 = 4*y - 5*p + 100 - 36. Let n = -7 - y. Are 2 and n nonequal?
True
Let m = -0.37 + 0.04. Let v = -2.67 + m. Which is smaller: 4 or v?
v
Let q(y) = 11*y + 225. Let x be q(-21). Which is greater: x or -10?
x
Let f = 17.7 + 3.3. Let k = 16 + -17. Do k and f have different values?
True
Let r(k) = k**2 + 2*k + 9. Let b be r(7). Let w be ((-4)/b)/((-6)/(-9)). Is w bigger than 0?
False
Suppose 27*z - 19*z = 80. Which is smaller: 66/7 or z?
66/7
Let z = -10 + 18. Let m(c) = 7*c**2 + 3 - 8*c**2 - 8*c - 2. Let s be m(-7). Is s smaller than z?
False
Let j(h) = -h**3 - 21*h**2 + 24*h + 37. Let y be j(-22). Which is greater: y or -10?
y
Let v be (1/(-1))/(3 + (-20)/6). Let d(m) = 3*m**2 + 2. Let l be d(v). Which is bigger: 28 or l?
l
Suppose 3*c + 1450 = 4*j, -535 = -3*j - 5*c + 538. Which is smaller: j or 362?
j
Suppose 5*z + 21*z + 416 = 0. Which is smaller: z or -77/5?
z
Let z = -6.76 - 0.24. Let y be -1 - (1 - (7 - 2)). Suppose -y*u - 1 = -4*l, -5*l = 5*u + 2 - 12. Does z = u?
False
Let h = 86 - 1034/7. Which is bigger: h or -62?
h
Suppose 74 = -4*l - 166. Let n be 130/8*24/l. Does n = -6?
False
Let d(u) = u**2 + 13*u + 30. Let c be d(-11). Let o be (4/(15*c))/((-6)/8). Which is greater: o or 0?
0
Let d = 0.5 - 0.8. Let y = -0.7 + d. Let h = 579.05 - 579. Is h >= y?
True
Let d(n) = -n**3 - 5*n**2 + 5*n - 2. Let c be d(-6). Suppose -s - 12 = -c*s + 3*p, 2*p + 10 = 0. Is -1 > s?
False
Let f = 1.19 + -0.19. Is f equal to -116/9?
False
Suppose 3*v = 2*p - 9, 3*v - 5*p - 40 = 8*v. Let d be 6/v*(-80)/(-32). Suppose -3*o + 6*k - k - 12 = 0, 4 = -o - k. Which is smaller: d or o?
o
Suppose 0*q = -4*q + 8. Suppose 3*o + z - 17 = -q*o, 3*o - 2*z - 5 = 0. Let f be 8/(-24) + 19/o. Which is smaller: 9/2 or f?
9/2
Let l be ((-1)/(-10))/((-99)/18). Suppose -3*c = -m - 2*m, -c + 3*m - 2 = 0. Is c >= l?
True
Suppose 4*w = 3 + 9. Suppose 0 = -5*y + 3 + 7. Suppose -w*h - 16 + 3 = 4*b, 2*h - 4*b + y = 0. Is -1 equal to h?
False
Let a(j) = -j - 1. Let p(g) = 12*g - 29. Let y(h) = -6*a(h) - p(h). Let r be y(6). Which is greater: 1 or r?
1
Let g be (1/(-442))/(6/738). Let p = -104/11 - -3547/374. Let m = p - g. Which is smaller: 1 or m?
m
Let b(q) = q**2 + 8*q + 9. Let z be b(-7). Suppose 5*s + j = 14, z*s - 2*j = -1 + 9. Suppose -3*k = -3*l - 12, -2*k - s*k = -25. Is 2 smaller than l?
False
Let s = 9 + -17. Let j = -238 - -230. Is s bigger than j?
False
Suppose 23 = -3*x + 14, -5*f + 34 = -3*x. Let t = 0.25 + -0.2. Do t and f have different values?
True
Suppose 5*y - s = 138, 2*s + 9 + 15 = y. Let j be y/(-12)*60/(-21). Is 6 smaller than j?
True
Let b be 1/(3059/(-511) - -6). Is b bigger than 70?
True
Let d = -813 - -820. Which is smaller: 4.4 or d?
4.4
Let b = -115243/380 + 1213/4. Is -1 at least b?
False
Let h = -31.045 - -0.045. Let x = h - -27. Is x >= -1/3?
False
Let h = -34.9