= 8 + -5. Let p = 78.028 - -0.072. Let j = 78 - p. Do j and z have the same value?
False
Suppose -786 = 11*d - 17*d. Does d = 132?
False
Let s(i) = -i**3 - 2*i**2 + 3*i. Let k be s(-2). Suppose 0 = -2*d + 2, 2*u + 3*d + 3 = -12. Is u greater than or equal to k?
False
Suppose -17 = 4*k - 1. Which is smaller: k or 9?
k
Let j = -10.49 + 11.5. Let h = j + -14.81. Let z = h + 14. Which is greater: z or 8?
8
Suppose -3*w = u - 11, 0*w - 2 = -4*u + 2*w. Suppose -g - u*k + 30 = 2*g, -4*g = -3*k - 23. Let s = g - 7. Which is greater: 1/4 or s?
s
Let i = 0.67 + 0.83. Is -3/5 < i?
True
Let g = 5192249/537 + -9669. Which is smaller: 0 or g?
g
Let n be 1 + 3/((-6)/(-4)). Suppose 3*m + n = -0. Let c be (12/184)/((-6)/(-8)). Is m not equal to c?
True
Let f(s) = s**3 - 35*s**2 - 25*s + 213. Let w be f(36). Which is bigger: 611 or w?
611
Let q(a) = 4*a + 4. Let m be q(-1). Suppose 22*r - 27*r - 10 = m. Do -22/9 and r have different values?
True
Let m be 1746/(-33) - (5 - 11). Which is bigger: -47 or m?
m
Suppose k - 4*k + 208 = 2*c, 0 = -3*k + 5*c + 236. Let r be (-9 - k/(-8))/(4/(-2)). Suppose -2*s - 25 = 3*s. Which is bigger: r or s?
r
Suppose -75 = -5*c - l, -13*c + 11*c = 5*l - 30. Let y be (-136)/(-10) + 6/15. Which is greater: y or c?
c
Let j = 47 - 47.68. Let z = j - 0.32. Which is smaller: z or 11?
z
Suppose 0 = 3*m + 6, -5*j = -0*j - 4*m + 807. Let t = j + 335/2. Which is smaller: t or 4?
4
Let r = 7 - 7.1. Let k = -0.1 - r. Is 2/13 bigger than k?
True
Let b = -485 + 475.05. Let k = b + 10. Is 1 bigger than k?
True
Let w = -0.492 + 0.092. Let v = 7 + -29/4. Is v not equal to w?
True
Suppose -2*x = -71 + 15. Which is greater: x or 29?
29
Let s(q) = -4*q**2 + 122*q**3 - 244*q**3 - 4*q + 121*q**3. Let m be s(-2). Which is smaller: -1/4 or m?
-1/4
Let x = 0.01 - 0.07. Let k = 0.04 - 0.08. Let h = 1.04 + k. Which is smaller: h or x?
x
Let g = 3/59 + 103/295. Let n = 1 - 1.26. Let l = n - -0.18. Which is bigger: g or l?
g
Let q(y) = -y + 4. Let p be q(5). Let m be ((-111)/21 - p) + 3. Let t(w) = -w**3 - 4*w**2 + 4*w - 6. Let c be t(-5). Which is bigger: c or m?
c
Let z = -5591 + 5564. Let v(x) = -2*x**2 + 3*x - 6. Let c be v(4). Which is smaller: c or z?
z
Let x = 9 + -6. Suppose x*a - 8 = -11. Let g(t) = t**3 + 2*t**2 + 2*t + 1. Let o be g(-1). Which is bigger: o or a?
o
Suppose -9 = -3*i - 0. Let o = -47 - -80. Suppose 0 = i*a - 2*j + 4*j - o, j - 3 = 0. Which is smaller: a or 7?
7
Let t = 1/779 - 786/5453. Let z be 10/2 + -3 + 3. Suppose -3 = -2*y - z. Is t greater than or equal to y?
True
Let v = -41.7 + 47.09. Let c = v - 0.49. Let d = 1.1 + c. Is 1 greater than d?
False
Let o = -305 - -306. Suppose 9*b = 4*b + 15, 0 = -4*w + 2*b - 30. Does o = w?
False
Let h = -397328/1529 - -2858/11. Are 0 and h unequal?
True
Let z = 0.1 - -0.9. Let n = z + -1. Let i = -754 + 758. Is i at least as big as n?
True
Let j(i) = 32*i - 24. Let x be j(-3). Let u be (-3)/72*x/(-18). Which is greater: u or 1?
1
Let x = 1873 + -207896/111. Which is smaller: x or 0?
0
Let s = 2433 + -2435. Is -25/2 bigger than s?
False
Let a = -17 + -16. Let g be ((-1)/(-4))/(a/6*-1). Which is greater: -1 or g?
g
Let j = -7.93 + 7.6. Let p = -21.67 + j. Are -2/3 and p equal?
False
Let v(p) = -40*p**3 + 3*p**2 - p - 3. Let t be v(-1). Let c(l) = 2*l**2 + 3*l + 5. Let a be c(-5). Do t and a have the same value?
False
Let n = -48.94 + 49. Let i = 0.1 + -0.3. Let a = i + 0.1. Which is greater: n or a?
n
Let q = -94 + 90. Is q > -90/17?
True
Let q be (-4)/30 + (-1220)/(-150). Suppose -27 = q*b - 155. Do 3 and b have the same value?
False
Let y = 144 + -199. Is y > -54?
False
Suppose 4 - 34 = -15*l. Is -66 greater than or equal to l?
False
Let r = 17 - 22. Let h = 46 - 46.03. Is r at least as big as h?
False
Let z = -915.053 - -915. Which is smaller: z or 1?
z
Let w be ((-95616)/(-1304))/9 - 8. Which is smaller: -1 or w?
-1
Let x = -6/161 - 124/23. Let d = 52 - 58. Which is smaller: x or d?
d
Suppose 0*g = -g + 3*l - 16, 2*g - 5*l + 28 = 0. Let z be (-81)/(-396)*g/6. Suppose 2*k - k = 0. Which is smaller: z or k?
z
Suppose 0 = 2*g - 43 - 63. Let s = g + -64. Suppose 3*f - 4*f = 11. Does s = f?
True
Let c = 6 + -29. Let y = c + 23.1. Is -16 less than y?
True
Let x = 5114 + -35905/7. Let u = x + 120/7. Do u and 2 have the same value?
False
Let u = 0.8 + 55.2. Let a = u + -56.07. Is 3 != a?
True
Let o = 259703 - 11687198/45. Let i = o - -136/9. Is i greater than 4?
False
Let r = -0.57 - -0.47. Which is greater: r or 151?
151
Suppose -2*f = -2*s - 12, 0 = -2*s - 2*f + 20 - 24. Are s and -21/4 non-equal?
True
Let p be (-111)/(-27) + -2 + 2/(-18). Suppose 8 = 3*r - c, p*r + 4*c = -3 - 1. Which is smaller: r or -3?
-3
Let s = 1929 + -1928. Which is smaller: s or -16/95?
-16/95
Suppose u + 4*j + 28 = 0, 4*j + 76 = -u - 3*u. Suppose -4*b + 314 = 382. Let z = b - u. Which is smaller: 3/7 or z?
z
Let a be -24*(6/(-7))/(3/21). Suppose -a = 2*g - 4*q, -74 = g - 11*q + 10*q. Is -76 less than g?
False
Suppose g + g + 6 = 0. Suppose 6010*h + 22 = 5999*h. Which is bigger: h or g?
h
Let z = -42 + 17. Let d = -38 - z. Let l(c) = 2*c**2 + 57*c + 28. Let x be l(-28). Is x smaller than d?
False
Let m be (-9 + 6)*(-7)/(-21). Which is smaller: -25 or m?
-25
Suppose -3*w = -3*q - 30, 3*q + 4*w = 3 - 5. Let k be (9/q)/(1/2). Let d = 22 + -43/2. Which is smaller: d or k?
k
Let j = 234 + -224. Let z = -2.1 + 2.2. Is z greater than j?
False
Suppose 3*f = 3*v + 6, -2*f - f + 4*v = -11. Let y be (-8)/f*(-27)/(-36). Suppose -4*p = 2 + y. Is 1.3 > p?
True
Let u be 2/((-6)/45 + 0). Let b be -1*(-3)/u*0. Which is smaller: 1/30 or b?
b
Let q(d) = 11*d - 155. Let o be q(16). Which is smaller: o or 13?
13
Let o = -1976 + 1301. Are -2/3 and o equal?
False
Let s = -35/3 - -11. Which is greater: -10 or s?
s
Let h = 1057 + -1065. Suppose 4*o - b - 8 = 0, 4 = 2*o - 4*b + b. Suppose -d - 5 - o = 0. Is d greater than or equal to h?
True
Let w = -12109/147 + 247/3. Suppose 0 = -36*t + 91 - 55. Is w >= t?
False
Let t be (-180)/135 + 280/3. Which is greater: t or 93?
93
Let p = -29 - -28.959. Let t = -0.001 - p. Which is smaller: t or -1/6?
-1/6
Let u(b) = -3*b - 7. Let k be u(4). Is -18 greater than k?
True
Let b be 342/(-285)*(-1)/(-16)*2. Let s be 2 - 1 - (1 - 1). Which is bigger: s or b?
s
Let n(j) = j**2 - 13*j + 19. Let m = 88 + -77. Let l be n(m). Is l equal to -14/9?
False
Let d be 56/2 + 0/(-6). Which is greater: 59 or d?
59
Suppose 0 = 3*m - 49 + 4. Let f be (-2)/5*m/(-3). Suppose -3*r = -0*r - c + f, -2*r - 3*c - 5 = 0. Which is greater: -2/5 or r?
-2/5
Let h = -154 - -161. Is h <= -8?
False
Let o(f) = -2*f**3 + 12*f**2 - 16*f + 34. Let l be o(6). Is l <= -61?
True
Let c(j) = -19*j**2 + 5*j + 48. Let h be c(-9). Is h < -1536?
False
Let j be -18 - -21 - (-14 + -1). Let s = -1.47 + 2.47. Which is smaller: s or j?
s
Let z be ((-2)/6)/(3/(-18)). Suppose 0 = -o + z*o + 7. Let a be (2 - 0)*-3 - 1. Do o and a have different values?
False
Let m = 46.4 + -43.72. Is 1/2 != m?
True
Let d = -38 - -42. Suppose 0*u = d*r - 4*u + 36, -2*r - 36 = 4*u. Is r bigger than -9?
False
Let a be 3/(-5) + 0 + 21033/3705. Is 5 at most a?
True
Let w = -8 - -1. Let x = -1565 + 1558. Is x <= w?
True
Suppose 0 = -4*l + 5*s + 3, -s + 29 = 2*l + 2*s. Suppose l*d = -0 - 7. Let x = 109/3 + -4027/111. Which is smaller: d or x?
d
Let s = -139 - -311. Let p = -4469/26 + s. Which is greater: 0 or p?
p
Let y = 31 + -30. Suppose -3*r = -2 - y. Which is bigger: -1/18 or r?
r
Let w = 0.028 - -0.002. Let k = 0.73 - w. Is -2/5 at least k?
False
Let c be 230/(-161)*(-14)/1. Suppose 0 = -2*q + 30 + 10. Is q > c?
False
Suppose 0 = 3*j - 12 - 6. Let q = 7 - 2. Let d = q - j. Is d at least 2/39?
False
Let z = -2358557/51 - -46249. Let v be (2/8)/((-17)/(-8)). Let l = z - v. Is 4 smaller than l?
False
Let g(z) = z**3 + 7*z**2 - 10*z + 12. Let n be g(-5). Let c be 2*(-12)/n*(-5)/(-3). Is -0.1 smaller than c?
False
Let p = -0.36 - -0.424. Let h = p - 6.064. Is 0.1 != h?
True
Let u(m) = m**2 + 29*m - 12. Let t be u(-27). Let k be (-3 - -2)*t/2. Which is greater: k or 32?
k
Let q be 6/(-21) - 90/(-21). Suppose -4*y + 5*r + 149 = 45, -26 = -y + q*r. Which is bigger: y or 25?
y
Let n = 631 + -631. Let q be (2 + -1)*(-2)/14. Does n = q?
False
Let s = 516 + -2455. Is s not equal to -1940?
