y be f(-3). Suppose -1 = -s + 2. Let h be s/1 + 38/(-14). Which is bigger: y or h?
h
Let k = -1 - -1. Suppose y - 3*y = k. Let d be (-3)/(-3) - 1 - y. Which is smaller: 1 or d?
d
Let s = 2281/30 - 76. Which is bigger: 1 or s?
1
Let d be 1*(1/(-1))/((-7)/(-3)). Are d and -0.2 unequal?
True
Let m be (-3 - -1)/(2 + 0). Let x = -2/1131 + -172/1131. Which is smaller: m or x?
m
Let b be (18/3)/(1 + 1/2). Is b at least 4?
True
Let m(q) = -2*q - q**2 - 8 + q + 7*q. Let j be m(6). Let w be j/5 - (-2)/2. Do w and -2 have the same value?
False
Let y be ((-70)/4)/7*60/(-175). Let c = 3 - 1. Which is smaller: y or c?
y
Let z(f) = -f**2 + 7*f + 5. Let w be z(7). Suppose -y + 5*y - 4 = w*r, -3*r = 2*y - 2. Is -2 <= r?
True
Let s = -14/11 + 115/99. Suppose 0 = -3*l + 2*h + 7, 1 - 12 = l + 2*h. Let z be (2 + -3)*(-1)/l. Is z bigger than s?
False
Let w(x) = -x - 8. Let b be w(11). Is -18 greater than or equal to b?
True
Let b = -0.21 + 5.21. Which is bigger: b or 0?
b
Suppose 4 = -7*y - 3. Let l be 4/6*(-3)/29. Is y at least as big as l?
False
Let l(x) = x**2 - 7*x - 3. Let a(c) = -c**2 + 9*c - 7. Let r be a(7). Let s be l(r). Is s > -2?
False
Suppose 5*u - 2 = -7. Let t be 5 + -5 + -2 + u. Let q = t + 2. Which is smaller: 0 or q?
q
Let c be 26/(-39) - (-5)/9. Is c less than or equal to -1?
False
Let k be -5*(2/1 - 1). Let t(w) = w + 11. Let m be t(k). Suppose -u + m = -4*u. Which is smaller: 0.2 or u?
u
Let l(j) = 2*j - 18. Let a be l(6). Which is smaller: a or -3?
a
Let a be ((-57)/(-6))/((-14)/164). Let y = -111 - a. Which is greater: 0 or y?
y
Let b(s) = s**2 + 7*s - 6. Let p be b(-7). Let y be p/(-33) + 138/(-33). Let o be 2*1/2 - 0. Is y not equal to o?
True
Suppose 2*n + 6 = 0, 5*d + 5*n + 15 = 3*d. Suppose 3*v + 5*r - 17 = d, -5*v - r = -2*v - 25. Is v at least as big as 9?
True
Let r = 4776/25 - 89561/275. Let m = 135 + r. Which is smaller: 0 or m?
0
Let i be ((-6)/(-4))/(2/(-4)). Let o(x) = 8*x - 3. Let g be o(i). Let s be -1 - 1*21/g. Is s smaller than 2/7?
True
Let v = -0.11 + -38.89. Let k = 18 + v. Let x = -14 - k. Is 0 > x?
False
Let k be 2/4 + 18/(-4). Let d = 6 - 9. Let t be d*((-10)/(-6) + -1). Is k greater than or equal to t?
False
Suppose 3*x + 3 - 33 = 0. Let t = -10 - x. Let j be 2/(-3) - t/(-15). Is j greater than or equal to -3?
True
Let s = -524/5 - -107. Let j = s - 14/5. Which is smaller: j or -2?
-2
Let j = 3 + -2.6. Let t = j + -0.2. Suppose -2*n = -n. Is n > t?
False
Let z = -11 + 9.9. Let d = -1.1 - z. Which is greater: 0.1 or d?
0.1
Let s be 28 + (5 - 3)/(-2). Is s smaller than 29?
True
Suppose 2*x = z + 4, -x + 7 = -2*z - z. Is 1 smaller than x?
False
Let q(h) be the third derivative of h**4/24 - 5*h**3/6 + 2*h**2. Let b be q(5). Is -3 smaller than b?
True
Let u = 0.069 + 0.031. Is 7 <= u?
False
Let b(x) be the second derivative of -x**4/12 + 7*x**3/6 - 2*x**2 + x. Let a be b(6). Let r be 0*(-2)/8*a. Is 0 not equal to r?
False
Let g = 0.012 - 6.012. Let o = 1.96 + 0.04. Which is smaller: o or g?
g
Let v be 119/91*1/(-2). Let p = v - -62/65. Is p < 0?
False
Let d = 6 - 5. Let l = -7 + 6.9. Is d smaller than l?
False
Let j be 2 - -185*(0 + -2). Let t be (1 + -4)*j/7. Let n = -158 + t. Is -6 >= n?
False
Suppose -4*d = -6*d. Suppose -4*f - 12 = -4*l, -2*l + 12 = f - d. Are 2 and f non-equal?
False
Let t = -20 + 20.9. Let s = -1.1 + t. Is s < 0.2?
True
Let q(x) = x**2 - 6*x + 2. Let m be q(5). Suppose -14 = 2*w - 0. Let f = m - w. Is f at most 3?
False
Suppose -5*y + 4 = 9. Let w = 2/389 - 4678/1945. Which is greater: w or y?
y
Let y be 3/(-9)*-1 - (-2)/(-6). Suppose a + 3*a = 0. Suppose y = k - a*k - 1. Is k smaller than 1/5?
False
Let y = 1229/18 - 135/2. Is 0 != y?
True
Let h be 17/51 + 41/3. Is h at most 14?
True
Suppose 5*c - n - 9 = 0, 5*n - 3*n + 8 = 0. Let q = 11 + -8. Is q less than c?
False
Let k be -11 + 9 - 304/(-154). Do -1 and k have the same value?
False
Suppose 0 = b + 3*b + 36. Let a = 5 + b. Let z be (0 + 0)*(-2)/a. Which is smaller: z or -2/9?
-2/9
Let n(y) = 4*y - 1. Let s be n(1). Let h be ((-4 - -1) + s)/2. Which is bigger: 1 or h?
1
Suppose 0 = 4*n + f - 67, 5*n - 46 = f + 31. Is 15 smaller than n?
True
Let u = 6 - 3. Suppose -u*s = -4*s. Let c = -11 + 10. Which is bigger: c or s?
s
Let g(l) = -l**2 - l + 5. Let k be g(6). Let d = k - -110/3. Let v = 198 - 198. Which is smaller: v or d?
d
Let c = -0.045 - -0.145. Which is smaller: c or 18?
c
Suppose v = -3*v - 8. Let j = 581/4 - 146. Which is bigger: j or v?
j
Let s = -28 + 28.1. Is s bigger than -6.5?
True
Let a be -1 - (-4 - 123/(-39)). Which is greater: 1 or a?
1
Let g(z) = 2*z - 11. Let l be 16/3 + 6/9. Suppose -4*c - 8 = -l*c - 4*n, -3*c = -4*n - 32. Let w be g(c). Is 4 at most as big as w?
True
Let l = -118.2 + 105. Let j = 11 + l. Let n = 2 + j. Is -1 greater than or equal to n?
False
Let m be (3 + -4)*(0 + 0). Suppose 0 = -4*g + 5*o - 15, -5*g + m*g + 9 = 3*o. Which is smaller: g or 2?
g
Let p = -129 - -68. Is 0 smaller than p?
False
Let b = -7.98 - 0.02. Let z = -8.4 - b. Is 0.2 at most z?
False
Let r(v) be the first derivative of -v**4/6 - v**3/3 - v**2/2 + v - 2. Let u(l) be the first derivative of r(l). Let s be u(-1). Which is bigger: s or 2/5?
2/5
Let a(i) = i**3 + 7*i**2 + 6*i - 6. Let q be a(-5). Is 13 < q?
True
Let z be (-12 + 0)*(-15)/30. Suppose -4*t = 3*y - 22, 2*y - 13 = -3*t + 2*t. Is y greater than z?
False
Suppose -5*z - 3 + 13 = 0. Suppose z*x - 3*x - 3 = 0. Which is smaller: x or 0?
x
Let y be (1*-2 - -2) + 1. Suppose -40 = -i - i. Suppose 4*s - i = -4*o, 5*o - 2*s + 5*s = 21. Does o = y?
False
Let g be 9/15 - (-57)/(-45). Which is smaller: 0.7 or g?
g
Let d = -3485 + 3395.08. Let c = d - -88. Let a = c + -0.08. Is a at most 3?
True
Suppose 0 = 6*l + 8*l + 1176. Which is smaller: l or -82?
l
Let w = 3 + -2.96. Which is greater: -0.1 or w?
w
Let u be (-2 - -1)*0/2. Let f be u*-2*2/12. Is -2 bigger than f?
False
Suppose 0 = -0*z + 2*z. Let l = 19/6 - 83/30. Which is greater: l or z?
l
Let i = 0.9 - 4.9. Let z = -11 - -6. Let b = i - z. Which is smaller: b or -0.3?
-0.3
Let r be (6/(-198))/(2/(-6)). Which is smaller: 0 or r?
0
Let r(q) = -q**3 + 5*q**2 + 1. Let v be r(5). Which is smaller: v or 0?
0
Let k = 1 - 2. Let z be (-12)/(-10)*(175/(-28))/5. Which is smaller: z or k?
z
Let p be (-426)/(2 + 21/(-6)). Let v = 4262/15 - p. Suppose -2*n = 2*a - 7*n + 3, 3 = a + 2*n. Which is smaller: v or a?
v
Let j = 4.265 + -0.275. Let a = j - 4. Do -1 and a have the same value?
False
Let t = 1674/69805 - 4/607. Which is smaller: t or -1?
-1
Let y be (-10)/(-27)*(-24)/32. Is 0 not equal to y?
True
Let j = -0.03 - 2.97. Let d = -1 - j. Let m be (-15 + 19)/(0 + 14). Which is bigger: d or m?
d
Let h = -0.02 - -0.02. Let f = 13 + -17. Is h > f?
True
Let h = -8 - -2. Let g = h - -3. Let c = g - -2.9. Which is greater: c or -2?
c
Let i = 3 - 2. Let c = 7 - 4. Which is smaller: i or c?
i
Suppose 0 = 10*q - 125 + 35. Is q at least as big as 7?
True
Suppose 2*n - 4*v = -0*n - 14, -5*v = 5*n - 25. Suppose n = 3*g - 2. Which is smaller: 2/13 or g?
2/13
Let v be 1/((2/12)/((-9)/45)). Which is smaller: 0 or v?
v
Suppose 0 = 4*z - 0*z. Suppose -4*i + 6*i = -2. Do i and z have the same value?
False
Let g = 154/9 - 2627/153. Which is greater: 1 or g?
1
Let u(j) = j - 14. Let k be u(18). Which is greater: 3 or k?
k
Let p = 146/231 + -2/33. Is 2 < p?
False
Let x = -3 - -4. Let i = x - 0. Is i < 2?
True
Let b be 1 + (9/(-6) - -1). Let z = 9 - 9.08. Let d = z + 0.05. Which is greater: b or d?
b
Let s be -4 + -1 + 0 + -2. Let n be s/10*12/28. Is -1 less than n?
True
Let w = 8248/31 + -266. Is w at most as big as -1?
False
Let y = 55 - 55. Suppose 0 = 4*a - a + 6. Let m be a/9 - (-5)/9. Is y <= m?
True
Let h be (1 - 5) + (-1 - 1) + 0. Which is bigger: h or -7?
h
Suppose -17*u = -13*u - 8. Are -69 and u nonequal?
True
Let b be (6/9)/((-4)/12). Let m = -808 - -7262/9. Is b smaller than m?
True
Suppose -x - h - 6 = 0, 3*x + 8 = 5*x - 2*h. Let g = 1 - x. Suppose -4 = -g*q - 0. Is 2 less than q?
False
Let n = 32 - -7. Let b = -116/3 + n. Which is bigger: b or 1?
1
Let b = -11.6 + 11.5. Which is smaller: 1.8 or b?
b
Suppose -25*w = -21*w. Which is smaller: w or -1/20?
-1/20
Let g = -10 - -14. Suppose g = d - 5*d. Is d > -1/25?
False
Let h = -3.04 - -0.04. Let n = 7 + h. W