5 = 6*d - d. Let v be l*1 - (d + 8). Is 3 bigger than v?
False
Let d = -38 + 38. Is d >= 1/41?
False
Let p be -1*(-3 + 9 + -5). Let k = 2/157 - 171/1099. Are p and k nonequal?
True
Let v = 9 + -6. Suppose 0 = v*q - 2*q. Let a be (q + 0/(-1))/2. Is a <= 2?
True
Let l = 0.9 - 0.4. Let v = l - 0.2. Is 0 not equal to v?
True
Suppose 4*p = 3 - 23. Let x = p - -5. Which is smaller: 2/9 or x?
x
Let k be (-196)/(-135) - 2 - 0. Let d be ((-1)/54)/((-2)/(-16)). Let n = d - k. Which is smaller: -1 or n?
-1
Suppose -2*y = 10 + 70. Let w be (-18)/y - (-12)/(-60). Is -1 > w?
False
Let h be (4/(-42))/(2/(-9)). Is h less than or equal to -1?
False
Let k be (-63)/(-28) + 2 + 0. Which is smaller: k or 5?
k
Let k be 3/(-9) - 38/(-6). Which is smaller: k or 9?
k
Let h(m) = 10*m - 41. Let p be h(7). Which is greater: 89/3 or p?
89/3
Let j = -8 - -11. Suppose d - 126 = -y - j*y, 153 = 5*y - d. Let n = -94/3 + y. Which is bigger: -5 or n?
n
Let m(q) = q**2 - 2*q. Let u be m(4). Suppose -k + u = k. Let v(l) = l**3 - 2*l**2 + 2. Let b be v(2). Which is smaller: k or b?
b
Let v = 0.03 + -5.03. Let x = 5.1 - 0.1. Let q = x + v. Are 0 and q nonequal?
False
Let j = 2/3 - 1/3. Suppose -2*s = -s. Is s greater than or equal to j?
False
Let p = 0.161 + 0.039. Do p and -2 have different values?
True
Let n be -5 + 6/(-4)*96/(-36). Is n not equal to 8/21?
True
Let d(h) be the second derivative of -h**3/3 + 6*h**2 - 5*h. Let v be d(6). Let l be 2/6 - (-1)/(-1). Which is smaller: l or v?
l
Let c = -0.08 - -3.08. Let w = c - 1. Is w at most 2?
True
Let x be 1/4*-1*-4. Let o = 1/19 + -45/133. Which is smaller: o or x?
o
Let x = -1.46 + -0.59. Let k = -0.05 - x. Let q = -1 + k. Is -2 bigger than q?
False
Suppose -20*k = -23*k + 42. Which is smaller: 13 or k?
13
Suppose 4*j = 2*j. Let z = -1 + -7. Let r = -7 - z. Is r at least as big as j?
True
Let k be 34/(-85) + 4/5. Is 0.12 bigger than k?
False
Let r = -397649/153 - -2599. Let d = 163/765 + r. Let g be 6 - 520/90 - (-28)/(-45). Are d and g equal?
False
Let j = 16 - 11. Let h = 1/33 + 7/11. Which is greater: j or h?
j
Let p be 24/22 + (6 - 7). Which is bigger: -1 or p?
p
Let k = 0 + -0.1. Let r = 141/365 - -1/73. Which is greater: r or k?
r
Suppose 14*c = 12*c - 48. Let b be (2/4)/((-84)/c). Which is smaller: -0.2 or b?
-0.2
Suppose 0 = -z + 1, -4*z + 3*z = -3*q + 38. Is q at least 37/3?
True
Let m = 3 - 4. Let l = 7.6 - 1.6. Let t = 9 - l. Which is smaller: m or t?
m
Let a(k) = 6 - 4 - 5*k + 2*k - k**3 + k**2. Let v be a(2). Is v greater than -7?
False
Let k(x) = x**3 + 14*x**2 + 11*x - 15. Let r be k(-13). Let d = r - 32/3. Let y = 0.2 + -0.3. Which is smaller: y or d?
y
Let k(n) = -n**2 - 11*n + 3. Let q be k(-8). Suppose -2*r + 5*r - q = 0. Suppose -5*z - 6 = r. Is z <= -2?
True
Let i = -50 + 24. Let p be -5*(1 + i/30). Is p >= -2?
True
Let t(l) = -l**3 - 3*l**2 + 3*l - 2. Let z be t(-4). Is 2 smaller than z?
False
Let o be 14/3 + 2/6. Suppose -3*m + o = -5*a - 6, 5 = 2*m - a. Let h be (m - 5)/(6/4). Is h greater than or equal to 2/7?
False
Let z = 5.4 - 6. Let t = -0.5 - z. Which is smaller: t or -4?
-4
Let c = 18 + -9. Let i = c + -8.92. Is 2/7 at least as big as i?
True
Let v = 10 - -9. Let a = -16 + v. Is 1/4 greater than or equal to a?
False
Suppose g = -4*g - 45. Let f be 1*(g - 6/3). Is f smaller than -12?
False
Let b(r) = -63*r**3 + r**2 + r - 1. Let u be b(1). Let a = u - -308/5. Which is smaller: 0 or a?
a
Let q = -253/3 - -85. Is -2/29 not equal to q?
True
Let v be 1 - 1/(-2)*15. Let t = v - 9. Let j(c) = c**2 - 7*c + 4. Let x be j(6). Which is bigger: t or x?
t
Let n = -41 - -40.9. Which is smaller: n or 63?
n
Let j = 77 + -103. Is j >= -27?
True
Suppose 5*x + 10 = 0, 2*v - 6*x - 2 = -4*x. Let l = -1 - v. Is l greater than or equal to -3/14?
True
Let m = 901/2622 - 11/69. Let w = m - -6/19. Is w at least 0.1?
True
Let d = 1 + 1. Let r = 6 - 5. Let m = -1 + r. Which is greater: d or m?
d
Let m = 156.14 - 156. Which is smaller: 0.3 or m?
m
Suppose -3*n = -5*n. Let q be (-45)/(-12)*6/(-105). Is q >= n?
False
Suppose -q - 1 = -2*l, 2*l - 2 + 5 = 5*q. Let i = 1/20 + 27/260. Is i smaller than l?
True
Let d = 16 + -10. Let b be 1552/d - 2/3. Let c = b - 1802/7. Which is greater: c or 1?
1
Suppose 0 = 3*l + 2*l + 135. Let h = 107/4 + l. Let a = -8 - -8. Which is greater: a or h?
a
Let d(n) = n**2 - 4*n + 2. Let m be d(4). Suppose 5 = -m*l - 7. Let u = 3 + l. Which is bigger: u or -3/2?
-3/2
Let f be (-3)/(-4)*(-4 - 0). Which is greater: f or -2?
-2
Let g = -0.1 - 0. Let x = 1/2 + -1. Which is smaller: x or g?
x
Let g = 49/75 + 1/75. Let n be 5/3 + 2/6. Is g bigger than n?
False
Let w = -16/3 + 49/9. Suppose -3*n - 2*n + 20 = 0. Suppose -p + n*p - 6 = 0. Which is smaller: p or w?
w
Let z(y) = -11*y**2 + 4*y - 7. Let c(b) = 4*b**2 - b + 2. Let l(k) = -8*c(k) - 3*z(k). Let t be l(2). Is 8 greater than or equal to t?
True
Suppose 3*o + 5*j - 5 = -2*o, 4 = 4*o - 4*j. Which is bigger: o or 7?
7
Let j be (-9)/(-3) - (-5721)/(-1914). Let a = j + 1/29. Is 1 at most as big as a?
False
Suppose 0 = -0*d - 3*d - 3, 4*j - d - 1 = 0. Let k = -26/435 + 12/145. Let w = k - -56/87. Is j != w?
True
Let i = -1.882 + -0.118. Is -2/3 > i?
True
Let l = -2483/744 + -7/186. Is -3 at least as big as l?
True
Suppose 4*y = -8*w + 3*w - 17, -3*y + 3*w = 6. Let k be 8/(1 - y) - -2. Let d(m) = m**3 + 4*m**2 - m. Let j be d(-4). Is k at most j?
True
Let z = -147 + 143. Which is bigger: z or 6?
6
Let l = 2 - -3. Suppose 3*d - 9 = -6*r + 2*r, -l*d = -2*r + 11. Let g be r/27*6/5. Is g > -1?
True
Suppose 0 = -3*u - u + 432. Let t = 1187/11 - u. Are 0 and t equal?
False
Let q be 44/7 - 2/7. Suppose 4*u + 2 = -q. Which is smaller: u or -3?
-3
Let v be -2*(0 + -2*1). Suppose -3*c = -v*c + 1. Let y = -15 - -17. Does c = y?
False
Let u = 17 + -17. Let h = 5.8 + -6. Is h at least u?
False
Let i = -5817/85 - -341/5. Which is smaller: i or 0.1?
i
Let h(a) = -2*a**2 - 19*a - 7. Suppose -d - 2 + 5 = 0. Let s(k) = k**2 + 9*k + 3. Let n(t) = d*h(t) + 7*s(t). Let x be n(-6). Is x greater than or equal to 1?
False
Let o be 23/5 + 12/30. Let j = 0.88 + 0.12. Is j less than o?
True
Let b = -7 - -12. Suppose -4*m = -1 + b. Is -1 <= m?
True
Let t be (-444)/(-56) + (-3)/7. Which is smaller: t or 9?
t
Let d = -25070/61 + 411. Which is greater: d or 0?
d
Let k = -245 + 12003/49. Suppose -2*v - 2*s + 12 = 0, 10*v - 5*v + 3*s - 20 = 0. Is v < k?
False
Suppose -2*t - t = 3. Let n be t + 58/4 + -1. Let p = -181/14 + n. Which is smaller: p or 1?
p
Suppose 0*p - 4*p = -2*k + 8, -5*k - p = 2. Let m be (-9)/(-36) - k/2. Is m < -0.2?
False
Let x(a) = a + 11. Let o be x(-7). Let t = 83/30 - 4/15. Is t at most as big as o?
True
Let f = 2/1343 + 8044/9401. Is 1 at most f?
False
Let l(i) = 2*i**2 - 23*i + 7. Let y be l(11). Is y greater than -34/7?
True
Let k = -2 - -8. Which is smaller: 7 or k?
k
Let o = 17/14 - 3/2. Is o < -3/4?
False
Let k(w) = 14*w + 32. Let q be k(-3). Do q and 0.5 have different values?
True
Suppose n + 1 = 5. Let z be (5 - 3 - n)*2. Let c be 3/(10/z - -1). Which is smaller: c or -3?
-3
Let h be 6/(-10) + (-14)/35. Let l = 1 - h. Suppose 2*c - q - 2 = 0, -5*c - q + l + 3 = 0. Is c greater than or equal to 1?
True
Suppose 0 = 3*v - 2*v. Let n = -16.4 - -25. Let m = -3.6 + n. Is m not equal to v?
True
Let g(m) = -m**3 - 10*m**2 - m - 6. Let p be g(-10). Suppose -3*x + 5*x = -4, -5*x = p*f + 2. Do f and 0 have different values?
True
Let u(l) = -l**2 + 4*l + 1. Let k be u(4). Let h(p) = 2*p**3 + p**2 + p - 1. Let v be h(k). Let g be (3/(-2))/(v/6). Is -3 at most as big as g?
True
Let x = 0.055 + 1.965. Let j = -0.98 - -1. Let u = j - x. Is -1 smaller than u?
False
Suppose -h = 8 + 10. Let b = h - -18. Is 0 smaller than b?
False
Let u be 45/3*(-2)/(-3). Suppose 4*h + 4 + 18 = b, -b + h = -u. Let i be (-1)/3 - (-14)/b. Is i > 1?
True
Let v be -3*(-2)/12*6. Which is bigger: 21/5 or v?
21/5
Let b be -6 + 4 + (0 - -5). Suppose 25 = -b*p - 2*p. Is p not equal to -3?
True
Suppose 5*u = 3 + 2. Let z = 6 + u. Suppose -5*w + 4*j - 3 = 0, 0 = 3*w - z*w - 4*j + 12. Is w >= 1?
True
Let h be 2/((21/(-6))/(-7)). Let n be (h/(-35))/(6/(-7)). Is n at least 1?
False
Let w = -21/8 + 1/8. Let v(s) = 4*s + 13. Let g be v(-4). Is w smaller than g?
False
Let s be (-6)/4*(-10)/(-15). Let l be 