*t + f. Let v be (-30)/t - 1/(-2). Is v < -1?
False
Let n(i) = i + 4. Let x be n(-2). Let l(f) = 3 + f + 0 - x - 2. Let v be l(-1). Is -3 < v?
True
Suppose 0 = -m - 4, -m = -3*s - 6*m - 8. Let u = 5 - s. Let j = -28 + 30. Is j >= u?
True
Let b be (11 + -8)/((-6)/(-16)). Let c be (2/b)/(6/(-8)). Is -0.09 at least c?
True
Let c be 2/7 - 4/14. Suppose m + d - 8 = 0, -3*d - 2 + 32 = 5*m. Let h = 1 - m. Which is smaller: h or c?
h
Suppose -2*k + 14 = 3*z - 3*k, -5*z = 3*k. Which is greater: 0 or z?
z
Let l = 0.9 + -1. Which is bigger: 9 or l?
9
Let d be 90/21 - 4/14. Let b be (15/(-4))/(d/(-2)). Is b less than 2?
True
Let b = 3.1 + -3.2. Which is bigger: -2/61 or b?
-2/61
Let w = -20 + 19. Let c be (-439)/14 - (-4)/8. Let s = c - -31. Which is smaller: w or s?
w
Let n = -36 - -38. Which is bigger: n or 9/7?
n
Let u be (0 + 3)*-1*93/9. Which is smaller: -32 or u?
-32
Let y = -238 - -2620/11. Suppose 4*m - 12 = -0*m. Suppose -t - 2*t = -m. Is y less than or equal to t?
True
Let c = 32 + -18. Let o = 14 - c. Let v = 143/42 + -23/6. Is o at most as big as v?
False
Suppose 2*i + 3*i = 15. Suppose 5*d - 6 = t + 5, i*d - 9 = 3*t. Let h = -1 + 2. Which is bigger: h or d?
d
Suppose -t = -3*j - 8 - 4, 3*t + j = 6. Suppose -y = 2 + t. Are y and -7 unequal?
True
Let q(t) = -t**2 - 4*t - 3. Let k be q(-4). Let y = 9 + k. Which is smaller: 1 or y?
1
Let m = 2 - -2. Let i be 1/m + 2/(-4). Is i >= 0.3?
False
Let d be ((-3)/14)/(90/35). Which is greater: d or -1?
d
Suppose -3*p + 6 = -p. Suppose 0 = 5*u + 5*n - 10, 3*n - 4*n = -u + 6. Suppose u*x - 2 = 6. Which is smaller: x or p?
x
Let l = 173/6 + -29. Is -0.1 at least as big as l?
True
Let a = 3139939/1470 - 21357/10. Let o = -1/49 - a. Which is bigger: 4 or o?
4
Let x be 5 + (-6)/2 - -3. Let b(r) = -x + 0 - 3*r + 2*r. Let g be b(-13). Is 9 >= g?
True
Let r = 17/3 - 11/2. Which is smaller: r or 1?
r
Suppose i = 3*d + 2, -4*i + 9*i + 4*d = -47. Is i not equal to -9?
True
Let i = 52 + -51.69. Is -1 not equal to i?
True
Let d = 81 - 79. Which is bigger: d or 0.2?
d
Let g be (-1 + (2 - 0))*0. Suppose q = -5 + 2. Let d be 0 + q + 72/21. Which is smaller: g or d?
g
Let h = -1 + 6. Suppose h*l = l. Suppose 4 - 2 = g. Do l and g have different values?
True
Let f be ((-2)/44)/(2/(-12)). Are 2/7 and f nonequal?
True
Let o be 0 + -2 + 5 + -2. Let p = -17 - 16. Let y = 100/3 + p. Is y greater than or equal to o?
False
Suppose 15*m - 12*m = -6. Is m greater than or equal to -1?
False
Let f = -28 - -12. Let s = f + 16. Is -2/55 greater than s?
False
Suppose -2*j = -4*j. Let m = 14 - 9. Let p be 13/3 + (m - 8). Which is bigger: p or j?
p
Suppose -2*a - 15 - 4 = b, 5*b = 4*a - 67. Which is smaller: b or -16?
-16
Let z = 0 - -0.03. Let m = z - 0.01. Let b = 0.12 - m. Which is smaller: 2/7 or b?
b
Let v(d) = d**3 + 2*d**2 - 3*d. Let x be v(-3). Let n(m) = 4*m**2 + 3*m + 3. Let y be n(-4). Let j = -387/7 + y. Which is smaller: j or x?
j
Let l = 3 - -1. Let c = -6 + l. Let v(p) = 2*p**2 - 24*p + 2. Let r be v(12). Is c equal to r?
False
Let p be ((-2)/(-6))/((-2)/(-6)). Suppose 6*x - 4 = 4*x. Suppose x*i = 4*r - 0*i, -4*r = i. Do r and p have the same value?
False
Let z(w) = 10*w**2 + 22*w + 12. Let j(h) = -7*h**2 - 15*h - 8. Let m(c) = 7*j(c) + 5*z(c). Let k be m(-4). Which is smaller: -3/7 or k?
-3/7
Suppose -14 = -y - 5*d - 2, 0 = -4*d + 8. Which is smaller: y or 0?
0
Let k be 0/(3/((-6)/2)). Let n be (-7)/21*1/3. Is n > k?
False
Let p = -11 - -12. Let r = -0.06 - -2.06. Which is smaller: p or r?
p
Suppose 4*w = w. Let m be 1491/42 - -3*1. Let c = m + -39. Is c less than w?
True
Let x = 0.4 - 0.5. Are 3 and x non-equal?
True
Suppose t = 102 + 54. Let a = -472/3 + t. Suppose 4*z + z = 0. Is a at most as big as z?
True
Let a = -14 + 8. Let d be 4/a + 3/(-9). Let s(f) = f - 1. Let i be s(d). Are -1 and i equal?
False
Let y = 17 + -16.4. Let q = 0.39 + 0.01. Let h = y + q. Is h > -0.3?
True
Suppose -4*m + 4*c = c - 5, 0 = m + c - 3. Is 9 < m?
False
Suppose 0 = -0*p - p - 2. Is -3 at most p?
True
Let g be (-2 - 4)/(1/1). Let v(k) = -2*k - 5. Let r be v(g). Is 7 >= r?
True
Let g = -2 + 1. Let w = 2 + g. Let h be (-2)/w + (-1 - -3). Do 0 and h have different values?
False
Let x = 0.22 + -14.22. Let p = 13 + x. Which is smaller: p or 4/5?
p
Let n = -6.2 - -6.3. Is 4 smaller than n?
False
Let l(j) = -j**3 + 6*j**2 - 4*j + 2. Let t be l(6). Let m = 21 + t. Which is greater: m or 0?
0
Let l(n) = n**3 - 2*n**2 - 7*n - 2. Let r be l(4). Suppose r*h = h. Which is greater: h or -3?
h
Let b be -4*(-3)/12*-3 + 2. Is -4/21 > b?
True
Let l(n) = -n. Let p(a) = a**2 - 8*a - 1. Let b be p(8). Let g be l(b). Suppose -j - g = 2*v + 1, 8 = 5*v - 4*j. Which is smaller: v or -1?
-1
Let r(z) = z**2 - 6*z + 2. Let i be r(6). Suppose u - i = -4. Is u > -6/7?
False
Let p(b) = b**2 - 11*b - 40. Let o be p(14). Which is bigger: o or 4?
4
Let n be (-2)/8 - (-13)/12. Let l(h) = 12*h**2 - 1. Let x be l(1). Let m = -9 + x. Which is greater: n or m?
m
Let a = 18.99 - 19. Which is greater: -2 or a?
a
Let t = 5 + -4.9. Is t not equal to -1/8?
True
Let t = 0.07 - -0.03. Is 3 > t?
True
Let o = -222/7 + 32. Which is smaller: o or 1/30?
1/30
Suppose -2*r - 14 = -0*r. Which is smaller: r or -3?
r
Let l = -52 + 52. Which is bigger: l or 2/17?
2/17
Let y be 66/(-10) + 14/(-35). Let m(t) = -2*t - 2. Let c be (-3)/(-6)*(4 - 0). Let k be m(c). Which is bigger: k or y?
k
Let a = -12 + 6. Are a and -8 nonequal?
True
Let x(r) = -3 - 8 + 3 - r. Let q be x(-6). Is -2 <= q?
True
Suppose -6*d = -2*d - 12. Suppose d*s + 2 = -4. Let p = -4 - -3. Is p bigger than s?
True
Let x = 20660/7 - 2963. Let b = 12 + x. Which is smaller: b or 1?
b
Let h be -4*(31/(-10) + 3)*70. Which is bigger: 27 or h?
h
Let k be (6 - (-3 + 4))/1. Suppose k = -5*q - 0*q. Which is greater: 0 or q?
0
Let j = -3.1 - -0.8. Let z = j + 0.3. Let r = 2 + z. Which is smaller: 0.1 or r?
r
Let r(n) = -n + 1. Let w be r(1). Let t(s) = -s**2 + 2*s + 3. Suppose 4*p - 3*p - 3 = 0. Let g be t(p). Is w at most as big as g?
True
Suppose -7*h + h + 18 = 0. Let g be (-3)/3 + h + -1. Which is greater: 2 or g?
2
Let m(b) = b**2 - 7*b + 1. Let s be m(7). Which is greater: s or 3/13?
s
Let t be 4/(274*(2 - 1)). Which is smaller: t or 1?
t
Let d = -5 + 8. Let b be (-30)/6 - 6/(-2). Let f = d + b. Is 1 bigger than f?
False
Let s(g) = -g**3 - 3*g**2 + 4*g - 3. Let k = 4 + -8. Let d be s(k). Are -2 and d nonequal?
True
Suppose l + l + 2 = 0. Let f = -6/187 - -596/6919. Which is bigger: f or l?
f
Suppose -4*d = -0*d - 8. Let o be (-128)/252 - d/(-7). Are o and -1 unequal?
True
Let c = -7 + 12. Let y = c - -3. Let t = y + -7.97. Is t != 1?
True
Let u = 44 + -44.48. Is 0 greater than or equal to u?
True
Let h = 8.2 - 7. Let v = h - 1. Let i = v - 1.2. Do i and 0.1 have different values?
True
Let m = -33 - -33. Let z be 0 + 16/(-18) + 1. Which is bigger: z or m?
z
Let a be -7 + -3 - (-1 - 2). Let q be a/(-35) - 2/5. Let y(o) = -o**2 + 2*o + 3. Let s be y(3). Which is bigger: q or s?
s
Suppose -x + 27 + 13 = 0. Let v be (-3)/6 + 4/x. Is -1 != v?
True
Let o = 4 - 1. Let j be 2 + (-2 - 1/o). Which is smaller: 2/5 or j?
j
Suppose -3*f - 3*m - 6 = 0, -f + 3*m + 12 = 2*f. Let t = -913/2553 - -22/111. Let s = t + -4/23. Is s less than f?
True
Let o = -1.1 - 18.9. Is -1/5 >= o?
True
Let z(r) = -r**3 + 2*r**2 + 3*r + 2. Let s be z(3). Suppose -s*j - 5 = -15. Which is greater: j or 4?
j
Let z(h) = 2*h - 9. Let t be z(6). Suppose 0*n + n - 4 = 0, -5*s + n + 46 = 0. Suppose -2*m - t*v + 27 = 2*v, -5*m = -3*v + s. Is m < 1?
False
Let w = -55 + 60. Which is greater: w or -0.4?
w
Let o be (-65)/(-7) - 12/42. Which is smaller: o or 10?
o
Let c be 15/(1 + 2)*-5. Let a = 26 + c. Is a smaller than 0?
False
Let l = 1 + 1. Suppose 4*b + l*t - 6 = 0, 4*b - 4*t = 6*b - 6. Let m = -5 + 6. Is b greater than m?
False
Let c(t) be the third derivative of -1/6*t**4 + 1/60*t**5 + t**2 - 1/6*t**3 + 0 + 0*t. Let d be c(4). Which is greater: d or -3/7?
-3/7
Let c(j) = -j - 8. Let y be c(-8). Let r be 3/5*5/7. Which is smaller: r or y?
y
Let u be ((-4)/(-25))/(2/(-5)). Let f(o) = o**3 + 8*o**2 + 8*o + 8. Let i be f(-7). Is u less than i?
True
Suppose -6*z = -4*m - 2*z + 12, 5 = 3*m - 2*z. Which is smaller: 4/17 or m?
m
Let t be 1/4 - (4413/(-924) + 5). Is t at most as big 