3*c - 10, -4*c - 1 = k + 3. Let r = 0.033 - -0.047. Is c != r?
True
Let f = 6 - 2. Suppose 3*y = y + f. Is 1 smaller than y?
True
Let k(f) be the first derivative of -f**2/2 - f + 1. Let w be k(-6). Let l be (w/(-10))/(3/2). Which is smaller: 0 or l?
l
Let i = -14 + 23. Let w = i - 8.9. Let p = -3 + 2. Which is greater: p or w?
w
Let a = -2.11 + 0.11. Which is greater: 1/3 or a?
1/3
Let m = 9 + -2. Suppose -2*d + m = 3. Suppose 4 = d*j - 2. Which is smaller: 1 or j?
1
Let y = -163 - -80. Is -83 at most as big as y?
True
Let p be (-2 + 1 + -13)*(-1)/2. Is p less than 5/6?
False
Let u = -14 - -6. Let r = -5 - u. Which is greater: r or 0?
r
Let n be (-3)/12 - (-117)/(-12). Let j = n + 10. Which is greater: 7/5 or j?
7/5
Suppose 29*n - 30*n = 7. Which is greater: 1/4 or n?
1/4
Let g = 7.5 + -6.9. Which is smaller: -2 or g?
-2
Let k be 2 - (-1)/8 - 2. Let l = 0.97 - -0.03. Which is smaller: k or l?
k
Let o be 2*(58/4 - 1). Let p = o - 19. Let z be (-11)/(-12) + (-2)/p. Are 0 and z nonequal?
True
Let o be 6/(6/((-9)/(-3))). Let j be (4/(-5))/(o/(-15)). Is 3 greater than or equal to j?
False
Let j = -3 + 0. Let d = j + 3. Let l be d + 3 + 0 - 8. Which is smaller: l or -4?
l
Let r be 50/14 - (49/(-7) + 11). Suppose j = 4*z - 9, -6 + 14 = 4*z. Is r < j?
False
Let c = 226 - 226. Let s = 9/110 + -2/11. Which is smaller: c or s?
s
Let p(i) = 7*i**2 + 3*i + 2. Let c be p(-1). Which is bigger: 5 or c?
c
Let q(r) = 3*r**2 - r - 2. Let z be q(-1). Suppose 4*l - k = -2*k - 9, 2*k = -2. Let c be l + z + 1 + 0. Is c bigger than -1?
True
Let z be 87/5 + (-2)/5. Let l = 50/3 - z. Suppose 2 = -x - x. Is x > l?
False
Let z be 18/12*(-4)/3. Is -5/3 smaller than z?
False
Let y be 1/(-3) + (-6)/(-18). Is y bigger than 3/79?
False
Let q = 20 + -24. Suppose v - 8 = 2*v. Let g = v - q. Which is smaller: g or -2?
g
Let h = 0.01 + 1.99. Let m = 39/5 - 283/35. Are m and h non-equal?
True
Let u = 10/3 + -32/9. Is 0.06 <= u?
False
Suppose -2*n = -5 - 7. Let j be (1*5)/((-2)/(-2)). Which is greater: j or n?
n
Suppose 5*t - 4 = 4*w, -t - 18 = -4*w - 6. Which is smaller: w or 22/5?
w
Let o = 3 - -37. Are -1/3 and o equal?
False
Let i = 18 + -18. Which is greater: 0.09 or i?
0.09
Let z be (((-48)/294)/(-2))/2. Which is smaller: z or 0?
0
Suppose -4*s = 2*v + s - 2, -4*v + s = -4. Let g(i) = -i**3 + i**2 + 2. Suppose 0 = m - 4*m. Let p be g(m). Which is bigger: v or p?
p
Suppose -2*b = b + 2*w - 20, 0 = 4*w - 4. Let f be b/(-10) - 98/(-130). Let a = -0.3 - -0.1. Which is bigger: a or f?
f
Suppose 4*d + 85 = -3*t, 2*d - 18 = 3*d + 4*t. Let q = d - -17. Is q greater than 2?
False
Let z = -0.02 + -0.28. Let r = 21 - 21.2. Let s = z - r. Is s >= -0.3?
True
Let m be 2 + (-5 + 0 - -3). Let g = -1 + 1. Is g >= m?
True
Let c be (12/(-92))/(2/1). Let d = 63/92 - c. Let j = d - 17/12. Is -1 != j?
True
Let w(p) = -2*p**2 - 3*p. Let z be w(-2). Let f be -2 - (-2 - 2 - -3). Which is bigger: f or z?
f
Suppose -3*q + 6 = 0, 3*q - 136 - 50 = 5*x. Which is smaller: x or -35?
x
Let g(x) = 11*x - 1. Let t be g(1). Let n = 12 - t. Is -3 bigger than n?
False
Suppose 0 = 3*k + 2*k. Let q be (1 - 1)/(-1) - 1. Let r(j) = -2*j**3 - 2*j - 1. Let z be r(q). Which is bigger: z or k?
z
Let s = -3 - -8. Suppose -3*o - s = -23. Suppose -1 = -y - u, 2*y + 2 = 3*u - o. Which is bigger: 1/3 or y?
1/3
Let z be 48/16*(1 - 0) + 15. Which is bigger: z or 15?
z
Suppose 20 = -4*y + 4. Let a(l) = 6*l - 1. Let m be a(2). Let t = 6 - m. Is t at most y?
True
Suppose 0 = -u - 3*c - 9, 0*u - 3*u - 2*c = 6. Suppose 5*h - 3 = 2. Let w = h - u. Which is smaller: -1 or w?
-1
Let x(l) = l**2. Let w be x(3). Is -1/2 less than w?
True
Let a = -47 - -32. Let o be (-85)/a - 4/6. Suppose -5*w - o = 3*s, 1 = -w - 6*s + 2*s. Which is bigger: 2/7 or w?
2/7
Suppose -32*x = -28*x + 60. Are x and -15 unequal?
False
Let b = -24 + 17. Let k(y) = 31*y - 2 - 32*y - 3 - 1. Let j be k(b). Which is smaller: -1 or j?
-1
Let q be 0*((-14)/4 + 3). Let c = q - -1. Which is smaller: 2/3 or c?
2/3
Let x be (-130)/(-275) - 2/10. Which is smaller: 0.1 or x?
0.1
Let r be (-4)/2 + (-1 - -1). Let l be r/(-7) + (-90)/21. Is l less than -1?
True
Suppose -g + 5*g + 4*i = -16, 4*g + 7 = -i. Which is smaller: g or -2/41?
g
Let j = 0.093 + -0.043. Which is greater: j or 0.2?
0.2
Let t = 0 + -0.1. Let g = t - -0.2. Let z = 1.4 - 1.5. Is z at most g?
True
Let i(p) = p - 3. Let s be i(5). Let d be (-19)/(-5) + (-1)/(-5). Which is smaller: d or s?
s
Suppose -2*x - 5*d + 39 = -3*x, 5*x + 166 = -4*d. Is x at least as big as -34?
True
Let v = 4 + -1. Let d = -1 - -2. Let z = v - d. Do z and -1 have different values?
True
Let b be 2/(-4)*-2*1. Let f = -3/22 - -5/198. Is f not equal to b?
True
Let w = 21 - 30. Let h = -3 - w. Let c be 16/30*(-6)/(-8). Which is bigger: c or h?
h
Let v = -8 - -9. Is v at most 2/9?
False
Suppose -49 = 4*c - 205. Which is smaller: c or 40?
c
Let u(c) = c**3 + 8*c**2 + 5*c + 5. Let y(w) = w**2. Let h(j) = -u(j) + 3*y(j). Let a be h(-4). Is a smaller than 1/8?
True
Let b be -4 + (6 - 2)/(-2). Let s be 3/(-2) - (-3)/b. Let d be (1/(s/2))/5. Does d = 1?
False
Let z(x) = -x - 6. Let q be z(2). Which is bigger: -9 or q?
q
Let t be 3 - 15/(-110)*-21. Do 1 and t have different values?
True
Let h(a) = a + 14. Let b be h(13). Is 0.1 equal to b?
False
Let o(v) = v**3 + 3*v**2 - 2*v - 1. Let h be o(-3). Suppose 20 = -4*j, -c + h*j + 25 = c. Let n be 3/(-15) - 7/140. Which is smaller: n or c?
n
Let j(m) = -m**3 - m**2 - 2*m - 1. Let f be j(-1). Let b = f - 1. Let q(w) = w**2 + 3*w. Let o be q(-3). Is o equal to b?
True
Suppose y = -2*y - 3. Are y and -3 nonequal?
True
Let m = 14 + -14.1. Let a = m + 3.1. Which is smaller: a or -1/2?
-1/2
Suppose -5*g = -4*g - 18. Suppose -2*w - 3*a - g = 2*a, 2*w + 14 = -4*a. Is 2 at most as big as w?
False
Let a = -9 - -29. Suppose -4*j + a = j. Let m be (0/1 - 2) + j. Is 3 <= m?
False
Let l be (-6)/(-21) + (-40)/(-7). Suppose -d - l - 4 = -4*f, 3*f - 1 = 4*d. Let y = 3 - d. Which is bigger: -2/9 or y?
y
Let y be 12/(-48) - (-5)/4. Is y less than 7/20?
False
Let a be 435/(-20) + 1/(-4). Let i = 16 + a. Let k be (-9 + 0)*2/i. Which is bigger: 4 or k?
4
Let w(l) = -2*l**2 + 7*l - 9. Let a be w(3). Which is smaller: a or -5?
a
Let a(r) = r. Let i be a(-1). Let b = i - -3. Is 0 > b?
False
Let j = 4.9 + -2.85. Let b = 0.05 - j. Which is smaller: b or 3?
b
Let v(g) = 3*g + 35. Let r be v(-11). Let w be 0*(-1 - 6/(-4)). Is w >= r?
False
Let s = -11 - -9. Is -4/7 less than s?
False
Let x be 7/(1029/(-791)) - (-2)/3. Which is smaller: x or -4?
x
Let j = 3.5 + 0.5. Let m = 22 - 22.1. Which is smaller: m or j?
m
Let x(f) = -f**3 + 5*f**2 + 7*f - 3. Let m be x(6). Let v be -1 + (24/4)/m. Let g = -2.2 - -2. Which is smaller: g or v?
g
Let b(j) = -5*j + 2. Let m be b(1). Let a(o) = o**3 + 4*o**2 + 5*o + 3. Let x be a(m). Is x <= -3?
True
Let m(n) be the second derivative of n**4/6 - n**3/6 - n**2 - 6*n. Let u be m(-2). Is 8 at least as big as u?
True
Suppose 5 = 3*i + 4*b - 10, 2*i = -b + 5. Which is greater: i or -1?
i
Suppose 5*y + 0*y - 70 = 0. Let p = 10 - y. Let n be 36/(-14) - (-3)/(-7). Are p and n nonequal?
True
Let b = 0 - 0. Let x = b - -0.2. Suppose -157 = 10*m - 147. Is m greater than x?
False
Suppose -3*w - 5*o - 15 = 1, -3*w = -o - 14. Let t = -1 + w. Suppose 4*x - 3 = -t*l + 7*l, -4*x - 21 = 3*l. Are l and -4 nonequal?
True
Suppose -6*n = -25*n - 589. Is n less than or equal to -29?
True
Let a = 41 + -71. Let g be (-10)/a - 2/(-48). Which is bigger: -1 or g?
g
Let i(x) be the second derivative of x**3/3 + 4*x**2 + x. Let w be i(-7). Is w at least -6?
True
Let k = 5 + 0. Let n be -2 - (2 - k/2). Is -2 >= n?
False
Let y = -37120/1797 - 6/599. Which is smaller: y or -22?
-22
Let k be 0 - (-4 + 33/9). Is k at least 1?
False
Let r = -98 + 492/5. Let a = 16 - 15. Is a greater than r?
True
Suppose 0 = 2*c - 5*q + 15, 0 = -2*c + 3*q + q - 12. Let l be (-4)/(-14) - (-4)/(-7). Is c at least l?
True
Let w = 76 - 80. Is -4 at most as big as w?
True
Suppose -38 = y - 3*y. Suppose -3*p - y = -1. Is 2 < p?
False
Suppose 3*t - 4*a = -32, 1 = 3*t + 4*a - 7. Let v = t - -6. Let r(m) = m**3 - 3*m**2 - 3*m - 2. Let p be r(4). Is v >= p?
True
Let h = 3/41 - -37/615. Are h and 3/5 non-equal?
True
Let o(d) = -d + 9. Let q be o(7). Suppose -