t s be 2/(-8) - c/(-12). Let h = 14 + -13.7. Is h greater than s?
False
Let f = 176/15 + -34/3. Let y = 0.3 - 9.3. Is f != y?
True
Let m = -13 - -23. Suppose 0 = -k - 2*q - m, q + 16 = -2*k - 2*q. Is -4 at least as big as k?
False
Let w be 6/9*(-6)/4. Let q = -6 - -7. Which is smaller: q or w?
w
Suppose -4*n - 2*n = -8*n. Is 6/7 smaller than n?
False
Let v = -14 + 8. Let f(h) = h**3 + 6*h**2 - 2*h - 7. Let a be f(v). Is 7 <= a?
False
Suppose -2*g = 4*g + 6. Is 0 at least g?
True
Let m = -9/380 - 10541/4180. Is -3 less than or equal to m?
True
Let g be (-4)/42 - (-176)/966. Which is bigger: -2/3 or g?
g
Let t = -8 - -9. Let f = 5 + -7. Which is smaller: f or t?
f
Let q be (-10)/55 + (-136)/(-22). Let t be (-3)/q + (-2)/(-36). Is 1 bigger than t?
True
Suppose 3*x + 7 = 5*m, -4*x - 4 - 2 = -5*m. Is x bigger than 4?
False
Suppose 0*d + d = -u + 12, 4*d - 32 = 4*u. Suppose 5*i = -v - d, -5*v + 4*v = -i + 10. Let n = v - -9. Is 0 at least as big as n?
True
Let g(v) = v**2. Let n be g(1). Let x = -33 - -67/2. Which is bigger: n or x?
n
Let x be 34205/(-45) + 1/1. Let d = x + 758. Let k = 29/18 + d. Is k <= 2?
True
Let n be -3 - (15/2)/(-3). Suppose 5*g - 4*b + 1 - 5 = 0, -3*g = -3*b - 3. Is g at least as big as n?
True
Suppose -2*v + 25 = 5*m, -v + 6 + 2 = m. Let t be (1 + 1)*1*m. Suppose w + 2 = 5*a + 2*w, 3*a = -3*w - t. Are 1/6 and a nonequal?
True
Let n = -115.4 + 130. Let k = n - 14. Are k and -0.1 equal?
False
Let t = 29 + -30.9. Let v = t + 1.6. Is 1 greater than or equal to v?
True
Let n = -1102 + 9931/9. Let f = n + 7/18. Let c = f - 3/2. Which is bigger: -1 or c?
c
Let m = -6.8 - -5. Let a = m + 2. Let i = 7.2 + -7. Is a >= i?
True
Let a(y) be the second derivative of y**4/12 + 3*y**3/2 + 11*y**2/2 + 6*y. Let x be a(-6). Is -6 less than x?
False
Let b = -2.9 - 0.1. Let y = b + 3.2. Let k be -1 - 25/(-30) - (-3)/6. Which is smaller: y or k?
y
Let x = 6 - 4. Let y = 0.2 + -1.2. Let o = x + y. Which is smaller: o or -0.1?
-0.1
Suppose -4 = -18*o + 16*o. Does 18/25 = o?
False
Let n(f) = -f**2 - 3*f - 6. Let h be n(-5). Which is smaller: -17 or h?
-17
Suppose -12*f + 232 = 640. Which is smaller: -35 or f?
-35
Let p be (2/(-4))/(4/24). Let g be (1 + -2)*(4 + p). Which is smaller: 1/6 or g?
g
Let h be ((-18)/(-18))/(2/(-66)). Which is bigger: -0.1 or h?
-0.1
Let p = -0.81 - 5.79. Let u = -2.6 - p. Which is smaller: u or 0.1?
0.1
Let m = 0.3 + -0.26. Let c = m + 4.96. Let a = c + -3. Is a not equal to -0.1?
True
Let i = 1.42 - -0.08. Let l = 9.5 - i. Which is smaller: l or -1?
-1
Let f(g) = g + g - 3 + 2 - 5*g**3. Let c be f(1). Let n be (-1)/(-7)*(1 + c). Is n > 0?
False
Let f(p) = p - 6. Let q be f(8). Suppose 20 - q = 6*h. Which is greater: 0.01 or h?
h
Suppose 0 = 4*y - y + 15. Let x = -100/3 - -34. Which is smaller: y or x?
y
Let t be (-45 + -13)/((-4)/2). Are t and 28 equal?
False
Suppose -9 = -3*n - 27. Which is smaller: -7 or n?
-7
Let i(n) = -n**2 - 24*n - 20. Let v be i(-18). Do v and 87 have different values?
True
Suppose 3*h - 5*h + i = -3, -5*i = -2*h + 7. Which is greater: h or 10/19?
h
Suppose 5*r = -5*p, -2*r + 3 = -r + 2*p. Let q = 42 - 44. Which is bigger: q or r?
q
Suppose -5 = 3*a - 2. Which is greater: -7 or a?
a
Let x be (-2)/(-8) + 8/(-32). Which is smaller: x or -1/9?
-1/9
Let k(v) = 15*v - 8. Let p be k(-8). Let a = p - -1402/11. Let y = a - -23/22. Is y at most as big as 3?
True
Suppose 5*j + l - 4 = -0*j, 0 = 5*j - 5*l - 10. Is j bigger than 2/111?
True
Let s = -57.2 - -57. Which is smaller: 13 or s?
s
Let k be (23/3 - -1) + 22/(-33). Do -4 and k have the same value?
False
Let b be (-10)/(-15) - (-2)/(-3). Suppose l + 3 - 1 = b. Which is smaller: -5 or l?
-5
Let f = 5 + -4.1. Let o = f - 0.7. Which is smaller: o or 5?
o
Let h = -661/4 - -166. Let x(l) = -l**3 + 2*l + 1. Let k be x(-1). Suppose k = 5*a - 3 - 7. Is a greater than h?
True
Let o = 305/3 + -167/6. Let q = o - 73. Which is smaller: q or 1?
q
Let r = -737.07 + 732. Let n = r + 5. Let v = n - -0.47. Is 0 < v?
True
Let v = -1 + 5. Let m = v - 3. Which is smaller: 2/7 or m?
2/7
Let v be 4/(-10) - (-21)/15. Let h be (-2)/(v - -1)*2. Let a be -1*(-1)/(-1)*3. Which is smaller: a or h?
a
Let n = 0.1 - 0.1. Let m = 9 - 7. Is m < n?
False
Let k be (-2)/9 + (-62)/(-270). Let o = 142/945 - k. Let c = -4 + 3. Which is bigger: c or o?
o
Let i be -2 - (0 + 3 - 91/19). Which is smaller: i or 1?
i
Let r be (-1)/(-4) - (-22)/(-24). Suppose -3*j + 3 = -6*j. Let q be j*2*7/(-56). Which is greater: r or q?
q
Let b(x) = x**3 + 4*x**2 - 3*x + 3. Let o be b(-5). Let l be (-22)/28 + (-2)/o. Is 0 equal to l?
False
Let k be 94/(-2)*1/(-1). Is k < 47?
False
Suppose 4*w = -0*w. Let r(x) = -x**2 + x. Let l be r(w). Which is smaller: l or -1?
-1
Suppose d + 0*w + 13 = 4*w, 0 = 5*d + w - 19. Suppose j + 4*z = -0*z + 16, 0 = 4*j - 2*z + 8. Let u be (-6)/(-1) - (3 - j). Is d >= u?
True
Let d be (-1 - 0)*(1 - -1). Let m be (2/(-3))/(d/3). Is -2/9 bigger than m?
False
Let h = 22 + -10. Which is smaller: 0 or h?
0
Let q be 8/6 + 21/(-7). Let i = 5 + -6. Is q != i?
True
Suppose 0*m - 1 = -m. Let j = -48819348906/100895 + 2419314/5. Let h = j - 2/1187. Is h > m?
False
Let j = -6 + 9. Let x be ((-1)/j)/(14/12). Which is smaller: x or 0?
x
Let i = 1666/15 + -111. Let s be (-19 - -17)*(-2)/(-4). Which is smaller: i or s?
s
Suppose 3*i - 24 = 2*n - 11, n = -4*i - 1. Which is greater: n or 2/9?
2/9
Let l be 8/(-18)*(-237)/(-62). Let g = l - -2450/31. Let p = g - 78. Is 0 smaller than p?
False
Let p = 35.36 - -7.54. Let v = p - 45. Which is smaller: 0 or v?
v
Let j = -24151/4 + 167625/28. Let q = j + 52. Is q >= 2?
False
Let z = -0.13 - 0.27. Which is greater: -0.3 or z?
-0.3
Let r = 149 - 148. Which is smaller: -3/28 or r?
-3/28
Let l(j) = -2*j - 4. Let c be l(-4). Suppose c*k - k - a = 16, -4*a - 24 = -2*k. Which is smaller: k or 5?
k
Suppose f + 0*f - 14 = -4*s, 5*f - 13 = -s. Let t be (-1 + s/6)*2. Which is smaller: t or 2/11?
t
Suppose 2*r - 4*m = -20, 0 = 4*r - 5*m + 18 + 7. Suppose r = -x - 0*x. Which is greater: x or 4?
4
Let j be 1/6 + (-2275)/78. Are j and -2/3 non-equal?
True
Let r be 2/1*63/18. Suppose k + 48 = r*k. Do 9 and k have different values?
True
Suppose 5*h - 27 = -7. Suppose 3*o - q + 12 = 0, 5*o - h*q - q + 10 = 0. Let m = 8 + -12. Which is smaller: o or m?
o
Let p = 4 + -9. Let t = p - -5. Is t greater than or equal to 0?
True
Let p = -5 - 19. Let a(g) = -g**2 + g + 7. Let u be a(-5). Which is greater: p or u?
u
Let m(j) = -j**3 + 5*j**2 - 3*j. Let z(t) = -t**2 + 8*t - 3. Let d be z(7). Let q be m(d). Suppose -3 = q*w + 1. Do w and -2/9 have different values?
True
Let b be (-5)/(-4)*4*2. Is b smaller than 10?
False
Let a be -6 + 5 + 1 + 1. Suppose 3*m - a = 5. Let q be (-4)/6 + 0 + 2. Which is smaller: m or q?
q
Let q = -6441528 + 9971484991/1548. Let i be (-1)/(-215)*10/8. Let g = i + q. Is g equal to 0?
False
Let k = -0.15 + -0.05. Is -0.06 at least as big as k?
True
Let o = 24 + -12. Let r be 58/44 + o/(-8). Let b(j) = j**3 + 7*j**2 - 1. Let g be b(-7). Is r <= g?
False
Suppose 0 = 3*v + 2*v - 10. Suppose 9*o - 4*o = 3*y - 25, -4*o = -2*y + 20. Suppose y = -d + 3*d + 5*w - 12, 0 = 4*d - 5*w + 6. Is v greater than d?
True
Let q be 2 - ((2 - 0) + 0). Suppose -2*n - 3*n + 5 = q. Let m = n - -4. Is 5 <= m?
True
Let h be (4/6)/(4/(-374)). Let b = h + 63. Let j = 5 + -3. Which is smaller: b or j?
b
Suppose 3*j = 10*j - 98. Suppose 5*n + 1 = 71. Is j at most as big as n?
True
Suppose 0 = -10*l + 4*l - 102. Which is greater: -18 or l?
l
Let v(d) be the third derivative of d**6/60 - d**5/30 - d**4/24 + 3*d**2. Let q be v(2). Suppose -z - q = 5*o - o, -1 = 5*o - 2*z. Which is smaller: 5 or o?
o
Let f(k) be the second derivative of k**5/20 - k**4/2 - k**3/6 + 3*k**2/2 - 2*k. Let h be 7 + 2/((-4)/2). Let j be f(h). Which is smaller: -7/2 or j?
-7/2
Let b = -19 + 9. Let r be 2/(-5) + 11/b. Let a(v) = -2*v**2 + 11*v - 7. Let k be a(5). Which is smaller: k or r?
k
Let z be 2/(-8) + 26/8. Let w = 1.08 + 0.02. Let i = w + -1. Are i and z equal?
False
Let p = -0.13 + 0.33. Which is smaller: p or 5/4?
p
Suppose 2*j + 7 = 27. Let i be (-2)/j + (-5)/(-25). Is i < 0?
False
Suppose 2*n = 4*n - 5*u + 9, 5*n + 57 = u. Do -9 and n have the same value?
False
Let c be (2/4)/((-6)/12). Let i be (2 + c)