v - 4*z + 20. Let l(p) = p**2 - 12*p + 5. Let h be l(12). Suppose 0 = 2*d + h*d. Is v not equal to d?
False
Let p = 3 - 6. Let i be p/9 + 22/6. Is i <= 2?
False
Let m = 0.01 + -2.01. Let x = 0.05 + -1.15. Let a = -1 - x. Is m greater than or equal to a?
False
Let h = 838/7 + -120. Are h and 0 equal?
False
Let q = -8/545 - -10581/545. Let i = q + -19. Does i = 6?
False
Suppose -2*q - 697 = -109. Let f = -182 - q. Let w = -1230/11 + f. Which is smaller: w or 1?
w
Let h = -2.95 + -0.05. Let g = 0.065 + 0.235. Is h bigger than g?
False
Let t be (-2 + 1)*0 - 4. Let h = t - -10. Let r be (-4)/h - 20/(-39). Which is greater: r or -1?
r
Let q = -1.05 + 0.05. Suppose 23 = -3*b + 5*b - 5*w, b = 3*w + 13. Let y be 7/b + 12/(-8). Is y greater than q?
True
Let j = -2.26 + -0.34. Let i = 0 - -0.4. Let g = i - j. Is g >= 0?
True
Let j = -59/105 + 3/7. Which is bigger: -1 or j?
j
Let m(a) = a - 1. Let p be m(-2). Let r be (1 + -1)/(p - -1). Is r bigger than -2/9?
True
Let b = -15/104 + 3737/27352. Which is bigger: 1 or b?
1
Suppose 2*q = 4*q - 18. Are q and 10 unequal?
True
Let q be (-9)/(-84)*(-5 + 3). Which is greater: q or -1?
q
Let l be (-8)/(-126) + 2/9. Let q = 17 - 16. Is q >= l?
True
Suppose 3*v + v - 41 = -d, 0 = -3*d + 3*v + 108. Let q = -149/4 + d. Let r(w) = w**2 - 3*w + 1. Let a be r(3). Which is bigger: a or q?
a
Let h = -15 + 61/4. Let y = 1 + -0.7. Let i = y - 1.3. Are i and h nonequal?
True
Let g = -54693812/133 + 411228. Let d = -22/7 - g. Let i = d + 8/57. Is 0 <= i?
True
Suppose 3*w = -3*x - 369963, -5*w + 4*x - 447544 = 169088. Let q = w + 1725819/14. Let u = q - -103/2. Which is smaller: u or 2/3?
u
Suppose 3*v - 5*z - 3 = -22, -4 = v - 4*z. Which is smaller: v or -25/3?
-25/3
Let u = -257/15 - -17. Which is smaller: -1 or u?
-1
Let w = -2 + 5. Let q = w - 6. Is q smaller than -4?
False
Let x = 110 - 110.41. Is x equal to -2?
False
Let g be 911/3*(-1)/3. Let a = g - -101. Does a = 1?
False
Let x = -1.02 - -1.2. Let r = x + 0.02. Let d be (-1)/((3 + 1)/8). Which is smaller: d or r?
d
Let k = -4.9 + 5. Is 1.19 smaller than k?
False
Suppose 3*p + 2 = -7. Let t be 2/p*(-18)/8. Which is bigger: 3 or t?
3
Suppose 36 = -8*n - 36. Which is smaller: n or -42/5?
n
Let c(m) = m**2 + 11*m + 8. Let k be c(-8). Let w be k/10 + 6/(-15). Which is greater: w or -3?
w
Let f be 2/2 + 27 + 0. Which is greater: f or 27?
f
Suppose -5 = 3*c + 4*f, -8*c - 2*f - 13 = -3*c. Let l = 23 + -4. Suppose 2*s - 5*w + 5 = -6, -l = 5*s - 4*w. Is c <= s?
True
Let v be (-1)/3*-1*3. Let r be ((-20)/16 - -2)*4. Suppose -r*f + 7*f = 0. Which is greater: v or f?
v
Suppose 1 = -2*r - 3. Are -5/8 and r equal?
False
Let g be (-2)/4 + 11/(-2). Let b be (1/3)/(1/g). Is b > -4?
True
Let l = -2.7 + 7. Let y = l + 2.7. Let d = -1/31 + -27/124. Does d = y?
False
Let c = 0.02 + -0.04. Let i = -5.98 + c. Let l = -5.7 - i. Which is smaller: l or 1/3?
l
Let m be 37 - (-3 + 4)*1. Let c be m/2*(-1)/(-3). Which is smaller: 5 or c?
5
Let j = -38/3 + 12. Let o = -14 + 23. Let z be (-2)/o + 15/(-54). Is j at most as big as z?
True
Let v be 1*((-1)/1)/(-19). Let o = v + -21/38. Which is smaller: o or -1?
-1
Suppose u - 2*u = -11. Let c = u - 21. Is -11 less than or equal to c?
True
Suppose -2*j = 5*j - 21. Which is bigger: -1 or j?
j
Let w = -27/2 + 14. Let p = 7 + -3. Are p and w nonequal?
True
Suppose -3*u - 2*u = -3*z - 60, 2*u - 24 = -5*z. Suppose k - 5*k + 10 = 2*l, 3*l + u = 3*k. Let b = l - -2. Is 1/7 greater than b?
False
Suppose -3*o = -a + 16, 10 = a + 2*o - 6. Is a < 16?
False
Let s = -12481/4 + 3137. Which is bigger: s or 17?
17
Let u = 0.8 - 0.7. Does u = 0.1?
True
Suppose 3*l - 2*t = 14, -5*t - 9 = -l - 0*t. Let n be (8/24)/(2/36). Let m = n + -3. Which is greater: l or m?
l
Let p be (4/(-5))/(4/(-10)). Let z = p + 4. Suppose 4*f - z = f. Which is smaller: f or 1?
1
Let b(s) = -2*s - 3. Let w be b(-2). Which is smaller: w or -1?
-1
Let b(j) = 6*j**2 + 4*j - 2. Let k be b(-5). Let q = 1153/9 - k. Let c = 17/72 - q. Is c at least 0?
True
Let v be (-1)/(39/18 - 2). Let k = v + 5. Let i = 2 + -1. Is i > k?
True
Suppose -8 = -4*i + d - 162, 3*d = -6. Is i less than -37?
True
Let w = 1 + -1. Let y be w/((-9 - -3)/(-3)). Let k = 41/6 - 275/42. Which is smaller: y or k?
y
Suppose 0 = -2*x - 5*d + 8 - 1, -2*d + 14 = -2*x. Let y = -5 - x. Let i be (-7)/21*(-1)/y. Is 0.1 at least as big as i?
True
Let a be (-1510)/(-8)*(-86)/(-5). Let y = a - 3185. Let k = 1603/26 - y. Which is greater: k or 0?
k
Let f be 12/(-20)*5/4. Is 1/2 less than f?
False
Let s be (-68445)/(-220) + 2/8. Let f = 311 - s. Which is bigger: f or 0.1?
0.1
Suppose 0 = -i + l + 3, -i - 4*i = -3*l - 9. Is -2/3 smaller than i?
True
Let s(m) = m**2 + 3*m - 7. Suppose 3 - 18 = -5*q. Let i be s(q). Is i bigger than 12?
False
Let p(z) = 4*z + 94. Let t(k) = -k - 19. Let h(l) = 3*p(l) + 14*t(l). Let b be h(8). Which is greater: 2/3 or b?
2/3
Let a = 1/5 - 7/10. Which is smaller: -2/13 or a?
a
Let r = -0.1 + 0.3. Let y = -12.8 - -24.5. Let b = y - 12. Which is smaller: r or b?
b
Let m = 20 + -5. Let h be (-16)/m - 2/(-5). Let z(b) = -b**2 - 15*b - 14. Let v be z(-14). Is v at least h?
True
Let i = 9/20 - 1/5. Let j = 10 + -10.1. Is i >= j?
True
Let a be 370/(-40) + (5/(-4))/(-5). Are -2 and a unequal?
True
Suppose 0 = -4*i - 12 - 28. Which is smaller: i or -2?
i
Let s(d) = -d**2 + 10*d - 10. Let t be s(9). Let p be (2/(-132))/(1/14). Let l = 17/231 - p. Which is smaller: l or t?
t
Suppose -4*x - 5 = -l, -4*l + 27 - 7 = 2*x. Suppose l*n - 4*n = 0. Which is greater: 0.2 or n?
0.2
Let n = -9 - -9.18. Let y = -0.08 + n. Is -5 > y?
False
Suppose 5*h = -2 - 3, r + 2*h = -3. Which is smaller: -1/82 or r?
r
Let y = -3/155 - -194/2015. Which is smaller: 1 or y?
y
Let t(b) = b**2 - 1. Let y be t(-4). Suppose -3*q = -y, z + 4*q = -3*z + 20. Which is greater: 2 or z?
2
Let c = 10 - 3. Is c at most 5?
False
Let o = -2.39 - -2.3. Let z = 1.09 + o. Which is greater: z or -4?
z
Let q(d) = -d**3 + 7*d**2 - 7*d - 4. Let o be q(5). Is 10 at most as big as o?
True
Let u = -6 + 8. Suppose 0 = u*t - 2 - 4. Does 4 = t?
False
Let w be 98/21*3/2. Suppose w*g - 3*g = 4. Which is smaller: 5/7 or g?
5/7
Let g be (2/24)/((-3)/4). Let p = -5.5 + 5.6. Which is bigger: g or p?
p
Let u = 2 + 2. Let t = 4.3 - u. Which is smaller: -1 or t?
-1
Let m = -4 - -2. Let b(j) be the first derivative of -j**3/3 + j**2/2 + 1. Let s be b(0). Which is greater: m or s?
s
Let g(h) = h + 16. Let f be 1*-2*(4 + 2). Let r be g(f). Which is bigger: 1 or r?
r
Let z be 96/9 - 3 - (-4)/(-6). Let x(i) = 3*i**3 + 2*i**2 - 2*i + 1. Let c be x(1). Is c less than or equal to z?
True
Suppose m + 3*f + 7 = 0, -2*m - 2*m - 5*f - 7 = 0. Let k be (3 + 0)/(-3) + 1. Suppose 3*p - m*p = k. Which is smaller: p or 1?
p
Let q = 110/21 + -23/3. Are -1 and q equal?
False
Suppose 4*w - 3*z = 27, -2 + 8 = 2*z. Is w at most as big as 3?
False
Let t = -161649874 - -508873813587/3148. Let r = 1/787 - t. Which is greater: r or -4?
r
Suppose -3*j + 18 = -3*i, -3*j - 5*i + 0 = -10. Let a be 16/30 + j/(-15). Which is bigger: a or -1?
a
Let m be 903/(-126) - 1/(-6). Is -11 less than or equal to m?
True
Suppose -3*r + 26 + 94 = 0. Let w be 136/(-6)*708/r. Let f = -400 - w. Is f >= 2?
False
Let u = 4 + -6. Let w = -3 - -4. Suppose m + 0*m = -w. Is m < u?
False
Let p be (1 + -2)*-2 - 0. Suppose 3*z - 12 = z - 2*l, 3*z + 2 = p*l. Let o(c) = -c**2 + 3*c - 2. Let h be o(z). Is 1 less than h?
False
Let h be 6/21 + 26/(-42). Let p be (-32)/18 - (-10)/(-45). Let q = -1 - p. Is q != h?
True
Suppose 4*u = -4*s - 24, -s + 0*s = -4*u - 19. Let l(k) = -k**2 - 6*k - 4. Let n be l(u). Suppose -r = -2*z + 3, -1 = 4*z + 5*r - 0. Is z at most n?
True
Let b be (-6)/8 + 19/4. Suppose 1 = 2*y - 0*y - 3*w, -b*y + 2*w - 2 = 0. Do 2/13 and y have the same value?
False
Suppose 0 = o - 1 + 2. Which is bigger: o or -5/7?
-5/7
Let p be (-488823)/(-125) - 2/4. Let z = p - 7821/2. Let t = z + 2/125. Which is smaller: t or 1?
t
Let f = -4/15 - -38/105. Let p = 8867/4872 + -274/203. Let g = f - p. Is g at most as big as 0?
True
Let j(d) = -d**2 - 17*d + 18. Let g be j(-18). Is 1 greater than or equal to g?
True
Suppose 3*j + 38 = 3*h + h, -h + 10 = -j. Suppose 4*m = 5*l - 19, 39 - 5 = 2*l + 5*m. Is h greater than or equal to l?
True
Suppose -5*c 