. Which is smaller: f or 6?
f
Let v = -3446/247 + 180/13. Is v > -1?
True
Let u = 6/19 + -128/285. Let o = -4 + 3. Let x = o - -1. Which is bigger: x or u?
x
Let o = 86 - 83. Let p = 209/120 - 3/40. Do p and o have the same value?
False
Suppose -3*z + 42 = -60. Let g be z/6 + 2/6. Is 6 != g?
False
Let l(o) = -o**3 + 8*o**2 - o + 6. Let j(a) = a**2 + 7*a. Let z be j(-8). Let g be l(z). Is -3 bigger than g?
False
Let i(o) = -o**3 - 3*o**2 - o + 2. Let q be i(-3). Suppose 3*c - 17 = 5*w, q*c = w + 2*w + 7. Which is bigger: -3 or w?
-3
Let t be 2 - 4 - (-5 - -1). Is t at least as big as -2?
True
Let w(x) be the third derivative of -x**6/120 - 11*x**5/60 - 5*x**4/12 - 4*x**3/3 - 8*x**2. Let o be w(-10). Does o = -7?
False
Let w = -4/51 + 224/255. Is w at most 0.1?
False
Let x = 0.5 + -0.7. Let g = x - 0.4. Let a = 0.3 + g. Which is smaller: -0.1 or a?
a
Let g = -4 + 4. Suppose g = h + 5*z + 2, h = -z + 2 - 0. Suppose 0*q = -h*q + 3. Which is greater: 1/3 or q?
q
Suppose 0 = 4*j - 31 - 9. Suppose 4*k - 70 = -j. Are k and 15 unequal?
False
Suppose -2*c + 2*g = -8, 3*g + 4 = c - 4. Let b(r) = 2*r**2 - r - 1. Let t be b(c). Is t bigger than 6?
False
Let m = -7 - -12. Let p = 3.08 + -0.08. Let c = m - p. Which is smaller: c or 2/3?
2/3
Let h be (-4)/10 + 44/10. Let z be (-2)/(-6) + h/6. Let u = 21 + -20. Is z < u?
False
Suppose 3*t = -t - 20. Let z(w) = 2*w + 5. Let o be z(-5). Let f = o - t. Is 0 smaller than f?
False
Let f be 1*(-4 - (-16)/4). Is 1/23 greater than or equal to f?
True
Let p(q) = q**3 - 3*q**2 + 3*q - 2. Suppose -5*y + 0 = -10. Let k be p(y). Suppose k = 3*c + 3, 0*c + 4 = z - 2*c. Are 3 and z unequal?
True
Suppose 4*w + 0*w = 20. Let v be 1*-1*(5 - w). Suppose 4*m + 0*g - 5*g = -17, -m + 5*g = 23. Which is greater: m or v?
m
Suppose t - 15 = 2*t. Let i be t/(-5) + 2/2. Suppose i + 1 = d. Is 1 at least as big as d?
False
Let c = -11.06 + 0.06. Let j = c - -6. Which is smaller: j or 2/7?
j
Suppose -4*j = -9*j - 140. Let p be (-2)/(j/36 + 1). Is -9 at most as big as p?
True
Suppose 10 = -c - 2*i - 0*i, 0 = -3*c - 4*i - 22. Do c and -2 have the same value?
True
Suppose 0 = -0*c - 2*c - 2*k - 14, 4*c = 3*k - 28. Which is smaller: 0.2 or c?
c
Let l = 5.84 - 6. Let t = 1.04 - l. Let c = t + -0.2. Which is greater: -1 or c?
c
Let d(x) be the second derivative of -x**3/6 + 3*x**2 - x. Let w = 62 + -57. Let o be d(w). Which is smaller: -1/14 or o?
-1/14
Suppose -4*t + 12 = -0*t. Suppose 3*s - c = -22, -t*s + 4 = -5*s - 2*c. Is -6 < s?
False
Let p = 15.64 - -0.36. Let d = 15.76 - p. Let a = d + 0.04. Is a != -1/4?
True
Suppose -13 = l - 2*k, 41 = -0*l - 3*l + 4*k. Which is smaller: l or -4?
l
Let l(d) = d - 25. Let h be l(17). Which is greater: -3 or h?
-3
Let h(o) be the third derivative of -5*o**4/24 + o**3/6 - 2*o**2. Let g be h(1). Let u = -16 + 13. Is u equal to g?
False
Suppose 5*t = 5*m + 10, 0*t + 3*t - 2*m = 5. Is 3/2 greater than t?
True
Let z be 3507/(-45) - 2/3. Let j = z - -79. Suppose -3*f + 1 = 4. Is j > f?
True
Let y be 3*1 - (2 - 2). Suppose -5*p - 2*z = -14, 2*p - y*z + 0*z + 2 = 0. Suppose 3*n - 10 = -2*c, -5*n = -0*n - p*c + 10. Is -4/5 at least as big as n?
False
Let h be 4/8*(-6)/9. Which is smaller: 1 or h?
h
Let d be ((-140)/(-54))/((-1)/(-3)). Let q = -8 + d. Which is greater: q or 0?
0
Let m be (3 + -24 - -2) + 0 + -1. Let v(o) = -o**3 + 3*o**2 - o - 2. Let b be v(2). Which is smaller: m or b?
m
Let f be (-8)/228*(-2 + 1). Let b = -49/228 - f. Is b at most as big as -2/5?
False
Let p = -64 - -70. Which is smaller: 4 or p?
4
Let v(c) = c**3 + 3*c**2 + 4*c + 3. Let f be 6/(-8)*(2 + -10). Suppose -w + 10 = -f*w. Let b be v(w). Is -3/4 at least b?
True
Suppose -i + q = -8, -2*i - 2*q - 12 = 3*q. Suppose 0 = 5*b + 2*f + 6, 10*b - 5*b + 3*f = -i. Let t(h) = 2*h + 2. Let r be t(b). Which is bigger: r or -1/2?
-1/2
Let u = -105 + 102. Let q(y) be the third derivative of y**5/60 - y**4/3 + 4*y**3/3 - y**2. Let x be q(6). Is x less than u?
True
Let w = 15.8 - 3.8. Does w = 1?
False
Let a be (-5)/(-3)*6/5. Which is greater: a or 1/3?
a
Let l be -4 + 0/1 + 1. Let z = l + 2. Which is bigger: 0 or z?
0
Let m = -38 - -35. Which is bigger: -4 or m?
m
Suppose 5*x = 2*p + 11, 3*p = -4*x - 3 - 2. Let w = -3 + x. Is -3 equal to w?
False
Let d = 2 + 0. Let p = 29 - 29. Which is bigger: d or p?
d
Let c be (-16)/(-10) - (-4)/10. Let a = 14 - 11. Suppose -a*y = -y + 4, 18 = 4*b - y. Which is greater: b or c?
b
Suppose -5*z - 25 = 4*l + l, 0 = -2*z - 6. Let x be 2 - 10/2 - l. Which is smaller: -2/71 or x?
x
Let r = -0.3 + 0.3. Let l = 6 + -8. Is l at least r?
False
Let c = -1.3 - -0.6. Let o = -4.6 - -4. Let g = o - c. Which is greater: g or 0.2?
0.2
Let i(v) = 0*v**2 - 4 + v**2 + 4 + v. Let b be i(0). Which is greater: 1 or b?
1
Let b = 4 - 1. Let o be 6/9*b + -6. Let t = 7 + o. Are 2 and t unequal?
True
Let h = 10 - 5. Suppose -2*i + 3 = -1. Suppose -h*z - 1 = -4*v, i*z - 2*v = -0*v. Is -1 < z?
False
Let t = -2 - -2. Let v be 2/36*(-6)/(-4). Which is greater: v or t?
v
Let c(f) = -f - 14. Suppose 2*v + 2*v = 3*k - 61, 4*k - 12 = 0. Let t be c(v). Is -2 greater than t?
False
Let t(u) = -8*u + 15. Let h be t(7). Do h and -41 have the same value?
True
Suppose -6*c - 4*f = -c + 15, 3*f = -15. Let z be (-6)/(-3) - (-1)/c. Let x be ((-2)/(-8))/((-2)/(-12)). Is z smaller than x?
False
Suppose 2*f + 0 = -14. Which is greater: -0.2 or f?
-0.2
Suppose -3*r - 54 = -0*r. Let d be 1 + 1 + 14/r. Let t = 8/9 - d. Is t greater than -1?
True
Let y be (-480)/(-4092) - ((-4)/(-11))/2. Are y and 0 non-equal?
True
Suppose -37 - 11 = 4*k. Let r be (28/k)/(3/9). Which is greater: -10 or r?
r
Let x = -1 - -4. Let v be ((-23)/x)/((-7)/21). Let m be v/7 + 6/(-21). Which is smaller: m or 4?
m
Suppose -4*p - 1 = 11, 4*z + 2 = -2*p. Let y be z/(2 - 3)*-5. Let s = y - 5. Is s at least 2/13?
False
Let m = 33 - 106. Is -72 greater than m?
True
Suppose -5*y + 4 + 1 = -5*r, 0 = -5*y - 2*r - 2. Is 9/22 not equal to y?
True
Let y be (-12)/(-15) - (-1)/5. Suppose 4*t - 28 - 68 = 0. Let k be 2 - t/11 - 0. Is k > y?
False
Let o be 432/(-4539) - 5/((-85)/2). Is 1 less than o?
False
Let m be 4/2 - -1*2. Let n be 6/m*4/(-6). Let g be (-4)/(-6) + 9/(-27). Which is smaller: g or n?
n
Let s = 1542.62 - 1901.6. Let h = 362 + s. Let r = 0.02 - h. Which is smaller: 1 or r?
r
Let f be (15/(-10))/(1254/8). Which is bigger: f or 0?
0
Suppose -5*t - 19 = -5*v + 56, -v + 5 = -3*t. Suppose 3*r = -c + 31 + 7, 2*r - 2*c = v. Is r at most as big as 12?
True
Suppose 3*c - 12 = -33. Which is greater: -8 or c?
c
Let w = -883 + 2546/3. Which is bigger: -35 or w?
w
Let v be 8*2/4 - (8 + -16). Let d be ((-26)/(-3))/((-4)/(-6)). Is d < v?
False
Let r(h) be the second derivative of h**5/20 + 5*h**4/12 + 5*h**3/6 + h**2 - h. Let a be r(-3). Let s be 4/5*(-45)/(-6). Which is smaller: a or s?
a
Let u be ((-7)/4 + 1)*-3. Let z = 151/60 - -7/30. Let l = u - z. Is -1 smaller than l?
True
Let v(y) = -y**3 + 5*y**2 + 7*y - 3. Let t be v(6). Let x = -1.08 + 0.08. Which is smaller: t or x?
x
Let s(b) = b**2 + 4*b + 3. Let u be s(-6). Let l be (-5)/2 - (-4 + 1). Is l > u?
False
Suppose 2*k + g - 164 = 0, 4*k - 424 = -k + g. Let u = 165/2 - k. Suppose 0 = 5*r + 8 - 3. Which is smaller: r or u?
u
Let k = 1/20 + -27/140. Let l = 4 - 0. Suppose 2*b - 3*a + 13 = -4, -l*a + 16 = 4*b. Which is smaller: k or b?
b
Let z be 2 + 2/(-24)*34. Let h = z - -7/12. Which is smaller: h or -1?
-1
Let p = -22 + 37. Let z be p/35 - 1/3. Which is bigger: z or 0?
z
Let j = 51 - 51. Which is bigger: j or 1/13?
1/13
Suppose -5*w + 3*q + 5 = -2, -2*w - 4*q + 8 = 0. Which is smaller: w or 3?
w
Suppose 0 = -2*d + w + 6, 0 = -2*d + 2*w + 2 + 4. Suppose -1360 = -2*u - d*u. Let f = 1900/7 - u. Which is smaller: -2 or f?
-2
Let x(j) = -j**2 + 20*j + 39. Let y be x(22). Suppose 13 = z - 15. Let s be (-8)/z - 40/7. Which is bigger: y or s?
y
Let q = -1.9 - -1.96. Which is greater: 1 or q?
1
Let q = 49/1140 + 2/285. Which is bigger: q or 0?
q
Let w = 1 + -4. Suppose 3*k + 4*m = -0*k - 1, -5*m = 4*k + 1. Suppose -4 = f - k. Is w less than f?
False
Let a = -4 - -1. Let w = a + 5/2. Which is smaller: 0 or w?
w
Let n = -19/18 + -1/9. Which is smaller: n or 0?
n
Suppose 0*h + 5*h - 8 = -3*o, -3*o + h + 2 = 0. Is o <= 7/3?
True
Let u(b) = 15*b**2 + 3*b 