= 0.2 - 0.24. Let g = -1.04 - i. Are g and -4 equal?
False
Let y be (-1)/55 - 2/10. Let l = -349/165 + y. Let q = 96 + -99. Which is bigger: l or q?
l
Let s = -2 + 3. Let m(g) = g**3 - 6*g**2 - 16*g. Let n be m(8). Which is smaller: n or s?
n
Let d = -0.17 + -3.33. Let s = 1.5 + d. Does s = -2?
True
Suppose -f + 2 = -0*f. Suppose 22 = 4*j - 2*v - 32, -4*v - 30 = -f*j. Is 0 at most as big as j?
True
Let z(b) = b**3 - 10*b**2 + 7*b + 16. Let a be z(9). Is -3 at least a?
False
Let q(l) = -l**2 + 23*l + 20. Let o be q(24). Which is greater: o or -13/3?
o
Suppose 4*z + 3 - 23 = 0. Let v be 0/(-1) - (-3 + z). Let y be (-6)/(-40)*-2*v. Which is bigger: 1 or y?
1
Let j = 7 - 7. Which is greater: j or 1.7?
1.7
Let h be 6/9 - 397/(-12). Let f = -33 + h. Let w(y) = -y**3 + 6*y**2 - 5*y + 2. Let n be w(5). Is n at most as big as f?
False
Let h = -5.97 - -6. Let z = 1.7 + -1.7. Which is smaller: z or h?
z
Suppose 4*x = -0*d - 4*d, -4*d - 3 = x. Suppose 0*p = -p + x. Does -2/7 = p?
False
Let l be ((-18)/200)/(12/230). Let m = 471 - 3759/8. Let r = m + l. Are -2 and r equal?
False
Let l be -3 + (234/92 - (-1)/2). Which is smaller: -1 or l?
-1
Suppose 3 + 10 = -o. Is -13 equal to o?
True
Let m(a) = a**3 + 5*a**2 + 5*a + 6. Let s be m(-4). Let z be ((-1)/s + -2)*2. Suppose 3*x + 5 = 2*x. Are x and z nonequal?
False
Suppose 3*t - 3 = 6. Which is greater: 5 or t?
5
Let v be (1 - 1) + -1*4. Let g(h) = 2*h + 5. Let c be g(v). Let r = 2 - 6. Which is bigger: r or c?
c
Let w = -5 - -7. Let y = -5 - -5.1. Do w and y have different values?
True
Let w = 5/38 - 187/266. Let r(g) = -8*g + 7. Let o be r(1). Which is smaller: w or o?
o
Let w be ((-1)/(-3))/(16/12). Suppose -3 = 3*c - 6. Which is bigger: w or c?
c
Let j = 20 - 18. Suppose 0 = -j*d + 2 + 2. Is 1/4 at least as big as d?
False
Let v = -17 - -15. Is -2 equal to v?
True
Let q(s) = -s + 7. Let w be q(3). Suppose -g - 5*l = -0*g - 4, 2*g - w*l = -20. Which is greater: -1 or g?
-1
Suppose m = 0, 4*k + 3*m - 16 = -0*m. Suppose -3*y + y - k = 0. Which is bigger: -1 or y?
-1
Let k(j) = j**3 + 5*j**2 + 2*j + 4. Let i be k(-5). Which is smaller: -7 or i?
-7
Suppose 3*a + 3*n - 12 = 3, n - 1 = 3*a. Let h = 163 + -3422/21. Which is smaller: a or h?
h
Let f(y) = y**2 - y - 2. Let a be f(2). Let r be 4/18 - 712/(-36). Let o be r/16*(-4)/10. Which is bigger: a or o?
a
Suppose -27 = 7*o + 29. Are -48/7 and o non-equal?
True
Let n = -10 - -14. Let p be n/40*3/(-3). Let j = 1 - 2. Is p not equal to j?
True
Let i be (((-5)/(-1))/(-1))/(-1). Suppose -i*u + 2*u + 3 = 0. Let v = 4.2 - 4. Is u bigger than v?
True
Let o be ((-4)/6)/((-8)/(-36)). Let m be ((-7)/o - 2)*-3. Is -1 not equal to m?
False
Suppose 3*n - 9 = -3*r, 2*n = -3*r + n + 11. Suppose 0 = a + r*a - 20. Let b = a + -1. Is 3 equal to b?
True
Let z(c) = c - 3. Let p be z(5). Let y be (1 + 1)*(0 + p). Suppose -2*f + 16 = y*u, 0 = 3*u + u - 16. Is f <= 1/7?
True
Let r = -5 + 28. Is r at most 24?
True
Let b be 86/2 + (-1 - 0). Let k be 26/b - (-4)/(-14). Is k not equal to -3/10?
True
Suppose t = 2*t - 5. Suppose 4*b = 2*o + b - 6, -5*o + 5*b = -t. Is -2 less than or equal to o?
False
Let a be (-1)/4 + 52/16. Let i be (-2)/(1 + (-1)/a). Let v be (-2 - i - 2)/(-1). Which is bigger: v or 0?
v
Let r(t) = -4*t**2 - 2*t + 6. Let w be r(2). Is w at least as big as -13?
False
Let m(c) = -c - 1. Let a be m(-3). Suppose -4*n - 3*o - 4 = o, -a*n - 4*o = 2. Which is smaller: 4/9 or n?
n
Let c(a) = a**2 + 2. Let t be c(3). Do t and 11 have different values?
False
Suppose k + 2 = 1. Let c be (-2 + 6/3)/k. Let s be (4/(-130))/((-5)/25). Which is smaller: s or c?
c
Let a = 37 - 36. Is a bigger than 17?
False
Let a = -11 + -17. Let i = 28 + a. Which is smaller: -4/5 or i?
-4/5
Let v = -5 - -5. Which is smaller: v or 1?
v
Let q be 5/1*(-4)/5. Let s be q/(-38) + 0/(-13). Which is smaller: -1 or s?
-1
Suppose f - 5*f + 5*b = -3, -3 = -f + 2*b. Let u be (-2)/(-12) + 3 + f. Let k(c) = c - 6. Let h be k(5). Which is greater: u or h?
u
Let p = -2 + 3. Let b be (2 - -4)/((-4)/2). Let k be b/12*-10 + -3. Is p >= k?
True
Let k = 60 - 125/2. Suppose -5*j - 17 + 2 = 0. Which is bigger: j or k?
k
Suppose 3*u - 4 + 7 = 0. Which is bigger: 3/20 or u?
3/20
Suppose 7*j - 156 = -30. Is j != 17?
True
Let v = -93/781 - -2/71. Which is smaller: 0 or v?
v
Let g = 37/4 - 115/12. Is -2/87 greater than or equal to g?
True
Suppose 14 = 2*k + 3*x, 3*k - k = -2*x + 12. Let b(o) = o**3 - 6*o**2 + 5*o + 2. Let j be b(k). Is -9 <= j?
False
Suppose 2*v - 8 = -5*q, v + 2*v + q - 12 = 0. Suppose 4*t + v - 16 = -l, 4*l + 16 = 0. Let m(g) = -g**2 + 3*g + 8. Let z be m(4). Is z > t?
False
Suppose 0 = 4*p - 4 - 4. Let q be (2 - 3)/(p/2). Let r be (1*6/(-9))/(-3). Is r <= q?
False
Let v = -1 + 1. Let l = -13 - -41/3. Are v and l equal?
False
Let c = 209 - 144. Let s = -193/3 + c. Are s and 2/11 unequal?
True
Let l be 1/(3/(-9)*3). Which is greater: l or -7/16?
-7/16
Let h be 0/4 + -10 + 4. Is -4 smaller than h?
False
Suppose 6 = 4*t - 3*z, 2*t + z = 3*t - 2. Which is smaller: t or 1/42?
t
Let r = -85 - -111. Which is bigger: -3 or r?
r
Let y(i) = i**2 - 11*i - 9. Let n be y(12). Suppose -2*f = -f + n. Which is smaller: f or 0?
f
Let q = 3209/396765 + -2/2939. Is 1 less than q?
False
Let v = -0.355 + 1.355. Let g be (-2 - 7*94)/7. Let l = g - -94. Is l < v?
True
Let s be (1/(-1))/((-1)/1). Is -1/16 > s?
False
Suppose -4*x + x = 0. Is x less than or equal to -1?
False
Let f = -6 + 2. Suppose -5*t = 2*m - 17, 5*m - 4*t - 83 = -3*t. Suppose 0 = l + 3*l + m. Is l > f?
False
Let v = -95 - -135. Is 41 >= v?
True
Suppose -6 = -2*h - 0*h. Suppose 5 = 8*x - h*x. Is -1/5 > x?
False
Suppose 4 + 6 = v. Let y = 12.8 - 14.8. Which is smaller: y or v?
y
Let t = -1939/8 - -242. Suppose 3*k + f = -2*f - 9, -4*k = -2*f. Is t at least k?
True
Let c = -298 + 577/2. Which is smaller: -10 or c?
-10
Let n(v) = v**3 - 6*v**2 - v - 6. Let h be n(5). Is -35 equal to h?
False
Let d = -25 - -101/4. Suppose 0*i = i + 3. Let s be 0*(-1)/i*-1. Which is greater: s or d?
d
Suppose 0*j + 2*j = 10. Let u be 1*(j/1)/1. Suppose 9*r + 25 = 4*r + u*b, 0 = 2*r + 3*b. Is r bigger than -4?
True
Suppose -3*o + 21 = 6. Suppose 0*h = -o*h. Is h equal to 1?
False
Let z(v) be the first derivative of -15*v**2/2 + v - 2. Let i be z(1). Let k be i/10 - 6/(-15). Is -1/2 < k?
False
Let p(y) be the first derivative of -y**2/2 - 17*y - 2. Let c be p(0). Let j be 1 + (0 - (-15)/c). Which is smaller: j or -1?
-1
Suppose d + 0*d = 3. Suppose 5*n = y + 6, 2*y = n - d*y + 18. Which is bigger: 1 or n?
n
Let j be 1*8*(0 - -1). Suppose 0 = 2*u + y - 0*y + 4, -j = 2*y. Suppose -o = -u*o. Is 0 less than or equal to o?
True
Let x be (-920)/35 - (-2)/7. Which is smaller: -25 or x?
x
Suppose 3*p - 20 = 4*r, -2*r = -3*r + 4. Let t be p/16 - 46/72. Which is smaller: 0 or t?
0
Suppose 3*q + 2*s = 32, 2*q - s + 0*s - 12 = 0. Which is smaller: 7 or q?
7
Let f be ((-9)/(-6))/(324/16). Which is smaller: 1 or f?
f
Let z = 79 - -138. Let d = z + -4339/20. Which is smaller: d or -1?
-1
Let o be 9/7 - (-1)/(-1). Let s = 157/2 - 80. Is s <= o?
True
Let y = -307 - -3993/13. Suppose -3 = 4*b - 7. Is b at least as big as y?
True
Let t = 3.5 + -3.3. Is 1/17 < t?
True
Let y = 2 + 0. Suppose 6 = -y*x, f - 14 = 4*x - 0*x. Suppose f*g + 3 = 1. Which is greater: g or -2?
g
Suppose -3*q + 1 = -5. Suppose 4*c + 2*r - 26 = 0, -11 = -4*c + 2*r + 19. Suppose 0 = -4*y - 3*m + 7, -y - c*m + 4*m + 4 = 0. Which is smaller: q or y?
y
Let g = -5.6 + -2.4. Are 0.01 and g unequal?
True
Let p(m) = m**2 + 5*m - 3. Let g be p(-5). Let b = g + 6. Let i = b + -4. Is -1 less than or equal to i?
True
Let k be (-62)/39*(-2)/(-20). Let t = 1/39 + k. Is t >= 1?
False
Let o(b) = b + 5. Let p be o(-5). Suppose p*j = -4*j. Suppose j = -0*i - 3*i. Is 0 less than i?
False
Let a be ((-6)/8)/((-1)/(-8)). Let s = -1 - a. Let i be (s - (-4)/(-2)) + -3. Is i <= 0.02?
True
Let c = -9 - -17. Are 8 and c unequal?
False
Let h be 0/(-2 + 3 + -3). Suppose r + 2*q - 20 + 8 = h, 24 = 5*r + q. Let c(u) = -u**2 + 3*u + 5. Let b be c(r). Which is smaller: b or -2/15?
-2/15
Suppose w - 3*p + 19 = 6*w, 3 = 3*w - p. Suppose -w = 5*v - 7. Let f be (2/(-4)*0)/v. Do 0 and f have different values?
False
Let i(g) = -g**2 - 13. Let s be i(3). Which is smaller: s 