 - 67. Which is bigger: 13 or v?
13
Let z = -5 - -5. Let g = -2 + z. Let v be g + 0/1 + 8. Are v and 6 unequal?
False
Let f = 9 + -8.9. Let p = -0.3 - -0.4. Is p less than or equal to f?
True
Let x = -5.9 + 24.9. Which is smaller: x or 2?
2
Let h(k) be the first derivative of -k**4/4 + 7*k**3/3 - 7*k**2/2 + 8*k - 1. Let u be h(6). Let f be (-12)/8*u/(-6). Which is smaller: 2 or f?
f
Let o be 0 - 1 - -3 - 1. Is 2 smaller than o?
False
Let d(c) be the first derivative of c**3/3 + c**2 - 4*c + 3. Let k be d(-5). Let l = k + -16. Which is smaller: -6 or l?
-6
Let a be -3*2*(-1)/(-3). Let z be 411/210 - 1/a. Let c = z + -20/7. Which is smaller: -1 or c?
-1
Let t be (-3 + 1 - 0)/(-7). Let i = 0 - 0.02. Let k = 2.02 + i. Is t bigger than k?
False
Let h = 5387/213 - -3/71. Let j = 26 - h. Is 2 greater than j?
True
Let w = 14 + -17. Let q(b) = -b**3 - 3*b**2 + 5*b + 4. Let r be q(w). Is -11 less than or equal to r?
True
Let x(h) be the second derivative of -h**5/20 - 7*h**4/12 + h**2 - h. Let s be x(-7). Let f be 2 - s - (2 - 2). Is 2/7 bigger than f?
True
Let y = -206 - -1436/7. Which is greater: y or 0?
0
Suppose w = 5*o + 1 - 0, o + 3*w - 3 = 0. Which is smaller: o or -5?
-5
Let o = 0.2 + -0.2. Let w = 23/185 + 1/111. Which is bigger: w or o?
w
Let o = -72 - -72.2. Let k = 0 - 0. Which is smaller: o or k?
k
Let i be 1 - (-1)/(1/(-2)). Suppose -5*r - 6 - 4 = 0. Which is bigger: i or r?
i
Let g(p) = -p**2 + 10*p + 2. Let l be g(10). Suppose 0 = -4*r - 6 + l. Is -2 greater than r?
False
Let j be (114/(-30) + 5)/(6/(-80)). Which is bigger: j or -13?
-13
Let b(d) = d + 7. Let c be b(-5). Suppose -4*r = -r - 3. Suppose 2*p = p - r. Which is bigger: p or c?
c
Let d = 3 - 1. Let h = 7 - 4. Let l be 2/6*9/h. Is l at most d?
True
Let s = 10 + -5. Suppose s*b - 49 = 21. Suppose -b = 3*x + 5*q, -3*x - 3*q = -0*x + 6. Is x at most as big as 6/5?
False
Let j = -11 + 3. Suppose 0 = 39*v - 52*v - 117. Is j at most v?
False
Let x(a) = a**3 + 6*a**2 + a - 2. Let b be x(-5). Suppose 0 = -f - 3*z - b, 4*z = -4*f + z - 27. Let g = f - -2. Which is bigger: 0.1 or g?
0.1
Let y = -2 + 2. Let t = y + -0.1. Let h = -4 - -2. Does h = t?
False
Let m be (-6)/(-100)*1/384. Let s = 148481/6400 - m. Let p = s + -822/35. Which is greater: p or 0?
0
Let f(u) = 4*u**3 - u**2. Let d be f(1). Suppose -k + 2 = -0*k, 5*i - 3*k = 9. Is i at most as big as d?
True
Let m be -3*2/(-12)*-16. Let c be m/36 + 76/18. Is -1 < c?
True
Suppose 3*m = -2*s - 0*m + 68, -5*m - 220 = -5*s. Which is bigger: s or 41?
41
Let j = -5.565 - 0.035. Let b = j + 1.6. Which is smaller: 1 or b?
b
Let w be (-8)/44 - 24/(-11). Let t be (-28)/(-16) - (4 - w). Which is greater: 1 or t?
1
Let t be (-2)/(-4) - -42*(-7)/532. Which is smaller: t or 0?
t
Let d = 70 - 45. Is 24 <= d?
True
Let a = -53.098 + 0.098. Is 0.1 at most as big as a?
False
Let v = 8 - -26. Suppose 4*t = 2*t + u - 9, -v = 2*t + 4*u. Are -7 and t unequal?
False
Let d = -3 + 6. Let n be d/6*(1 - 0). Suppose 0 = f + 4*t + 16, -2*f + 1 = t - 2. Is f equal to n?
False
Suppose 5*f - 100 = 5*d, -2*d - 5*f - 43 + 17 = 0. Let v = 17 + d. Is v at most as big as -1?
True
Let g = 2937/37 + 33766/333. Let t = g + -181. Let x be 1 - ((-3)/(-2) + -1). Which is bigger: t or x?
x
Let g = 10 - 352/35. Which is greater: g or 0?
0
Let w be ((-2)/(-6))/(1/(-15)). Let l = w + 8. Which is greater: 1 or l?
l
Let q = -9 + 6. Let b = 24 - q. Let z be ((-8)/10)/(b/15). Is -1 < z?
True
Let j be ((-2)/(-4))/(0 - (-6)/(-12)). Which is bigger: j or -9/10?
-9/10
Let d = -10.84 - 0.16. Let o = d - -12. Is 5/4 at least as big as o?
True
Suppose -n = -0 + 1. Let y = -1.43 - -1.47. Are y and n non-equal?
True
Suppose 0 = -2*n + 3*n. Let d be 1*(-2)/(-2)*1. Do n and d have different values?
True
Let h = 10023/56 + -179. Which is greater: h or 0?
0
Suppose y + 3*y - 48 = -4*b, 5*y - 72 = -2*b. Is -1 at least y?
False
Let a = 5 - 2. Let p be -2 - 10*a/(-24). Let t = 2 - 3. Is p bigger than t?
True
Let p(m) = 3*m**3 - 2*m**2 + 3*m - 1. Let j be p(2). Let b be 1/((-3)/j + 0). Let q(n) = n + 2. Let a be q(-9). Is a at most b?
True
Let n(a) = a**2 - a + 6. Let x be n(0). Let b be (4/x)/((-1)/(-3)). Let s be -1*1*(1 - b). Is 2 at most s?
False
Suppose -2*d = 2*b, -3*d = 2*d - b. Is d greater than or equal to 2/7?
False
Let w(x) = x**2 + 7*x - 9. Let t be w(-6). Is t at least as big as -15?
True
Let m be 108/(-24)*(-2)/(-3). Are 1/13 and m unequal?
True
Suppose -5*k + 11 = -3*i - i, -i - 14 = -5*k. Let f be 4 - (3 + (-6)/k). Suppose 2 + 1 = f*l. Which is greater: l or 2?
2
Let k = -83 + 3. Let l = k - -242/3. Let j be 2/10*(2 - 4). Which is greater: l or j?
l
Let v be (14/28)/((-2)/8). Suppose 0 = 3*w + 4 + 8. Let o = w - v. Is -3 greater than o?
False
Suppose -4*o - 2*q + 50 = 0, q - 5*q + 16 = o. Let t = o + -6. Which is smaller: t or 0.1?
0.1
Let n(z) = -2*z**2 + 3*z - 3. Let l be n(3). Which is greater: -40/3 or l?
l
Let s(m) = m**2 - 14*m - 33. Let d be s(16). Which is smaller: d or -6?
-6
Let l be 2/56 + 4/(-14). Suppose -11*w - 10 = -w. Is l equal to w?
False
Let s(z) = -z**2 + 6*z + 1. Let p be s(5). Let b be (3*-1)/((-27)/p). Are b and -2 nonequal?
True
Let y be ((-1)/6)/(9/(-6) + 2). Is -2/173 less than y?
False
Let y(x) = -x**3 - 4*x**2 + 4*x - 5. Let w be (4 + -3)*(-5)/1. Let f be y(w). Let c = 45 - 134/3. Is c at most as big as f?
False
Suppose 0 = 6*w - 2*w. Which is bigger: w or -2/39?
w
Let i = -17.85 + -0.15. Let o = i - -14. Let c be 4/(-10) - 48/(-70). Which is smaller: o or c?
o
Suppose 15*k = 12 + 18. Which is bigger: k or 5/9?
k
Let g be 5923/36 + (-4)/(-16). Let i = g - 165. Which is smaller: i or -1/3?
-1/3
Let n(d) = 5*d + 3 + 0*d - 4*d. Suppose -26 + 14 = 4*u. Let t be n(u). Is t <= 0?
True
Let a = -45 - -8. Which is bigger: a or -107/3?
-107/3
Let r be 10/(-25)*10/(-2). Suppose 4*s - 23 = 3*u, -u - 18 = -4*s + u. Is r greater than s?
False
Let a = -113 - -122. Is a smaller than 5?
False
Let u = 0.02 + 0.98. Let o = -6 - -5. Are o and u nonequal?
True
Let f be 3*(-3)/(-18)*0. Which is bigger: -1/16 or f?
f
Let q = -29.5 - -28. Do q and -2 have different values?
True
Suppose 3*b - 12 = -3*p, 2*b = -3*p + 5 - 2. Let w = -32 + 30. Let u be w/b + (-25)/(-315). Which is greater: 1 or u?
1
Let m = -1.99 - 0.01. Let d = m - 1. Which is bigger: 1 or d?
1
Let i be (4/246)/(28/478). Let d = -1/123 - i. Are d and -1 unequal?
True
Suppose -9 = -3*r, r = 3*s - r + 12. Is -1 greater than or equal to s?
True
Let i = 14 + -21. Let s = -11 - i. Let p = 3 + s. Which is greater: 0.2 or p?
0.2
Let x = 19 - 23. Is -2 smaller than x?
False
Suppose 0 = -c - 5*l + 24, -2*c - 4*l + 22 = -4*c. Is 4/3 at least as big as c?
True
Suppose -4*q + 8 = k, -3*k - 3*q = -0*k + 12. Is k smaller than -9?
False
Let t be (-1)/(-2) - (-57)/21. Let j = 129 - 251/2. Let u = j - t. Which is smaller: u or 0?
0
Let c be (-18)/2 + (-6 - (-8)/4). Do -1/6 and c have the same value?
False
Let w = 5/16 - 19/48. Let z be (4/(-6))/((-2)/3). Is z < w?
False
Let w be (-2)/8 - -1 - (-255)/(-420). Is w < 1?
True
Suppose 2*p + 5*q - 106 = 0, -p + 212 = 3*p - 5*q. Let k = p + -374/7. Is k less than or equal to 1?
True
Let h = -1098 + 1090.99. Let a = 7 + h. Do a and 0.1 have different values?
True
Let b(q) = q - 3. Let p be b(6). Which is smaller: -2/7 or p?
-2/7
Let i(j) = -j**2 - 2*j - 6. Let n(y) = 1. Let p(g) = i(g) + n(g). Let w(l) = 2*l**2 + 3*l + 8. Let t(k) = 8*p(k) + 5*w(k). Let b be t(1). Is 1 != b?
False
Let y be (-2)/4 - 5/(-2). Let i = 51/2 - 25. Which is smaller: y or i?
i
Let g = -1 + 1. Let j be (4/(-4))/(g - -1). Let c be (-2 - j) + (-6)/(-4). Which is greater: 2 or c?
2
Let z = -3/10 + 29/30. Let q be (5 - 1) + (-1 - 0). Suppose 0 = -q*i - 15, -3*i - 15 = 2*j - j. Which is smaller: j or z?
j
Let n be (-594)/77 - 4/14. Which is bigger: n or -2?
-2
Let n = -7578/17 + 446. Is n smaller than 1?
True
Let i be (-3)/3*1*8. Which is smaller: -7 or i?
i
Suppose i + 2*k = 16 + 1, 5*i = 5*k + 10. Which is smaller: i or 3?
3
Let b be 0*3/(-3) - 1. Let t = -66/7 + 9. Which is smaller: t or b?
b
Let m = 57109/1452 + 1/484. Let w = m - 36. Is w smaller than 4?
True
Let b(k) = -k**3 + 10*k**2 - 9*k + 4. Let m be b(9). Suppose -n - m*n - 5*s + 10 = 0, -1 = 2*n + 3*s. Is 6 > n?
False
Let g(q) = q + 1. Let v be g(-1). Whic