uppose -d*i + 11*i - 18 = 0. Is i != t?
False
Let s = 0.1 + 0.1. Suppose 2*m = 3*m - 2. Suppose o - 5*t = -m*o + 28, 4*t = -20. Is o at most s?
False
Let g = -0.167 - -0.067. Let z = 8042/445 - 42/89. Let l = z - 17. Which is smaller: g or l?
g
Let u = 20.1 + -20. Do -2/25 and u have the same value?
False
Suppose -y = -3*y + 24. Suppose 4*c + 2*s = 14 + y, -25 = -5*s. Let m = 0 + 3. Which is smaller: m or c?
m
Let s(h) = -h**3 - 9*h**2 - h + 7. Let a be s(-9). Let v be (-16)/(-42)*12/a. Is -1/3 greater than or equal to v?
False
Suppose -6*l + 3*l + 3 = 0. Suppose -8*m = 5*m - 4*m. Let h = l - m. Which is smaller: h or 2?
h
Let j(m) = -6*m**3 - m**2 - m - 1. Let n be j(-1). Suppose n*p = 4*p. Which is greater: p or -1?
p
Let q be (0/2 - -1)/(1/(-47)). Which is greater: q or -46?
-46
Let x = -15 + 25. Which is greater: 11 or x?
11
Let i be 3 - (3 - (-39)/24). Which is smaller: -2 or i?
-2
Suppose 2*i - 2 = 4. Suppose 0 = -4*h - 2*a + 4*a - 18, -h + i*a - 17 = 0. Let s = 8 - 11. Which is bigger: s or h?
h
Let l = 0.7 - 1. Which is smaller: l or 4?
l
Suppose -4*t + 20 = 3*i, 4*i - 4*t - t + 25 = 0. Is i greater than 3/8?
False
Let j(h) = h**2 - 5*h + 4. Let i be j(3). Let u be i/(-8) + (-6)/32. Which is bigger: -1 or u?
u
Let o be (-166)/84 - 22/(-11). Is o less than 1?
True
Let w be (-3)/7*1214/6. Suppose 187 = -2*x + 13. Let r = x - w. Which is bigger: -1 or r?
r
Let s = -140 + 93. Which is smaller: s or 0.1?
s
Suppose -2*s + 56 = -28. Let f be (-158)/(-14) + (-12)/s. Is -0.1 smaller than f?
True
Suppose 120 + 202 = -7*i. Is 1 at least as big as i?
True
Let m(y) = -11*y**2 - y. Let j be m(1). Let b be ((-2)/6)/(j/18). Which is smaller: -0.1 or b?
-0.1
Let v(g) = 14*g**2 + 6*g - 5. Let m be v(1). Which is smaller: 16 or m?
m
Suppose -2*d = -5*v - 445, -5*v + 3*d - 355 - 85 = 0. Let r = -94384/7 + 13574. Let h = r + v. Which is greater: h or -1?
h
Let q(b) = b**2 - 4*b - 3. Let k(t) = -t - 1. Let m(c) = 2*k(c) - q(c). Let p be m(2). Which is smaller: p or -2?
-2
Let l = 6 + -9. Let w(s) = -s. Let n be w(l). Is n at most 3?
True
Suppose -4*m + 9 = -m + 2*u, 5*m = -5*u + 15. Let p be 1/2*1/2. Which is smaller: m or p?
p
Let r(i) = 2*i**2 + i. Suppose -2*j - 4*q = 0, 5*j - 3*j - 2*q = 6. Let n = j + -3. Let s be r(n). Is s less than or equal to 1/2?
False
Suppose f - 4 = 4. Which is bigger: -1/4 or f?
f
Let y(m) = -m**2 + 7*m - 2. Let n be y(6). Suppose n*w = -w. Is w bigger than 4/3?
False
Let z = -25.985 - 0.015. Let g = z + 25. Is g < -0.1?
True
Let z = -3 + 3. Suppose -2*w - i + 24 = 0, z = -4*w + i + i + 32. Let a be (-4)/(-2)*(-5)/w. Is -1 at least a?
True
Suppose 5*f - 5 = 5. Let z be f/(-4) + (-78)/(-108). Is z at most -1?
False
Let q(a) = a + 93. Let h be q(21). Is h not equal to 113?
True
Let a = 15 + -13. Let j = -6 + 7. Which is smaller: a or j?
j
Let t(a) = -a**3 - 4*a**2 - 4*a - 2. Let y be t(-2). Is -1/2 equal to y?
False
Let f = -0.04 - 0.04. Let d = 0.02 - f. Which is smaller: -2/3 or d?
-2/3
Suppose m = 3*f - 1, -f = -0*f + m + 5. Let t = -11632/21 + 554. Which is greater: f or t?
t
Let m = 13 - 14. Which is smaller: m or -0.05?
m
Suppose 3*j - 298 = -2*n, -2*j - j + 4*n + 322 = 0. Let u be (230/(-15))/((-140)/j). Let f = 53/5 - u. Which is greater: f or 0?
0
Let o = 10.7 - -3.3. Let g = -16 + o. Let l = -1.99 + -0.01. Is l at most as big as g?
True
Let g(n) = -2*n + 1. Let f be g(-2). Suppose -2*j + f = 9. Is j at least as big as 0?
False
Suppose -l + 0*i - 5*i = 15, -5*l = 2*i + 6. Which is smaller: -1/56 or l?
-1/56
Let z be 3/12*16/(-66). Which is greater: z or -1?
z
Let r be (-5)/(15/(-6)) + -1. Let y be -4*6*r/32. Suppose -3*a = -4*a. Which is greater: a or y?
a
Suppose 0 = 3*i - 4*i + j + 1, 2*j = -4*i - 20. Let u = 0.25 + -0.16. Let g = u - -0.91. Is i at least g?
False
Let u = 0.051 - 8.651. Let l = u - -8. Let d = -0.4 - l. Which is smaller: d or -2/3?
-2/3
Suppose -4*s = 4*f, 4*f - 3*s = -f - 8. Is -1 smaller than f?
False
Let y be 4/(-6)*(13 - 1). Which is bigger: y or -15/2?
-15/2
Let t = -8 - -5. Let h = 3.2 + t. Let p be -3 - -8 - 9/2. Which is greater: p or h?
p
Let b = 20 + -18. Is b at most 2?
True
Let f = -43 - -28. Let c be (-4)/14 + f/(-28). Is c smaller than -2/9?
False
Let c = -22 + 33. Is c bigger than 11?
False
Suppose -4*g - g = 20. Which is greater: 0 or g?
0
Suppose -20 = -3*f + 5*b, 0*f + 2*b + 8 = -f. Let y(l) = -l - 1. Let m be y(f). Let k = 937/11 + -85. Which is bigger: k or m?
k
Let p(x) = x**3 - x**2 - 2*x + 2. Let m be p(2). Let f be m*(-2)/(-4) + 6. Suppose r = -f + 2. Which is bigger: -3 or r?
-3
Suppose -5*i = 0, 0 = -3*f + 6*i - i + 18. Suppose 4*d + 5*g = 10 + 5, 2*d - f = -4*g. Is d less than 5?
False
Let v = 265/3 + -439/5. Which is smaller: 0 or v?
0
Let y = 0.06 - -1.94. Is -3/5 less than or equal to y?
True
Let n = 12 - 19. Let y = -5 - n. Is y at most as big as 4?
True
Suppose 0 = 3*o + 3*r + 36, 4*o - r = 2 - 35. Suppose -2*b - 11 = -0*z + z, b + 4 = z. Let t be o/4 - z/4. Which is smaller: t or 1/2?
t
Suppose -p = -0*p - 9. Which is greater: 6 or p?
p
Let u(p) = 2*p**2 - 6*p - 5. Let g be u(6). Let w = g + -91/3. Which is smaller: w or 2?
w
Let p = -7 + 11. Suppose z - g = -11, 3*z - z = -p*g - 22. Is -11 < z?
False
Let l = -137/18 + 43/6. Let r = 71 - 72. Which is greater: r or l?
l
Let a be (-2)/((2/(-4))/1). Suppose l = -l - a. Let m be (1 - 52/44) + (-16)/33. Is m <= l?
False
Let u = -2.1 + 4.1. Let t = 0 + -0.1. Is t at most u?
True
Let h = 21 + -37. Let g = h - -16. Is g not equal to 0.6?
True
Let x be ((-4)/(-3))/(20/(-6) + 3). Do x and -3 have the same value?
False
Suppose -i + 122 = -2*x, -i - 283 = 5*x + 2*i. Is -58 at most as big as x?
False
Let m(s) = -s**2 - 3*s + 10. Let d be m(-6). Let k be d/8*6/2. Do k and -4 have different values?
True
Let j = 63 - 64. Which is smaller: 1/70 or j?
j
Let p(q) = -q**2 - 5*q - 5. Let i be p(-4). Is 1 at least as big as i?
True
Let x be (-7)/(-4) - (-1)/4. Suppose -6 = -x*s + 8. Suppose 4*g = -s - 9. Are g and -4 unequal?
False
Let w = 73 + -77. Are w and -46/9 equal?
False
Suppose b + 10 = m, -6*b + 3*b = -5*m + 54. Which is smaller: m or 11?
11
Let b be (-4)/2 - (-21)/9. Let d(a) = a**3 - 7*a**2 + 2*a - 11. Let r be d(7). Suppose -g - 4 = 5*t, 0 = -3*g - r*t + t + 1. Which is smaller: g or b?
b
Let n be 5/35 - (-26)/14. Is 2 at most n?
True
Suppose 3 - 1 = -s. Let z = -1009/572 - -2/143. Which is greater: s or z?
z
Suppose -15 = j - 4*j. Suppose -4 = -u - 0*u. Which is greater: j or u?
j
Suppose 16 - 7 = 3*w. Suppose 2*n = 3*z + 20, 5*z + 25 = -2*n - w*n. Is 0.1 greater than z?
True
Let w(f) = -f**2 - 8*f - 6. Let i be w(-7). Let a(p) = -12*p. Let h be a(1). Let t = 14 + h. Are i and t equal?
False
Let u(i) = i - 7. Let q be u(8). Let w = -1 - q. Let o be (1 - 0)*w/(-5). Is -1/4 >= o?
False
Let r = 0 - 0.2. Let l = 1139/24895 + 2/4979. Let t = -2/13 - l. Are t and r unequal?
False
Let m(f) = -f**2 - 1 + 5 + f - 3. Let t be m(1). Are t and -2/25 unequal?
True
Suppose 4 + 38 = 3*k. Suppose -4*c + 58 - k = 0. Suppose 0 = -3*q + c - 2. Is q != 1?
True
Let d be 2/(-5) + (-4)/(-20). Which is smaller: -0.1 or d?
d
Let m = -17 + 69/4. Is m >= -1/10?
True
Let f = 4 + -11. Is -7 >= f?
True
Let v be (-126)/(-27) - 2*2. Is v smaller than 1?
True
Let t(k) = k**3 + 10*k**2 - 12*k - 10. Let x be t(-11). Let a = -12 - -12. Which is smaller: x or a?
a
Let i = 2 - 0. Let g = -3 - -6. Let n = i - g. Which is smaller: 2/7 or n?
n
Let j(g) = 2*g. Let h be j(-1). Let n(z) = -3*z. Let u be n(8). Let b = u - -164/7. Which is greater: b or h?
b
Let y(u) = -u**2 - 19*u - 38. Let o be y(-16). Which is bigger: o or 3?
o
Let c = -7 - 0. Let w = c - -6. Which is smaller: -2 or w?
-2
Let t be (9/(-21))/(9/6). Let j be 0*(4/4)/2. Which is smaller: t or j?
t
Let k be (-2)/(-72) - (-6)/27. Let o = k - 3/4. Suppose y + 10 = -4*y. Which is bigger: o or y?
o
Let j(w) = w + 10. Let r be j(-10). Let c = -0.3 - -0.2. Is r at most c?
False
Suppose m - 7 = 2*f - 0, 2*m + 4*f + 18 = 0. Is m <= -7/5?
False
Suppose 17 = -t + 18. Is t equal to -1/38?
False
Suppose -4*k - k = -65. Let y = -29/2 + k. Which is smaller: y or -1?
y
Suppose 8*b = -b. Is -4/9 greater than or equal to b?
False
Suppose 0 = -4*w + 4*c - 4, -2*w = -4*c - 0*c + 8. Suppose y - w = 5. Let b be y*1*6/49. Wh